Initial Commit

2018-10-15 12:47:14 -06:00
commit 0c531ffff9
55 changed files with 7285 additions and 0 deletions
@@ -0,0 +1,44 @@
+[    0]    1 1000
+
+------------ ? -------------
+0: -
+1: n
+2: f
+
+[    2]    4 3
+[    4]    27 0
+[    6]    23 1 0
+[    9]    3 1
+[   11]    2 2000
+[   13]    6 0
+[   15]    23 2 0
+[   18]    23 0 2
+[   21]    28 0
+[   23]    29
+[   24]    26
+[   25]    1 2000
+
+------------ Fact -------------
+0: n
+1: -
+2: 2
+3: 1
+4: temp
+5: f
+
+[   27]    4 5
+[   29]    22 2 2
+[   32]    22 3 1
+[   35]    16 1 0 2
+[   39]    8 2001 1
+[   42]    10 1 0 3
+[   46]    23 4 1
+[   49]    3 4
+[   51]    2 2000
+[   53]    6 1
+[   55]    23 5 1
+[   58]    11 1 0 5
+[   62]    5 1
+[   64]    1 2001
+[   66]    23 1 3
+[   69]    5 1