TM: 1 C1L 5 B0R 6 E0R 0 --- 2 D0L 8 C1L 3 E1L 9 C0L 4 A1R 7 C0R
tape / proofs; generated by unibb prover; 2010-Apr-17 07:38:37
PROOF #1
526 | 526. 10 {1}2 A> 10 {1}3 {0}2 1 {0}3 {01}3 {0}3 {{0}2 {10}2 {1}2}2
533 | 533. 10 {1}3 A> 10 {1}2 {0}2 1 {0}3 {01}3 {0}3 {{0}2 {10}2 {1}2}2
0 | 0. 1F0F {1}2:F|a A> 1F0F {1}3:F|b {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
1 | 1. 1F0F {1}2:F|a 0T B> 0F {1}3:F|b {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
2 | 2. 1F0F {1}2:F|a {0}2:T E> {1}3:F|b {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
3 | 3. 1F0F {1}2:F|a {0}3:T C> {1}2:T|b - 1 {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
4 | 4. 1F0F {1}2:F|a {0}3:T <C {1}2:T|b - 1 {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
5 | 5. 1F0F {1}2:F|a {0}2:T <D 0T {1}2:T|b - 1 {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
6 | 6. 1F0F {1}2:F|a 0T <E 1T0T {1}2:T|b - 1 {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
7 | 7. 1F0F {1}3:T|a + 1 A> 1T0T {1}2:T|b - 1 {0}2:F 1F {0}3:F {01}3:F {0}3:F {{0}2 {10}2 {1}2}2:F
XSTEPS: 7 =
STEPS: 7
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a + 1...
linearity OK
minimum --
2. variable = b - 1...
linearity OK
minimum b - 2 => 3
CONDITIONS ON NEW EXPONENTS...
proved - normal proof
PROOF #2
609 | 609. 10 {1}4 {0 {1}2}2 {01}3 <E {10}2 {1}2 {{0}2 {10}2 {1}2}2
613 | 613. 10 {1}4 {0 {1}2}2 {01}2 <E {10}3 {1}2 {{0}2 {10}2 {1}2}2
0 | 0. 1F0F {1}4:F {0 {1}2}2:F {01}3:F|a <E {10}2:F|b {1}2:F {{0}2 {10}2 {1}2}2:F
1 | 1. 1F0F {1}4:F {0 {1}2}2:F {01}2:T|a - 1 {0}2:T C> {10}2:F|b {1}2:F {{0}2 {10}2 {1}2}2:F
2 | 2. 1F0F {1}4:F {0 {1}2}2:F {01}2:T|a - 1 {0}2:T <C {10}2:T|b - 0 {1}2:F {{0}2 {10}2 {1}2}2:F
3 | 3. 1F0F {1}4:F {0 {1}2}2:F {01}2:T|a - 1 0T <D 0T {10}2:T|b - 0 {1}2:F {{0}2 {10}2 {1}2}2:F
4 | 4. 1F0F {1}4:F {0 {1}2}2:F {01}2:T|a - 1 <E {10}3:T|b - -1 {1}2:F {{0}2 {10}2 {1}2}2:F
XSTEPS: 4 =
STEPS: 4
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a - 1...
linearity OK
minimum a - 1 => 2
2. variable = b - -1...
linearity OK
minimum b - 1 => 2
CONDITIONS ON NEW EXPONENTS...
proved - normal proof
PROOF #3
714 | 730. 10 {1}5 {0 {1}2}2 {01}2 A> {10}5 {1}2 {{0}2 {10}2 {1}2}2
720 | 736. 10 {1}5 {0 {1}2}2 {01}3 A> {10}4 {1}2 {{0}2 {10}2 {1}2}2
0 | 0. 1F0F {1}5:F {0 {1}2}2:F {01}2:F|a A> {10}5:F|b {1}2:F {{0}2 {10}2 {1}2}2:F
1 | 1. 1F0F {1}5:F {0 {1}2}2:F {01}2:F|a 0T B> 0T {10}4:T|b - 1 {1}2:F {{0}2 {10}2 {1}2}2:F
2 | 2. 1F0F {1}5:F {0 {1}2}2:F {01}2:F|a {0}2:T E> {10}4:T|b - 1 {1}2:F {{0}2 {10}2 {1}2}2:F
3 | 3. 1F0F {1}5:F {0 {1}2}2:F {01}2:F|a {0}3:T C> 0T {10}3:T|b - 2 {1}2:F {{0}2 {10}2 {1}2}2:F
4 | 4. 1F0F {1}5:F {0 {1}2}2:F {01}2:F|a {0}3:T <D 0T {10}3:T|b - 2 {1}2:F {{0}2 {10}2 {1}2}2:F
5 | 5. 1F0F {1}5:F {0 {1}2}2:F {01}2:F|a {0}2:T <E {10}4:T|b - 1 {1}2:F {{0}2 {10}2 {1}2}2:F
6 | 6. 1F0F {1}5:F {0 {1}2}2:F {01}3:T|a + 1 A> {10}4:T|b - 1 {1}2:F {{0}2 {10}2 {1}2}2:F
XSTEPS: 6 =
STEPS: 6
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a + 1...
linearity OK
minimum --
2. variable = b - 1...
linearity OK
minimum b - 2 => 3
CONDITIONS ON NEW EXPONENTS...
proved - normal proof
PROOF #4
828 | 855. 10 {1}5 {0 {1}2}2 {01}3 <D {0}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
830 | 857. 10 {1}5 {0 {1}2}2 {01}2 <D {0}4 {{0}4 {01}2}2 {0}5 {10}2 {1}2
0 | 0. 1F0F {1}5:F {0 {1}2}2:F {01}3:F|a <D {0}2:F|b {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
1 | 1. 1F0F {1}5:F {0 {1}2}2:F {01}2:T|a - 1 0T <C {0}3:T|b + 1 {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
2 | 2. 1F0F {1}5:F {0 {1}2}2:F {01}2:T|a - 1 <D {0}4:T|b + 2 {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
XSTEPS: 2 =
STEPS: 2
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a - 1...
linearity OK
minimum a - 1 => 2
2. variable = b + 2...
linearity OK
minimum --
CONDITIONS ON NEW EXPONENTS...
proved - normal proof
PROOF #5
1107 | 1175. 10 {1}6 0 {1}2 {01}3 {10}3 <C {0}2 {10}2 {1}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
1109 | 1177. 10 {1}6 0 {1}2 {01}3 {10}2 <C {0}4 {10}2 {1}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
0 | 0. 1F0F {1}6:F 0F {1}2:F {01}3:F {10}3:F|a <C {0}2:F|b {10}2:F {1}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
1 | 1. 1F0F {1}6:F 0F {1}2:F {01}3:F {10}2:T|a - 1 1T <D {0}3:T|b + 1 {10}2:F {1}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
2 | 2. 1F0F {1}6:F 0F {1}2:F {01}3:F {10}2:T|a - 1 <C {0}4:T|b + 2 {10}2:F {1}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
XSTEPS: 2 =
STEPS: 2
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a - 1...
linearity OK
minimum a - 1 => 2
2. variable = b + 2...
linearity OK
minimum --
CONDITIONS ON NEW EXPONENTS...
proved - normal proof
PROOF #6
1124 | 1193. 10 {1}3 <C {1}2 {0}2 1 {0}6 1 {0}8 {10}2 {1}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
1125 | 1194. 10 {1}2 <C {1}3 {0}2 1 {0}6 1 {0}8 {10}2 {1}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
0 | 0. 1F0F {1}3:F|a <C {1}2:F|b {0}2:F 1F {0}6:F 1F {0}8:F {10}2:F {1}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
1 | 1. 1F0F {1}2:T|a - 1 <C {1}3:T|b + 1 {0}2:F 1F {0}6:F 1F {0}8:F {10}2:F {1}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
XSTEPS: 1 =
STEPS: 1
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a - 1...
linearity OK
minimum a - 1 => 2
2. variable = b + 1...
linearity OK
minimum --
CONDITIONS ON NEW EXPONENTS...
proved - normal proof
PROOF #7
2802 | 3616. 10 {1}15 0 {1}2 {01}3 {10}3 {1}3 010 <D {{0}5 {10}2 {1}3 0 {01}2}2 {0}3 {{0}2 {10}2 {1}2}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
3370 | 4625. 10 {1}18 0 {1}2 {01}3 {10}3 {1}3 010 <D {{0}5 {10}2 {1}3 0 {01}2}3 {0}3 {{0}2 {10}2 {1}2}2 {{0}4 {01}2}2 {0}5 {10}2 {1}2
0 | 0. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}3:F 0F1F0F <D {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
1 | 1. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}3:F 0F1F <E 1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
2 | 2. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}3:F {0}2:T C> 1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
3 | 3. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}3:F {0}2:T <C 1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
4 | 4. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}3:F 0T <D 0T1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
5 | 5. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}3:F <E 1T0T1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
6 | 6. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}2:T 0T C> 1T0T1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
7 | 7. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}2:T 0T <C 1T0T1T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
8 | 8. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F {1}2:T <D {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
9 | 9. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F 1T <C 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
10 | 10. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}3:F <C 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
11 | 11. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}2:T 1T <D 0T1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
12 | 12. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}2:T <C {0}2:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (5)
13 | 14. 1F0F {1}15:F|a 0F {1}2:F {01}3:F {10}1:T <C {0}4:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
14 | 15. 1F0F {1}15:F|a 0F {1}2:F {01}3:F 1T <D {0}5:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
15 | 16. 1F0F {1}15:F|a 0F {1}2:F {01}3:F <C {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
16 | 17. 1F0F {1}15:F|a 0F {1}2:F {01}2:T 0T <C 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
17 | 18. 1F0F {1}15:F|a 0F {1}2:F {01}2:T <D 0T1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
18 | 19. 1F0F {1}15:F|a 0F {1}2:F 0T1T0T <C {0}2:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
19 | 20. 1F0F {1}15:F|a 0F {1}2:F 0T1T <D {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
20 | 21. 1F0F {1}15:F|a 0F {1}2:F 0T <C {0}4:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
21 | 22. 1F0F {1}15:F|a 0F {1}2:F <D {0}5:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
22 | 23. 1F0F {1}15:F|a 0F1T <C {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
23 | 24. 1F0F {1}15:F|a 0F <C 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
24 | 25. 1F0F {1}15:F|a <D 0T1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
25 | 26. 1F0F {1}14:T|a - 1 <C {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
26 | 27. 1F0F {1}13:T|a - 2 <C 1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 4 val=5 remaining exponent: 1 part_down=1
xmod taken from proof:
27 | 28. 1F0F {1}12:T|a - 3 <C {1}2:T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (6)
28 | 39. 1F0F {1}1:T <C {1}13:T|a - 2 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
29 | 40. 1F0F <C {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
30 | 41. 1F <D 0T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
31 | 42. <C {0}2:T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
32 | 43. <D {0}3:T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
33 | 44. <E 1T {0}3:T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
34 | 45. 1T A> 1T {0}3:T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
35 | 46. 1T0T B> {0}3:T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
36 | 47. 1T {0}2:T E> {0}2:T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
37 | 48. 1T {0}2:T 1T A> 0T {1}14:T|a - 1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
38 | 49. 1T {0}2:T 1T <C {1}15:T|a - 0 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
39 | 50. 1T {0}2:T <C {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
40 | 51. 1T0T <D 0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
41 | 52. 1T <E 1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
42 | 53. 0T C> 1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
43 | 54. 0T <C 1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
44 | 55. <D 0T1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
45 | 56. <E {10}2:T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
46 | 57. 1T A> {10}2:T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
47 | 58. 1T0T B> 0T1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
48 | 59. 1T {0}2:T E> 1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
49 | 60. 1T {0}3:T C> 0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
50 | 61. 1T {0}3:T <D 0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
51 | 62. 1T {0}2:T <E 1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
52 | 63. 1T0T1T A> 1T0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
53 | 64. {10}2:T B> 0T {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
54 | 65. {10}2:T 0T E> {1}16:T|a - -1 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
55 | 66. {10}2:T {0}2:T C> {1}15:T|a - 0 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
56 | 67. {10}2:T {0}2:T <C {1}15:T|a - 0 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
57 | 68. {10}2:T 0T <D 0T {1}15:T|a - 0 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
58 | 69. {10}2:T <E 1T0T {1}15:T|a - 0 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 2 val=3 remaining exponent: 2 part_down=1
xmod taken from proof:
59 | 70. 1T0T {1}2:T A> 1T0T {1}15:T|a - 0 {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (1)
60 | 161. 1T0T {1}15:T|a - 0 A> 1T0T {1}2:T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
61 | 162. 1T0T {1}15:T|a - 0 0T B> 0T {1}2:T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
62 | 163. 1T0T {1}15:T|a - 0 {0}2:T E> {1}2:T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
63 | 164. 1T0T {1}15:T|a - 0 {0}3:T C> 1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
64 | 165. 1T0T {1}15:T|a - 0 {0}3:T <C 1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
65 | 166. 1T0T {1}15:T|a - 0 {0}2:T <D 0T1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
66 | 167. 1T0T {1}15:T|a - 0 0T <E 1T0T1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
67 | 168. 1T0T {1}16:T|a - -1 A> 1T0T1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
68 | 169. 1T0T {1}16:T|a - -1 0T B> 0T1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
69 | 170. 1T0T {1}16:T|a - -1 {0}2:T E> 1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
70 | 171. 1T0T {1}16:T|a - -1 {0}3:T C> {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
71 | 172. 1T0T {1}16:T|a - -1 {0}3:T <D {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
72 | 173. 1T0T {1}16:T|a - -1 {0}2:T <E 1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
73 | 174. 1T0T {1}16:T|a - -1 0T1T A> 1T {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
74 | 175. 1T0T {1}16:T|a - -1 0T1T0T B> {0}2:T 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
75 | 176. 1T0T {1}16:T|a - -1 0T1T {0}2:T E> 0T1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
76 | 177. 1T0T {1}16:T|a - -1 0T1T {0}2:T 1T A> 1T {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
77 | 178. 1T0T {1}16:T|a - -1 0T1T {0}2:T 1T0T B> {{0}6 1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
78 | 179. 1T0T {1}16:T|a - -1 0T {1 {0}2}2:T E> {0}5:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
79 | 180. 1T0T {1}16:T|a - -1 0T {1 {0}2}2:T 1T A> {0}4:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
80 | 181. 1T0T {1}16:T|a - -1 0T {1 {0}2}2:T 1T <C 1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
81 | 182. 1T0T {1}16:T|a - -1 0T {1 {0}2}2:T <C {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
82 | 183. 1T0T {1}16:T|a - -1 0T1T {0}2:T 1T0T <D 0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
83 | 184. 1T0T {1}16:T|a - -1 0T1T {0}2:T 1T <E 1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
84 | 185. 1T0T {1}16:T|a - -1 0T1T {0}3:T C> 1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
85 | 186. 1T0T {1}16:T|a - -1 0T1T {0}3:T <C 1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
86 | 187. 1T0T {1}16:T|a - -1 0T1T {0}2:T <D 0T1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
87 | 188. 1T0T {1}16:T|a - -1 0T1T0T <E {10}2:T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
88 | 189. 1T0T {1}16:T|a - -1 0T {1}2:T A> {10}2:T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
89 | 190. 1T0T {1}16:T|a - -1 0T {1}2:T 0T B> 0T1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
90 | 191. 1T0T {1}16:T|a - -1 0T {1}2:T {0}2:T E> 1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
91 | 192. 1T0T {1}16:T|a - -1 0T {1}2:T {0}3:T C> 0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
92 | 193. 1T0T {1}16:T|a - -1 0T {1}2:T {0}3:T <D 0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
93 | 194. 1T0T {1}16:T|a - -1 0T {1}2:T {0}2:T <E 1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
94 | 195. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T A> 1T0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
95 | 196. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T0T B> 0T {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
96 | 197. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T {0}2:T E> {1}2:T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
97 | 198. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T {0}3:T C> 1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
98 | 199. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T {0}3:T <C 1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
99 | 200. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T {0}2:T <D 0T1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
100 | 201. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T0T <E 1T0T1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
101 | 202. 1T0T {1}16:T|a - -1 {0 {1}2}2:T A> 1T0T1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
102 | 203. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T B> 0T1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
103 | 204. 1T0T {1}16:T|a - -1 {0 {1}2}2:T {0}2:T E> 1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
104 | 205. 1T0T {1}16:T|a - -1 {0 {1}2}2:T {0}3:T C> {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
105 | 206. 1T0T {1}16:T|a - -1 {0 {1}2}2:T {0}3:T <D {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
106 | 207. 1T0T {1}16:T|a - -1 {0 {1}2}2:T {0}2:T <E 1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
107 | 208. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T A> 1T {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
108 | 209. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T0T B> {0}3:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
109 | 210. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T {0}2:T E> {0}2:T 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
110 | 211. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T {0}2:T 1T A> 0T1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
111 | 212. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T {0}2:T 1T <C {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
112 | 213. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T {0}2:T <C {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
113 | 214. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T0T <D 0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
114 | 215. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T1T <E 1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
115 | 216. 1T0T {1}16:T|a - -1 {0 {1}2}2:T {0}2:T C> 1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
116 | 217. 1T0T {1}16:T|a - -1 {0 {1}2}2:T {0}2:T <C 1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
117 | 218. 1T0T {1}16:T|a - -1 {0 {1}2}2:T 0T <D 0T1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
118 | 219. 1T0T {1}16:T|a - -1 {0 {1}2}2:T <E {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
119 | 220. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T0T C> {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
120 | 221. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T0T <C {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
121 | 222. 1T0T {1}16:T|a - -1 0T {1}2:T 0T1T <D 0T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
122 | 223. 1T0T {1}16:T|a - -1 0T {1}2:T 0T <C {0}2:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
123 | 224. 1T0T {1}16:T|a - -1 0T {1}2:T <D {0}3:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
124 | 225. 1T0T {1}16:T|a - -1 0T1T <C {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
125 | 226. 1T0T {1}16:T|a - -1 0T <C 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
126 | 227. 1T0T {1}16:T|a - -1 <D 0T1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
127 | 228. 1T0T {1}15:T|a - 0 <C {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
128 | 229. 1T0T {1}14:T|a - 1 <C 1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 3 val=4 remaining exponent: 1 part_down=1
xmod taken from proof:
129 | 230. 1T0T {1}13:T|a - 2 <C {1}2:T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (6)
130 | 242. 1T0T {1}1:T <C {1}14:T|a - 1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
131 | 243. 1T0T <C {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
132 | 244. 1T <D 0T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
133 | 245. <C {0}2:T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
134 | 246. <D {0}3:T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
135 | 247. <E 1T {0}3:T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
136 | 248. 1T A> 1T {0}3:T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
137 | 249. 1T0T B> {0}3:T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
138 | 250. 1T {0}2:T E> {0}2:T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
139 | 251. 1T {0}2:T 1T A> 0T {1}15:T|a - 0 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
140 | 252. 1T {0}2:T 1T <C {1}16:T|a - -1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
141 | 253. 1T {0}2:T <C {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
142 | 254. 1T0T <D 0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
143 | 255. 1T <E 1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
144 | 256. 0T C> 1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
145 | 257. 0T <C 1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
146 | 258. <D 0T1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
147 | 259. <E {10}2:T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
148 | 260. 1T A> {10}2:T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
149 | 261. 1T0T B> 0T1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
150 | 262. 1T {0}2:T E> 1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
151 | 263. 1T {0}3:T C> 0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
152 | 264. 1T {0}3:T <D 0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
153 | 265. 1T {0}2:T <E 1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
154 | 266. 1T0T1T A> 1T0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
155 | 267. {10}2:T B> 0T {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
156 | 268. {10}2:T 0T E> {1}17:T|a - -2 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
157 | 269. {10}2:T {0}2:T C> {1}16:T|a - -1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
158 | 270. {10}2:T {0}2:T <C {1}16:T|a - -1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
159 | 271. {10}2:T 0T <D 0T {1}16:T|a - -1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
160 | 272. {10}2:T <E 1T0T {1}16:T|a - -1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 1 val=2 remaining exponent: 2 part_down=1
xmod taken from proof:
161 | 273. 1T0T {1}2:T A> 1T0T {1}16:T|a - -1 {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (1)
162 | 371. 1T0T {1}16:T|a - -1 A> 1T0T {1}2:T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
163 | 372. 1T0T {1}16:T|a - -1 0T B> 0T {1}2:T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
164 | 373. 1T0T {1}16:T|a - -1 {0}2:T E> {1}2:T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
165 | 374. 1T0T {1}16:T|a - -1 {0}3:T C> 1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
166 | 375. 1T0T {1}16:T|a - -1 {0}3:T <C 1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
167 | 376. 1T0T {1}16:T|a - -1 {0}2:T <D 0T1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
168 | 377. 1T0T {1}16:T|a - -1 0T <E 1T0T1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
169 | 378. 1T0T {1}17:T|a - -2 A> 1T0T1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
170 | 379. 1T0T {1}17:T|a - -2 0T B> 0T1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
171 | 380. 1T0T {1}17:T|a - -2 {0}2:T E> 1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
172 | 381. 1T0T {1}17:T|a - -2 {0}3:T C> {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
173 | 382. 1T0T {1}17:T|a - -2 {0}3:T <D {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
174 | 383. 1T0T {1}17:T|a - -2 {0}2:T <E 1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
175 | 384. 1T0T {1}17:T|a - -2 0T1T A> 1T {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
176 | 385. 1T0T {1}17:T|a - -2 0T1T0T B> {0}2:T 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
177 | 386. 1T0T {1}17:T|a - -2 0T1T {0}2:T E> 0T1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
178 | 387. 1T0T {1}17:T|a - -2 0T1T {0}2:T 1T A> 1T {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
179 | 388. 1T0T {1}17:T|a - -2 0T1T {0}2:T 1T0T B> {0}4:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
180 | 389. 1T0T {1}17:T|a - -2 0T {1 {0}2}2:T E> {0}3:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
181 | 390. 1T0T {1}17:T|a - -2 0T {1 {0}2}2:T 1T A> {0}2:T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
182 | 391. 1T0T {1}17:T|a - -2 0T {1 {0}2}2:T 1T <C {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
183 | 392. 1T0T {1}17:T|a - -2 0T {1 {0}2}2:T <C 1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
184 | 393. 1T0T {1}17:T|a - -2 0T1T {0}2:T 1T0T <D 0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
185 | 394. 1T0T {1}17:T|a - -2 0T1T {0}2:T 1T <E 1T0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
186 | 395. 1T0T {1}17:T|a - -2 0T1T {0}3:T C> 1T0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
187 | 396. 1T0T {1}17:T|a - -2 0T1T {0}3:T <C 1T0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
188 | 397. 1T0T {1}17:T|a - -2 0T1T {0}2:T <D {01}2:T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
189 | 398. 1T0T {1}17:T|a - -2 0T1T0T <E 1T {01}2:T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
190 | 399. 1T0T {1}17:T|a - -2 0T {1}2:T A> 1T {01}2:T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
191 | 400. 1T0T {1}17:T|a - -2 0T {1}2:T 0T B> {01}2:T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
192 | 401. 1T0T {1}17:T|a - -2 0T {1}2:T {0}2:T E> 1T0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
193 | 402. 1T0T {1}17:T|a - -2 0T {1}2:T {0}3:T C> 0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
194 | 403. 1T0T {1}17:T|a - -2 0T {1}2:T {0}3:T <D 0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
195 | 404. 1T0T {1}17:T|a - -2 0T {1}2:T {0}2:T <E 1T0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
196 | 405. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T A> 1T0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
197 | 406. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T0T B> 0T1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
198 | 407. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T {0}2:T E> 1T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
199 | 408. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T {0}3:T C> {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
200 | 409. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T {0}3:T <C {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
201 | 410. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T {0}2:T <D 0T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
202 | 411. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T0T <E {10}4:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
203 | 412. 1T0T {1}17:T|a - -2 {0 {1}2}2:T A> {10}4:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
204 | 413. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T B> 0T {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
205 | 414. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {0}2:T E> {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
206 | 415. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {0}3:T C> 0T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
207 | 416. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {0}3:T <D 0T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
208 | 417. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {0}2:T <E {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
209 | 418. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T A> {10}3:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
210 | 419. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T0T B> 0T {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
211 | 420. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T {0}2:T E> {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
212 | 421. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T {0}3:T C> 0T1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
213 | 422. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T {0}3:T <D 0T1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
214 | 423. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T {0}2:T <E {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
215 | 424. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T A> {10}2:T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
216 | 425. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T 0T B> 0T1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
217 | 426. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T {0}2:T E> 1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
218 | 427. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T {0}3:T C> 0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
219 | 428. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T {0}3:T <D 0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
220 | 429. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T {0}2:T <E 1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
221 | 430. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T A> 1T0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
222 | 431. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 0T B> 0T {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
223 | 432. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {0}2:T E> {1}3:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
224 | 433. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {0}3:T C> {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
225 | 434. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {0}3:T <C {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
226 | 435. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {0}2:T <D 0T {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
227 | 436. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 0T <E 1T0T {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
228 | 437. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T A> 1T0T {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
229 | 438. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T0T B> 0T {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
230 | 439. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T {0}2:T E> {1}2:T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
231 | 440. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T {0}3:T C> 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
232 | 441. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T {0}3:T <C 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
233 | 442. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T {0}2:T <D 0T1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
234 | 443. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T0T <E 1T0T1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
235 | 444. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T A> 1T0T1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
236 | 445. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T B> 0T1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
237 | 446. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T {0}2:T E> 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
238 | 447. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T {0}3:T C> {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
239 | 448. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T {0}3:T <D {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
240 | 449. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T {0}2:T <E 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
241 | 450. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T A> 1T {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
242 | 451. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T0T B> {0}6:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
243 | 452. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T {0}2:T E> {0}5:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
244 | 453. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T {0}2:T 1T A> {0}4:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
245 | 454. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T {0}2:T 1T <C 1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
246 | 455. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T {0}2:T <C {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
247 | 456. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T0T <D 0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
248 | 457. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T1T <E 1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
249 | 458. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T {0}2:T C> 1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
250 | 459. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T {0}2:T <C 1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
251 | 460. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T 0T <D 0T1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
252 | 461. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T {1}2:T <E {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
253 | 462. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T0T C> {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
254 | 463. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T0T <C {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
255 | 464. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T 1T <D 0T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
256 | 465. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}3:T <C {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
257 | 466. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T 0T <C 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
258 | 467. 1T0T {1}17:T|a - -2 {0 {1}2}2:T {01}2:T <D 0T1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
259 | 468. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T0T <C {0}2:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
260 | 469. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T1T <D {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
261 | 470. 1T0T {1}17:T|a - -2 {0 {1}2}2:T 0T <C {0}4:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
262 | 471. 1T0T {1}17:T|a - -2 {0 {1}2}2:T <D {0}5:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
263 | 472. 1T0T {1}17:T|a - -2 0T {1}2:T 0T1T <C {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
264 | 473. 1T0T {1}17:T|a - -2 0T {1}2:T 0T <C 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
265 | 474. 1T0T {1}17:T|a - -2 0T {1}2:T <D 0T1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
266 | 475. 1T0T {1}17:T|a - -2 0T1T <C {0}2:T 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
267 | 476. 1T0T {1}17:T|a - -2 0T <C 1T {0}2:T 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
268 | 477. 1T0T {1}17:T|a - -2 <D 0T1T {0}2:T 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
269 | 478. 1T0T {1}16:T|a - -1 <C {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
270 | 479. 1T0T {1}15:T|a - 0 <C 1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 2 val=3 remaining exponent: 1 part_down=1
xmod taken from proof:
271 | 480. 1T0T {1}14:T|a - 1 <C {1}2:T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (6)
272 | 493. 1T0T {1}1:T <C {1}15:T|a - 0 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
273 | 494. 1T0T <C {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
274 | 495. 1T <D 0T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
275 | 496. <C {0}2:T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
276 | 497. <D {0}3:T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
277 | 498. <E 1T {0}3:T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
278 | 499. 1T A> 1T {0}3:T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
279 | 500. 1T0T B> {0}3:T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
280 | 501. 1T {0}2:T E> {0}2:T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
281 | 502. 1T {0}2:T 1T A> 0T {1}16:T|a - -1 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
282 | 503. 1T {0}2:T 1T <C {1}17:T|a - -2 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
283 | 504. 1T {0}2:T <C {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
284 | 505. 1T0T <D 0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
285 | 506. 1T <E 1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
286 | 507. 0T C> 1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
287 | 508. 0T <C 1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
288 | 509. <D 0T1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
289 | 510. <E {10}2:T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
290 | 511. 1T A> {10}2:T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
291 | 512. 1T0T B> 0T1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
292 | 513. 1T {0}2:T E> 1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
293 | 514. 1T {0}3:T C> 0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
294 | 515. 1T {0}3:T <D 0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
295 | 516. 1T {0}2:T <E 1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
296 | 517. 1T0T1T A> 1T0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
297 | 518. {10}2:T B> 0T {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
298 | 519. {10}2:T 0T E> {1}18:T|a - -3 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
299 | 520. {10}2:T {0}2:T C> {1}17:T|a - -2 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
300 | 521. {10}2:T {0}2:T <C {1}17:T|a - -2 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
301 | 522. {10}2:T 0T <D 0T {1}17:T|a - -2 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
302 | 523. {10}2:T <E 1T0T {1}17:T|a - -2 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 0 val=1 remaining exponent: 2 part_down=1
xmod taken from proof:
303 | 524. 1T0T {1}2:T A> 1T0T {1}17:T|a - -2 {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (1)
304 | 629. 1T0T {1}17:T|a - -2 A> 1T0T {1}2:T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
305 | 630. 1T0T {1}17:T|a - -2 0T B> 0T {1}2:T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
306 | 631. 1T0T {1}17:T|a - -2 {0}2:T E> {1}2:T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
307 | 632. 1T0T {1}17:T|a - -2 {0}3:T C> 1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
308 | 633. 1T0T {1}17:T|a - -2 {0}3:T <C 1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
309 | 634. 1T0T {1}17:T|a - -2 {0}2:T <D 0T1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
310 | 635. 1T0T {1}17:T|a - -2 0T <E 1T0T1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
311 | 636. 1T0T {1}18:T|a - -3 A> 1T0T1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
312 | 637. 1T0T {1}18:T|a - -3 0T B> 0T1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
313 | 638. 1T0T {1}18:T|a - -3 {0}2:T E> 1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
314 | 639. 1T0T {1}18:T|a - -3 {0}3:T C> {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
315 | 640. 1T0T {1}18:T|a - -3 {0}3:T <D {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
316 | 641. 1T0T {1}18:T|a - -3 {0}2:T <E 1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
317 | 642. 1T0T {1}18:T|a - -3 0T1T A> 1T {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
318 | 643. 1T0T {1}18:T|a - -3 0T1T0T B> {{0}2 1}2:T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
319 | 644. 1T0T {1}18:T|a - -3 0T1T {0}2:T E> 0T1T {0}2:T 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
320 | 645. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T A> 1T {0}2:T 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
321 | 646. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T0T B> {0}2:T 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
322 | 647. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T E> 0T1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
323 | 648. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 1T A> 1T {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
324 | 649. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 1T0T B> {0}6:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
325 | 650. 1T0T {1}18:T|a - -3 0T {1 {0}2}3:T E> {0}5:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
326 | 651. 1T0T {1}18:T|a - -3 0T {1 {0}2}3:T 1T A> {0}4:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
327 | 652. 1T0T {1}18:T|a - -3 0T {1 {0}2}3:T 1T <C 1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
328 | 653. 1T0T {1}18:T|a - -3 0T {1 {0}2}3:T <C {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
329 | 654. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 1T0T <D 0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
330 | 655. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 1T <E 1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
331 | 656. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 0T C> 1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
332 | 657. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 0T <C 1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
333 | 658. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T <D 0T1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
334 | 659. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T0T <E {10}2:T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
335 | 660. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T A> {10}2:T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
336 | 661. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T B> 0T1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
337 | 662. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T {0}2:T E> 1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
338 | 663. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T {0}3:T C> 0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
339 | 664. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T {0}3:T <D 0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
340 | 665. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T {0}2:T <E 1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
341 | 666. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T A> 1T0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
342 | 667. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T0T B> 0T {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
343 | 668. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T {0}2:T E> {1}2:T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
344 | 669. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T {0}3:T C> 1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
345 | 670. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T {0}3:T <C 1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
346 | 671. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T {0}2:T <D 0T1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
347 | 672. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T0T <E 1T0T1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
348 | 673. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T {1}2:T A> 1T0T1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
349 | 674. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T B> 0T1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
350 | 675. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 0T E> 1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
351 | 676. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T {0}2:T C> {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
352 | 677. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T {0}2:T <D {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
353 | 678. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 0T <E 1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
354 | 679. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T A> 1T {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
355 | 680. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T0T B> {0}3:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
356 | 681. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T {0}2:T E> {0}2:T 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
357 | 682. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T {0}2:T 1T A> 0T1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
358 | 683. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T {0}2:T 1T <C {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
359 | 684. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T {0}2:T <C {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
360 | 685. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T0T <D 0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
361 | 686. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 1T <E 1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
362 | 687. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 0T C> 1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
363 | 688. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T 0T <C 1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
364 | 689. 1T0T {1}18:T|a - -3 0T1T {0}2:T {{1}2 0}2:T <D 0T1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
365 | 690. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T {1}2:T <E {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
366 | 691. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T0T C> {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
367 | 692. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T0T <C {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
368 | 693. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T1T <D 0T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
369 | 694. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T 0T <C {0}2:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
370 | 695. 1T0T {1}18:T|a - -3 0T1T {0}2:T {1}2:T <D {0}3:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
371 | 696. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T <C {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
372 | 697. 1T0T {1}18:T|a - -3 0T1T {0}2:T <C 1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
373 | 698. 1T0T {1}18:T|a - -3 0T1T0T <D 0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
374 | 699. 1T0T {1}18:T|a - -3 0T1T <E 1T0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
375 | 700. 1T0T {1}18:T|a - -3 {0}2:T C> 1T0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
376 | 701. 1T0T {1}18:T|a - -3 {0}2:T <C 1T0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
377 | 702. 1T0T {1}18:T|a - -3 0T <D {01}2:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
378 | 703. 1T0T {1}18:T|a - -3 <E 1T {01}2:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
379 | 704. 1T0T {1}17:T|a - -2 0T C> 1T {01}2:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
380 | 705. 1T0T {1}17:T|a - -2 0T <C 1T {01}2:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
381 | 706. 1T0T {1}17:T|a - -2 <D {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
382 | 707. 1T0T {1}16:T|a - -1 <C 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
383 | 708. 1T0T {1}15:T|a - 0 <C 1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 2 val=3 remaining exponent: 1 part_down=1
xmod taken from proof:
384 | 709. 1T0T {1}14:T|a - 1 <C {1}2:T 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (6)
385 | 722. 1T0T {1}1:T <C {1}15:T|a - 0 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
386 | 723. 1T0T <C {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
387 | 724. 1T <D 0T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
388 | 725. <C {0}2:T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
389 | 726. <D {0}3:T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
390 | 727. <E 1T {0}3:T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
391 | 728. 1T A> 1T {0}3:T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
392 | 729. 1T0T B> {0}3:T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
393 | 730. 1T {0}2:T E> {0}2:T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
394 | 731. 1T {0}2:T 1T A> 0T {1}16:T|a - -1 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
395 | 732. 1T {0}2:T 1T <C {1}17:T|a - -2 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
396 | 733. 1T {0}2:T <C {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
397 | 734. 1T0T <D 0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
398 | 735. 1T <E 1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
399 | 736. 0T C> 1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
400 | 737. 0T <C 1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
401 | 738. <D 0T1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
402 | 739. <E {10}2:T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
403 | 740. 1T A> {10}2:T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
404 | 741. 1T0T B> 0T1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
405 | 742. 1T {0}2:T E> 1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
406 | 743. 1T {0}3:T C> 0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
407 | 744. 1T {0}3:T <D 0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
408 | 745. 1T {0}2:T <E 1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
409 | 746. 1T0T1T A> 1T0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
410 | 747. {10}2:T B> 0T {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
411 | 748. {10}2:T 0T E> {1}18:T|a - -3 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
412 | 749. {10}2:T {0}2:T C> {1}17:T|a - -2 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
413 | 750. {10}2:T {0}2:T <C {1}17:T|a - -2 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
414 | 751. {10}2:T 0T <D 0T {1}17:T|a - -2 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
415 | 752. {10}2:T <E 1T0T {1}17:T|a - -2 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
xmod: 1
xvar_min: a - 0 val=1 remaining exponent: 2 part_down=1
xmod taken from proof:
416 | 753. 1T0T {1}2:T A> 1T0T {1}17:T|a - -2 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F proof used (1)
417 | 858. 1T0T {1}17:T|a - -2 A> 1T0T {1}2:T 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
418 | 859. 1T0T {1}17:T|a - -2 0T B> 0T {1}2:T 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
419 | 860. 1T0T {1}17:T|a - -2 {0}2:T E> {1}2:T 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
420 | 861. 1T0T {1}17:T|a - -2 {0}3:T C> 1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
421 | 862. 1T0T {1}17:T|a - -2 {0}3:T <C 1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
422 | 863. 1T0T {1}17:T|a - -2 {0}2:T <D 0T1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
423 | 864. 1T0T {1}17:T|a - -2 0T <E {10}2:T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
424 | 865. 1T0T {1}18:T|a - -3 A> {10}2:T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
425 | 866. 1T0T {1}18:T|a - -3 0T B> 0T1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
426 | 867. 1T0T {1}18:T|a - -3 {0}2:T E> 1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
427 | 868. 1T0T {1}18:T|a - -3 {0}3:T C> 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
428 | 869. 1T0T {1}18:T|a - -3 {0}3:T <D 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
429 | 870. 1T0T {1}18:T|a - -3 {0}2:T <E 1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
430 | 871. 1T0T {1}18:T|a - -3 0T1T A> 1T0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
431 | 872. 1T0T {1}18:T|a - -3 0T1T0T B> 0T {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
432 | 873. 1T0T {1}18:T|a - -3 0T1T {0}2:T E> {01}3:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
433 | 874. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T A> 1T {01}2:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
434 | 875. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T0T B> {01}2:T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
435 | 876. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T E> 1T0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
436 | 877. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 0T C> 0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
437 | 878. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T 0T <D 0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
438 | 879. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T <E 1T0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
439 | 880. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T0T1T A> 1T0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
440 | 881. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T B> 0T1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
441 | 882. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T 0T E> 1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
442 | 883. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T {0}2:T C> {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
443 | 884. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T {0}2:T <D {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
444 | 885. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T 0T <E 1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
445 | 886. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T 1T A> 1T {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
446 | 887. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}3:T B> {0}4:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
447 | 888. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}3:T 0T E> {0}3:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
448 | 889. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}3:T 0T1T A> {0}2:T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
449 | 890. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}3:T 0T1T <C {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
450 | 891. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}3:T 0T <C 1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
451 | 892. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}3:T <D 0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
452 | 893. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T 1T <E 1T0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
453 | 894. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T 0T C> 1T0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
454 | 895. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T 0T <C 1T0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
455 | 896. 1T0T {1}18:T|a - -3 0T1T {0}2:T {10}2:T <D {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
456 | 897. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T0T1T <E 1T {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
457 | 898. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T C> 1T {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
458 | 899. 1T0T {1}18:T|a - -3 0T {1 {0}2}2:T <C 1T {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
459 | 900. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T0T <D {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
460 | 901. 1T0T {1}18:T|a - -3 0T1T {0}2:T 1T <E 1T {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
461 | 902. 1T0T {1}18:T|a - -3 0T1T {0}3:T C> 1T {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
462 | 903. 1T0T {1}18:T|a - -3 0T1T {0}3:T <C 1T {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
463 | 904. 1T0T {1}18:T|a - -3 0T1T {0}2:T <D {01}4:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
464 | 905. 1T0T {1}18:T|a - -3 0T1T0T <E 1T {01}4:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
465 | 906. 1T0T {1}18:T|a - -3 0T {1}2:T A> 1T {01}4:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
466 | 907. 1T0T {1}18:T|a - -3 0T {1}2:T 0T B> {01}4:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
467 | 908. 1T0T {1}18:T|a - -3 0T {1}2:T {0}2:T E> 1T {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
468 | 909. 1T0T {1}18:T|a - -3 0T {1}2:T {0}3:T C> {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
469 | 910. 1T0T {1}18:T|a - -3 0T {1}2:T {0}3:T <D {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
470 | 911. 1T0T {1}18:T|a - -3 0T {1}2:T {0}2:T <E 1T {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
471 | 912. 1T0T {1}18:T|a - -3 0T {1}2:T 0T1T A> 1T {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
472 | 913. 1T0T {1}18:T|a - -3 0T {1}2:T 0T1T0T B> {01}3:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
473 | 914. 1T0T {1}18:T|a - -3 0T {1}2:T 0T1T {0}2:T E> 1T {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
474 | 915. 1T0T {1}18:T|a - -3 0T {1}2:T 0T1T {0}3:T C> {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
475 | 916. 1T0T {1}18:T|a - -3 0T {1}2:T 0T1T {0}3:T <D {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
476 | 917. 1T0T {1}18:T|a - -3 0T {1}2:T 0T1T {0}2:T <E 1T {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
477 | 918. 1T0T {1}18:T|a - -3 0T {1}2:T {01}2:T A> 1T {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
478 | 919. 1T0T {1}18:T|a - -3 0T {1}2:T {01}2:T 0T B> {01}2:T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
479 | 920. 1T0T {1}18:T|a - -3 0T {1}2:T {01}2:T {0}2:T E> 1T0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
480 | 921. 1T0T {1}18:T|a - -3 0T {1}2:T {01}2:T {0}3:T C> 0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
481 | 922. 1T0T {1}18:T|a - -3 0T {1}2:T {01}2:T {0}3:T <D 0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
482 | 923. 1T0T {1}18:T|a - -3 0T {1}2:T {01}2:T {0}2:T <E 1T0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
483 | 924. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T A> 1T0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
484 | 925. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 0T B> 0T1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
485 | 926. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {0}2:T E> 1T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
486 | 927. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {0}3:T C> {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
487 | 928. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {0}3:T <C {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
488 | 929. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {0}2:T <D 0T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
489 | 930. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 0T <E {10}4:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
490 | 931. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T A> {10}4:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
491 | 932. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T0T B> 0T {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
492 | 933. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T {0}2:T E> {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
493 | 934. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T {0}3:T C> 0T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
494 | 935. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T {0}3:T <D 0T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
495 | 936. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T {0}2:T <E {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
496 | 937. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T 1T0T1T A> {10}3:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
497 | 938. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}2:T B> 0T {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
498 | 939. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}2:T 0T E> {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
499 | 940. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}2:T {0}2:T C> 0T1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
500 | 941. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}2:T {0}2:T <D 0T1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
501 | 942. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}2:T 0T <E {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
502 | 943. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}2:T 1T A> {10}2:T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
503 | 944. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T B> 0T1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
504 | 945. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T 0T E> 1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
505 | 946. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {0}2:T C> 0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
506 | 947. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {0}2:T <D 0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
507 | 948. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T 0T <E 1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
508 | 949. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T 1T A> 1T0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
509 | 950. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}4:T B> 0T {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
510 | 951. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}4:T 0T E> {1}3:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
511 | 952. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}4:T {0}2:T C> {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
512 | 953. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}4:T {0}2:T <C {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
513 | 954. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}4:T 0T <D 0T {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
514 | 955. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}4:T <E 1T0T {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
515 | 956. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T A> 1T0T {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
516 | 957. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T 0T B> 0T {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
517 | 958. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T {0}2:T E> {1}2:T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
518 | 959. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T {0}3:T C> 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
519 | 960. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T {0}3:T <C 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
520 | 961. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T {0}2:T <D 0T1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
521 | 962. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}2:T 0T <E 1T0T1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
522 | 963. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T A> 1T0T1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
523 | 964. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T B> 0T1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
524 | 965. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T {0}2:T E> 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
525 | 966. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T {0}3:T C> {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
526 | 967. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T {0}3:T <D {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
527 | 968. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T {0}2:T <E 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
528 | 969. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T A> 1T {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
529 | 970. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T0T B> {0}2:T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
530 | 971. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T E> 0T {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
531 | 972. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T A> {10}2:T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
532 | 973. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T B> 0T1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
533 | 974. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T {1 {0}2}2:T E> 1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
534 | 975. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T {1 {0}2}2:T 0T C> 0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
535 | 976. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T {1 {0}2}2:T 0T <D 0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
536 | 977. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T {1 {0}2}2:T <E 1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
537 | 978. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T1T A> 1T0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
538 | 979. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T B> 0T {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
539 | 980. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T 0T E> {1}2:T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
540 | 981. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T {0}2:T C> 1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
541 | 982. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T {0}2:T <C 1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
542 | 983. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T 0T <D 0T1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
543 | 984. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T <E 1T0T1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
544 | 985. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T A> 1T0T1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
545 | 986. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T B> 0T1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
546 | 987. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T {0}2:T E> 1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
547 | 988. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T {0}3:T C> {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
548 | 989. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T {0}3:T <D {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
549 | 990. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T {0}2:T <E 1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
550 | 991. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T A> 1T {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
551 | 992. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T0T B> {0}3:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
552 | 993. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T {0}2:T E> {0}2:T 1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
553 | 994. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T {0}2:T 1T A> 0T1T0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
554 | 995. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T {0}2:T 1T <C {1}2:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
555 | 996. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T {0}2:T <C {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
556 | 997. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T0T <D 0T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
557 | 998. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T1T <E 1T0T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
558 | 999. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T {0}2:T C> 1T0T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
559 | 1000. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T {0}2:T <C 1T0T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
560 | 1001. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T 0T <D 0T1T0T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
561 | 1002. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T {1}2:T <E {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
562 | 1003. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T C> {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
563 | 1004. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T {10}2:T <C {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
564 | 1005. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T1T <D 0T {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
565 | 1006. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T0T <C {0}2:T {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
566 | 1007. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T 1T <D {0}3:T {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
567 | 1008. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T {0}2:T <C {0}4:T {10}2:T {1}3:T 0T {01}2:T {{0}5 {10}2 {1}3 0 {01}2}2:F|b {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
568 | 1009. 1T0T {1}18:T|a - -3 0T {1}2:T {01}3:T {10}3:T {1}3:T 0T1T0T <D {{0}5 {10}2 {1}3 0 {01}2}3:T|b + 1 {0}3:F {{0}2 {10}2 {1}2}2:F {{0}4 {01}2}2:F {0}5:F {10}2:F {1}2:F
XSTEPS: 559 =
STEPS: 1009
# STEPS, HEAD... OK
CONFIGURATION SIMILARITY, LINEAR EXPONENT CHANGE, MINIMUM...
1. variable = a - -3...
linearity OK
minimum a - 4 => 5
2. variable = b + 1...
linearity OK
minimum --
CONDITIONS ON NEW EXPONENTS...
proved - proof with no decrementing variable