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