-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsolverlog.json
165 lines (165 loc) · 27.5 KB
/
solverlog.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
{
"log": [
{
"step": 0,
"question": 0,
"answer": "{q1 -> 1, q0 -> 1, q2 -> 2, e -> \"ed\", euo -> [\"ed\", \"u\", \"v\"]}+22",
"atoms_added": "Eps0([1, 2])",
"atoms_used": "dG(1, \"ed\", 2), , Euo([\"ed\", \"u\", \"v\"]), , Q0G(1), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), dG(2, \"u\", 3), dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), Q1T([1]), Q1T([2]), Q1T([3]), Q1T([4]), Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), Eps0([1, 2])"
},
{
"step": 1,
"question": 1,
"answer": "{euo -> [\"ed\", \"u\", \"v\"], e -> \"u\", q2 -> 3, q1 -> 2, qEps -> [1, 2]}+250",
"atoms_added": "Eps0([1, 2, 3])",
"atoms_used": "dG(2, \"u\", 3), , Euo([\"ed\", \"u\", \"v\"]), , Eps0([1, 2]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), Q1T([1]), Q1T([2]), Q1T([3]), Q1T([4]), Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3])"
},
{
"step": 2,
"question": 2,
"answer": "{q2 -> [4], qEps -> [1, 2, 3], e -> \"a\", q1 -> [1], eo -> [\"a\", \"b\", \"c\", \"d\", \"g\"]}+414",
"atoms_added": "to_make_trans(\"a\", [4])",
"atoms_used": "dI([1], \"a\", [4]), , Eps0([1, 2, 3]), , Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), Q1T([1]), Q1T([2]), Q1T([3]), Q1T([4]), Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4])"
},
{
"step": 3,
"question": 3,
"answer": "{qT -> [1], q2 -> [2], q1 -> [1], e -> \"ed\", euo -> [\"ed\", \"u\", \"v\"]}+146",
"atoms_added": "Q1T([1, 2])",
"atoms_used": "dI([1], \"ed\", [2]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([1]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], Q1T([2]), Q1T([3]), Q1T([4]), Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), Q1T([1, 2])"
},
{
"step": 4,
"question": 3,
"answer": "{q2 -> [3], q1 -> [2], e -> \"u\", euo -> [\"ed\", \"u\", \"v\"], qT -> [2]}+572",
"atoms_added": "Q1T([2, 3])",
"atoms_used": "dI([2], \"u\", [3]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([2]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), Q1T([4]), Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), Q1T([1, 2]), Q1T([2, 3])"
},
{
"step": 5,
"question": 3,
"answer": "{q2 -> [3], qT -> [1, 2], e -> \"u\", q1 -> [2], euo -> [\"ed\", \"u\", \"v\"]}+646",
"atoms_added": "Q1T([1, 2, 3])",
"atoms_used": "dI([2], \"u\", [3]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([1, 2]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), Q1T([4]), Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3])"
},
{
"step": 6,
"question": 3,
"answer": "{q2 -> [5], euo -> [\"ed\", \"u\", \"v\"], qT -> [4], e -> \"ed\", q1 -> [4]}+1292",
"atoms_added": "Q1T([4, 5])",
"atoms_used": "dI([4], \"ed\", [5]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([4]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], Q1T([5]), Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), Q1T([4, 5])"
},
{
"step": 7,
"question": 3,
"answer": "{qT -> [5], q1 -> [5], euo -> [\"ed\", \"u\", \"v\"], e -> \"u\", q2 -> [6]}+1620",
"atoms_added": "Q1T([5, 6])",
"atoms_used": "dI([5], \"u\", [6]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([5]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), Q1T([4, 5]), Q1T([5, 6])"
},
{
"step": 8,
"question": 3,
"answer": "{euo -> [\"ed\", \"u\", \"v\"], q2 -> [6], q1 -> [5], qT -> [4, 5], e -> \"u\"}+1704",
"atoms_added": "Q1T([4, 5, 6])",
"atoms_used": "dI([5], \"u\", [6]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([4, 5]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), Q1T([7]), Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6])"
},
{
"step": 9,
"question": 3,
"answer": "{q2 -> [5], euo -> [\"ed\", \"u\", \"v\"], qT -> [7], e -> \"v\", q1 -> [7]}+2262",
"atoms_added": "Q1T([7, 5])",
"atoms_used": "dI([7], \"v\", [5]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([7]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), Q1T([7, 5])"
},
{
"step": 10,
"question": 3,
"answer": "{e -> \"u\", q1 -> [5], q2 -> [6], qT -> [7, 5], euo -> [\"ed\", \"u\", \"v\"]}+1762",
"atoms_added": "Q1T([7, 5, 6])",
"atoms_used": "dI([5], \"u\", [6]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([7, 5]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], Q1T([8]), Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6])"
},
{
"step": 11,
"question": 3,
"answer": "{e -> \"ed\", q2 -> [9], q1 -> [8], euo -> [\"ed\", \"u\", \"v\"], qT -> [8]}+2790",
"atoms_added": "Q1T([8, 9])",
"atoms_used": "dI([8], \"ed\", [9]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([8]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), Q1T([8, 9])"
},
{
"step": 12,
"question": 3,
"answer": "{q1 -> [8], qT -> [8, 9], e -> \"v\", euo -> [\"ed\", \"u\", \"v\"], q2 -> [12]}+3364",
"atoms_added": "Q1T([8, 9, 12])",
"atoms_used": "dI([8], \"v\", [12]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([8, 9]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], Q1T([9]), Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], Q1T([8, 9, 12])"
},
{
"step": 13,
"question": 3,
"answer": "{euo -> [\"ed\", \"u\", \"v\"], qT -> [9], q1 -> [9], e -> \"u\", q2 -> [10]}+3816",
"atoms_added": "Q1T([9, 10])",
"atoms_used": "dI([9], \"u\", [10]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([9]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], [Q1T([9])], Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], Q1T([8, 9, 12]), Q1T([9, 10])"
},
{
"step": 14,
"question": 3,
"answer": "{euo -> [\"ed\", \"u\", \"v\"], e -> \"u\", qT -> [8, 9, 12], q2 -> [10], q1 -> [9]}+3926",
"atoms_added": "Q1T([8, 9, 12, 10])",
"atoms_used": "dI([9], \"u\", [10]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([8, 9, 12]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], [Q1T([9])], Q1T([10]), Q1T([11]), Q1T([12]), [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], [Q1T([8, 9, 12])], Q1T([9, 10]), Q1T([8, 9, 12, 10])"
},
{
"step": 15,
"question": 3,
"answer": "{q2 -> [11], e -> \"ed\", q1 -> [12], euo -> [\"ed\", \"u\", \"v\"], qT -> [12]}+4564",
"atoms_added": "Q1T([12, 11])",
"atoms_used": "dI([12], \"ed\", [11]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([12]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], [Q1T([9])], Q1T([10]), Q1T([11]), [Q1T([12])], [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], [Q1T([8, 9, 12])], Q1T([9, 10]), Q1T([8, 9, 12, 10]), Q1T([12, 11])"
},
{
"step": 16,
"question": 3,
"answer": "{euo -> [\"ed\", \"u\", \"v\"], e -> \"ed\", q2 -> [11], q1 -> [12], qT -> [8, 9, 12, 10]}+4672",
"atoms_added": "Q1T([8, 9, 12, 10, 11])",
"atoms_used": "dI([12], \"ed\", [11]), , Euo([\"ed\", \"u\", \"v\"]), , Q1T([8, 9, 12, 10]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], [Q1T([9])], Q1T([10]), Q1T([11]), [Q1T([12])], [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], [Q1T([8, 9, 12])], Q1T([9, 10]), [Q1T([8, 9, 12, 10])], Q1T([12, 11]), Q1T([8, 9, 12, 10, 11])"
},
{
"step": 17,
"question": 2,
"answer": "{q1 -> [2], qEps -> [1, 2, 3], e -> \"a\", eo -> [\"a\", \"b\", \"c\", \"d\", \"g\"], q2 -> [5]}+1080",
"atoms_added": "to_make_trans(\"a\", [5])",
"atoms_used": "dI([2], \"a\", [5]), , Eps0([1, 2, 3]), , Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], [Q1T([9])], Q1T([10]), Q1T([11]), [Q1T([12])], [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], [Q1T([8, 9, 12])], Q1T([9, 10]), [Q1T([8, 9, 12, 10])], Q1T([12, 11]), Q1T([8, 9, 12, 10, 11]), to_make_trans(\"a\", [5])"
},
{
"step": 18,
"question": 2,
"answer": "{e -> \"c\", q2 -> [7], qEps -> [1, 2, 3], q1 -> [3], eo -> [\"a\", \"b\", \"c\", \"d\", \"g\"]}+1400",
"atoms_added": "to_make_trans(\"c\", [7])",
"atoms_used": "dI([3], \"c\", [7]), , Eps0([1, 2, 3]), , Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), ",
"base": "Euo([\"ed\", \"u\", \"v\"]), Eo([\"a\", \"b\", \"c\", \"d\", \"g\"]), Q0G(1), [dG(1, \"ed\", 2)], dG(1, \"a\", 4), [dG(2, \"u\", 3)], dG(2, \"a\", 5), dG(3, \"c\", 7), dG(4, \"b\", 8), dG(4, \"ed\", 5), dG(5, \"u\", 6), dG(5, \"b\", 9), dG(6, \"g\", 7), dG(7, \"v\", 5), dG(7, \"b\", 10), dG(8, \"ed\", 9), dG(8, \"d\", 1), dG(8, \"v\", 12), dG(9, \"d\", 2), dG(9, \"u\", 10), dG(10, \"d\", 3), dG(11, \"d\", 1), dG(12, \"ed\", 11), dI([1], \"ed\", [2]), dI([1], \"a\", [4]), dI([2], \"u\", [3]), dI([2], \"a\", [5]), dI([3], \"c\", [7]), dI([4], \"b\", [8]), dI([4], \"ed\", [5]), dI([5], \"u\", [6]), dI([5], \"b\", [9]), dI([6], \"g\", [7]), dI([7], \"v\", [5]), dI([7], \"b\", [10]), dI([8], \"ed\", [9]), dI([8], \"d\", [1]), dI([8], \"v\", [12]), dI([9], \"d\", [2]), dI([9], \"u\", [10]), dI([10], \"d\", [3]), dI([11], \"d\", [1]), dI([12], \"ed\", [11]), [Q1T([1])], [Q1T([2])], Q1T([3]), [Q1T([4])], [Q1T([5])], Q1T([6]), [Q1T([7])], [Q1T([8])], [Q1T([9])], Q1T([10]), Q1T([11]), [Q1T([12])], [Eps0([1, 2])], Eps0([1, 2, 3]), to_make_trans(\"a\", [4]), [Q1T([1, 2])], Q1T([2, 3]), Q1T([1, 2, 3]), [Q1T([4, 5])], Q1T([5, 6]), Q1T([4, 5, 6]), [Q1T([7, 5])], Q1T([7, 5, 6]), [Q1T([8, 9])], [Q1T([8, 9, 12])], Q1T([9, 10]), [Q1T([8, 9, 12, 10])], Q1T([12, 11]), Q1T([8, 9, 12, 10, 11]), to_make_trans(\"a\", [5]), to_make_trans(\"c\", [7])"
},
{
"step": 19,
"question": 0,
"answer": "",
"atoms_added": "",
"atoms_used": "",
"base": ""
}
],
"result": "SolverResult { t: Exhausted, steps: 20 }"
}