TM: 0 B1R 0 E1L 0 C1R 0 F1R 0 D1L 0 B0R 0 E1R 0 C0L 0 A1L 0 D0R 0 G1L 0 C1R
tape / proofs; generated by unibb prover; 2010-Jul-24 05:59:22
0. A>
1. 1 B>
2. {1}2 C>
3. {1}2 <D 1
4. 1 <C 01
5. 0 B> 01
6. 01 C> 1
7. 010 B>
8. {01}2 C>
9. {01}2 <D 1
10. 010 <C 01
11. 01 <D 101
12. 0 <C {01}2
13. <D 1 {01}2
14. 1 E> 1 {01}2
15. 10 D> {01}2
16. 101 E> 101
17. {10}2 D> 01
18. {10}2 1 E> 1
19. {10}3 D>
20. {10}3 1 E>
21. {10}3 1 <A 1
22. {10}3 <E {1}2
23. {10}2 1 <A {1}3
24. {10}2 <E {1}4 proof 1 added proof used
USING
proof 1:
1. {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 1
26. 1 <A {1}7
27. <E {1}8
28. <A {1}9
29. 1 B> {1}9
30. {1}2 F> {1}8
31. {1}3 C> {1}7
32. {1}3 0 B> {1}6
33. {1}3 01 F> {1}5
34. {1}3 0 {1}2 C> {1}4
35. {1}3 0 {1}2 0 B> {1}3
36. {1}3 0 {1}2 01 F> {1}2
37. {1}3 {0 {1}2}2 C> 1
38. {1}3 {0 {1}2}2 0 B>
39. {1}3 {0 {1}2}2 01 C>
40. {1}3 {0 {1}2}2 01 <D 1
41. {1}3 {0 {1}2}2 0 <C 01
42. {1}3 {0 {1}2}2 <D 101
43. {1}3 0 {1}2 01 <C {01}2
44. {1}3 0 {1}2 {0}2 B> {01}2
45. {1}3 0 {1}2 {0}2 1 C> 101
46. {1}3 0 {1}2 {0}2 10 B> 01
47. {1}3 0 {1}2 {0}2 101 C> 1
48. {1}3 0 {1}2 {0}2 {10}2 B>
49. {1}3 0 {1}2 {0}2 {10}2 1 C>
50. {1}3 0 {1}2 {0}2 {10}2 1 <D 1
51. {1}3 0 {1}2 {0}2 {10}2 <C 01
52. {1}3 0 {1}2 {0}2 101 <D 101
53. {1}3 0 {1}2 {0}2 10 <C {01}2
54. {1}3 0 {1}2 {0}2 1 <D 1 {01}2
55. {1}3 0 {1}2 {0}2 <C {01}3
56. {1}3 0 {1}2 0 <D 1 {01}3
57. {1}3 0 {1}3 E> 1 {01}3
58. {{1}3 0}2 D> {01}3
59. {{1}3 0}2 1 E> 1 {01}2
60. {{1}3 0}2 10 D> {01}2
61. {{1}3 0}2 101 E> 101
62. {{1}3 0}2 {10}2 D> 01
63. {{1}3 0}2 {10}2 1 E> 1
64. {{1}3 0}2 {10}3 D>
65. {{1}3 0}2 {10}3 1 E>
66. {{1}3 0}2 {10}3 1 <A 1
67. {{1}3 0}2 {10}3 <E {1}2
68. {{1}3 0}2 {10}2 1 <A {1}3
69. {{1}3 0}2 {10}2 <E {1}4 proof 2 added proof used
USING
proof 2:
1. {
{1}3 0}
2:F {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 1
71. {{1}3 0}2 1 <A {1}7
72. {{1}3 0}2 <E {1}8
73. {1}3 0 {1}3 <A {1}9
74. {1}3 0 {1}2 <E {1}10
75. {1}3 010 D> {1}10
76. {1}3 010 <C 0 {1}9
77. {1}3 01 <D 10 {1}9
78. {1}3 0 <C 010 {1}9
79. {1}3 <D {10}2 {1}9
80. {1}2 <C 0 {10}2 {1}9
81. 10 B> 0 {10}2 {1}9
82. 101 C> {10}2 {1}9
83. {10}2 B> 010 {1}9
84. {10}2 1 C> 10 {1}9
85. {10}3 B> 0 {1}9
86. {10}3 1 C> {1}9
87. {10}4 B> {1}8
88. {10}4 1 F> {1}7
89. {10}4 {1}2 C> {1}6
90. {10}4 {1}2 0 B> {1}5
91. {10}4 {1}2 01 F> {1}4
92. {10}4 {1}2 0 {1}2 C> {1}3
93. {10}4 {{1}2 0}2 B> {1}2
94. {10}4 {{1}2 0}2 1 F> 1
95. {10}4 {{1}2 0}2 {1}2 C>
96. {10}4 {{1}2 0}2 {1}2 <D 1
97. {10}4 {{1}2 0}2 1 <C 01
98. {10}4 {{1}2 0}2 0 B> 01
99. {10}4 {{1}2 0}2 01 C> 1
100. {10}4 {{1}2 0}2 010 B>
101. {10}4 {{1}2 0}2 {01}2 C>
102. {10}4 {{1}2 0}2 {01}2 <D 1
103. {10}4 {{1}2 0}2 010 <C 01
104. {10}4 {{1}2 0}2 01 <D 101
105. {10}4 {{1}2 0}2 0 <C {01}2
106. {10}4 {{1}2 0}2 <D 1 {01}2
107. {10}4 {1}2 0 {1}3 E> 1 {01}2
108. {10}4 {1}2 0 {1}3 0 D> {01}2
109. {10}4 {1}2 0 {1}3 01 E> 101
110. {10}4 {1}2 0 {1}3 010 D> 01
111. {10}4 {1}2 0 {1}3 {01}2 E> 1
112. {10}4 {1}2 0 {1}3 {01}2 0 D>
113. {10}4 {1}2 0 {1}3 {01}3 E>
114. {10}4 {1}2 0 {1}3 {01}3 <A 1
115. {10}4 {1}2 0 {1}3 {01}2 0 <E {1}2
116. {10}4 {1}2 0 {1}3 {01}2 <A {1}3
117. {10}4 {1}2 0 {1}3 010 <E {1}4
118. {10}4 {1}2 0 {1}3 01 <A {1}5
119. {10}4 {1}2 0 {1}3 0 <E {1}6
120. {10}4 {1}2 0 {1}3 <A {1}7
121. {10}4 {1}2 0 {1}2 <E {1}8
122. {10}4 {1}2 010 D> {1}8
123. {10}4 {1}2 010 <C 0 {1}7
124. {10}4 {1}2 01 <D 10 {1}7
125. {10}4 {1}2 0 <C 010 {1}7
126. {10}4 {1}2 <D {10}2 {1}7
127. {10}4 1 <C 0 {10}2 {1}7
128. {10}4 0 B> 0 {10}2 {1}7
129. {10}4 01 C> {10}2 {1}7
130. {10}4 010 B> 010 {1}7
131. {10}4 {01}2 C> 10 {1}7
132. {10}4 {01}2 0 B> 0 {1}7
133. {10}4 {01}3 C> {1}7
134. {10}4 {01}3 0 B> {1}6
135. {10}4 {01}4 F> {1}5
136. {10}4 {01}4 1 C> {1}4
137. {10}4 {01}4 10 B> {1}3
138. {10}4 {01}4 101 F> {1}2
139. {10}4 {01}4 10 {1}2 C> 1
140. {10}4 {01}4 10 {1}2 0 B>
141. {10}4 {01}4 10 {1}2 01 C>
142. {10}4 {01}4 10 {1}2 01 <D 1
143. {10}4 {01}4 10 {1}2 0 <C 01
144. {10}4 {01}4 10 {1}2 <D 101
145. {10}4 {01}4 101 <C {01}2
146. {10}4 {01}4 1 {0}2 B> {01}2
147. {10}4 {01}4 1 {0}2 1 C> 101
148. {10}4 {01}4 1 {0}2 10 B> 01
149. {10}4 {01}4 1 {0}2 101 C> 1
150. {10}4 {01}4 1 {0}2 {10}2 B>
151. {10}4 {01}4 1 {0}2 {10}2 1 C>
152. {10}4 {01}4 1 {0}2 {10}2 1 <D 1
153. {10}4 {01}4 1 {0}2 {10}2 <C 01
154. {10}4 {01}4 1 {0}2 101 <D 101
155. {10}4 {01}4 1 {0}2 10 <C {01}2
156. {10}4 {01}4 1 {0}2 1 <D 1 {01}2
157. {10}4 {01}4 1 {0}2 <C {01}3
158. {10}4 {01}4 10 <D 1 {01}3
159. {10}4 {01}4 {1}2 E> 1 {01}3
160. {10}4 {01}4 {1}2 0 D> {01}3
161. {10}4 {01}4 {1}2 01 E> 1 {01}2
162. {10}4 {01}4 {1}2 010 D> {01}2
163. {10}4 {01}4 {1}2 {01}2 E> 101
164. {10}4 {01}4 {1}2 {01}2 0 D> 01
165. {10}4 {01}4 {1}2 {01}3 E> 1
166. {10}4 {01}4 {1}2 {01}3 0 D>
167. {10}4 {01}4 {1}2 {01}4 E>
168. {10}4 {01}4 {1}2 {01}4 <A 1
169. {10}4 {01}4 {1}2 {01}3 0 <E {1}2
170. {10}4 {01}4 {1}2 {01}3 <A {1}3
171. {10}4 {01}4 {1}2 {01}2 0 <E {1}4 proof 3 added proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 1
173. {10}4 {01}4 {1}2 {01}1 <A {1}7
174. {10}4 {01}4 {1}2 0 <E {1}8
175. {10}4 {01}4 {1}2 <A {1}9
176. {10}4 {01}4 1 <E {1}10
177. {10}4 {01}4 0 D> {1}10
178. {10}4 {01}4 0 <C 0 {1}9
179. {10}4 {01}4 <D 10 {1}9
180. {10}4 {01}3 0 <C 010 {1}9
181. {10}4 {01}3 <D {10}2 {1}9
182. {10}4 {01}2 0 <C 0 {10}2 {1}9
183. {10}4 {01}2 <D {10}3 {1}9 proof 4 added proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 1
185. {10}4 0 <C 0 {10}4 {1}9
186. {10}4 <D {10}5 {1}9
187. {10}3 {1}2 E> {10}5 {1}9
188. {10}3 {1}2 0 D> 0 {10}4 {1}9
189. {10}3 {1}2 01 E> {10}4 {1}9
190. {10}3 {1}2 010 D> 0 {10}3 {1}9
191. {10}3 {1}2 {01}2 E> {10}3 {1}9
192. {10}3 {1}2 {01}2 0 D> 0 {10}2 {1}9
193. {10}3 {1}2 {01}3 E> {10}2 {1}9 proof 5 added proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 1
195. {10}3 {1}2 {01}4 0 D> 0 {1}9
196. {10}3 {1}2 {01}5 E> {1}9
197. {10}3 {1}2 {01}5 0 D> {1}8
198. {10}3 {1}2 {01}5 0 <C 0 {1}7
199. {10}3 {1}2 {01}5 <D 10 {1}7
200. {10}3 {1}2 {01}4 0 <C 010 {1}7
201. {10}3 {1}2 {01}4 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 3
203. {10}3 {1}2 0 <C 0 {10}5 {1}7
204. {10}3 {1}2 <D {10}6 {1}7
205. {10}3 1 <C 0 {10}6 {1}7
206. {10}3 0 B> 0 {10}6 {1}7
207. {10}3 01 C> {10}6 {1}7
208. {10}3 010 B> 0 {10}5 {1}7
209. {10}3 {01}2 C> {10}5 {1}7
210. {10}3 {01}2 0 B> 0 {10}4 {1}7
211. {10}3 {01}3 C> {10}4 {1}7 proof 6 added proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 3
213. {10}3 {01}6 0 B> 0 {1}7
214. {10}3 {01}7 C> {1}7
215. {10}3 {01}7 0 B> {1}6
216. {10}3 {01}8 F> {1}5
217. {10}3 {01}8 1 C> {1}4
218. {10}3 {01}8 10 B> {1}3
219. {10}3 {01}8 101 F> {1}2
220. {10}3 {01}8 10 {1}2 C> 1
221. {10}3 {01}8 10 {1}2 0 B>
222. {10}3 {01}8 10 {1}2 01 C>
223. {10}3 {01}8 10 {1}2 01 <D 1
224. {10}3 {01}8 10 {1}2 0 <C 01
225. {10}3 {01}8 10 {1}2 <D 101
226. {10}3 {01}8 101 <C {01}2
227. {10}3 {01}8 1 {0}2 B> {01}2
228. {10}3 {01}8 1 {0}2 1 C> 101
229. {10}3 {01}8 1 {0}2 10 B> 01
230. {10}3 {01}8 1 {0}2 101 C> 1
231. {10}3 {01}8 1 {0}2 {10}2 B>
232. {10}3 {01}8 1 {0}2 {10}2 1 C>
233. {10}3 {01}8 1 {0}2 {10}2 1 <D 1
234. {10}3 {01}8 1 {0}2 {10}2 <C 01
235. {10}3 {01}8 1 {0}2 101 <D 101
236. {10}3 {01}8 1 {0}2 10 <C {01}2
237. {10}3 {01}8 1 {0}2 1 <D 1 {01}2
238. {10}3 {01}8 1 {0}2 <C {01}3
239. {10}3 {01}8 10 <D 1 {01}3
240. {10}3 {01}8 {1}2 E> 1 {01}3
241. {10}3 {01}8 {1}2 0 D> {01}3
242. {10}3 {01}8 {1}2 01 E> 1 {01}2
243. {10}3 {01}8 {1}2 010 D> {01}2
244. {10}3 {01}8 {1}2 {01}2 E> 101
245. {10}3 {01}8 {1}2 {01}2 0 D> 01
246. {10}3 {01}8 {1}2 {01}3 E> 1
247. {10}3 {01}8 {1}2 {01}3 0 D>
248. {10}3 {01}8 {1}2 {01}4 E>
249. {10}3 {01}8 {1}2 {01}4 <A 1
250. {10}3 {01}8 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
252. {10}3 {01}8 {1}2 {01}1 <A {1}7
253. {10}3 {01}8 {1}2 0 <E {1}8
254. {10}3 {01}8 {1}2 <A {1}9
255. {10}3 {01}8 1 <E {1}10
256. {10}3 {01}8 0 D> {1}10
257. {10}3 {01}8 0 <C 0 {1}9
258. {10}3 {01}8 <D 10 {1}9
259. {10}3 {01}7 0 <C 010 {1}9
260. {10}3 {01}7 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 6
262. {10}3 0 <C 0 {10}8 {1}9
263. {10}3 <D {10}9 {1}9
264. {10}2 {1}2 E> {10}9 {1}9
265. {10}2 {1}2 0 D> 0 {10}8 {1}9
266. {10}2 {1}2 01 E> {10}8 {1}9
267. {10}2 {1}2 010 D> 0 {10}7 {1}9
268. {10}2 {1}2 {01}2 E> {10}7 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 6
270. {10}2 {1}2 {01}8 0 D> 0 {1}9
271. {10}2 {1}2 {01}9 E> {1}9
272. {10}2 {1}2 {01}9 0 D> {1}8
273. {10}2 {1}2 {01}9 0 <C 0 {1}7
274. {10}2 {1}2 {01}9 <D 10 {1}7
275. {10}2 {1}2 {01}8 0 <C 010 {1}7
276. {10}2 {1}2 {01}8 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 7
278. {10}2 {1}2 0 <C 0 {10}9 {1}7
279. {10}2 {1}2 <D {10}10 {1}7
280. {10}2 1 <C 0 {10}10 {1}7
281. {10}2 0 B> 0 {10}10 {1}7
282. {10}2 01 C> {10}10 {1}7
283. {10}2 010 B> 0 {10}9 {1}7
284. {10}2 {01}2 C> {10}9 {1}7 proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 8
USING
proof 7:
72. {
10}
2:T|b - 1 {
01}
10:T|a + 4 C> {
10}
1:T {
1}
7:T
max_repeat = 1
287. {10}1 {01}14 0 B> 0 {1}7
288. {10}1 {01}15 C> {1}7
289. {10}1 {01}15 0 B> {1}6
290. {10}1 {01}16 F> {1}5
291. {10}1 {01}16 1 C> {1}4
292. {10}1 {01}16 10 B> {1}3
293. {10}1 {01}16 101 F> {1}2
294. {10}1 {01}16 10 {1}2 C> 1
295. {10}1 {01}16 10 {1}2 0 B>
296. {10}1 {01}16 10 {1}2 01 C>
297. {10}1 {01}16 10 {1}2 01 <D 1
298. {10}1 {01}16 10 {1}2 0 <C 01
299. {10}1 {01}16 10 {1}2 <D 101
300. {10}1 {01}16 101 <C {01}2
301. {10}1 {01}16 1 {0}2 B> {01}2
302. {10}1 {01}16 1 {0}2 1 C> 101
303. {10}1 {01}16 1 {0}2 10 B> 01
304. {10}1 {01}16 1 {0}2 101 C> 1
305. {10}1 {01}16 1 {0}2 {10}2 B>
306. {10}1 {01}16 1 {0}2 {10}2 1 C>
307. {10}1 {01}16 1 {0}2 {10}2 1 <D 1
308. {10}1 {01}16 1 {0}2 {10}2 <C 01
309. {10}1 {01}16 1 {0}2 101 <D 101
310. {10}1 {01}16 1 {0}2 10 <C {01}2
311. {10}1 {01}16 1 {0}2 1 <D 1 {01}2
312. {10}1 {01}16 1 {0}2 <C {01}3
313. {10}1 {01}16 10 <D 1 {01}3
314. {10}1 {01}16 {1}2 E> 1 {01}3
315. {10}1 {01}16 {1}2 0 D> {01}3
316. {10}1 {01}16 {1}2 01 E> 1 {01}2
317. {10}1 {01}16 {1}2 010 D> {01}2
318. {10}1 {01}16 {1}2 {01}2 E> 101
319. {10}1 {01}16 {1}2 {01}2 0 D> 01
320. {10}1 {01}16 {1}2 {01}3 E> 1
321. {10}1 {01}16 {1}2 {01}3 0 D>
322. {10}1 {01}16 {1}2 {01}4 E>
323. {10}1 {01}16 {1}2 {01}4 <A 1
324. {10}1 {01}16 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
326. {10}1 {01}16 {1}2 {01}1 <A {1}7
327. {10}1 {01}16 {1}2 0 <E {1}8
328. {10}1 {01}16 {1}2 <A {1}9
329. {10}1 {01}16 1 <E {1}10
330. {10}1 {01}16 0 D> {1}10
331. {10}1 {01}16 0 <C 0 {1}9
332. {10}1 {01}16 <D 10 {1}9
333. {10}1 {01}15 0 <C 010 {1}9
334. {10}1 {01}15 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 14
336. {10}1 0 <C 0 {10}16 {1}9
337. {10}1 <D {10}17 {1}9
338. {1}2 E> {10}17 {1}9
339. {1}2 0 D> 0 {10}16 {1}9
340. {1}2 01 E> {10}16 {1}9
341. {1}2 010 D> 0 {10}15 {1}9
342. {1}2 {01}2 E> {10}15 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 14
344. {1}2 {01}16 0 D> 0 {1}9
345. {1}2 {01}17 E> {1}9
346. {1}2 {01}17 0 D> {1}8
347. {1}2 {01}17 0 <C 0 {1}7
348. {1}2 {01}17 <D 10 {1}7
349. {1}2 {01}16 0 <C 010 {1}7
350. {1}2 {01}16 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 15
352. {1}2 0 <C 0 {10}17 {1}7
353. {1}2 <D {10}18 {1}7
354. 1 <C 0 {10}18 {1}7
355. 0 B> 0 {10}18 {1}7
356. 01 C> {10}18 {1}7
357. 010 B> 0 {10}17 {1}7
358. {01}2 C> {10}17 {1}7
359. {01}2 0 B> 0 {10}16 {1}7
360. {01}3 C> {10}16 {1}7 proof 8 added proof used
USING
proof 8:
1. {
01}
3:T|a + 1 C> {
10}
16:T|b - 1 {
1}
7:F
max_repeat = 15
362. {01}18 0 B> 0 {1}7
363. {01}19 C> {1}7
364. {01}19 0 B> {1}6
365. {01}20 F> {1}5
366. {01}20 1 C> {1}4
367. {01}20 10 B> {1}3
368. {01}20 101 F> {1}2
369. {01}20 10 {1}2 C> 1
370. {01}20 10 {1}2 0 B>
371. {01}20 10 {1}2 01 C>
372. {01}20 10 {1}2 01 <D 1
373. {01}20 10 {1}2 0 <C 01
374. {01}20 10 {1}2 <D 101
375. {01}20 101 <C {01}2
376. {01}20 1 {0}2 B> {01}2
377. {01}20 1 {0}2 1 C> 101
378. {01}20 1 {0}2 10 B> 01
379. {01}20 1 {0}2 101 C> 1
380. {01}20 1 {0}2 {10}2 B>
381. {01}20 1 {0}2 {10}2 1 C>
382. {01}20 1 {0}2 {10}2 1 <D 1
383. {01}20 1 {0}2 {10}2 <C 01
384. {01}20 1 {0}2 101 <D 101
385. {01}20 1 {0}2 10 <C {01}2
386. {01}20 1 {0}2 1 <D 1 {01}2
387. {01}20 1 {0}2 <C {01}3
388. {01}20 10 <D 1 {01}3
389. {01}20 {1}2 E> 1 {01}3
390. {01}20 {1}2 0 D> {01}3
391. {01}20 {1}2 01 E> 1 {01}2
392. {01}20 {1}2 010 D> {01}2
393. {01}20 {1}2 {01}2 E> 101
394. {01}20 {1}2 {01}2 0 D> 01
395. {01}20 {1}2 {01}3 E> 1
396. {01}20 {1}2 {01}3 0 D>
397. {01}20 {1}2 {01}4 E>
398. {01}20 {1}2 {01}4 <A 1
399. {01}20 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
401. {01}20 {1}2 {01}1 <A {1}7
402. {01}20 {1}2 0 <E {1}8
403. {01}20 {1}2 <A {1}9
404. {01}20 1 <E {1}10
405. {01}20 0 D> {1}10
406. {01}20 0 <C 0 {1}9
407. {01}20 <D 10 {1}9
408. {01}19 0 <C 010 {1}9
409. {01}19 <D {10}2 {1}9
410. {01}18 0 <C 0 {10}2 {1}9
411. {01}18 <D {10}3 {1}9 proof 9 added proof used
USING
proof 9:
1. {
01}
18:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 17
413. 0 <C 0 {10}20 {1}9
414. <D {10}21 {1}9
415. 1 E> {10}21 {1}9
416. 10 D> 0 {10}20 {1}9
417. 101 E> {10}20 {1}9
418. {10}2 D> 0 {10}19 {1}9
419. {10}2 1 E> {10}19 {1}9
420. {10}3 D> 0 {10}18 {1}9 proof 10 added proof used
USING
proof 10:
1. {
10}
3:T|a + 1 D> 0
T {
10}
18:T|b - 1 {
1}
9:F
max_repeat = 17
422. {10}20 1 E> {10}1 {1}9
423. {10}21 D> 0 {1}9
424. {10}21 1 E> {1}9
425. {10}22 D> {1}8
426. {10}22 <C 0 {1}7
427. {10}21 1 <D 10 {1}7
428. {10}21 <C 010 {1}7
429. {10}20 1 <D {10}2 {1}7
430. {10}20 <C 0 {10}2 {1}7
431. {10}19 1 <D {10}3 {1}7 proof 11 added proof used
USING
proof 11:
1. {
10}
19:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
7:F
max_repeat = 18
433. {10}1 <C 0 {10}21 {1}7
434. 1 <D {10}22 {1}7
435. <C 0 {10}22 {1}7
436. <D {10}23 {1}7
437. 1 E> {10}23 {1}7
438. 10 D> 0 {10}22 {1}7
439. 101 E> {10}22 {1}7
440. {10}2 D> 0 {10}21 {1}7 proof used
USING
proof 10:
1. {
10}
3:T|a + 1 D> 0
T {
10}
18:T|b - 1 {
1}
9:F
max_repeat = 20
442. {10}22 1 E> {10}1 {1}7
443. {10}23 D> 0 {1}7
444. {10}23 1 E> {1}7
445. {10}24 D> {1}6
446. {10}24 <C 0 {1}5
447. {10}23 1 <D 10 {1}5
448. {10}23 <C 010 {1}5
449. {10}22 1 <D {10}2 {1}5 proof used
USING
proof 11:
1. {
10}
19:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
7:F
max_repeat = 21
USING
proof 12:
17. {
10}
1:T 1
T <D {
10}
23:T|a + 2 {
1}
5:T|b - 2
max_repeat = 2
452. {10}1 <C 0 {10}27 {1}1
453. 1 <D {10}28 {1}1
454. <C 0 {10}28 {1}1
455. <D {10}29 {1}1
456. 1 E> {10}29 {1}1
457. 10 D> 0 {10}28 {1}1
458. 101 E> {10}28 {1}1
459. {10}2 D> 0 {10}27 {1}1 proof used
USING
proof 10:
1. {
10}
3:T|a + 1 D> 0
T {
10}
18:T|b - 1 {
1}
9:F
max_repeat = 26
461. {10}28 1 E> {10}1 {1}1
462. {10}29 D> 0 {1}1
463. {10}29 1 E> {1}1
464. {10}30 D>
465. {10}30 1 E>
466. {10}30 1 <A 1
467. {10}30 <E {1}2 proof used
USING
proof 1:
1. {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 29
469. 1 <A {1}61
470. <E {1}62
471. <A {1}63
472. 1 B> {1}63
473. {1}2 F> {1}62
474. {1}3 C> {1}61
475. {1}3 0 B> {1}60
476. {1}3 01 F> {1}59
477. {1}3 0 {1}2 C> {1}58
478. {1}3 0 {1}2 0 B> {1}57
479. {1}3 0 {1}2 01 F> {1}56
480. {1}3 {0 {1}2}2 C> {1}55
481. {1}3 {0 {1}2}2 0 B> {1}54
482. {1}3 {0 {1}2}2 01 F> {1}53
483. {1}3 {0 {1}2}3 C> {1}52 proof 13 added proof used
USING
proof 13:
2. {
1}
3:F {
0 {1}2}
3:T|a + 1 C> {
1}
52:T|b - 3
max_repeat = 17
485. {1}3 {0 {1}2}20 0 B>
486. {1}3 {0 {1}2}20 01 C>
487. {1}3 {0 {1}2}20 01 <D 1
488. {1}3 {0 {1}2}20 0 <C 01
489. {1}3 {0 {1}2}20 <D 101
490. {1}3 {0 {1}2}19 01 <C {01}2
491. {1}3 {0 {1}2}19 {0}2 B> {01}2
492. {1}3 {0 {1}2}19 {0}2 1 C> 101
493. {1}3 {0 {1}2}19 {0}2 10 B> 01
494. {1}3 {0 {1}2}19 {0}2 101 C> 1
495. {1}3 {0 {1}2}19 {0}2 {10}2 B>
496. {1}3 {0 {1}2}19 {0}2 {10}2 1 C>
497. {1}3 {0 {1}2}19 {0}2 {10}2 1 <D 1
498. {1}3 {0 {1}2}19 {0}2 {10}2 <C 01
499. {1}3 {0 {1}2}19 {0}2 101 <D 101
500. {1}3 {0 {1}2}19 {0}2 10 <C {01}2
501. {1}3 {0 {1}2}19 {0}2 1 <D 1 {01}2
502. {1}3 {0 {1}2}19 {0}2 <C {01}3
503. {1}3 {0 {1}2}19 0 <D 1 {01}3
504. {1}3 {0 {1}2}19 1 E> 1 {01}3
505. {1}3 {0 {1}2}19 10 D> {01}3
506. {1}3 {0 {1}2}19 101 E> 1 {01}2
507. {1}3 {0 {1}2}19 {10}2 D> {01}2
508. {1}3 {0 {1}2}19 {10}2 1 E> 101
509. {1}3 {0 {1}2}19 {10}3 D> 01
510. {1}3 {0 {1}2}19 {10}3 1 E> 1
511. {1}3 {0 {1}2}19 {10}4 D>
512. {1}3 {0 {1}2}19 {10}4 1 E>
513. {1}3 {0 {1}2}19 {10}4 1 <A 1
514. {1}3 {0 {1}2}19 {10}4 <E {1}2 proof used
USING
proof 2:
1. {
{1}3 0}
2:F {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 3
516. {1}3 {0 {1}2}19 1 <A {1}9
517. {1}3 {0 {1}2}19 <E {1}10
518. {1}3 {0 {1}2}18 010 D> {1}10
519. {1}3 {0 {1}2}18 010 <C 0 {1}9
520. {1}3 {0 {1}2}18 01 <D 10 {1}9
521. {1}3 {0 {1}2}18 0 <C 010 {1}9
522. {1}3 {0 {1}2}18 <D {10}2 {1}9
523. {1}3 {0 {1}2}17 01 <C 0 {10}2 {1}9
524. {1}3 {0 {1}2}17 {0}2 B> 0 {10}2 {1}9
525. {1}3 {0 {1}2}17 {0}2 1 C> {10}2 {1}9
526. {1}3 {0 {1}2}17 {0}2 10 B> 010 {1}9
527. {1}3 {0 {1}2}17 {0}2 101 C> 10 {1}9
528. {1}3 {0 {1}2}17 {0}2 {10}2 B> 0 {1}9
529. {1}3 {0 {1}2}17 {0}2 {10}2 1 C> {1}9
530. {1}3 {0 {1}2}17 {0}2 {10}3 B> {1}8
531. {1}3 {0 {1}2}17 {0}2 {10}3 1 F> {1}7
532. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 C> {1}6
533. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 B> {1}5
534. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 01 F> {1}4
535. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}2 C> {1}3
536. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 B> {1}2
537. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 1 F> 1
538. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 {1}2 C>
539. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 {1}2 <D 1
540. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 1 <C 01
541. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 0 B> 01
542. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 01 C> 1
543. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 010 B>
544. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 {01}2 C>
545. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 {01}2 <D 1
546. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 010 <C 01
547. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 01 <D 101
548. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 0 <C {01}2
549. {1}3 {0 {1}2}17 {0}2 {10}3 {{1}2 0}2 <D 1 {01}2
550. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 E> 1 {01}2
551. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 0 D> {01}2
552. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 01 E> 101
553. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 010 D> 01
554. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 {01}2 E> 1
555. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 {01}2 0 D>
556. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 {01}3 E>
557. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 {01}3 <A 1
558. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 {01}2 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 1
560. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 {01}1 <A {1}5
561. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 0 <E {1}6
562. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}3 <A {1}7
563. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 {1}2 <E {1}8
564. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 010 D> {1}8
565. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 010 <C 0 {1}7
566. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 01 <D 10 {1}7
567. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 0 <C 010 {1}7
568. {1}3 {0 {1}2}17 {0}2 {10}3 {1}2 <D {10}2 {1}7
569. {1}3 {0 {1}2}17 {0}2 {10}3 1 <C 0 {10}2 {1}7
570. {1}3 {0 {1}2}17 {0}2 {10}3 0 B> 0 {10}2 {1}7
571. {1}3 {0 {1}2}17 {0}2 {10}3 01 C> {10}2 {1}7
572. {1}3 {0 {1}2}17 {0}2 {10}3 010 B> 010 {1}7
573. {1}3 {0 {1}2}17 {0}2 {10}3 {01}2 C> 10 {1}7
574. {1}3 {0 {1}2}17 {0}2 {10}3 {01}2 0 B> 0 {1}7
575. {1}3 {0 {1}2}17 {0}2 {10}3 {01}3 C> {1}7
576. {1}3 {0 {1}2}17 {0}2 {10}3 {01}3 0 B> {1}6
577. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 F> {1}5
578. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 C> {1}4
579. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 B> {1}3
580. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 101 F> {1}2
581. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 {1}2 C> 1
582. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 {1}2 0 B>
583. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 {1}2 01 C>
584. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 {1}2 01 <D 1
585. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 {1}2 0 <C 01
586. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 {1}2 <D 101
587. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 101 <C {01}2
588. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 B> {01}2
589. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 1 C> 101
590. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 10 B> 01
591. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 101 C> 1
592. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 {10}2 B>
593. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 {10}2 1 C>
594. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 {10}2 1 <D 1
595. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 {10}2 <C 01
596. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 101 <D 101
597. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 10 <C {01}2
598. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 1 <D 1 {01}2
599. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 {0}2 <C {01}3
600. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 10 <D 1 {01}3
601. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 E> 1 {01}3
602. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 0 D> {01}3
603. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 01 E> 1 {01}2
604. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 010 D> {01}2
605. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}2 E> 101
606. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}2 0 D> 01
607. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}3 E> 1
608. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}3 0 D>
609. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}4 E>
610. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}4 <A 1
611. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
613. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 {01}1 <A {1}7
614. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 0 <E {1}8
615. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 {1}2 <A {1}9
616. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 1 <E {1}10
617. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 0 D> {1}10
618. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 0 <C 0 {1}9
619. {1}3 {0 {1}2}17 {0}2 {10}3 {01}4 <D 10 {1}9
620. {1}3 {0 {1}2}17 {0}2 {10}3 {01}3 0 <C 010 {1}9
621. {1}3 {0 {1}2}17 {0}2 {10}3 {01}3 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 2
623. {1}3 {0 {1}2}17 {0}2 {10}3 0 <C 0 {10}4 {1}9
624. {1}3 {0 {1}2}17 {0}2 {10}3 <D {10}5 {1}9
625. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 E> {10}5 {1}9
626. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 0 D> 0 {10}4 {1}9
627. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 01 E> {10}4 {1}9
628. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 010 D> 0 {10}3 {1}9
629. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}2 E> {10}3 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 2
631. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}4 0 D> 0 {1}9
632. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}5 E> {1}9
633. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}5 0 D> {1}8
634. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}5 0 <C 0 {1}7
635. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}5 <D 10 {1}7
636. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}4 0 <C 010 {1}7
637. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 {01}4 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 3
639. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 0 <C 0 {10}5 {1}7
640. {1}3 {0 {1}2}17 {0}2 {10}2 {1}2 <D {10}6 {1}7
641. {1}3 {0 {1}2}17 {0}2 {10}2 1 <C 0 {10}6 {1}7
642. {1}3 {0 {1}2}17 {0}2 {10}2 0 B> 0 {10}6 {1}7
643. {1}3 {0 {1}2}17 {0}2 {10}2 01 C> {10}6 {1}7
644. {1}3 {0 {1}2}17 {0}2 {10}2 010 B> 0 {10}5 {1}7
645. {1}3 {0 {1}2}17 {0}2 {10}2 {01}2 C> {10}5 {1}7 proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 4
647. {1}3 {0 {1}2}17 {0}2 {10}2 {01}6 0 B> 0 {1}7 proof 14 added proof used
USING
proof 14:
72. {
1}
3:F {
0 {1}2}
17:F {
0}
2:F {
10}
2:T|b - 1 {
01}
6:T|a + 4 0
T B> 0
T {
1}
7:T
max_repeat = 1
649. {1}3 {0 {1}2}17 {0}2 {10}1 {01}11 C> {1}7
650. {1}3 {0 {1}2}17 {0}2 {10}1 {01}11 0 B> {1}6
651. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 F> {1}5
652. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 C> {1}4
653. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 B> {1}3
654. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 101 F> {1}2
655. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 {1}2 C> 1
656. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 {1}2 0 B>
657. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 {1}2 01 C>
658. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 {1}2 01 <D 1
659. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 {1}2 0 <C 01
660. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 {1}2 <D 101
661. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 101 <C {01}2
662. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 B> {01}2
663. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 1 C> 101
664. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 10 B> 01
665. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 101 C> 1
666. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 {10}2 B>
667. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 {10}2 1 C>
668. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 {10}2 1 <D 1
669. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 {10}2 <C 01
670. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 101 <D 101
671. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 10 <C {01}2
672. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 1 <D 1 {01}2
673. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 {0}2 <C {01}3
674. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 10 <D 1 {01}3
675. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 E> 1 {01}3
676. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 0 D> {01}3
677. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 01 E> 1 {01}2
678. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 010 D> {01}2
679. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}2 E> 101
680. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}2 0 D> 01
681. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}3 E> 1
682. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}3 0 D>
683. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}4 E>
684. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}4 <A 1
685. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
687. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 {01}1 <A {1}7
688. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 0 <E {1}8
689. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 {1}2 <A {1}9
690. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 1 <E {1}10
691. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 0 D> {1}10
692. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 0 <C 0 {1}9
693. {1}3 {0 {1}2}17 {0}2 {10}1 {01}12 <D 10 {1}9
694. {1}3 {0 {1}2}17 {0}2 {10}1 {01}11 0 <C 010 {1}9
695. {1}3 {0 {1}2}17 {0}2 {10}1 {01}11 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 10
697. {1}3 {0 {1}2}17 {0}2 {10}1 0 <C 0 {10}12 {1}9
698. {1}3 {0 {1}2}17 {0}2 {10}1 <D {10}13 {1}9
699. {1}3 {0 {1}2}17 {0}2 {1}2 E> {10}13 {1}9
700. {1}3 {0 {1}2}17 {0}2 {1}2 0 D> 0 {10}12 {1}9
701. {1}3 {0 {1}2}17 {0}2 {1}2 01 E> {10}12 {1}9
702. {1}3 {0 {1}2}17 {0}2 {1}2 010 D> 0 {10}11 {1}9
703. {1}3 {0 {1}2}17 {0}2 {1}2 {01}2 E> {10}11 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 10
705. {1}3 {0 {1}2}17 {0}2 {1}2 {01}12 0 D> 0 {1}9
706. {1}3 {0 {1}2}17 {0}2 {1}2 {01}13 E> {1}9
707. {1}3 {0 {1}2}17 {0}2 {1}2 {01}13 0 D> {1}8
708. {1}3 {0 {1}2}17 {0}2 {1}2 {01}13 0 <C 0 {1}7
709. {1}3 {0 {1}2}17 {0}2 {1}2 {01}13 <D 10 {1}7
710. {1}3 {0 {1}2}17 {0}2 {1}2 {01}12 0 <C 010 {1}7
711. {1}3 {0 {1}2}17 {0}2 {1}2 {01}12 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 11
713. {1}3 {0 {1}2}17 {0}2 {1}2 0 <C 0 {10}13 {1}7
714. {1}3 {0 {1}2}17 {0}2 {1}2 <D {10}14 {1}7
715. {1}3 {0 {1}2}17 {0}2 1 <C 0 {10}14 {1}7
716. {1}3 {0 {1}2}17 {0}3 B> 0 {10}14 {1}7
717. {1}3 {0 {1}2}17 {0}3 1 C> {10}14 {1}7
718. {1}3 {0 {1}2}17 {0}3 10 B> 0 {10}13 {1}7
719. {1}3 {0 {1}2}17 {0}3 101 C> {10}13 {1}7
720. {1}3 {0 {1}2}17 {0}3 {10}2 B> 0 {10}12 {1}7
721. {1}3 {0 {1}2}17 {0}3 {10}2 1 C> {10}12 {1}7
722. {1}3 {0 {1}2}17 {0}3 {10}3 B> 0 {10}11 {1}7 proof 15 added proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 10
724. {1}3 {0 {1}2}17 {0}3 {10}13 1 C> {10}1 {1}7
725. {1}3 {0 {1}2}17 {0}3 {10}14 B> 0 {1}7
726. {1}3 {0 {1}2}17 {0}3 {10}14 1 C> {1}7
727. {1}3 {0 {1}2}17 {0}3 {10}15 B> {1}6
728. {1}3 {0 {1}2}17 {0}3 {10}15 1 F> {1}5
729. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 C> {1}4
730. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 0 B> {1}3
731. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 01 F> {1}2
732. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 0 {1}2 C> 1
733. {1}3 {0 {1}2}17 {0}3 {10}15 {{1}2 0}2 B>
734. {1}3 {0 {1}2}17 {0}3 {10}15 {{1}2 0}2 1 C>
735. {1}3 {0 {1}2}17 {0}3 {10}15 {{1}2 0}2 1 <D 1
736. {1}3 {0 {1}2}17 {0}3 {10}15 {{1}2 0}2 <C 01
737. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 0 {1}2 <D 101
738. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 01 <C {01}2
739. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 B> {01}2
740. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 1 C> 101
741. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 10 B> 01
742. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 101 C> 1
743. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 {10}2 B>
744. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 {10}2 1 C>
745. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 {10}2 1 <D 1
746. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 {10}2 <C 01
747. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 101 <D 101
748. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 10 <C {01}2
749. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 1 <D 1 {01}2
750. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 {0}2 <C {01}3
751. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 0 <D 1 {01}3
752. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 E> 1 {01}3
753. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 0 D> {01}3
754. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 01 E> 1 {01}2
755. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 010 D> {01}2
756. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}2 E> 101
757. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}2 0 D> 01
758. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}3 E> 1
759. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}3 0 D>
760. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}4 E>
761. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}4 <A 1
762. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
764. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 {01}1 <A {1}7
765. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 0 <E {1}8
766. {1}3 {0 {1}2}17 {0}3 {10}15 {1}3 <A {1}9
767. {1}3 {0 {1}2}17 {0}3 {10}15 {1}2 <E {1}10
768. {1}3 {0 {1}2}17 {0}3 {10}16 D> {1}10
769. {1}3 {0 {1}2}17 {0}3 {10}16 <C 0 {1}9
770. {1}3 {0 {1}2}17 {0}3 {10}15 1 <D 10 {1}9
771. {1}3 {0 {1}2}17 {0}3 {10}15 <C 010 {1}9
772. {1}3 {0 {1}2}17 {0}3 {10}14 1 <D {10}2 {1}9
773. {1}3 {0 {1}2}17 {0}3 {10}14 <C 0 {10}2 {1}9
774. {1}3 {0 {1}2}17 {0}3 {10}13 1 <D {10}3 {1}9 proof 16 added proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 12
776. {1}3 {0 {1}2}17 {0}3 {10}1 <C 0 {10}15 {1}9
777. {1}3 {0 {1}2}17 {0}3 1 <D {10}16 {1}9
778. {1}3 {0 {1}2}17 {0}3 <C 0 {10}16 {1}9
779. {1}3 {0 {1}2}17 {0}2 <D {10}17 {1}9
780. {1}3 {0 {1}2}17 01 E> {10}17 {1}9
781. {1}3 {0 {1}2}17 010 D> 0 {10}16 {1}9
782. {1}3 {0 {1}2}17 {01}2 E> {10}16 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 15
784. {1}3 {0 {1}2}17 {01}17 0 D> 0 {1}9
785. {1}3 {0 {1}2}17 {01}18 E> {1}9
786. {1}3 {0 {1}2}17 {01}18 0 D> {1}8
787. {1}3 {0 {1}2}17 {01}18 0 <C 0 {1}7
788. {1}3 {0 {1}2}17 {01}18 <D 10 {1}7
789. {1}3 {0 {1}2}17 {01}17 0 <C 010 {1}7
790. {1}3 {0 {1}2}17 {01}17 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 16
792. {1}3 {0 {1}2}17 0 <C 0 {10}18 {1}7
793. {1}3 {0 {1}2}17 <D {10}19 {1}7
794. {1}3 {0 {1}2}16 01 <C 0 {10}19 {1}7
795. {1}3 {0 {1}2}16 {0}2 B> 0 {10}19 {1}7
796. {1}3 {0 {1}2}16 {0}2 1 C> {10}19 {1}7
797. {1}3 {0 {1}2}16 {0}2 10 B> 0 {10}18 {1}7
798. {1}3 {0 {1}2}16 {0}2 101 C> {10}18 {1}7
799. {1}3 {0 {1}2}16 {0}2 {10}2 B> 0 {10}17 {1}7 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 16
801. {1}3 {0 {1}2}16 {0}2 {10}18 1 C> {10}1 {1}7
802. {1}3 {0 {1}2}16 {0}2 {10}19 B> 0 {1}7
803. {1}3 {0 {1}2}16 {0}2 {10}19 1 C> {1}7
804. {1}3 {0 {1}2}16 {0}2 {10}20 B> {1}6
805. {1}3 {0 {1}2}16 {0}2 {10}20 1 F> {1}5
806. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 C> {1}4
807. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 0 B> {1}3
808. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 01 F> {1}2
809. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 0 {1}2 C> 1
810. {1}3 {0 {1}2}16 {0}2 {10}20 {{1}2 0}2 B>
811. {1}3 {0 {1}2}16 {0}2 {10}20 {{1}2 0}2 1 C>
812. {1}3 {0 {1}2}16 {0}2 {10}20 {{1}2 0}2 1 <D 1
813. {1}3 {0 {1}2}16 {0}2 {10}20 {{1}2 0}2 <C 01
814. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 0 {1}2 <D 101
815. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 01 <C {01}2
816. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 B> {01}2
817. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 1 C> 101
818. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 10 B> 01
819. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 101 C> 1
820. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 {10}2 B>
821. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 {10}2 1 C>
822. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 {10}2 1 <D 1
823. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 {10}2 <C 01
824. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 101 <D 101
825. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 10 <C {01}2
826. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 1 <D 1 {01}2
827. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 {0}2 <C {01}3
828. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 0 <D 1 {01}3
829. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 E> 1 {01}3
830. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 0 D> {01}3
831. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 01 E> 1 {01}2
832. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 010 D> {01}2
833. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}2 E> 101
834. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}2 0 D> 01
835. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}3 E> 1
836. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}3 0 D>
837. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}4 E>
838. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}4 <A 1
839. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
841. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 {01}1 <A {1}7
842. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 0 <E {1}8
843. {1}3 {0 {1}2}16 {0}2 {10}20 {1}3 <A {1}9
844. {1}3 {0 {1}2}16 {0}2 {10}20 {1}2 <E {1}10
845. {1}3 {0 {1}2}16 {0}2 {10}21 D> {1}10
846. {1}3 {0 {1}2}16 {0}2 {10}21 <C 0 {1}9
847. {1}3 {0 {1}2}16 {0}2 {10}20 1 <D 10 {1}9
848. {1}3 {0 {1}2}16 {0}2 {10}20 <C 010 {1}9
849. {1}3 {0 {1}2}16 {0}2 {10}19 1 <D {10}2 {1}9 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 18
851. {1}3 {0 {1}2}16 {0}2 {10}1 <C 0 {10}20 {1}9
852. {1}3 {0 {1}2}16 {0}2 1 <D {10}21 {1}9
853. {1}3 {0 {1}2}16 {0}2 <C 0 {10}21 {1}9
854. {1}3 {0 {1}2}16 0 <D {10}22 {1}9
855. {1}3 {0 {1}2}16 1 E> {10}22 {1}9
856. {1}3 {0 {1}2}16 10 D> 0 {10}21 {1}9
857. {1}3 {0 {1}2}16 101 E> {10}21 {1}9
858. {1}3 {0 {1}2}16 {10}2 D> 0 {10}20 {1}9
859. {1}3 {0 {1}2}16 {10}2 1 E> {10}20 {1}9
860. {1}3 {0 {1}2}16 {10}3 D> 0 {10}19 {1}9 proof 17 added proof used
USING
proof 17:
1. {
1}
3:F {
0 {1}2}
16:F {
10}
3:T|a + 1 D> 0
T {
10}
19:T|b - 1 {
1}
9:F
max_repeat = 18
862. {1}3 {0 {1}2}16 {10}21 1 E> {10}1 {1}9
863. {1}3 {0 {1}2}16 {10}22 D> 0 {1}9
864. {1}3 {0 {1}2}16 {10}22 1 E> {1}9
865. {1}3 {0 {1}2}16 {10}23 D> {1}8
866. {1}3 {0 {1}2}16 {10}23 <C 0 {1}7
867. {1}3 {0 {1}2}16 {10}22 1 <D 10 {1}7
868. {1}3 {0 {1}2}16 {10}22 <C 010 {1}7
869. {1}3 {0 {1}2}16 {10}21 1 <D {10}2 {1}7 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 20
871. {1}3 {0 {1}2}16 {10}1 <C 0 {10}22 {1}7
872. {1}3 {0 {1}2}16 1 <D {10}23 {1}7
873. {1}3 {0 {1}2}16 <C 0 {10}23 {1}7
874. {1}3 {0 {1}2}15 010 B> 0 {10}23 {1}7
875. {1}3 {0 {1}2}15 {01}2 C> {10}23 {1}7 proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 22
877. {1}3 {0 {1}2}15 {01}24 0 B> 0 {1}7
878. {1}3 {0 {1}2}15 {01}25 C> {1}7
879. {1}3 {0 {1}2}15 {01}25 0 B> {1}6
880. {1}3 {0 {1}2}15 {01}26 F> {1}5
881. {1}3 {0 {1}2}15 {01}26 1 C> {1}4
882. {1}3 {0 {1}2}15 {01}26 10 B> {1}3
883. {1}3 {0 {1}2}15 {01}26 101 F> {1}2
884. {1}3 {0 {1}2}15 {01}26 10 {1}2 C> 1
885. {1}3 {0 {1}2}15 {01}26 10 {1}2 0 B>
886. {1}3 {0 {1}2}15 {01}26 10 {1}2 01 C>
887. {1}3 {0 {1}2}15 {01}26 10 {1}2 01 <D 1
888. {1}3 {0 {1}2}15 {01}26 10 {1}2 0 <C 01
889. {1}3 {0 {1}2}15 {01}26 10 {1}2 <D 101
890. {1}3 {0 {1}2}15 {01}26 101 <C {01}2
891. {1}3 {0 {1}2}15 {01}26 1 {0}2 B> {01}2
892. {1}3 {0 {1}2}15 {01}26 1 {0}2 1 C> 101
893. {1}3 {0 {1}2}15 {01}26 1 {0}2 10 B> 01
894. {1}3 {0 {1}2}15 {01}26 1 {0}2 101 C> 1
895. {1}3 {0 {1}2}15 {01}26 1 {0}2 {10}2 B>
896. {1}3 {0 {1}2}15 {01}26 1 {0}2 {10}2 1 C>
897. {1}3 {0 {1}2}15 {01}26 1 {0}2 {10}2 1 <D 1
898. {1}3 {0 {1}2}15 {01}26 1 {0}2 {10}2 <C 01
899. {1}3 {0 {1}2}15 {01}26 1 {0}2 101 <D 101
900. {1}3 {0 {1}2}15 {01}26 1 {0}2 10 <C {01}2
901. {1}3 {0 {1}2}15 {01}26 1 {0}2 1 <D 1 {01}2
902. {1}3 {0 {1}2}15 {01}26 1 {0}2 <C {01}3
903. {1}3 {0 {1}2}15 {01}26 10 <D 1 {01}3
904. {1}3 {0 {1}2}15 {01}26 {1}2 E> 1 {01}3
905. {1}3 {0 {1}2}15 {01}26 {1}2 0 D> {01}3
906. {1}3 {0 {1}2}15 {01}26 {1}2 01 E> 1 {01}2
907. {1}3 {0 {1}2}15 {01}26 {1}2 010 D> {01}2
908. {1}3 {0 {1}2}15 {01}26 {1}2 {01}2 E> 101
909. {1}3 {0 {1}2}15 {01}26 {1}2 {01}2 0 D> 01
910. {1}3 {0 {1}2}15 {01}26 {1}2 {01}3 E> 1
911. {1}3 {0 {1}2}15 {01}26 {1}2 {01}3 0 D>
912. {1}3 {0 {1}2}15 {01}26 {1}2 {01}4 E>
913. {1}3 {0 {1}2}15 {01}26 {1}2 {01}4 <A 1
914. {1}3 {0 {1}2}15 {01}26 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
916. {1}3 {0 {1}2}15 {01}26 {1}2 {01}1 <A {1}7
917. {1}3 {0 {1}2}15 {01}26 {1}2 0 <E {1}8
918. {1}3 {0 {1}2}15 {01}26 {1}2 <A {1}9
919. {1}3 {0 {1}2}15 {01}26 1 <E {1}10
920. {1}3 {0 {1}2}15 {01}26 0 D> {1}10
921. {1}3 {0 {1}2}15 {01}26 0 <C 0 {1}9
922. {1}3 {0 {1}2}15 {01}26 <D 10 {1}9
923. {1}3 {0 {1}2}15 {01}25 0 <C 010 {1}9
924. {1}3 {0 {1}2}15 {01}25 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 24
926. {1}3 {0 {1}2}15 0 <C 0 {10}26 {1}9
927. {1}3 {0 {1}2}15 <D {10}27 {1}9
928. {1}3 {0 {1}2}14 01 <C 0 {10}27 {1}9
929. {1}3 {0 {1}2}14 {0}2 B> 0 {10}27 {1}9
930. {1}3 {0 {1}2}14 {0}2 1 C> {10}27 {1}9
931. {1}3 {0 {1}2}14 {0}2 10 B> 0 {10}26 {1}9
932. {1}3 {0 {1}2}14 {0}2 101 C> {10}26 {1}9
933. {1}3 {0 {1}2}14 {0}2 {10}2 B> 0 {10}25 {1}9 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 24
935. {1}3 {0 {1}2}14 {0}2 {10}26 1 C> {10}1 {1}9
936. {1}3 {0 {1}2}14 {0}2 {10}27 B> 0 {1}9
937. {1}3 {0 {1}2}14 {0}2 {10}27 1 C> {1}9
938. {1}3 {0 {1}2}14 {0}2 {10}28 B> {1}8
939. {1}3 {0 {1}2}14 {0}2 {10}28 1 F> {1}7
940. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 C> {1}6
941. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 B> {1}5
942. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 01 F> {1}4
943. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}2 C> {1}3
944. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 B> {1}2
945. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 1 F> 1
946. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 {1}2 C>
947. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 {1}2 <D 1
948. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 1 <C 01
949. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 0 B> 01
950. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 01 C> 1
951. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 010 B>
952. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 {01}2 C>
953. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 {01}2 <D 1
954. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 010 <C 01
955. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 01 <D 101
956. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 0 <C {01}2
957. {1}3 {0 {1}2}14 {0}2 {10}28 {{1}2 0}2 <D 1 {01}2
958. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 E> 1 {01}2
959. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 0 D> {01}2
960. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 01 E> 101
961. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 010 D> 01
962. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 {01}2 E> 1
963. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 {01}2 0 D>
964. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 {01}3 E>
965. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 {01}3 <A 1
966. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 {01}2 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 1
968. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 {01}1 <A {1}5
969. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 0 <E {1}6
970. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}3 <A {1}7
971. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 {1}2 <E {1}8
972. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 010 D> {1}8
973. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 010 <C 0 {1}7
974. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 01 <D 10 {1}7
975. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 0 <C 010 {1}7
976. {1}3 {0 {1}2}14 {0}2 {10}28 {1}2 <D {10}2 {1}7
977. {1}3 {0 {1}2}14 {0}2 {10}28 1 <C 0 {10}2 {1}7
978. {1}3 {0 {1}2}14 {0}2 {10}28 0 B> 0 {10}2 {1}7
979. {1}3 {0 {1}2}14 {0}2 {10}28 01 C> {10}2 {1}7
980. {1}3 {0 {1}2}14 {0}2 {10}28 010 B> 010 {1}7
981. {1}3 {0 {1}2}14 {0}2 {10}28 {01}2 C> 10 {1}7
982. {1}3 {0 {1}2}14 {0}2 {10}28 {01}2 0 B> 0 {1}7 proof used
USING
proof 14:
72. {
1}
3:F {
0 {1}2}
17:F {
0}
2:F {
10}
2:T|b - 1 {
01}
6:T|a + 4 0
T B> 0
T {
1}
7:T
max_repeat = 27
984. {1}3 {0 {1}2}14 {0}2 {10}1 {01}111 C> {1}7
985. {1}3 {0 {1}2}14 {0}2 {10}1 {01}111 0 B> {1}6
986. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 F> {1}5
987. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 C> {1}4
988. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 B> {1}3
989. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 101 F> {1}2
990. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 {1}2 C> 1
991. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 {1}2 0 B>
992. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 {1}2 01 C>
993. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 {1}2 01 <D 1
994. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 {1}2 0 <C 01
995. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 {1}2 <D 101
996. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 101 <C {01}2
997. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 B> {01}2
998. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 1 C> 101
999. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 10 B> 01
1000. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 101 C> 1
1001. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 {10}2 B>
1002. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 {10}2 1 C>
1003. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 {10}2 1 <D 1
1004. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 {10}2 <C 01
1005. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 101 <D 101
1006. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 10 <C {01}2
1007. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 1 <D 1 {01}2
1008. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 {0}2 <C {01}3
1009. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 10 <D 1 {01}3
1010. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 E> 1 {01}3
1011. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 0 D> {01}3
1012. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 01 E> 1 {01}2
1013. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 010 D> {01}2
1014. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}2 E> 101
1015. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}2 0 D> 01
1016. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}3 E> 1
1017. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}3 0 D>
1018. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}4 E>
1019. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}4 <A 1
1020. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1022. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 {01}1 <A {1}7
1023. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 0 <E {1}8
1024. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 {1}2 <A {1}9
1025. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 1 <E {1}10
1026. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 0 D> {1}10
1027. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 0 <C 0 {1}9
1028. {1}3 {0 {1}2}14 {0}2 {10}1 {01}112 <D 10 {1}9
1029. {1}3 {0 {1}2}14 {0}2 {10}1 {01}111 0 <C 010 {1}9
1030. {1}3 {0 {1}2}14 {0}2 {10}1 {01}111 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 110
1032. {1}3 {0 {1}2}14 {0}2 {10}1 0 <C 0 {10}112 {1}9
1033. {1}3 {0 {1}2}14 {0}2 {10}1 <D {10}113 {1}9
1034. {1}3 {0 {1}2}14 {0}2 {1}2 E> {10}113 {1}9
1035. {1}3 {0 {1}2}14 {0}2 {1}2 0 D> 0 {10}112 {1}9
1036. {1}3 {0 {1}2}14 {0}2 {1}2 01 E> {10}112 {1}9
1037. {1}3 {0 {1}2}14 {0}2 {1}2 010 D> 0 {10}111 {1}9
1038. {1}3 {0 {1}2}14 {0}2 {1}2 {01}2 E> {10}111 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 110
1040. {1}3 {0 {1}2}14 {0}2 {1}2 {01}112 0 D> 0 {1}9
1041. {1}3 {0 {1}2}14 {0}2 {1}2 {01}113 E> {1}9
1042. {1}3 {0 {1}2}14 {0}2 {1}2 {01}113 0 D> {1}8
1043. {1}3 {0 {1}2}14 {0}2 {1}2 {01}113 0 <C 0 {1}7
1044. {1}3 {0 {1}2}14 {0}2 {1}2 {01}113 <D 10 {1}7
1045. {1}3 {0 {1}2}14 {0}2 {1}2 {01}112 0 <C 010 {1}7
1046. {1}3 {0 {1}2}14 {0}2 {1}2 {01}112 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 111
1048. {1}3 {0 {1}2}14 {0}2 {1}2 0 <C 0 {10}113 {1}7
1049. {1}3 {0 {1}2}14 {0}2 {1}2 <D {10}114 {1}7
1050. {1}3 {0 {1}2}14 {0}2 1 <C 0 {10}114 {1}7
1051. {1}3 {0 {1}2}14 {0}3 B> 0 {10}114 {1}7
1052. {1}3 {0 {1}2}14 {0}3 1 C> {10}114 {1}7
1053. {1}3 {0 {1}2}14 {0}3 10 B> 0 {10}113 {1}7
1054. {1}3 {0 {1}2}14 {0}3 101 C> {10}113 {1}7
1055. {1}3 {0 {1}2}14 {0}3 {10}2 B> 0 {10}112 {1}7 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 111
1057. {1}3 {0 {1}2}14 {0}3 {10}113 1 C> {10}1 {1}7
1058. {1}3 {0 {1}2}14 {0}3 {10}114 B> 0 {1}7
1059. {1}3 {0 {1}2}14 {0}3 {10}114 1 C> {1}7
1060. {1}3 {0 {1}2}14 {0}3 {10}115 B> {1}6
1061. {1}3 {0 {1}2}14 {0}3 {10}115 1 F> {1}5
1062. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 C> {1}4
1063. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 0 B> {1}3
1064. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 01 F> {1}2
1065. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 0 {1}2 C> 1
1066. {1}3 {0 {1}2}14 {0}3 {10}115 {{1}2 0}2 B>
1067. {1}3 {0 {1}2}14 {0}3 {10}115 {{1}2 0}2 1 C>
1068. {1}3 {0 {1}2}14 {0}3 {10}115 {{1}2 0}2 1 <D 1
1069. {1}3 {0 {1}2}14 {0}3 {10}115 {{1}2 0}2 <C 01
1070. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 0 {1}2 <D 101
1071. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 01 <C {01}2
1072. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 B> {01}2
1073. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 1 C> 101
1074. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 10 B> 01
1075. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 101 C> 1
1076. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 {10}2 B>
1077. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 {10}2 1 C>
1078. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 {10}2 1 <D 1
1079. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 {10}2 <C 01
1080. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 101 <D 101
1081. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 10 <C {01}2
1082. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 1 <D 1 {01}2
1083. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 {0}2 <C {01}3
1084. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 0 <D 1 {01}3
1085. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 E> 1 {01}3
1086. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 0 D> {01}3
1087. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 01 E> 1 {01}2
1088. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 010 D> {01}2
1089. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}2 E> 101
1090. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}2 0 D> 01
1091. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}3 E> 1
1092. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}3 0 D>
1093. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}4 E>
1094. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}4 <A 1
1095. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1097. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 {01}1 <A {1}7
1098. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 0 <E {1}8
1099. {1}3 {0 {1}2}14 {0}3 {10}115 {1}3 <A {1}9
1100. {1}3 {0 {1}2}14 {0}3 {10}115 {1}2 <E {1}10
1101. {1}3 {0 {1}2}14 {0}3 {10}116 D> {1}10
1102. {1}3 {0 {1}2}14 {0}3 {10}116 <C 0 {1}9
1103. {1}3 {0 {1}2}14 {0}3 {10}115 1 <D 10 {1}9
1104. {1}3 {0 {1}2}14 {0}3 {10}115 <C 010 {1}9
1105. {1}3 {0 {1}2}14 {0}3 {10}114 1 <D {10}2 {1}9 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 113
1107. {1}3 {0 {1}2}14 {0}3 {10}1 <C 0 {10}115 {1}9
1108. {1}3 {0 {1}2}14 {0}3 1 <D {10}116 {1}9
1109. {1}3 {0 {1}2}14 {0}3 <C 0 {10}116 {1}9
1110. {1}3 {0 {1}2}14 {0}2 <D {10}117 {1}9
1111. {1}3 {0 {1}2}14 01 E> {10}117 {1}9
1112. {1}3 {0 {1}2}14 010 D> 0 {10}116 {1}9
1113. {1}3 {0 {1}2}14 {01}2 E> {10}116 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 115
1115. {1}3 {0 {1}2}14 {01}117 0 D> 0 {1}9
1116. {1}3 {0 {1}2}14 {01}118 E> {1}9
1117. {1}3 {0 {1}2}14 {01}118 0 D> {1}8
1118. {1}3 {0 {1}2}14 {01}118 0 <C 0 {1}7
1119. {1}3 {0 {1}2}14 {01}118 <D 10 {1}7
1120. {1}3 {0 {1}2}14 {01}117 0 <C 010 {1}7
1121. {1}3 {0 {1}2}14 {01}117 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 116
1123. {1}3 {0 {1}2}14 0 <C 0 {10}118 {1}7
1124. {1}3 {0 {1}2}14 <D {10}119 {1}7
1125. {1}3 {0 {1}2}13 01 <C 0 {10}119 {1}7
1126. {1}3 {0 {1}2}13 {0}2 B> 0 {10}119 {1}7
1127. {1}3 {0 {1}2}13 {0}2 1 C> {10}119 {1}7
1128. {1}3 {0 {1}2}13 {0}2 10 B> 0 {10}118 {1}7
1129. {1}3 {0 {1}2}13 {0}2 101 C> {10}118 {1}7
1130. {1}3 {0 {1}2}13 {0}2 {10}2 B> 0 {10}117 {1}7 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 116
1132. {1}3 {0 {1}2}13 {0}2 {10}118 1 C> {10}1 {1}7
1133. {1}3 {0 {1}2}13 {0}2 {10}119 B> 0 {1}7
1134. {1}3 {0 {1}2}13 {0}2 {10}119 1 C> {1}7
1135. {1}3 {0 {1}2}13 {0}2 {10}120 B> {1}6
1136. {1}3 {0 {1}2}13 {0}2 {10}120 1 F> {1}5
1137. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 C> {1}4
1138. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 0 B> {1}3
1139. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 01 F> {1}2
1140. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 0 {1}2 C> 1
1141. {1}3 {0 {1}2}13 {0}2 {10}120 {{1}2 0}2 B>
1142. {1}3 {0 {1}2}13 {0}2 {10}120 {{1}2 0}2 1 C>
1143. {1}3 {0 {1}2}13 {0}2 {10}120 {{1}2 0}2 1 <D 1
1144. {1}3 {0 {1}2}13 {0}2 {10}120 {{1}2 0}2 <C 01
1145. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 0 {1}2 <D 101
1146. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 01 <C {01}2
1147. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 B> {01}2
1148. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 1 C> 101
1149. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 10 B> 01
1150. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 101 C> 1
1151. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 {10}2 B>
1152. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 {10}2 1 C>
1153. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 {10}2 1 <D 1
1154. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 {10}2 <C 01
1155. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 101 <D 101
1156. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 10 <C {01}2
1157. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 1 <D 1 {01}2
1158. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 {0}2 <C {01}3
1159. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 0 <D 1 {01}3
1160. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 E> 1 {01}3
1161. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 0 D> {01}3
1162. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 01 E> 1 {01}2
1163. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 010 D> {01}2
1164. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}2 E> 101
1165. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}2 0 D> 01
1166. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}3 E> 1
1167. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}3 0 D>
1168. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}4 E>
1169. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}4 <A 1
1170. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1172. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 {01}1 <A {1}7
1173. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 0 <E {1}8
1174. {1}3 {0 {1}2}13 {0}2 {10}120 {1}3 <A {1}9
1175. {1}3 {0 {1}2}13 {0}2 {10}120 {1}2 <E {1}10
1176. {1}3 {0 {1}2}13 {0}2 {10}121 D> {1}10
1177. {1}3 {0 {1}2}13 {0}2 {10}121 <C 0 {1}9
1178. {1}3 {0 {1}2}13 {0}2 {10}120 1 <D 10 {1}9
1179. {1}3 {0 {1}2}13 {0}2 {10}120 <C 010 {1}9
1180. {1}3 {0 {1}2}13 {0}2 {10}119 1 <D {10}2 {1}9 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 118
1182. {1}3 {0 {1}2}13 {0}2 {10}1 <C 0 {10}120 {1}9
1183. {1}3 {0 {1}2}13 {0}2 1 <D {10}121 {1}9
1184. {1}3 {0 {1}2}13 {0}2 <C 0 {10}121 {1}9
1185. {1}3 {0 {1}2}13 0 <D {10}122 {1}9
1186. {1}3 {0 {1}2}13 1 E> {10}122 {1}9
1187. {1}3 {0 {1}2}13 10 D> 0 {10}121 {1}9
1188. {1}3 {0 {1}2}13 101 E> {10}121 {1}9
1189. {1}3 {0 {1}2}13 {10}2 D> 0 {10}120 {1}9 proof used
USING
proof 17:
1. {
1}
3:F {
0 {1}2}
16:F {
10}
3:T|a + 1 D> 0
T {
10}
19:T|b - 1 {
1}
9:F
max_repeat = 119
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
121 + 6 * 4 + 13 = 521
XVAR:
b - 3
13 - 3 = 10
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
521 + 6 * 4 + 13 = 2121
XVAR:
b - 3
10 - 3 = 7
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
2121 + 6 * 4 + 13 = 8521
XVAR:
b - 3
7 - 3 = 4
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
8521 + 6 * 4 + 13 = 34121
XVAR:
b - 3
4 - 3 = 1
1195. {1}3 {0 {1}2}1 {10}34121 1 E> {10}1 {1}9
1196. {1}3 {0 {1}2}1 {10}34122 D> 0 {1}9
1197. {1}3 {0 {1}2}1 {10}34122 1 E> {1}9
1198. {1}3 {0 {1}2}1 {10}34123 D> {1}8
1199. {1}3 {0 {1}2}1 {10}34123 <C 0 {1}7
1200. {1}3 {0 {1}2}1 {10}34122 1 <D 10 {1}7
1201. {1}3 {0 {1}2}1 {10}34122 <C 010 {1}7
1202. {1}3 {0 {1}2}1 {10}34121 1 <D {10}2 {1}7 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 34120
1204. {1}3 {0 {1}2}1 {10}1 <C 0 {10}34122 {1}7
1205. {1}3 {0 {1}2}1 1 <D {10}34123 {1}7
1206. {1}3 {0 {1}2}1 <C 0 {10}34123 {1}7
1207. {1}3 010 B> 0 {10}34123 {1}7
1208. {1}3 {01}2 C> {10}34123 {1}7 proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 34122
1210. {1}3 {01}34124 0 B> 0 {1}7
1211. {1}3 {01}34125 C> {1}7
1212. {1}3 {01}34125 0 B> {1}6
1213. {1}3 {01}34126 F> {1}5
1214. {1}3 {01}34126 1 C> {1}4
1215. {1}3 {01}34126 10 B> {1}3
1216. {1}3 {01}34126 101 F> {1}2
1217. {1}3 {01}34126 10 {1}2 C> 1
1218. {1}3 {01}34126 10 {1}2 0 B>
1219. {1}3 {01}34126 10 {1}2 01 C>
1220. {1}3 {01}34126 10 {1}2 01 <D 1
1221. {1}3 {01}34126 10 {1}2 0 <C 01
1222. {1}3 {01}34126 10 {1}2 <D 101
1223. {1}3 {01}34126 101 <C {01}2
1224. {1}3 {01}34126 1 {0}2 B> {01}2
1225. {1}3 {01}34126 1 {0}2 1 C> 101
1226. {1}3 {01}34126 1 {0}2 10 B> 01
1227. {1}3 {01}34126 1 {0}2 101 C> 1
1228. {1}3 {01}34126 1 {0}2 {10}2 B>
1229. {1}3 {01}34126 1 {0}2 {10}2 1 C>
1230. {1}3 {01}34126 1 {0}2 {10}2 1 <D 1
1231. {1}3 {01}34126 1 {0}2 {10}2 <C 01
1232. {1}3 {01}34126 1 {0}2 101 <D 101
1233. {1}3 {01}34126 1 {0}2 10 <C {01}2
1234. {1}3 {01}34126 1 {0}2 1 <D 1 {01}2
1235. {1}3 {01}34126 1 {0}2 <C {01}3
1236. {1}3 {01}34126 10 <D 1 {01}3
1237. {1}3 {01}34126 {1}2 E> 1 {01}3
1238. {1}3 {01}34126 {1}2 0 D> {01}3
1239. {1}3 {01}34126 {1}2 01 E> 1 {01}2
1240. {1}3 {01}34126 {1}2 010 D> {01}2
1241. {1}3 {01}34126 {1}2 {01}2 E> 101
1242. {1}3 {01}34126 {1}2 {01}2 0 D> 01
1243. {1}3 {01}34126 {1}2 {01}3 E> 1
1244. {1}3 {01}34126 {1}2 {01}3 0 D>
1245. {1}3 {01}34126 {1}2 {01}4 E>
1246. {1}3 {01}34126 {1}2 {01}4 <A 1
1247. {1}3 {01}34126 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1249. {1}3 {01}34126 {1}2 {01}1 <A {1}7
1250. {1}3 {01}34126 {1}2 0 <E {1}8
1251. {1}3 {01}34126 {1}2 <A {1}9
1252. {1}3 {01}34126 1 <E {1}10
1253. {1}3 {01}34126 0 D> {1}10
1254. {1}3 {01}34126 0 <C 0 {1}9
1255. {1}3 {01}34126 <D 10 {1}9
1256. {1}3 {01}34125 0 <C 010 {1}9
1257. {1}3 {01}34125 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 34124
1259. {1}3 0 <C 0 {10}34126 {1}9
1260. {1}3 <D {10}34127 {1}9
1261. {1}2 <C 0 {10}34127 {1}9
1262. 10 B> 0 {10}34127 {1}9
1263. 101 C> {10}34127 {1}9
1264. {10}2 B> 0 {10}34126 {1}9
1265. {10}2 1 C> {10}34126 {1}9
1266. {10}3 B> 0 {10}34125 {1}9 proof 19 added proof used
USING
proof 19:
1. {
10}
3:T|a + 1 B> 0
T {
10}
34125:T|b - 1 {
1}
9:F
max_repeat = 34124
1268. {10}34127 1 C> {10}1 {1}9
1269. {10}34128 B> 0 {1}9
1270. {10}34128 1 C> {1}9
1271. {10}34129 B> {1}8
1272. {10}34129 1 F> {1}7
1273. {10}34129 {1}2 C> {1}6
1274. {10}34129 {1}2 0 B> {1}5
1275. {10}34129 {1}2 01 F> {1}4
1276. {10}34129 {1}2 0 {1}2 C> {1}3
1277. {10}34129 {{1}2 0}2 B> {1}2
1278. {10}34129 {{1}2 0}2 1 F> 1
1279. {10}34129 {{1}2 0}2 {1}2 C>
1280. {10}34129 {{1}2 0}2 {1}2 <D 1
1281. {10}34129 {{1}2 0}2 1 <C 01
1282. {10}34129 {{1}2 0}2 0 B> 01
1283. {10}34129 {{1}2 0}2 01 C> 1
1284. {10}34129 {{1}2 0}2 010 B>
1285. {10}34129 {{1}2 0}2 {01}2 C>
1286. {10}34129 {{1}2 0}2 {01}2 <D 1
1287. {10}34129 {{1}2 0}2 010 <C 01
1288. {10}34129 {{1}2 0}2 01 <D 101
1289. {10}34129 {{1}2 0}2 0 <C {01}2
1290. {10}34129 {{1}2 0}2 <D 1 {01}2
1291. {10}34129 {1}2 0 {1}3 E> 1 {01}2
1292. {10}34129 {1}2 0 {1}3 0 D> {01}2
1293. {10}34129 {1}2 0 {1}3 01 E> 101
1294. {10}34129 {1}2 0 {1}3 010 D> 01
1295. {10}34129 {1}2 0 {1}3 {01}2 E> 1
1296. {10}34129 {1}2 0 {1}3 {01}2 0 D>
1297. {10}34129 {1}2 0 {1}3 {01}3 E>
1298. {10}34129 {1}2 0 {1}3 {01}3 <A 1
1299. {10}34129 {1}2 0 {1}3 {01}2 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 1
1301. {10}34129 {1}2 0 {1}3 {01}1 <A {1}5
1302. {10}34129 {1}2 0 {1}3 0 <E {1}6
1303. {10}34129 {1}2 0 {1}3 <A {1}7
1304. {10}34129 {1}2 0 {1}2 <E {1}8
1305. {10}34129 {1}2 010 D> {1}8
1306. {10}34129 {1}2 010 <C 0 {1}7
1307. {10}34129 {1}2 01 <D 10 {1}7
1308. {10}34129 {1}2 0 <C 010 {1}7
1309. {10}34129 {1}2 <D {10}2 {1}7
1310. {10}34129 1 <C 0 {10}2 {1}7
1311. {10}34129 0 B> 0 {10}2 {1}7
1312. {10}34129 01 C> {10}2 {1}7
1313. {10}34129 010 B> 010 {1}7
1314. {10}34129 {01}2 C> 10 {1}7
1315. {10}34129 {01}2 0 B> 0 {1}7
1316. {10}34129 {01}3 C> {1}7
1317. {10}34129 {01}3 0 B> {1}6
1318. {10}34129 {01}4 F> {1}5
1319. {10}34129 {01}4 1 C> {1}4
1320. {10}34129 {01}4 10 B> {1}3
1321. {10}34129 {01}4 101 F> {1}2
1322. {10}34129 {01}4 10 {1}2 C> 1
1323. {10}34129 {01}4 10 {1}2 0 B>
1324. {10}34129 {01}4 10 {1}2 01 C>
1325. {10}34129 {01}4 10 {1}2 01 <D 1
1326. {10}34129 {01}4 10 {1}2 0 <C 01
1327. {10}34129 {01}4 10 {1}2 <D 101
1328. {10}34129 {01}4 101 <C {01}2
1329. {10}34129 {01}4 1 {0}2 B> {01}2
1330. {10}34129 {01}4 1 {0}2 1 C> 101
1331. {10}34129 {01}4 1 {0}2 10 B> 01
1332. {10}34129 {01}4 1 {0}2 101 C> 1
1333. {10}34129 {01}4 1 {0}2 {10}2 B>
1334. {10}34129 {01}4 1 {0}2 {10}2 1 C>
1335. {10}34129 {01}4 1 {0}2 {10}2 1 <D 1
1336. {10}34129 {01}4 1 {0}2 {10}2 <C 01
1337. {10}34129 {01}4 1 {0}2 101 <D 101
1338. {10}34129 {01}4 1 {0}2 10 <C {01}2
1339. {10}34129 {01}4 1 {0}2 1 <D 1 {01}2
1340. {10}34129 {01}4 1 {0}2 <C {01}3
1341. {10}34129 {01}4 10 <D 1 {01}3
1342. {10}34129 {01}4 {1}2 E> 1 {01}3
1343. {10}34129 {01}4 {1}2 0 D> {01}3
1344. {10}34129 {01}4 {1}2 01 E> 1 {01}2
1345. {10}34129 {01}4 {1}2 010 D> {01}2
1346. {10}34129 {01}4 {1}2 {01}2 E> 101
1347. {10}34129 {01}4 {1}2 {01}2 0 D> 01
1348. {10}34129 {01}4 {1}2 {01}3 E> 1
1349. {10}34129 {01}4 {1}2 {01}3 0 D>
1350. {10}34129 {01}4 {1}2 {01}4 E>
1351. {10}34129 {01}4 {1}2 {01}4 <A 1
1352. {10}34129 {01}4 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1354. {10}34129 {01}4 {1}2 {01}1 <A {1}7
1355. {10}34129 {01}4 {1}2 0 <E {1}8
1356. {10}34129 {01}4 {1}2 <A {1}9
1357. {10}34129 {01}4 1 <E {1}10
1358. {10}34129 {01}4 0 D> {1}10
1359. {10}34129 {01}4 0 <C 0 {1}9
1360. {10}34129 {01}4 <D 10 {1}9
1361. {10}34129 {01}3 0 <C 010 {1}9
1362. {10}34129 {01}3 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 2
1364. {10}34129 0 <C 0 {10}4 {1}9
1365. {10}34129 <D {10}5 {1}9
1366. {10}34128 {1}2 E> {10}5 {1}9
1367. {10}34128 {1}2 0 D> 0 {10}4 {1}9
1368. {10}34128 {1}2 01 E> {10}4 {1}9
1369. {10}34128 {1}2 010 D> 0 {10}3 {1}9
1370. {10}34128 {1}2 {01}2 E> {10}3 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 2
1372. {10}34128 {1}2 {01}4 0 D> 0 {1}9
1373. {10}34128 {1}2 {01}5 E> {1}9
1374. {10}34128 {1}2 {01}5 0 D> {1}8
1375. {10}34128 {1}2 {01}5 0 <C 0 {1}7
1376. {10}34128 {1}2 {01}5 <D 10 {1}7
1377. {10}34128 {1}2 {01}4 0 <C 010 {1}7
1378. {10}34128 {1}2 {01}4 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 3
1380. {10}34128 {1}2 0 <C 0 {10}5 {1}7
1381. {10}34128 {1}2 <D {10}6 {1}7
1382. {10}34128 1 <C 0 {10}6 {1}7
1383. {10}34128 0 B> 0 {10}6 {1}7
1384. {10}34128 01 C> {10}6 {1}7
1385. {10}34128 010 B> 0 {10}5 {1}7
1386. {10}34128 {01}2 C> {10}5 {1}7 proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 4
USING
proof 7:
72. {
10}
2:T|b - 1 {
01}
10:T|a + 4 C> {
10}
1:T {
1}
7:T
max_repeat = 34127
1389. {10}1 {01}136514 0 B> 0 {1}7
1390. {10}1 {01}136515 C> {1}7
1391. {10}1 {01}136515 0 B> {1}6
1392. {10}1 {01}136516 F> {1}5
1393. {10}1 {01}136516 1 C> {1}4
1394. {10}1 {01}136516 10 B> {1}3
1395. {10}1 {01}136516 101 F> {1}2
1396. {10}1 {01}136516 10 {1}2 C> 1
1397. {10}1 {01}136516 10 {1}2 0 B>
1398. {10}1 {01}136516 10 {1}2 01 C>
1399. {10}1 {01}136516 10 {1}2 01 <D 1
1400. {10}1 {01}136516 10 {1}2 0 <C 01
1401. {10}1 {01}136516 10 {1}2 <D 101
1402. {10}1 {01}136516 101 <C {01}2
1403. {10}1 {01}136516 1 {0}2 B> {01}2
1404. {10}1 {01}136516 1 {0}2 1 C> 101
1405. {10}1 {01}136516 1 {0}2 10 B> 01
1406. {10}1 {01}136516 1 {0}2 101 C> 1
1407. {10}1 {01}136516 1 {0}2 {10}2 B>
1408. {10}1 {01}136516 1 {0}2 {10}2 1 C>
1409. {10}1 {01}136516 1 {0}2 {10}2 1 <D 1
1410. {10}1 {01}136516 1 {0}2 {10}2 <C 01
1411. {10}1 {01}136516 1 {0}2 101 <D 101
1412. {10}1 {01}136516 1 {0}2 10 <C {01}2
1413. {10}1 {01}136516 1 {0}2 1 <D 1 {01}2
1414. {10}1 {01}136516 1 {0}2 <C {01}3
1415. {10}1 {01}136516 10 <D 1 {01}3
1416. {10}1 {01}136516 {1}2 E> 1 {01}3
1417. {10}1 {01}136516 {1}2 0 D> {01}3
1418. {10}1 {01}136516 {1}2 01 E> 1 {01}2
1419. {10}1 {01}136516 {1}2 010 D> {01}2
1420. {10}1 {01}136516 {1}2 {01}2 E> 101
1421. {10}1 {01}136516 {1}2 {01}2 0 D> 01
1422. {10}1 {01}136516 {1}2 {01}3 E> 1
1423. {10}1 {01}136516 {1}2 {01}3 0 D>
1424. {10}1 {01}136516 {1}2 {01}4 E>
1425. {10}1 {01}136516 {1}2 {01}4 <A 1
1426. {10}1 {01}136516 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1428. {10}1 {01}136516 {1}2 {01}1 <A {1}7
1429. {10}1 {01}136516 {1}2 0 <E {1}8
1430. {10}1 {01}136516 {1}2 <A {1}9
1431. {10}1 {01}136516 1 <E {1}10
1432. {10}1 {01}136516 0 D> {1}10
1433. {10}1 {01}136516 0 <C 0 {1}9
1434. {10}1 {01}136516 <D 10 {1}9
1435. {10}1 {01}136515 0 <C 010 {1}9
1436. {10}1 {01}136515 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 136514
1438. {10}1 0 <C 0 {10}136516 {1}9
1439. {10}1 <D {10}136517 {1}9
1440. {1}2 E> {10}136517 {1}9
1441. {1}2 0 D> 0 {10}136516 {1}9
1442. {1}2 01 E> {10}136516 {1}9
1443. {1}2 010 D> 0 {10}136515 {1}9
1444. {1}2 {01}2 E> {10}136515 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 136514
1446. {1}2 {01}136516 0 D> 0 {1}9
1447. {1}2 {01}136517 E> {1}9
1448. {1}2 {01}136517 0 D> {1}8
1449. {1}2 {01}136517 0 <C 0 {1}7
1450. {1}2 {01}136517 <D 10 {1}7
1451. {1}2 {01}136516 0 <C 010 {1}7
1452. {1}2 {01}136516 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 136515
1454. {1}2 0 <C 0 {10}136517 {1}7
1455. {1}2 <D {10}136518 {1}7
1456. 1 <C 0 {10}136518 {1}7
1457. 0 B> 0 {10}136518 {1}7
1458. 01 C> {10}136518 {1}7
1459. 010 B> 0 {10}136517 {1}7
1460. {01}2 C> {10}136517 {1}7 proof used
USING
proof 8:
1. {
01}
3:T|a + 1 C> {
10}
16:T|b - 1 {
1}
7:F
max_repeat = 136516
1462. {01}136518 0 B> 0 {1}7
1463. {01}136519 C> {1}7
1464. {01}136519 0 B> {1}6
1465. {01}136520 F> {1}5
1466. {01}136520 1 C> {1}4
1467. {01}136520 10 B> {1}3
1468. {01}136520 101 F> {1}2
1469. {01}136520 10 {1}2 C> 1
1470. {01}136520 10 {1}2 0 B>
1471. {01}136520 10 {1}2 01 C>
1472. {01}136520 10 {1}2 01 <D 1
1473. {01}136520 10 {1}2 0 <C 01
1474. {01}136520 10 {1}2 <D 101
1475. {01}136520 101 <C {01}2
1476. {01}136520 1 {0}2 B> {01}2
1477. {01}136520 1 {0}2 1 C> 101
1478. {01}136520 1 {0}2 10 B> 01
1479. {01}136520 1 {0}2 101 C> 1
1480. {01}136520 1 {0}2 {10}2 B>
1481. {01}136520 1 {0}2 {10}2 1 C>
1482. {01}136520 1 {0}2 {10}2 1 <D 1
1483. {01}136520 1 {0}2 {10}2 <C 01
1484. {01}136520 1 {0}2 101 <D 101
1485. {01}136520 1 {0}2 10 <C {01}2
1486. {01}136520 1 {0}2 1 <D 1 {01}2
1487. {01}136520 1 {0}2 <C {01}3
1488. {01}136520 10 <D 1 {01}3
1489. {01}136520 {1}2 E> 1 {01}3
1490. {01}136520 {1}2 0 D> {01}3
1491. {01}136520 {1}2 01 E> 1 {01}2
1492. {01}136520 {1}2 010 D> {01}2
1493. {01}136520 {1}2 {01}2 E> 101
1494. {01}136520 {1}2 {01}2 0 D> 01
1495. {01}136520 {1}2 {01}3 E> 1
1496. {01}136520 {1}2 {01}3 0 D>
1497. {01}136520 {1}2 {01}4 E>
1498. {01}136520 {1}2 {01}4 <A 1
1499. {01}136520 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1501. {01}136520 {1}2 {01}1 <A {1}7
1502. {01}136520 {1}2 0 <E {1}8
1503. {01}136520 {1}2 <A {1}9
1504. {01}136520 1 <E {1}10
1505. {01}136520 0 D> {1}10
1506. {01}136520 0 <C 0 {1}9
1507. {01}136520 <D 10 {1}9
1508. {01}136519 0 <C 010 {1}9
1509. {01}136519 <D {10}2 {1}9 proof used
USING
proof 9:
1. {
01}
18:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 136518
1511. 0 <C 0 {10}136520 {1}9
1512. <D {10}136521 {1}9
1513. 1 E> {10}136521 {1}9
1514. 10 D> 0 {10}136520 {1}9
1515. 101 E> {10}136520 {1}9
1516. {10}2 D> 0 {10}136519 {1}9 proof used
USING
proof 10:
1. {
10}
3:T|a + 1 D> 0
T {
10}
18:T|b - 1 {
1}
9:F
max_repeat = 136518
1518. {10}136520 1 E> {10}1 {1}9
1519. {10}136521 D> 0 {1}9
1520. {10}136521 1 E> {1}9
1521. {10}136522 D> {1}8
1522. {10}136522 <C 0 {1}7
1523. {10}136521 1 <D 10 {1}7
1524. {10}136521 <C 010 {1}7
1525. {10}136520 1 <D {10}2 {1}7 proof used
USING
proof 11:
1. {
10}
19:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
7:F
max_repeat = 136519
USING
proof 12:
17. {
10}
1:T 1
T <D {
10}
23:T|a + 2 {
1}
5:T|b - 2
max_repeat = 3
1528. {10}1 <C 0 {10}136527 {1}1
1529. 1 <D {10}136528 {1}1
1530. <C 0 {10}136528 {1}1
1531. <D {10}136529 {1}1
1532. 1 E> {10}136529 {1}1
1533. 10 D> 0 {10}136528 {1}1
1534. 101 E> {10}136528 {1}1
1535. {10}2 D> 0 {10}136527 {1}1 proof used
USING
proof 10:
1. {
10}
3:T|a + 1 D> 0
T {
10}
18:T|b - 1 {
1}
9:F
max_repeat = 136526
1537. {10}136528 1 E> {10}1 {1}1
1538. {10}136529 D> 0 {1}1
1539. {10}136529 1 E> {1}1
1540. {10}136530 D>
1541. {10}136530 1 E>
1542. {10}136530 1 <A 1
1543. {10}136530 <E {1}2 proof used
USING
proof 1:
1. {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 136529
1545. 1 <A {1}273061
1546. <E {1}273062
1547. <A {1}273063
1548. 1 B> {1}273063
1549. {1}2 F> {1}273062
1550. {1}3 C> {1}273061
1551. {1}3 0 B> {1}273060
1552. {1}3 01 F> {1}273059
1553. {1}3 0 {1}2 C> {1}273058
1554. {1}3 0 {1}2 0 B> {1}273057
1555. {1}3 0 {1}2 01 F> {1}273056
1556. {1}3 {0 {1}2}2 C> {1}273055 proof used
USING
proof 13:
2. {
1}
3:F {
0 {1}2}
3:T|a + 1 C> {
1}
52:T|b - 3
max_repeat = 91018
1558. {1}3 {0 {1}2}91020 0 B>
1559. {1}3 {0 {1}2}91020 01 C>
1560. {1}3 {0 {1}2}91020 01 <D 1
1561. {1}3 {0 {1}2}91020 0 <C 01
1562. {1}3 {0 {1}2}91020 <D 101
1563. {1}3 {0 {1}2}91019 01 <C {01}2
1564. {1}3 {0 {1}2}91019 {0}2 B> {01}2
1565. {1}3 {0 {1}2}91019 {0}2 1 C> 101
1566. {1}3 {0 {1}2}91019 {0}2 10 B> 01
1567. {1}3 {0 {1}2}91019 {0}2 101 C> 1
1568. {1}3 {0 {1}2}91019 {0}2 {10}2 B>
1569. {1}3 {0 {1}2}91019 {0}2 {10}2 1 C>
1570. {1}3 {0 {1}2}91019 {0}2 {10}2 1 <D 1
1571. {1}3 {0 {1}2}91019 {0}2 {10}2 <C 01
1572. {1}3 {0 {1}2}91019 {0}2 101 <D 101
1573. {1}3 {0 {1}2}91019 {0}2 10 <C {01}2
1574. {1}3 {0 {1}2}91019 {0}2 1 <D 1 {01}2
1575. {1}3 {0 {1}2}91019 {0}2 <C {01}3
1576. {1}3 {0 {1}2}91019 0 <D 1 {01}3
1577. {1}3 {0 {1}2}91019 1 E> 1 {01}3
1578. {1}3 {0 {1}2}91019 10 D> {01}3
1579. {1}3 {0 {1}2}91019 101 E> 1 {01}2
1580. {1}3 {0 {1}2}91019 {10}2 D> {01}2
1581. {1}3 {0 {1}2}91019 {10}2 1 E> 101
1582. {1}3 {0 {1}2}91019 {10}3 D> 01
1583. {1}3 {0 {1}2}91019 {10}3 1 E> 1
1584. {1}3 {0 {1}2}91019 {10}4 D>
1585. {1}3 {0 {1}2}91019 {10}4 1 E>
1586. {1}3 {0 {1}2}91019 {10}4 1 <A 1
1587. {1}3 {0 {1}2}91019 {10}4 <E {1}2 proof used
USING
proof 2:
1. {
{1}3 0}
2:F {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 3
1589. {1}3 {0 {1}2}91019 1 <A {1}9
1590. {1}3 {0 {1}2}91019 <E {1}10
1591. {1}3 {0 {1}2}91018 010 D> {1}10
1592. {1}3 {0 {1}2}91018 010 <C 0 {1}9
1593. {1}3 {0 {1}2}91018 01 <D 10 {1}9
1594. {1}3 {0 {1}2}91018 0 <C 010 {1}9
1595. {1}3 {0 {1}2}91018 <D {10}2 {1}9
1596. {1}3 {0 {1}2}91017 01 <C 0 {10}2 {1}9
1597. {1}3 {0 {1}2}91017 {0}2 B> 0 {10}2 {1}9
1598. {1}3 {0 {1}2}91017 {0}2 1 C> {10}2 {1}9
1599. {1}3 {0 {1}2}91017 {0}2 10 B> 010 {1}9
1600. {1}3 {0 {1}2}91017 {0}2 101 C> 10 {1}9
1601. {1}3 {0 {1}2}91017 {0}2 {10}2 B> 0 {1}9
1602. {1}3 {0 {1}2}91017 {0}2 {10}2 1 C> {1}9
1603. {1}3 {0 {1}2}91017 {0}2 {10}3 B> {1}8
1604. {1}3 {0 {1}2}91017 {0}2 {10}3 1 F> {1}7
1605. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 C> {1}6
1606. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 B> {1}5
1607. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 01 F> {1}4
1608. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}2 C> {1}3
1609. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 B> {1}2
1610. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 1 F> 1
1611. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 {1}2 C>
1612. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 {1}2 <D 1
1613. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 1 <C 01
1614. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 0 B> 01
1615. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 01 C> 1
1616. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 010 B>
1617. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 {01}2 C>
1618. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 {01}2 <D 1
1619. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 010 <C 01
1620. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 01 <D 101
1621. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 0 <C {01}2
1622. {1}3 {0 {1}2}91017 {0}2 {10}3 {{1}2 0}2 <D 1 {01}2
1623. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 E> 1 {01}2
1624. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 0 D> {01}2
1625. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 01 E> 101
1626. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 010 D> 01
1627. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 {01}2 E> 1
1628. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 {01}2 0 D>
1629. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 {01}3 E>
1630. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 {01}3 <A 1
1631. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 {01}2 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 1
1633. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 {01}1 <A {1}5
1634. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 0 <E {1}6
1635. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}3 <A {1}7
1636. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 {1}2 <E {1}8
1637. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 010 D> {1}8
1638. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 010 <C 0 {1}7
1639. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 01 <D 10 {1}7
1640. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 0 <C 010 {1}7
1641. {1}3 {0 {1}2}91017 {0}2 {10}3 {1}2 <D {10}2 {1}7
1642. {1}3 {0 {1}2}91017 {0}2 {10}3 1 <C 0 {10}2 {1}7
1643. {1}3 {0 {1}2}91017 {0}2 {10}3 0 B> 0 {10}2 {1}7
1644. {1}3 {0 {1}2}91017 {0}2 {10}3 01 C> {10}2 {1}7
1645. {1}3 {0 {1}2}91017 {0}2 {10}3 010 B> 010 {1}7
1646. {1}3 {0 {1}2}91017 {0}2 {10}3 {01}2 C> 10 {1}7
1647. {1}3 {0 {1}2}91017 {0}2 {10}3 {01}2 0 B> 0 {1}7 proof used
USING
proof 14:
72. {
1}
3:F {
0 {1}2}
17:F {
0}
2:F {
10}
2:T|b - 1 {
01}
6:T|a + 4 0
T B> 0
T {
1}
7:T
max_repeat = 2
1649. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}11 C> {1}7
1650. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}11 0 B> {1}6
1651. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 F> {1}5
1652. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 C> {1}4
1653. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 B> {1}3
1654. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 101 F> {1}2
1655. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 {1}2 C> 1
1656. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 {1}2 0 B>
1657. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 {1}2 01 C>
1658. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 {1}2 01 <D 1
1659. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 {1}2 0 <C 01
1660. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 {1}2 <D 101
1661. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 101 <C {01}2
1662. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 B> {01}2
1663. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 1 C> 101
1664. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 10 B> 01
1665. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 101 C> 1
1666. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 {10}2 B>
1667. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 {10}2 1 C>
1668. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 {10}2 1 <D 1
1669. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 {10}2 <C 01
1670. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 101 <D 101
1671. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 10 <C {01}2
1672. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 1 <D 1 {01}2
1673. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 {0}2 <C {01}3
1674. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 10 <D 1 {01}3
1675. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 E> 1 {01}3
1676. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 0 D> {01}3
1677. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 01 E> 1 {01}2
1678. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 010 D> {01}2
1679. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}2 E> 101
1680. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}2 0 D> 01
1681. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}3 E> 1
1682. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}3 0 D>
1683. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}4 E>
1684. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}4 <A 1
1685. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1687. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 {01}1 <A {1}7
1688. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 0 <E {1}8
1689. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 {1}2 <A {1}9
1690. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 1 <E {1}10
1691. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 0 D> {1}10
1692. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 0 <C 0 {1}9
1693. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}12 <D 10 {1}9
1694. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}11 0 <C 010 {1}9
1695. {1}3 {0 {1}2}91017 {0}2 {10}1 {01}11 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 10
1697. {1}3 {0 {1}2}91017 {0}2 {10}1 0 <C 0 {10}12 {1}9
1698. {1}3 {0 {1}2}91017 {0}2 {10}1 <D {10}13 {1}9
1699. {1}3 {0 {1}2}91017 {0}2 {1}2 E> {10}13 {1}9
1700. {1}3 {0 {1}2}91017 {0}2 {1}2 0 D> 0 {10}12 {1}9
1701. {1}3 {0 {1}2}91017 {0}2 {1}2 01 E> {10}12 {1}9
1702. {1}3 {0 {1}2}91017 {0}2 {1}2 010 D> 0 {10}11 {1}9
1703. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}2 E> {10}11 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 10
1705. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}12 0 D> 0 {1}9
1706. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}13 E> {1}9
1707. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}13 0 D> {1}8
1708. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}13 0 <C 0 {1}7
1709. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}13 <D 10 {1}7
1710. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}12 0 <C 010 {1}7
1711. {1}3 {0 {1}2}91017 {0}2 {1}2 {01}12 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 11
1713. {1}3 {0 {1}2}91017 {0}2 {1}2 0 <C 0 {10}13 {1}7
1714. {1}3 {0 {1}2}91017 {0}2 {1}2 <D {10}14 {1}7
1715. {1}3 {0 {1}2}91017 {0}2 1 <C 0 {10}14 {1}7
1716. {1}3 {0 {1}2}91017 {0}3 B> 0 {10}14 {1}7
1717. {1}3 {0 {1}2}91017 {0}3 1 C> {10}14 {1}7
1718. {1}3 {0 {1}2}91017 {0}3 10 B> 0 {10}13 {1}7
1719. {1}3 {0 {1}2}91017 {0}3 101 C> {10}13 {1}7
1720. {1}3 {0 {1}2}91017 {0}3 {10}2 B> 0 {10}12 {1}7 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 11
1722. {1}3 {0 {1}2}91017 {0}3 {10}13 1 C> {10}1 {1}7
1723. {1}3 {0 {1}2}91017 {0}3 {10}14 B> 0 {1}7
1724. {1}3 {0 {1}2}91017 {0}3 {10}14 1 C> {1}7
1725. {1}3 {0 {1}2}91017 {0}3 {10}15 B> {1}6
1726. {1}3 {0 {1}2}91017 {0}3 {10}15 1 F> {1}5
1727. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 C> {1}4
1728. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 0 B> {1}3
1729. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 01 F> {1}2
1730. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 0 {1}2 C> 1
1731. {1}3 {0 {1}2}91017 {0}3 {10}15 {{1}2 0}2 B>
1732. {1}3 {0 {1}2}91017 {0}3 {10}15 {{1}2 0}2 1 C>
1733. {1}3 {0 {1}2}91017 {0}3 {10}15 {{1}2 0}2 1 <D 1
1734. {1}3 {0 {1}2}91017 {0}3 {10}15 {{1}2 0}2 <C 01
1735. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 0 {1}2 <D 101
1736. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 01 <C {01}2
1737. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 B> {01}2
1738. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 1 C> 101
1739. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 10 B> 01
1740. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 101 C> 1
1741. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 {10}2 B>
1742. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 {10}2 1 C>
1743. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 {10}2 1 <D 1
1744. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 {10}2 <C 01
1745. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 101 <D 101
1746. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 10 <C {01}2
1747. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 1 <D 1 {01}2
1748. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 {0}2 <C {01}3
1749. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 0 <D 1 {01}3
1750. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 E> 1 {01}3
1751. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 0 D> {01}3
1752. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 01 E> 1 {01}2
1753. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 010 D> {01}2
1754. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}2 E> 101
1755. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}2 0 D> 01
1756. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}3 E> 1
1757. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}3 0 D>
1758. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}4 E>
1759. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}4 <A 1
1760. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1762. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 {01}1 <A {1}7
1763. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 0 <E {1}8
1764. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}3 <A {1}9
1765. {1}3 {0 {1}2}91017 {0}3 {10}15 {1}2 <E {1}10
1766. {1}3 {0 {1}2}91017 {0}3 {10}16 D> {1}10
1767. {1}3 {0 {1}2}91017 {0}3 {10}16 <C 0 {1}9
1768. {1}3 {0 {1}2}91017 {0}3 {10}15 1 <D 10 {1}9
1769. {1}3 {0 {1}2}91017 {0}3 {10}15 <C 010 {1}9
1770. {1}3 {0 {1}2}91017 {0}3 {10}14 1 <D {10}2 {1}9 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 13
1772. {1}3 {0 {1}2}91017 {0}3 {10}1 <C 0 {10}15 {1}9
1773. {1}3 {0 {1}2}91017 {0}3 1 <D {10}16 {1}9
1774. {1}3 {0 {1}2}91017 {0}3 <C 0 {10}16 {1}9
1775. {1}3 {0 {1}2}91017 {0}2 <D {10}17 {1}9
1776. {1}3 {0 {1}2}91017 01 E> {10}17 {1}9
1777. {1}3 {0 {1}2}91017 010 D> 0 {10}16 {1}9
1778. {1}3 {0 {1}2}91017 {01}2 E> {10}16 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 15
1780. {1}3 {0 {1}2}91017 {01}17 0 D> 0 {1}9
1781. {1}3 {0 {1}2}91017 {01}18 E> {1}9
1782. {1}3 {0 {1}2}91017 {01}18 0 D> {1}8
1783. {1}3 {0 {1}2}91017 {01}18 0 <C 0 {1}7
1784. {1}3 {0 {1}2}91017 {01}18 <D 10 {1}7
1785. {1}3 {0 {1}2}91017 {01}17 0 <C 010 {1}7
1786. {1}3 {0 {1}2}91017 {01}17 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 16
1788. {1}3 {0 {1}2}91017 0 <C 0 {10}18 {1}7
1789. {1}3 {0 {1}2}91017 <D {10}19 {1}7
1790. {1}3 {0 {1}2}91016 01 <C 0 {10}19 {1}7
1791. {1}3 {0 {1}2}91016 {0}2 B> 0 {10}19 {1}7
1792. {1}3 {0 {1}2}91016 {0}2 1 C> {10}19 {1}7
1793. {1}3 {0 {1}2}91016 {0}2 10 B> 0 {10}18 {1}7
1794. {1}3 {0 {1}2}91016 {0}2 101 C> {10}18 {1}7
1795. {1}3 {0 {1}2}91016 {0}2 {10}2 B> 0 {10}17 {1}7 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 16
1797. {1}3 {0 {1}2}91016 {0}2 {10}18 1 C> {10}1 {1}7
1798. {1}3 {0 {1}2}91016 {0}2 {10}19 B> 0 {1}7
1799. {1}3 {0 {1}2}91016 {0}2 {10}19 1 C> {1}7
1800. {1}3 {0 {1}2}91016 {0}2 {10}20 B> {1}6
1801. {1}3 {0 {1}2}91016 {0}2 {10}20 1 F> {1}5
1802. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 C> {1}4
1803. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 0 B> {1}3
1804. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 01 F> {1}2
1805. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 0 {1}2 C> 1
1806. {1}3 {0 {1}2}91016 {0}2 {10}20 {{1}2 0}2 B>
1807. {1}3 {0 {1}2}91016 {0}2 {10}20 {{1}2 0}2 1 C>
1808. {1}3 {0 {1}2}91016 {0}2 {10}20 {{1}2 0}2 1 <D 1
1809. {1}3 {0 {1}2}91016 {0}2 {10}20 {{1}2 0}2 <C 01
1810. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 0 {1}2 <D 101
1811. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 01 <C {01}2
1812. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 B> {01}2
1813. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 1 C> 101
1814. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 10 B> 01
1815. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 101 C> 1
1816. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 {10}2 B>
1817. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 {10}2 1 C>
1818. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 {10}2 1 <D 1
1819. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 {10}2 <C 01
1820. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 101 <D 101
1821. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 10 <C {01}2
1822. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 1 <D 1 {01}2
1823. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 {0}2 <C {01}3
1824. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 0 <D 1 {01}3
1825. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 E> 1 {01}3
1826. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 0 D> {01}3
1827. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 01 E> 1 {01}2
1828. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 010 D> {01}2
1829. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}2 E> 101
1830. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}2 0 D> 01
1831. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}3 E> 1
1832. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}3 0 D>
1833. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}4 E>
1834. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}4 <A 1
1835. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
1837. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 {01}1 <A {1}7
1838. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 0 <E {1}8
1839. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}3 <A {1}9
1840. {1}3 {0 {1}2}91016 {0}2 {10}20 {1}2 <E {1}10
1841. {1}3 {0 {1}2}91016 {0}2 {10}21 D> {1}10
1842. {1}3 {0 {1}2}91016 {0}2 {10}21 <C 0 {1}9
1843. {1}3 {0 {1}2}91016 {0}2 {10}20 1 <D 10 {1}9
1844. {1}3 {0 {1}2}91016 {0}2 {10}20 <C 010 {1}9
1845. {1}3 {0 {1}2}91016 {0}2 {10}19 1 <D {10}2 {1}9 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 18
1847. {1}3 {0 {1}2}91016 {0}2 {10}1 <C 0 {10}20 {1}9
1848. {1}3 {0 {1}2}91016 {0}2 1 <D {10}21 {1}9
1849. {1}3 {0 {1}2}91016 {0}2 <C 0 {10}21 {1}9
1850. {1}3 {0 {1}2}91016 0 <D {10}22 {1}9
1851. {1}3 {0 {1}2}91016 1 E> {10}22 {1}9
1852. {1}3 {0 {1}2}91016 10 D> 0 {10}21 {1}9
1853. {1}3 {0 {1}2}91016 101 E> {10}21 {1}9
1854. {1}3 {0 {1}2}91016 {10}2 D> 0 {10}20 {1}9 proof used
USING
proof 17:
1. {
1}
3:F {
0 {1}2}
16:F {
10}
3:T|a + 1 D> 0
T {
10}
19:T|b - 1 {
1}
9:F
max_repeat = 19
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
21 + 6 * 4 + 13 = 121
XVAR:
b - 3
91016 - 3 = 91013
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
121 + 6 * 4 + 13 = 521
XVAR:
b - 3
91013 - 3 = 91010
. . .
32191. {1}3 {0 {1}2}8 {10}0.4118847099887866775221344e18266 D> 0 {10}1 {1}9 proof used
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
0.4118847099887866775221344e18266 + 6 * 4 + 13 = 0.1647538839955146710088538e18267
XVAR:
b - 3
8 - 3 = 5
USING
proof 18:
328. {
1}
3:F {
0 {1}2}
13:T|b - 3 {
10}
121:T|a + 6 * 4 + 13 D> 0
T {
10}
1:T {
1}
9:T
max_repeat = 1
XVAR:
a + 6 * 4 + 13
0.1647538839955146710088538e18267 + 6 * 4 + 13 = 0.659015535982058684035415e18267
XVAR:
b - 3
5 - 3 = 2
32194. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 1 E> {10}1 {1}9
32195. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 D> 0 {1}9
32196. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 1 E> {1}9
32197. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 D> {1}8
32198. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 <C 0 {1}7
32199. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 1 <D 10 {1}7
32200. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 <C 010 {1}7
32201. {1}3 {0 {1}2}2 {10}0.659015535982058684035415e18267 1 <D {10}2 {1}7 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 0.659015535982058684035415e18267
32203. {1}3 {0 {1}2}2 {10}1 <C 0 {10}0.659015535982058684035415e18267 {1}7
32204. {1}3 {0 {1}2}2 1 <D {10}0.659015535982058684035415e18267 {1}7
32205. {1}3 {0 {1}2}2 <C 0 {10}0.659015535982058684035415e18267 {1}7
32206. {1}3 0 {1}2 010 B> 0 {10}0.659015535982058684035415e18267 {1}7
32207. {1}3 0 {1}2 {01}2 C> {10}0.659015535982058684035415e18267 {1}7 proof used
USING
proof 6:
1. {
10}
3:F {
01}
3:T|a + 1 C> {
10}
4:T|b - 1 {
1}
7:F
max_repeat = 0.659015535982058684035415e18267
32209. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 0 B> 0 {1}7
32210. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 C> {1}7
32211. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 0 B> {1}6
32212. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 F> {1}5
32213. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 C> {1}4
32214. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 B> {1}3
32215. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 101 F> {1}2
32216. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 {1}2 C> 1
32217. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 {1}2 0 B>
32218. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 {1}2 01 C>
32219. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 {1}2 01 <D 1
32220. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 {1}2 0 <C 01
32221. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 {1}2 <D 101
32222. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 101 <C {01}2
32223. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 B> {01}2
32224. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 1 C> 101
32225. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 10 B> 01
32226. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 101 C> 1
32227. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 {10}2 B>
32228. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 {10}2 1 C>
32229. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 {10}2 1 <D 1
32230. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 {10}2 <C 01
32231. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 101 <D 101
32232. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 10 <C {01}2
32233. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 1 <D 1 {01}2
32234. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 {0}2 <C {01}3
32235. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 10 <D 1 {01}3
32236. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 E> 1 {01}3
32237. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 0 D> {01}3
32238. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 01 E> 1 {01}2
32239. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 010 D> {01}2
32240. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}2 E> 101
32241. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}2 0 D> 01
32242. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}3 E> 1
32243. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}3 0 D>
32244. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}4 E>
32245. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}4 <A 1
32246. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
32248. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 {01}1 <A {1}7
32249. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 0 <E {1}8
32250. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 {1}2 <A {1}9
32251. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 1 <E {1}10
32252. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 0 D> {1}10
32253. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 0 <C 0 {1}9
32254. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 <D 10 {1}9
32255. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 0 <C 010 {1}9
32256. {1}3 0 {1}2 {01}0.659015535982058684035415e18267 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 0.659015535982058684035415e18267
32258. {1}3 0 {1}2 0 <C 0 {10}0.659015535982058684035415e18267 {1}9
32259. {1}3 0 {1}2 <D {10}0.659015535982058684035415e18267 {1}9
32260. {1}3 01 <C 0 {10}0.659015535982058684035415e18267 {1}9
32261. {1}3 {0}2 B> 0 {10}0.659015535982058684035415e18267 {1}9
32262. {1}3 {0}2 1 C> {10}0.659015535982058684035415e18267 {1}9
32263. {1}3 {0}2 10 B> 0 {10}0.659015535982058684035415e18267 {1}9
32264. {1}3 {0}2 101 C> {10}0.659015535982058684035415e18267 {1}9
32265. {1}3 {0}2 {10}2 B> 0 {10}0.659015535982058684035415e18267 {1}9 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 0.659015535982058684035415e18267
32267. {1}3 {0}2 {10}0.659015535982058684035415e18267 1 C> {10}1 {1}9
32268. {1}3 {0}2 {10}0.659015535982058684035415e18267 B> 0 {1}9
32269. {1}3 {0}2 {10}0.659015535982058684035415e18267 1 C> {1}9
32270. {1}3 {0}2 {10}0.659015535982058684035415e18267 B> {1}8
32271. {1}3 {0}2 {10}0.659015535982058684035415e18267 1 F> {1}7
32272. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 C> {1}6
32273. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 B> {1}5
32274. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 01 F> {1}4
32275. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}2 C> {1}3
32276. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 B> {1}2
32277. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 1 F> 1
32278. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 {1}2 C>
32279. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 {1}2 <D 1
32280. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 1 <C 01
32281. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 0 B> 01
32282. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 01 C> 1
32283. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 010 B>
32284. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 {01}2 C>
32285. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 {01}2 <D 1
32286. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 010 <C 01
32287. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 01 <D 101
32288. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 0 <C {01}2
32289. {1}3 {0}2 {10}0.659015535982058684035415e18267 {{1}2 0}2 <D 1 {01}2
32290. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 E> 1 {01}2
32291. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 0 D> {01}2
32292. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 01 E> 101
32293. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 010 D> 01
32294. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 {01}2 E> 1
32295. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 {01}2 0 D>
32296. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 {01}3 E>
32297. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 {01}3 <A 1
32298. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 {01}2 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 1
32300. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 {01}1 <A {1}5
32301. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 0 <E {1}6
32302. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}3 <A {1}7
32303. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 {1}2 <E {1}8
32304. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 010 D> {1}8
32305. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 010 <C 0 {1}7
32306. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 01 <D 10 {1}7
32307. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 0 <C 010 {1}7
32308. {1}3 {0}2 {10}0.659015535982058684035415e18267 {1}2 <D {10}2 {1}7
32309. {1}3 {0}2 {10}0.659015535982058684035415e18267 1 <C 0 {10}2 {1}7
32310. {1}3 {0}2 {10}0.659015535982058684035415e18267 0 B> 0 {10}2 {1}7
32311. {1}3 {0}2 {10}0.659015535982058684035415e18267 01 C> {10}2 {1}7
32312. {1}3 {0}2 {10}0.659015535982058684035415e18267 010 B> 010 {1}7
32313. {1}3 {0}2 {10}0.659015535982058684035415e18267 {01}2 C> 10 {1}7
32314. {1}3 {0}2 {10}0.659015535982058684035415e18267 {01}2 0 B> 0 {1}7 proof used
USING
proof 14:
72. {
1}
3:F {
0 {1}2}
17:F {
0}
2:F {
10}
2:T|b - 1 {
01}
6:T|a + 4 0
T B> 0
T {
1}
7:T
max_repeat = 0.659015535982058684035415e18267
32316. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 C> {1}7
32317. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 0 B> {1}6
32318. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 F> {1}5
32319. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 C> {1}4
32320. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 B> {1}3
32321. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 101 F> {1}2
32322. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 {1}2 C> 1
32323. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 {1}2 0 B>
32324. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 {1}2 01 C>
32325. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 {1}2 01 <D 1
32326. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 {1}2 0 <C 01
32327. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 {1}2 <D 101
32328. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 101 <C {01}2
32329. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 B> {01}2
32330. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 1 C> 101
32331. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 10 B> 01
32332. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 101 C> 1
32333. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 {10}2 B>
32334. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 {10}2 1 C>
32335. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 {10}2 1 <D 1
32336. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 {10}2 <C 01
32337. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 101 <D 101
32338. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 10 <C {01}2
32339. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 1 <D 1 {01}2
32340. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 {0}2 <C {01}3
32341. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 10 <D 1 {01}3
32342. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 E> 1 {01}3
32343. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 0 D> {01}3
32344. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 01 E> 1 {01}2
32345. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 010 D> {01}2
32346. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}2 E> 101
32347. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}2 0 D> 01
32348. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}3 E> 1
32349. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}3 0 D>
32350. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}4 E>
32351. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}4 <A 1
32352. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
32354. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 {01}1 <A {1}7
32355. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 0 <E {1}8
32356. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 {1}2 <A {1}9
32357. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 1 <E {1}10
32358. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 0 D> {1}10
32359. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 0 <C 0 {1}9
32360. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 <D 10 {1}9
32361. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 0 <C 010 {1}9
32362. {1}3 {0}2 {10}1 {01}0.263606214392823473614166e18268 <D {10}2 {1}9 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32364. {1}3 {0}2 {10}1 0 <C 0 {10}0.263606214392823473614166e18268 {1}9
32365. {1}3 {0}2 {10}1 <D {10}0.263606214392823473614166e18268 {1}9
32366. {1}3 {0}2 {1}2 E> {10}0.263606214392823473614166e18268 {1}9
32367. {1}3 {0}2 {1}2 0 D> 0 {10}0.263606214392823473614166e18268 {1}9
32368. {1}3 {0}2 {1}2 01 E> {10}0.263606214392823473614166e18268 {1}9
32369. {1}3 {0}2 {1}2 010 D> 0 {10}0.263606214392823473614166e18268 {1}9
32370. {1}3 {0}2 {1}2 {01}2 E> {10}0.263606214392823473614166e18268 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32372. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 0 D> 0 {1}9
32373. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 E> {1}9
32374. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 0 D> {1}8
32375. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 0 <C 0 {1}7
32376. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 <D 10 {1}7
32377. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 0 <C 010 {1}7
32378. {1}3 {0}2 {1}2 {01}0.263606214392823473614166e18268 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32380. {1}3 {0}2 {1}2 0 <C 0 {10}0.263606214392823473614166e18268 {1}7
32381. {1}3 {0}2 {1}2 <D {10}0.263606214392823473614166e18268 {1}7
32382. {1}3 {0}2 1 <C 0 {10}0.263606214392823473614166e18268 {1}7
32383. {1}3 {0}3 B> 0 {10}0.263606214392823473614166e18268 {1}7
32384. {1}3 {0}3 1 C> {10}0.263606214392823473614166e18268 {1}7
32385. {1}3 {0}3 10 B> 0 {10}0.263606214392823473614166e18268 {1}7
32386. {1}3 {0}3 101 C> {10}0.263606214392823473614166e18268 {1}7
32387. {1}3 {0}3 {10}2 B> 0 {10}0.263606214392823473614166e18268 {1}7 proof used
USING
proof 15:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
3:T|a + 1 B> 0
T {
10}
11:T|b - 1 {
1}
7:F
max_repeat = 0.263606214392823473614166e18268
32389. {1}3 {0}3 {10}0.263606214392823473614166e18268 1 C> {10}1 {1}7
32390. {1}3 {0}3 {10}0.263606214392823473614166e18268 B> 0 {1}7
32391. {1}3 {0}3 {10}0.263606214392823473614166e18268 1 C> {1}7
32392. {1}3 {0}3 {10}0.263606214392823473614166e18268 B> {1}6
32393. {1}3 {0}3 {10}0.263606214392823473614166e18268 1 F> {1}5
32394. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 C> {1}4
32395. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 0 B> {1}3
32396. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 01 F> {1}2
32397. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 0 {1}2 C> 1
32398. {1}3 {0}3 {10}0.263606214392823473614166e18268 {{1}2 0}2 B>
32399. {1}3 {0}3 {10}0.263606214392823473614166e18268 {{1}2 0}2 1 C>
32400. {1}3 {0}3 {10}0.263606214392823473614166e18268 {{1}2 0}2 1 <D 1
32401. {1}3 {0}3 {10}0.263606214392823473614166e18268 {{1}2 0}2 <C 01
32402. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 0 {1}2 <D 101
32403. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 01 <C {01}2
32404. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 B> {01}2
32405. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 1 C> 101
32406. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 10 B> 01
32407. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 101 C> 1
32408. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 B>
32409. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 1 C>
32410. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 1 <D 1
32411. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 <C 01
32412. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 101 <D 101
32413. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 10 <C {01}2
32414. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 1 <D 1 {01}2
32415. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 {0}2 <C {01}3
32416. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 0 <D 1 {01}3
32417. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 E> 1 {01}3
32418. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 0 D> {01}3
32419. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 01 E> 1 {01}2
32420. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 010 D> {01}2
32421. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}2 E> 101
32422. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}2 0 D> 01
32423. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}3 E> 1
32424. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}3 0 D>
32425. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}4 E>
32426. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}4 <A 1
32427. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
32429. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 {01}1 <A {1}7
32430. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 0 <E {1}8
32431. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}3 <A {1}9
32432. {1}3 {0}3 {10}0.263606214392823473614166e18268 {1}2 <E {1}10
32433. {1}3 {0}3 {10}0.263606214392823473614166e18268 D> {1}10
32434. {1}3 {0}3 {10}0.263606214392823473614166e18268 <C 0 {1}9
32435. {1}3 {0}3 {10}0.263606214392823473614166e18268 1 <D 10 {1}9
32436. {1}3 {0}3 {10}0.263606214392823473614166e18268 <C 010 {1}9
32437. {1}3 {0}3 {10}0.263606214392823473614166e18268 1 <D {10}2 {1}9 proof used
USING
proof 16:
1. {
1}
3:F {
0 {1}2}
17:F {
0}
3:F {
10}
13:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32439. {1}3 {0}3 {10}1 <C 0 {10}0.263606214392823473614166e18268 {1}9
32440. {1}3 {0}3 1 <D {10}0.263606214392823473614166e18268 {1}9
32441. {1}3 {0}3 <C 0 {10}0.263606214392823473614166e18268 {1}9
32442. {1}3 {0}2 <D {10}0.263606214392823473614166e18268 {1}9
32443. {1}3 01 E> {10}0.263606214392823473614166e18268 {1}9
32444. {1}3 010 D> 0 {10}0.263606214392823473614166e18268 {1}9
32445. {1}3 {01}2 E> {10}0.263606214392823473614166e18268 {1}9 proof used
USING
proof 5:
1. {
10}
3:F {
1}
2:F {
01}
3:T|a + 1 E> {
10}
2:T|b - 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32447. {1}3 {01}0.263606214392823473614166e18268 0 D> 0 {1}9
32448. {1}3 {01}0.263606214392823473614166e18268 E> {1}9
32449. {1}3 {01}0.263606214392823473614166e18268 0 D> {1}8
32450. {1}3 {01}0.263606214392823473614166e18268 0 <C 0 {1}7
32451. {1}3 {01}0.263606214392823473614166e18268 <D 10 {1}7
32452. {1}3 {01}0.263606214392823473614166e18268 0 <C 010 {1}7
32453. {1}3 {01}0.263606214392823473614166e18268 <D {10}2 {1}7 proof used
USING
proof 4:
1. {
10}
4:F {
01}
2:T|a - 1 <D {
10}
3:T|b + 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32455. {1}3 0 <C 0 {10}0.263606214392823473614166e18268 {1}7
32456. {1}3 <D {10}0.263606214392823473614166e18268 {1}7
32457. {1}2 <C 0 {10}0.263606214392823473614166e18268 {1}7
32458. 10 B> 0 {10}0.263606214392823473614166e18268 {1}7
32459. 101 C> {10}0.263606214392823473614166e18268 {1}7
32460. {10}2 B> 0 {10}0.263606214392823473614166e18268 {1}7 proof used
USING
proof 19:
1. {
10}
3:T|a + 1 B> 0
T {
10}
34125:T|b - 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32462. {10}0.263606214392823473614166e18268 1 C> {10}1 {1}7
32463. {10}0.263606214392823473614166e18268 B> 0 {1}7
32464. {10}0.263606214392823473614166e18268 1 C> {1}7
32465. {10}0.263606214392823473614166e18268 B> {1}6
32466. {10}0.263606214392823473614166e18268 1 F> {1}5
32467. {10}0.263606214392823473614166e18268 {1}2 C> {1}4
32468. {10}0.263606214392823473614166e18268 {1}2 0 B> {1}3
32469. {10}0.263606214392823473614166e18268 {1}2 01 F> {1}2
32470. {10}0.263606214392823473614166e18268 {1}2 0 {1}2 C> 1
32471. {10}0.263606214392823473614166e18268 {{1}2 0}2 B>
32472. {10}0.263606214392823473614166e18268 {{1}2 0}2 1 C>
32473. {10}0.263606214392823473614166e18268 {{1}2 0}2 1 <D 1
32474. {10}0.263606214392823473614166e18268 {{1}2 0}2 <C 01
32475. {10}0.263606214392823473614166e18268 {1}2 0 {1}2 <D 101
32476. {10}0.263606214392823473614166e18268 {1}2 01 <C {01}2
32477. {10}0.263606214392823473614166e18268 {1}2 {0}2 B> {01}2
32478. {10}0.263606214392823473614166e18268 {1}2 {0}2 1 C> 101
32479. {10}0.263606214392823473614166e18268 {1}2 {0}2 10 B> 01
32480. {10}0.263606214392823473614166e18268 {1}2 {0}2 101 C> 1
32481. {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 B>
32482. {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 1 C>
32483. {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 1 <D 1
32484. {10}0.263606214392823473614166e18268 {1}2 {0}2 {10}2 <C 01
32485. {10}0.263606214392823473614166e18268 {1}2 {0}2 101 <D 101
32486. {10}0.263606214392823473614166e18268 {1}2 {0}2 10 <C {01}2
32487. {10}0.263606214392823473614166e18268 {1}2 {0}2 1 <D 1 {01}2
32488. {10}0.263606214392823473614166e18268 {1}2 {0}2 <C {01}3
32489. {10}0.263606214392823473614166e18268 {1}2 0 <D 1 {01}3
32490. {10}0.263606214392823473614166e18268 {1}3 E> 1 {01}3
32491. {10}0.263606214392823473614166e18268 {1}3 0 D> {01}3
32492. {10}0.263606214392823473614166e18268 {1}3 01 E> 1 {01}2
32493. {10}0.263606214392823473614166e18268 {1}3 010 D> {01}2
32494. {10}0.263606214392823473614166e18268 {1}3 {01}2 E> 101
32495. {10}0.263606214392823473614166e18268 {1}3 {01}2 0 D> 01
32496. {10}0.263606214392823473614166e18268 {1}3 {01}3 E> 1
32497. {10}0.263606214392823473614166e18268 {1}3 {01}3 0 D>
32498. {10}0.263606214392823473614166e18268 {1}3 {01}4 E>
32499. {10}0.263606214392823473614166e18268 {1}3 {01}4 <A 1
32500. {10}0.263606214392823473614166e18268 {1}3 {01}3 0 <E {1}2 proof used
USING
proof 3:
1. {
10}
4:F {
01}
4:F {
1}
2:F {
01}
2:T|a - 1 0
T <E {
1}
4:T|b + 2
max_repeat = 2
32502. {10}0.263606214392823473614166e18268 {1}3 {01}1 <A {1}7
32503. {10}0.263606214392823473614166e18268 {1}3 0 <E {1}8
32504. {10}0.263606214392823473614166e18268 {1}3 <A {1}9
32505. {10}0.263606214392823473614166e18268 {1}2 <E {1}10
32506. {10}0.263606214392823473614166e18268 D> {1}10
32507. {10}0.263606214392823473614166e18268 <C 0 {1}9
32508. {10}0.263606214392823473614166e18268 1 <D 10 {1}9
32509. {10}0.263606214392823473614166e18268 <C 010 {1}9
32510. {10}0.263606214392823473614166e18268 1 <D {10}2 {1}9 proof used
USING
proof 11:
1. {
10}
19:T|a - 1 1
T <D {
10}
3:T|b + 1 {
1}
7:F
max_repeat = 0.263606214392823473614166e18268
USING
proof 12:
17. {
10}
1:T 1
T <D {
10}
23:T|a + 2 {
1}
5:T|b - 2
max_repeat = 4
32513. {10}1 <C 0 {10}0.263606214392823473614166e18268 {1}1
32514. 1 <D {10}0.263606214392823473614166e18268 {1}1
32515. <C 0 {10}0.263606214392823473614166e18268 {1}1
32516. <D {10}0.263606214392823473614166e18268 {1}1
32517. 1 E> {10}0.263606214392823473614166e18268 {1}1
32518. 10 D> 0 {10}0.263606214392823473614166e18268 {1}1
32519. 101 E> {10}0.263606214392823473614166e18268 {1}1
32520. {10}2 D> 0 {10}0.263606214392823473614166e18268 {1}1 proof used
USING
proof 10:
1. {
10}
3:T|a + 1 D> 0
T {
10}
18:T|b - 1 {
1}
9:F
max_repeat = 0.263606214392823473614166e18268
32522. {10}0.263606214392823473614166e18268 1 E> {10}1 {1}1
32523. {10}0.263606214392823473614166e18268 D> 0 {1}1
32524. {10}0.263606214392823473614166e18268 1 E> {1}1
32525. {10}0.263606214392823473614166e18268 D>
32526. {10}0.263606214392823473614166e18268 1 E>
32527. {10}0.263606214392823473614166e18268 1 <A 1
32528. {10}0.263606214392823473614166e18268 <E {1}2 proof used
USING
proof 1:
1. {
10}
2:T|a - 1 <E {
1}
4:T|b + 2
max_repeat = 0.263606214392823473614166e18268
32530. 1 <A {1}0.527212428785646947228332e18268
32531. <E {1}0.527212428785646947228332e18268
32532. <A {1}0.527212428785646947228332e18268
32533. 1 B> {1}0.527212428785646947228332e18268
32534. {1}2 F> {1}0.527212428785646947228332e18268
32535. {1}3 C> {1}0.527212428785646947228332e18268
32536. {1}3 0 B> {1}0.527212428785646947228332e18268
32537. {1}3 01 F> {1}0.527212428785646947228332e18268
32538. {1}3 0 {1}2 C> {1}0.527212428785646947228332e18268
32539. {1}3 0 {1}2 0 B> {1}0.527212428785646947228332e18268
32540. {1}3 0 {1}2 01 F> {1}0.527212428785646947228332e18268
32541. {1}3 {0 {1}2}2 C> {1}0.527212428785646947228332e18268 proof used
USING
proof 13:
2. {
1}
3:F {
0 {1}2}
3:T|a + 1 C> {
1}
52:T|b - 3
max_repeat = 0.1757374762618823157427773e18268
32543. {1}3 {0 {1}2}0.1757374762618823157427773e18268 0 B> 1
32544. {1}3 {0 {1}2}0.1757374762618823157427773e18268 01 F>
32545. {1}3 {0 {1}2}0.1757374762618823157427773e18268 01 <G 1
halt state...