Comment: This TM produces >1.1*10^49 ones in >3.2*10^98 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C0L | 1 | right | B | 0 | left | C |
| B | A1L | D1L | 1 | left | A | 1 | left | D |
| C | D1R | C0R | 1 | right | D | 0 | right | C |
| D | B0L | E0R | 0 | left | B | 0 | right | E |
| E | C1R | F1L | 1 | right | C | 1 | left | F |
| F | E1L | Z1R | 1 | left | E | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-4-macro machine.
Simulation is done as bck-4-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Pushing macro factor 4.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 6 -2 <D(1) 0100
2 18 0 1001 (0)E> 0100
3 26 -2 1001 <B(0) 1010
4 30 -6 <C(0) 10102
5 40 -10 <E(1) 10103
6 42 -8 0001 (0)C> 10103
7 46 -4 0001 0010 (1)C> 10102
8 54 4 0001 0010 10102 (1)C>
9 60 2 0001 0010 10102 <E(1) 1000
10 62 4 0001 0010 1010 1011 (0)C> 1000
11 68 2 0001 0010 1010 1011 <A(1) 0100
12 72 4 0001 0010 1010 1001 (0)E> 0100
13 80 2 0001 0010 1010 1001 <B(0) 1010
14 84 -2 0001 0010 1010 <C(0) 10102
15 94 0 0001 0010 1100 (1)D> 10102
16 102 8 0001 0010 1100 10102 (1)D>
17 104 6 0001 0010 1100 10102 <D(1)
18 112 -2 0001 0010 1100 <D(1) 01012
19 120 0 0001 0010 0101 (0)C> 01012
20 128 8 0001 0010 01013 (0)C>
21 132 6 0001 0010 01013 <B(0) 1000
22 144 -6 0001 0010 <B(0) 10103 1000
23 150 -10 0001 <B(0) 10104 1000
24 158 -14 <E(1) 10105 1000
25 160 -12 0001 (0)C> 10105 1000
26 164 -8 0001 0010 (1)C> 10104 1000
27 180 8 0001 0010 10104 (1)C> 1000
28 186 6 0001 0010 10104 <D(1) 0100
29 202 -10 0001 0010 <D(1) 01014 0100
30 206 -14 0001 <A(1) 01015 0100
31 212 -18 <A(1) 01016 0100
32 220 -16 0010 (0)C> 01016 0100
33 244 8 0010 01016 (0)C> 0100
34 248 12 0010 01017 (1)D>
35 250 10 0010 01017 <D(1)
36 256 12 0010 01016 0110 (0)C>
37 260 10 0010 01016 0110 <B(0) 1000
38 266 12 0010 01016 0010 (1)C> 1000
39 272 10 0010 01016 0010 <D(1) 0100
40 276 6 0010 01016 <A(1) 0101 0100
41 288 8 0010 01015 1001 (0)E> 0101 0100
42 292 12 0010 01015 1001 0101 (0)E> 0100
43 300 10 0010 01015 1001 0101 <B(0) 1010
44 304 6 0010 01015 1001 <B(0) 10102
45 308 2 0010 01015 <C(0) 10103
46 310 4 0010 01014 0100 (1)D> 10103
47 322 16 0010 01014 0100 10103 (1)D>
48 324 14 0010 01014 0100 10103 <D(1)
49 336 2 0010 01014 0100 <D(1) 01013
50 342 -2 0010 01014 <D(1) 01014
51 348 0 0010 01013 0110 (0)C> 01014
52 364 16 0010 01013 0110 01014 (0)C>
53 368 14 0010 01013 0110 01014 <B(0) 1000
54 384 -2 0010 01013 0110 <B(0) 10104 1000
55 390 0 0010 01013 0010 (1)C> 10104 1000
56 406 16 0010 01013 0010 10104 (1)C> 1000
57 412 14 0010 01013 0010 10104 <D(1) 0100
58 428 -2 0010 01013 0010 <D(1) 01014 0100
59 432 -6 0010 01013 <A(1) 01015 0100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 01014+V(1) <A(1) 01011+V(2) 0100
1 12 2 [*]* 01013+V(1) 1001 (0)E> 01011+V(2) 0100
2 16+4*V(2) 6+4*V(2) [*]* 01013+V(1) 1001 01011+V(2) (0)E> 0100
3 24+4*V(2) 4+4*V(2) [*]* 01013+V(1) 1001 01011+V(2) <B(0) 1010
4 28+8*V(2) 0 [*]* 01013+V(1) 1001 <B(0) 10102+V(2)
5 32+8*V(2) -4 [*]* 01013+V(1) <C(0) 10103+V(2)
6 34+8*V(2) -2 [*]* 01012+V(1) 0100 (1)D> 10103+V(2)
7 46+12*V(2) 10+4*V(2) [*]* 01012+V(1) 0100 10103+V(2) (1)D>
8 48+12*V(2) 8+4*V(2) [*]* 01012+V(1) 0100 10103+V(2) <D(1)
9 60+16*V(2) -4 [*]* 01012+V(1) 0100 <D(1) 01013+V(2)
10 66+16*V(2) -8 [*]* 01012+V(1) <D(1) 01014+V(2)
11 72+16*V(2) -6 [*]* 01011+V(1) 0110 (0)C> 01014+V(2)
12 88+20*V(2) 10+4*V(2) [*]* 01011+V(1) 0110 01014+V(2) (0)C>
13 92+20*V(2) 8+4*V(2) [*]* 01011+V(1) 0110 01014+V(2) <B(0) 1000
14 108+24*V(2) -8 [*]* 01011+V(1) 0110 <B(0) 10104+V(2) 1000
15 114+24*V(2) -6 [*]* 01011+V(1) 0010 (1)C> 10104+V(2) 1000
16 130+28*V(2) 10+4*V(2) [*]* 01011+V(1) 0010 10104+V(2) (1)C> 1000
17 136+28*V(2) 8+4*V(2) [*]* 01011+V(1) 0010 10104+V(2) <D(1) 0100
18 152+32*V(2) -8 [*]* 01011+V(1) 0010 <D(1) 01014+V(2) 0100
19 156+32*V(2) -12 [*]* 01011+V(1) <A(1) 01015+V(2) 0100
<< Success! ==> defined new CTR 1 (PA)
60 444 -4 0010 01012 1001 (0)E> 01015 0100
61 464 16 0010 01012 1001 01015 (0)E> 0100
62 472 14 0010 01012 1001 01015 <B(0) 1010
63 492 -6 0010 01012 1001 <B(0) 10106
64 496 -10 0010 01012 <C(0) 10107
65 498 -8 0010 0101 0100 (1)D> 10107
66 526 20 0010 0101 0100 10107 (1)D>
67 528 18 0010 0101 0100 10107 <D(1)
68 556 -10 0010 0101 0100 <D(1) 01017
69 562 -14 0010 0101 <D(1) 01018
70 568 -12 0010 0110 (0)C> 01018
71 600 20 0010 0110 01018 (0)C>
72 604 18 0010 0110 01018 <B(0) 1000
73 636 -14 0010 0110 <B(0) 10108 1000
74 642 -12 00102 (1)C> 10108 1000
75 674 20 00102 10108 (1)C> 1000
76 680 18 00102 10108 <D(1) 0100
77 712 -14 00102 <D(1) 01018 0100
78 716 -18 0010 <A(1) 01019 0100
79 728 -16 1000 (0)C> 01019 0100
80 764 20 1000 01019 (0)C> 0100
81 768 24 1000 010110 (1)D>
82 770 22 1000 010110 <D(1)
83 776 24 1000 01019 0110 (0)C>
84 780 22 1000 01019 0110 <B(0) 1000
85 786 24 1000 01019 0010 (1)C> 1000
86 792 22 1000 01019 0010 <D(1) 0100
87 796 18 1000 01019 <A(1) 0101 0100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0010 01013 <A(1) 01011+V(1) 0100
1 12 2 0010 01012 1001 (0)E> 01011+V(1) 0100
2 16+4*V(1) 6+4*V(1) 0010 01012 1001 01011+V(1) (0)E> 0100
3 24+4*V(1) 4+4*V(1) 0010 01012 1001 01011+V(1) <B(0) 1010
4 28+8*V(1) 0 0010 01012 1001 <B(0) 10102+V(1)
5 32+8*V(1) -4 0010 01012 <C(0) 10103+V(1)
6 34+8*V(1) -2 0010 0101 0100 (1)D> 10103+V(1)
7 46+12*V(1) 10+4*V(1) 0010 0101 0100 10103+V(1) (1)D>
8 48+12*V(1) 8+4*V(1) 0010 0101 0100 10103+V(1) <D(1)
9 60+16*V(1) -4 0010 0101 0100 <D(1) 01013+V(1)
10 66+16*V(1) -8 0010 0101 <D(1) 01014+V(1)
11 72+16*V(1) -6 0010 0110 (0)C> 01014+V(1)
12 88+20*V(1) 10+4*V(1) 0010 0110 01014+V(1) (0)C>
13 92+20*V(1) 8+4*V(1) 0010 0110 01014+V(1) <B(0) 1000
14 108+24*V(1) -8 0010 0110 <B(0) 10104+V(1) 1000
15 114+24*V(1) -6 00102 (1)C> 10104+V(1) 1000
16 130+28*V(1) 10+4*V(1) 00102 10104+V(1) (1)C> 1000
17 136+28*V(1) 8+4*V(1) 00102 10104+V(1) <D(1) 0100
18 152+32*V(1) -8 00102 <D(1) 01014+V(1) 0100
19 156+32*V(1) -12 0010 <A(1) 01015+V(1) 0100
20 168+32*V(1) -10 1000 (0)C> 01015+V(1) 0100
21 188+36*V(1) 10+4*V(1) 1000 01015+V(1) (0)C> 0100
22 192+36*V(1) 14+4*V(1) 1000 01016+V(1) (1)D>
23 194+36*V(1) 12+4*V(1) 1000 01016+V(1) <D(1)
24 200+36*V(1) 14+4*V(1) 1000 01015+V(1) 0110 (0)C>
25 204+36*V(1) 12+4*V(1) 1000 01015+V(1) 0110 <B(0) 1000
26 210+36*V(1) 14+4*V(1) 1000 01015+V(1) 0010 (1)C> 1000
27 216+36*V(1) 12+4*V(1) 1000 01015+V(1) 0010 <D(1) 0100
28 220+36*V(1) 8+4*V(1) 1000 01015+V(1) <A(1) 0101 0100
<< Success! ==> defined new CTR 2 (PPA)
87 796 18 1000 01019 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=5, V(2)=0, repcount=2, factor=4/3
125 1236 -6 1000 01013 <A(1) 01019 0100
126 1248 -4 1000 01012 1001 (0)E> 01019 0100
127 1284 32 1000 01012 1001 01019 (0)E> 0100
128 1292 30 1000 01012 1001 01019 <B(0) 1010
129 1328 -6 1000 01012 1001 <B(0) 101010
130 1332 -10 1000 01012 <C(0) 101011
131 1334 -8 1000 0101 0100 (1)D> 101011
132 1378 36 1000 0101 0100 101011 (1)D>
133 1380 34 1000 0101 0100 101011 <D(1)
134 1424 -10 1000 0101 0100 <D(1) 010111
135 1430 -14 1000 0101 <D(1) 010112
136 1436 -12 1000 0110 (0)C> 010112
137 1484 36 1000 0110 010112 (0)C>
138 1488 34 1000 0110 010112 <B(0) 1000
139 1536 -14 1000 0110 <B(0) 101012 1000
140 1542 -12 1000 0010 (1)C> 101012 1000
141 1590 36 1000 0010 101012 (1)C> 1000
142 1596 34 1000 0010 101012 <D(1) 0100
143 1644 -14 1000 0010 <D(1) 010112 0100
144 1648 -18 1000 <A(1) 010113 0100
145 1656 -16 1010 (0)C> 010113 0100
146 1708 36 1010 010113 (0)C> 0100
147 1712 40 1010 010114 (1)D>
148 1714 38 1010 010114 <D(1)
149 1720 40 1010 010113 0110 (0)C>
150 1724 38 1010 010113 0110 <B(0) 1000
151 1730 40 1010 010113 0010 (1)C> 1000
152 1736 38 1010 010113 0010 <D(1) 0100
153 1740 34 1010 010113 <A(1) 0101 0100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1000 01013 <A(1) 01011+V(1) 0100
1 12 2 1000 01012 1001 (0)E> 01011+V(1) 0100
2 16+4*V(1) 6+4*V(1) 1000 01012 1001 01011+V(1) (0)E> 0100
3 24+4*V(1) 4+4*V(1) 1000 01012 1001 01011+V(1) <B(0) 1010
4 28+8*V(1) 0 1000 01012 1001 <B(0) 10102+V(1)
5 32+8*V(1) -4 1000 01012 <C(0) 10103+V(1)
6 34+8*V(1) -2 1000 0101 0100 (1)D> 10103+V(1)
7 46+12*V(1) 10+4*V(1) 1000 0101 0100 10103+V(1) (1)D>
8 48+12*V(1) 8+4*V(1) 1000 0101 0100 10103+V(1) <D(1)
9 60+16*V(1) -4 1000 0101 0100 <D(1) 01013+V(1)
10 66+16*V(1) -8 1000 0101 <D(1) 01014+V(1)
11 72+16*V(1) -6 1000 0110 (0)C> 01014+V(1)
12 88+20*V(1) 10+4*V(1) 1000 0110 01014+V(1) (0)C>
13 92+20*V(1) 8+4*V(1) 1000 0110 01014+V(1) <B(0) 1000
14 108+24*V(1) -8 1000 0110 <B(0) 10104+V(1) 1000
15 114+24*V(1) -6 1000 0010 (1)C> 10104+V(1) 1000
16 130+28*V(1) 10+4*V(1) 1000 0010 10104+V(1) (1)C> 1000
17 136+28*V(1) 8+4*V(1) 1000 0010 10104+V(1) <D(1) 0100
18 152+32*V(1) -8 1000 0010 <D(1) 01014+V(1) 0100
19 156+32*V(1) -12 1000 <A(1) 01015+V(1) 0100
20 164+32*V(1) -10 1010 (0)C> 01015+V(1) 0100
21 184+36*V(1) 10+4*V(1) 1010 01015+V(1) (0)C> 0100
22 188+36*V(1) 14+4*V(1) 1010 01016+V(1) (1)D>
23 190+36*V(1) 12+4*V(1) 1010 01016+V(1) <D(1)
24 196+36*V(1) 14+4*V(1) 1010 01015+V(1) 0110 (0)C>
25 200+36*V(1) 12+4*V(1) 1010 01015+V(1) 0110 <B(0) 1000
26 206+36*V(1) 14+4*V(1) 1010 01015+V(1) 0010 (1)C> 1000
27 212+36*V(1) 12+4*V(1) 1010 01015+V(1) 0010 <D(1) 0100
28 216+36*V(1) 8+4*V(1) 1010 01015+V(1) <A(1) 0101 0100
<< Success! ==> defined new CTR 3 (PPA)
153 1740 34 1010 010113 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=9, V(2)=0, repcount=4, factor=4/3
229 3132 -14 1010 0101 <A(1) 010117 0100
230 3144 -12 1010 1001 (0)E> 010117 0100
231 3212 56 1010 1001 010117 (0)E> 0100
232 3220 54 1010 1001 010117 <B(0) 1010
233 3288 -14 1010 1001 <B(0) 101018
234 3292 -18 1010 <C(0) 101019
235 3302 -16 1100 (1)D> 101019
236 3378 60 1100 101019 (1)D>
237 3380 58 1100 101019 <D(1)
238 3456 -18 1100 <D(1) 010119
239 3464 -16 0101 (0)C> 010119
240 3540 60 010120 (0)C>
241 3544 58 010120 <B(0) 1000
242 3624 -22 <B(0) 101020 1000
243 3634 -20 0100 (1)D> 101020 1000
244 3714 60 0100 101020 (1)D> 1000
245 3726 64 0100 101020 1100 (1)D>
246 3728 62 0100 101020 1100 <D(1)
247 3736 64 0100 101020 0101 (0)C>
248 3740 62 0100 101020 0101 <B(0) 1000
249 3744 58 0100 101020 <B(0) 1010 1000
250 3752 54 0100 101019 <E(1) 10102 1000
251 3754 56 0100 101018 1011 (0)C> 10102 1000
252 3758 60 0100 101018 1011 0010 (1)C> 1010 1000
253 3762 64 0100 101018 1011 0010 1010 (1)C> 1000
254 3768 62 0100 101018 1011 0010 1010 <D(1) 0100
255 3772 58 0100 101018 1011 0010 <D(1) 0101 0100
256 3776 54 0100 101018 1011 <A(1) 01012 0100
257 3780 56 0100 101018 1001 (0)E> 01012 0100
258 3788 64 0100 101018 1001 01012 (0)E> 0100
259 3796 62 0100 101018 1001 01012 <B(0) 1010
260 3804 54 0100 101018 1001 <B(0) 10103
261 3808 50 0100 101018 <C(0) 10104
262 3818 52 0100 101017 1100 (1)D> 10104
263 3834 68 0100 101017 1100 10104 (1)D>
264 3836 66 0100 101017 1100 10104 <D(1)
265 3852 50 0100 101017 1100 <D(1) 01014
266 3860 52 0100 101017 0101 (0)C> 01014
267 3876 68 0100 101017 01015 (0)C>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 10104+V(2) 01011+V(1) (0)C>
1 4 -2 [*]* 10104+V(2) 01011+V(1) <B(0) 1000
2 8+4*V(1) -6+-4*V(1) [*]* 10104+V(2) <B(0) 10101+V(1) 1000
3 16+4*V(1) -10+-4*V(1) [*]* 10103+V(2) <E(1) 10102+V(1) 1000
4 18+4*V(1) -8+-4*V(1) [*]* 10102+V(2) 1011 (0)C> 10102+V(1) 1000
5 22+4*V(1) -4+-4*V(1) [*]* 10102+V(2) 1011 0010 (1)C> 10101+V(1) 1000
6 26+8*V(1) 0 [*]* 10102+V(2) 1011 0010 10101+V(1) (1)C> 1000
7 32+8*V(1) -2 [*]* 10102+V(2) 1011 0010 10101+V(1) <D(1) 0100
8 36+12*V(1) -6+-4*V(1) [*]* 10102+V(2) 1011 0010 <D(1) 01011+V(1) 0100
9 40+12*V(1) -10+-4*V(1) [*]* 10102+V(2) 1011 <A(1) 01012+V(1) 0100
10 44+12*V(1) -8+-4*V(1) [*]* 10102+V(2) 1001 (0)E> 01012+V(1) 0100
11 52+16*V(1) 0 [*]* 10102+V(2) 1001 01012+V(1) (0)E> 0100
12 60+16*V(1) -2 [*]* 10102+V(2) 1001 01012+V(1) <B(0) 1010
13 68+20*V(1) -10+-4*V(1) [*]* 10102+V(2) 1001 <B(0) 10103+V(1)
14 72+20*V(1) -14+-4*V(1) [*]* 10102+V(2) <C(0) 10104+V(1)
15 82+20*V(1) -12+-4*V(1) [*]* 10101+V(2) 1100 (1)D> 10104+V(1)
16 98+24*V(1) 4 [*]* 10101+V(2) 1100 10104+V(1) (1)D>
17 100+24*V(1) 2 [*]* 10101+V(2) 1100 10104+V(1) <D(1)
18 116+28*V(1) -14+-4*V(1) [*]* 10101+V(2) 1100 <D(1) 01014+V(1)
19 124+28*V(1) -12+-4*V(1) [*]* 10101+V(2) 0101 (0)C> 01014+V(1)
20 140+32*V(1) 4 [*]* 10101+V(2) 01015+V(1) (0)C>
<< Success! ==> defined new CTR 4 (PA)
267 3876 68 0100 101017 01015 (0)C>
== Executing PA-CTR 4, V(1)=4, V(2)=13, repcount=5, factor=4/3
367 6496 88 0100 10102 010125 (0)C>
368 6500 86 0100 10102 010125 <B(0) 1000
369 6600 -14 0100 10102 <B(0) 101025 1000
370 6608 -18 0100 1010 <E(1) 101026 1000
371 6610 -16 0100 1011 (0)C> 101026 1000
372 6614 -12 0100 1011 0010 (1)C> 101025 1000
373 6714 88 0100 1011 0010 101025 (1)C> 1000
374 6720 86 0100 1011 0010 101025 <D(1) 0100
375 6820 -14 0100 1011 0010 <D(1) 010125 0100
376 6824 -18 0100 1011 <A(1) 010126 0100
377 6828 -16 0100 1001 (0)E> 010126 0100
378 6932 88 0100 1001 010126 (0)E> 0100
379 6940 86 0100 1001 010126 <B(0) 1010
380 7044 -18 0100 1001 <B(0) 101027
381 7048 -22 0100 <C(0) 101028
382 7054 -26 <B(0) 101029
383 7064 -24 0100 (1)D> 101029
384 7180 92 0100 101029 (1)D>
385 7182 90 0100 101029 <D(1)
386 7298 -26 0100 <D(1) 010129
387 7304 -30 <D(1) 010130
388 7316 -28 1001 (0)E> 010130
389 7436 92 1001 010130 (0)E>
390 7452 90 1001 010130 <C(0) 1010
391 7454 92 1001 010129 0100 (1)D> 1010
392 7458 96 1001 010129 0100 1010 (1)D>
393 7460 94 1001 010129 0100 1010 <D(1)
394 7464 90 1001 010129 0100 <D(1) 0101
395 7470 86 1001 010129 <D(1) 01012
396 7476 88 1001 010128 0110 (0)C> 01012
397 7484 96 1001 010128 0110 01012 (0)C>
398 7488 94 1001 010128 0110 01012 <B(0) 1000
399 7496 86 1001 010128 0110 <B(0) 10102 1000
400 7502 88 1001 010128 0010 (1)C> 10102 1000
401 7510 96 1001 010128 0010 10102 (1)C> 1000
402 7516 94 1001 010128 0010 10102 <D(1) 0100
403 7524 86 1001 010128 0010 <D(1) 01012 0100
404 7528 82 1001 010128 <A(1) 01013 0100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0100 10102 01011+V(1) (0)C>
1 4 -2 0100 10102 01011+V(1) <B(0) 1000
2 8+4*V(1) -6+-4*V(1) 0100 10102 <B(0) 10101+V(1) 1000
3 16+4*V(1) -10+-4*V(1) 0100 1010 <E(1) 10102+V(1) 1000
4 18+4*V(1) -8+-4*V(1) 0100 1011 (0)C> 10102+V(1) 1000
5 22+4*V(1) -4+-4*V(1) 0100 1011 0010 (1)C> 10101+V(1) 1000
6 26+8*V(1) 0 0100 1011 0010 10101+V(1) (1)C> 1000
7 32+8*V(1) -2 0100 1011 0010 10101+V(1) <D(1) 0100
8 36+12*V(1) -6+-4*V(1) 0100 1011 0010 <D(1) 01011+V(1) 0100
9 40+12*V(1) -10+-4*V(1) 0100 1011 <A(1) 01012+V(1) 0100
10 44+12*V(1) -8+-4*V(1) 0100 1001 (0)E> 01012+V(1) 0100
11 52+16*V(1) 0 0100 1001 01012+V(1) (0)E> 0100
12 60+16*V(1) -2 0100 1001 01012+V(1) <B(0) 1010
13 68+20*V(1) -10+-4*V(1) 0100 1001 <B(0) 10103+V(1)
14 72+20*V(1) -14+-4*V(1) 0100 <C(0) 10104+V(1)
15 78+20*V(1) -18+-4*V(1) <B(0) 10105+V(1)
16 88+20*V(1) -16+-4*V(1) 0100 (1)D> 10105+V(1)
17 108+24*V(1) 4 0100 10105+V(1) (1)D>
18 110+24*V(1) 2 0100 10105+V(1) <D(1)
19 130+28*V(1) -18+-4*V(1) 0100 <D(1) 01015+V(1)
20 136+28*V(1) -22+-4*V(1) <D(1) 01016+V(1)
21 148+28*V(1) -20+-4*V(1) 1001 (0)E> 01016+V(1)
22 172+32*V(1) 4 1001 01016+V(1) (0)E>
23 188+32*V(1) 2 1001 01016+V(1) <C(0) 1010
24 190+32*V(1) 4 1001 01015+V(1) 0100 (1)D> 1010
25 194+32*V(1) 8 1001 01015+V(1) 0100 1010 (1)D>
26 196+32*V(1) 6 1001 01015+V(1) 0100 1010 <D(1)
27 200+32*V(1) 2 1001 01015+V(1) 0100 <D(1) 0101
28 206+32*V(1) -2 1001 01015+V(1) <D(1) 01012
29 212+32*V(1) 0 1001 01014+V(1) 0110 (0)C> 01012
30 220+32*V(1) 8 1001 01014+V(1) 0110 01012 (0)C>
31 224+32*V(1) 6 1001 01014+V(1) 0110 01012 <B(0) 1000
32 232+32*V(1) -2 1001 01014+V(1) 0110 <B(0) 10102 1000
33 238+32*V(1) 0 1001 01014+V(1) 0010 (1)C> 10102 1000
34 246+32*V(1) 8 1001 01014+V(1) 0010 10102 (1)C> 1000
35 252+32*V(1) 6 1001 01014+V(1) 0010 10102 <D(1) 0100
36 260+32*V(1) -2 1001 01014+V(1) 0010 <D(1) 01012 0100
37 264+32*V(1) -6 1001 01014+V(1) <A(1) 01013 0100
<< Success! ==> defined new CTR 5 (PPA)
404 7528 82 1001 010128 <A(1) 01013 0100
== Executing PA-CTR 1, V(1)=24, V(2)=2, repcount=9, factor=4/3
575 14116 -26 1001 0101 <A(1) 010139 0100
576 14128 -24 10012 (0)E> 010139 0100
577 14284 132 10012 010139 (0)E> 0100
578 14292 130 10012 010139 <B(0) 1010
579 14448 -26 10012 <B(0) 101040
580 14452 -30 1001 <C(0) 101041
581 14454 -28 1000 (1)D> 101041
582 14618 136 1000 101041 (1)D>
583 14620 134 1000 101041 <D(1)
584 14784 -30 1000 <D(1) 010141
585 14792 -34 <F(1) 1101 010141
586 14796 -32 0010 (0)C> 1101 010141
587 14800 -28 0010 0001 (0)E> 010141
588 14964 136 0010 0001 010141 (0)E>
589 14980 134 0010 0001 010141 <C(0) 1010
590 14982 136 0010 0001 010140 0100 (1)D> 1010
591 14986 140 0010 0001 010140 0100 1010 (1)D>
592 14988 138 0010 0001 010140 0100 1010 <D(1)
593 14992 134 0010 0001 010140 0100 <D(1) 0101
594 14998 130 0010 0001 010140 <D(1) 01012
595 15004 132 0010 0001 010139 0110 (0)C> 01012
596 15012 140 0010 0001 010139 0110 01012 (0)C>
597 15016 138 0010 0001 010139 0110 01012 <B(0) 1000
598 15024 130 0010 0001 010139 0110 <B(0) 10102 1000
599 15030 132 0010 0001 010139 0010 (1)C> 10102 1000
600 15038 140 0010 0001 010139 0010 10102 (1)C> 1000
601 15044 138 0010 0001 010139 0010 10102 <D(1) 0100
602 15052 130 0010 0001 010139 0010 <D(1) 01012 0100
603 15056 126 0010 0001 010139 <A(1) 01013 0100
604 15068 128 0010 0001 010138 1001 (0)E> 01013 0100
605 15080 140 0010 0001 010138 1001 01013 (0)E> 0100
606 15088 138 0010 0001 010138 1001 01013 <B(0) 1010
607 15100 126 0010 0001 010138 1001 <B(0) 10104
608 15104 122 0010 0001 010138 <C(0) 10105
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 01014+V(1) <C(0) 10101+V(2)
1 2 2 [*]* [*]* 01013+V(1) 0100 (1)D> 10101+V(2)
2 6+4*V(2) 6+4*V(2) [*]* [*]* 01013+V(1) 0100 10101+V(2) (1)D>
3 8+4*V(2) 4+4*V(2) [*]* [*]* 01013+V(1) 0100 10101+V(2) <D(1)
4 12+8*V(2) 0 [*]* [*]* 01013+V(1) 0100 <D(1) 01011+V(2)
5 18+8*V(2) -4 [*]* [*]* 01013+V(1) <D(1) 01012+V(2)
6 24+8*V(2) -2 [*]* [*]* 01012+V(1) 0110 (0)C> 01012+V(2)
7 32+12*V(2) 6+4*V(2) [*]* [*]* 01012+V(1) 0110 01012+V(2) (0)C>
8 36+12*V(2) 4+4*V(2) [*]* [*]* 01012+V(1) 0110 01012+V(2) <B(0) 1000
9 44+16*V(2) -4 [*]* [*]* 01012+V(1) 0110 <B(0) 10102+V(2) 1000
10 50+16*V(2) -2 [*]* [*]* 01012+V(1) 0010 (1)C> 10102+V(2) 1000
11 58+20*V(2) 6+4*V(2) [*]* [*]* 01012+V(1) 0010 10102+V(2) (1)C> 1000
12 64+20*V(2) 4+4*V(2) [*]* [*]* 01012+V(1) 0010 10102+V(2) <D(1) 0100
13 72+24*V(2) -4 [*]* [*]* 01012+V(1) 0010 <D(1) 01012+V(2) 0100
14 76+24*V(2) -8 [*]* [*]* 01012+V(1) <A(1) 01013+V(2) 0100
15 88+24*V(2) -6 [*]* [*]* 01011+V(1) 1001 (0)E> 01013+V(2) 0100
16 100+28*V(2) 6+4*V(2) [*]* [*]* 01011+V(1) 1001 01013+V(2) (0)E> 0100
17 108+28*V(2) 4+4*V(2) [*]* [*]* 01011+V(1) 1001 01013+V(2) <B(0) 1010
18 120+32*V(2) -8 [*]* [*]* 01011+V(1) 1001 <B(0) 10104+V(2)
19 124+32*V(2) -12 [*]* [*]* 01011+V(1) <C(0) 10105+V(2)
<< Success! ==> defined new CTR 6 (PA)
608 15104 122 0010 0001 010138 <C(0) 10105
== Executing PA-CTR 6, V(1)=34, V(2)=4, repcount=12, factor=4/3
836 26576 -22 0010 0001 01012 <C(0) 101053
837 26578 -20 0010 0001 0101 0100 (1)D> 101053
838 26790 192 0010 0001 0101 0100 101053 (1)D>
839 26792 190 0010 0001 0101 0100 101053 <D(1)
840 27004 -22 0010 0001 0101 0100 <D(1) 010153
841 27010 -26 0010 0001 0101 <D(1) 010154
842 27016 -24 0010 0001 0110 (0)C> 010154
843 27232 192 0010 0001 0110 010154 (0)C>
844 27236 190 0010 0001 0110 010154 <B(0) 1000
845 27452 -26 0010 0001 0110 <B(0) 101054 1000
846 27458 -24 0010 0001 0010 (1)C> 101054 1000
847 27674 192 0010 0001 0010 101054 (1)C> 1000
848 27680 190 0010 0001 0010 101054 <D(1) 0100
849 27896 -26 0010 0001 0010 <D(1) 010154 0100
850 27900 -30 0010 0001 <A(1) 010155 0100
851 27906 -34 0010 <A(1) 010156 0100
852 27918 -32 1000 (0)C> 010156 0100
853 28142 192 1000 010156 (0)C> 0100
854 28146 196 1000 010157 (1)D>
855 28148 194 1000 010157 <D(1)
856 28154 196 1000 010156 0110 (0)C>
857 28158 194 1000 010156 0110 <B(0) 1000
858 28164 196 1000 010156 0010 (1)C> 1000
859 28170 194 1000 010156 0010 <D(1) 0100
860 28174 190 1000 010156 <A(1) 0101 0100
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 0010 00011+V(1) 01012 <C(0) 10101+V(2)
1 2 2 0010 00011+V(1) 0101 0100 (1)D> 10101+V(2)
2 6+4*V(2) 6+4*V(2) 0010 00011+V(1) 0101 0100 10101+V(2) (1)D>
3 8+4*V(2) 4+4*V(2) 0010 00011+V(1) 0101 0100 10101+V(2) <D(1)
4 12+8*V(2) 0 0010 00011+V(1) 0101 0100 <D(1) 01011+V(2)
5 18+8*V(2) -4 0010 00011+V(1) 0101 <D(1) 01012+V(2)
6 24+8*V(2) -2 0010 00011+V(1) 0110 (0)C> 01012+V(2)
7 32+12*V(2) 6+4*V(2) 0010 00011+V(1) 0110 01012+V(2) (0)C>
8 36+12*V(2) 4+4*V(2) 0010 00011+V(1) 0110 01012+V(2) <B(0) 1000
9 44+16*V(2) -4 0010 00011+V(1) 0110 <B(0) 10102+V(2) 1000
10 50+16*V(2) -2 0010 00011+V(1) 0010 (1)C> 10102+V(2) 1000
11 58+20*V(2) 6+4*V(2) 0010 00011+V(1) 0010 10102+V(2) (1)C> 1000
12 64+20*V(2) 4+4*V(2) 0010 00011+V(1) 0010 10102+V(2) <D(1) 0100
13 72+24*V(2) -4 0010 00011+V(1) 0010 <D(1) 01012+V(2) 0100
14 76+24*V(2) -8 0010 00011+V(1) <A(1) 01013+V(2) 0100
15 82+6*V(1)+24*V(2) -12+-4*V(1) 0010 <A(1) 01014+V(1)+V(2) 0100
16 94+6*V(1)+24*V(2) -10+-4*V(1) 1000 (0)C> 01014+V(1)+V(2) 0100
17 110+10*V(1)+28*V(2) 6+4*V(2) 1000 01014+V(1)+V(2) (0)C> 0100
18 114+10*V(1)+28*V(2) 10+4*V(2) 1000 01015+V(1)+V(2) (1)D>
19 116+10*V(1)+28*V(2) 8+4*V(2) 1000 01015+V(1)+V(2) <D(1)
20 122+10*V(1)+28*V(2) 10+4*V(2) 1000 01014+V(1)+V(2) 0110 (0)C>
21 126+10*V(1)+28*V(2) 8+4*V(2) 1000 01014+V(1)+V(2) 0110 <B(0) 1000
22 132+10*V(1)+28*V(2) 10+4*V(2) 1000 01014+V(1)+V(2) 0010 (1)C> 1000
23 138+10*V(1)+28*V(2) 8+4*V(2) 1000 01014+V(1)+V(2) 0010 <D(1) 0100
24 142+10*V(1)+28*V(2) 4+4*V(2) 1000 01014+V(1)+V(2) <A(1) 0101 0100
<< Success! ==> defined new CTR 7 (PPA)
860 28174 190 1000 010156 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=52, V(2)=0, repcount=18, factor=4/3
1202 50566 -26 1000 01012 <A(1) 010173 0100
1203 50578 -24 1000 0101 1001 (0)E> 010173 0100
1204 50870 268 1000 0101 1001 010173 (0)E> 0100
1205 50878 266 1000 0101 1001 010173 <B(0) 1010
1206 51170 -26 1000 0101 1001 <B(0) 101074
1207 51174 -30 1000 0101 <C(0) 101075
1208 51176 -28 1000 0100 (1)D> 101075
1209 51476 272 1000 0100 101075 (1)D>
1210 51478 270 1000 0100 101075 <D(1)
1211 51778 -30 1000 0100 <D(1) 010175
1212 51784 -34 1000 <D(1) 010176
1213 51792 -38 <F(1) 1101 010176
1214 51796 -36 0010 (0)C> 1101 010176
1215 51800 -32 0010 0001 (0)E> 010176
1216 52104 272 0010 0001 010176 (0)E>
1217 52120 270 0010 0001 010176 <C(0) 1010
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1000 01012 <A(1) 01011+V(1) 0100
1 12 2 1000 0101 1001 (0)E> 01011+V(1) 0100
2 16+4*V(1) 6+4*V(1) 1000 0101 1001 01011+V(1) (0)E> 0100
3 24+4*V(1) 4+4*V(1) 1000 0101 1001 01011+V(1) <B(0) 1010
4 28+8*V(1) 0 1000 0101 1001 <B(0) 10102+V(1)
5 32+8*V(1) -4 1000 0101 <C(0) 10103+V(1)
6 34+8*V(1) -2 1000 0100 (1)D> 10103+V(1)
7 46+12*V(1) 10+4*V(1) 1000 0100 10103+V(1) (1)D>
8 48+12*V(1) 8+4*V(1) 1000 0100 10103+V(1) <D(1)
9 60+16*V(1) -4 1000 0100 <D(1) 01013+V(1)
10 66+16*V(1) -8 1000 <D(1) 01014+V(1)
11 74+16*V(1) -12 <F(1) 1101 01014+V(1)
12 78+16*V(1) -10 0010 (0)C> 1101 01014+V(1)
13 82+16*V(1) -6 0010 0001 (0)E> 01014+V(1)
14 98+20*V(1) 10+4*V(1) 0010 0001 01014+V(1) (0)E>
15 114+20*V(1) 8+4*V(1) 0010 0001 01014+V(1) <C(0) 1010
<< Success! ==> defined new CTR 8 (PPA)
1217 52120 270 0010 0001 010176 <C(0) 1010
== Executing PA-CTR 6, V(1)=72, V(2)=0, repcount=25, factor=4/3
1692 93620 -30 0010 0001 0101 <C(0) 1010101
1693 93622 -28 0010 0001 0100 (1)D> 1010101
1694 94026 376 0010 0001 0100 1010101 (1)D>
1695 94028 374 0010 0001 0100 1010101 <D(1)
1696 94432 -30 0010 0001 0100 <D(1) 0101101
1697 94438 -34 0010 0001 <D(1) 0101102
1698 94444 -32 00102 (0)C> 0101102
1699 94852 376 00102 0101102 (0)C>
1700 94856 374 00102 0101102 <B(0) 1000
1701 95264 -34 00102 <B(0) 1010102 1000
1702 95276 -42 <B(0) 1010104 1000
1703 95286 -40 0100 (1)D> 1010104 1000
1704 95702 376 0100 1010104 (1)D> 1000
1705 95714 380 0100 1010104 1100 (1)D>
1706 95716 378 0100 1010104 1100 <D(1)
1707 95724 380 0100 1010104 0101 (0)C>
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 00101+V(1) 0001 0101 <C(0) 10101+V(2)
1 2 2 00101+V(1) 0001 0100 (1)D> 10101+V(2)
2 6+4*V(2) 6+4*V(2) 00101+V(1) 0001 0100 10101+V(2) (1)D>
3 8+4*V(2) 4+4*V(2) 00101+V(1) 0001 0100 10101+V(2) <D(1)
4 12+8*V(2) 0 00101+V(1) 0001 0100 <D(1) 01011+V(2)
5 18+8*V(2) -4 00101+V(1) 0001 <D(1) 01012+V(2)
6 24+8*V(2) -2 00102+V(1) (0)C> 01012+V(2)
7 32+12*V(2) 6+4*V(2) 00102+V(1) 01012+V(2) (0)C>
8 36+12*V(2) 4+4*V(2) 00102+V(1) 01012+V(2) <B(0) 1000
9 44+16*V(2) -4 00102+V(1) <B(0) 10102+V(2) 1000
10 56+6*V(1)+16*V(2) -12+-4*V(1) <B(0) 10104+V(1)+V(2) 1000
11 66+6*V(1)+16*V(2) -10+-4*V(1) 0100 (1)D> 10104+V(1)+V(2) 1000
12 82+10*V(1)+20*V(2) 6+4*V(2) 0100 10104+V(1)+V(2) (1)D> 1000
13 94+10*V(1)+20*V(2) 10+4*V(2) 0100 10104+V(1)+V(2) 1100 (1)D>
14 96+10*V(1)+20*V(2) 8+4*V(2) 0100 10104+V(1)+V(2) 1100 <D(1)
15 104+10*V(1)+20*V(2) 10+4*V(2) 0100 10104+V(1)+V(2) 0101 (0)C>
<< Success! ==> defined new CTR 9 (PPA)
1707 95724 380 0100 1010104 0101 (0)C>
== Executing PA-CTR 4, V(1)=0, V(2)=100, repcount=34, factor=4/3
2387 172292 516 0100 10102 0101137 (0)C>
== Executing PPA-CTR 5 (once), V(1)=136
2424 176908 510 1001 0101140 <A(1) 01013 0100
== Executing PA-CTR 1, V(1)=136, V(2)=2, repcount=46, factor=4/3
3298 319508 -42 1001 01012 <A(1) 0101187 0100
3299 319520 -40 1001 0101 1001 (0)E> 0101187 0100
3300 320268 708 1001 0101 1001 0101187 (0)E> 0100
3301 320276 706 1001 0101 1001 0101187 <B(0) 1010
3302 321024 -42 1001 0101 1001 <B(0) 1010188
3303 321028 -46 1001 0101 <C(0) 1010189
3304 321030 -44 1001 0100 (1)D> 1010189
3305 321786 712 1001 0100 1010189 (1)D>
3306 321788 710 1001 0100 1010189 <D(1)
3307 322544 -46 1001 0100 <D(1) 0101189
3308 322550 -50 1001 <D(1) 0101190
3309 322556 -48 1010 (0)C> 0101190
3310 323316 712 1010 0101190 (0)C>
3311 323320 710 1010 0101190 <B(0) 1000
3312 324080 -50 1010 <B(0) 1010190 1000
3313 324088 -54 <E(1) 1010191 1000
3314 324090 -52 0001 (0)C> 1010191 1000
3315 324094 -48 0001 0010 (1)C> 1010190 1000
3316 324854 712 0001 0010 1010190 (1)C> 1000
3317 324860 710 0001 0010 1010190 <D(1) 0100
3318 325620 -50 0001 0010 <D(1) 0101190 0100
3319 325624 -54 0001 <A(1) 0101191 0100
3320 325630 -58 <A(1) 0101192 0100
3321 325638 -56 0010 (0)C> 0101192 0100
3322 326406 712 0010 0101192 (0)C> 0100
3323 326410 716 0010 0101193 (1)D>
3324 326412 714 0010 0101193 <D(1)
3325 326418 716 0010 0101192 0110 (0)C>
3326 326422 714 0010 0101192 0110 <B(0) 1000
3327 326428 716 0010 0101192 0010 (1)C> 1000
3328 326434 714 0010 0101192 0010 <D(1) 0100
3329 326438 710 0010 0101192 <A(1) 0101 0100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1001 01012 <A(1) 01011+V(1) 0100
1 12 2 1001 0101 1001 (0)E> 01011+V(1) 0100
2 16+4*V(1) 6+4*V(1) 1001 0101 1001 01011+V(1) (0)E> 0100
3 24+4*V(1) 4+4*V(1) 1001 0101 1001 01011+V(1) <B(0) 1010
4 28+8*V(1) 0 1001 0101 1001 <B(0) 10102+V(1)
5 32+8*V(1) -4 1001 0101 <C(0) 10103+V(1)
6 34+8*V(1) -2 1001 0100 (1)D> 10103+V(1)
7 46+12*V(1) 10+4*V(1) 1001 0100 10103+V(1) (1)D>
8 48+12*V(1) 8+4*V(1) 1001 0100 10103+V(1) <D(1)
9 60+16*V(1) -4 1001 0100 <D(1) 01013+V(1)
10 66+16*V(1) -8 1001 <D(1) 01014+V(1)
11 72+16*V(1) -6 1010 (0)C> 01014+V(1)
12 88+20*V(1) 10+4*V(1) 1010 01014+V(1) (0)C>
13 92+20*V(1) 8+4*V(1) 1010 01014+V(1) <B(0) 1000
14 108+24*V(1) -8 1010 <B(0) 10104+V(1) 1000
15 116+24*V(1) -12 <E(1) 10105+V(1) 1000
16 118+24*V(1) -10 0001 (0)C> 10105+V(1) 1000
17 122+24*V(1) -6 0001 0010 (1)C> 10104+V(1) 1000
18 138+28*V(1) 10+4*V(1) 0001 0010 10104+V(1) (1)C> 1000
19 144+28*V(1) 8+4*V(1) 0001 0010 10104+V(1) <D(1) 0100
20 160+32*V(1) -8 0001 0010 <D(1) 01014+V(1) 0100
21 164+32*V(1) -12 0001 <A(1) 01015+V(1) 0100
22 170+32*V(1) -16 <A(1) 01016+V(1) 0100
23 178+32*V(1) -14 0010 (0)C> 01016+V(1) 0100
24 202+36*V(1) 10+4*V(1) 0010 01016+V(1) (0)C> 0100
25 206+36*V(1) 14+4*V(1) 0010 01017+V(1) (1)D>
26 208+36*V(1) 12+4*V(1) 0010 01017+V(1) <D(1)
27 214+36*V(1) 14+4*V(1) 0010 01016+V(1) 0110 (0)C>
28 218+36*V(1) 12+4*V(1) 0010 01016+V(1) 0110 <B(0) 1000
29 224+36*V(1) 14+4*V(1) 0010 01016+V(1) 0010 (1)C> 1000
30 230+36*V(1) 12+4*V(1) 0010 01016+V(1) 0010 <D(1) 0100
31 234+36*V(1) 8+4*V(1) 0010 01016+V(1) <A(1) 0101 0100
<< Success! ==> defined new CTR 10 (PPA)
3329 326438 710 0010 0101192 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=188, V(2)=0, repcount=63, factor=4/3
4526 586250 -46 0010 01013 <A(1) 0101253 0100
== Executing PPA-CTR 2 (once), V(1)=252
4554 595542 970 1000 0101257 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=253, V(2)=0, repcount=85, factor=4/3
6169 1065762 -50 1000 01012 <A(1) 0101341 0100
== Executing PPA-CTR 8 (once), V(1)=340
6184 1072676 1318 0010 0001 0101344 <C(0) 1010
== Executing PA-CTR 6, V(1)=340, V(2)=0, repcount=114, factor=4/3
8350 1911260 -50 0010 0001 01012 <C(0) 1010457
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=456
8374 1924170 1778 1000 0101460 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=456, V(2)=0, repcount=153, factor=4/3
11281 3436422 -58 1000 0101 <A(1) 0101613 0100
11282 3436434 -56 1000 1001 (0)E> 0101613 0100
11283 3438886 2396 1000 1001 0101613 (0)E> 0100
11284 3438894 2394 1000 1001 0101613 <B(0) 1010
11285 3441346 -58 1000 1001 <B(0) 1010614
11286 3441350 -62 1000 <C(0) 1010615
11287 3441356 -66 <C(0) 1010616
11288 3441366 -70 <E(1) 1010617
11289 3441368 -68 0001 (0)C> 1010617
11290 3441372 -64 0001 0010 (1)C> 1010616
11291 3443836 2400 0001 0010 1010616 (1)C>
11292 3443842 2398 0001 0010 1010616 <E(1) 1000
11293 3443844 2400 0001 0010 1010615 1011 (0)C> 1000
11294 3443850 2398 0001 0010 1010615 1011 <A(1) 0100
11295 3443854 2400 0001 0010 1010615 1001 (0)E> 0100
11296 3443862 2398 0001 0010 1010615 1001 <B(0) 1010
11297 3443866 2394 0001 0010 1010615 <C(0) 10102
11298 3443876 2396 0001 0010 1010614 1100 (1)D> 10102
11299 3443884 2404 0001 0010 1010614 1100 10102 (1)D>
11300 3443886 2402 0001 0010 1010614 1100 10102 <D(1)
11301 3443894 2394 0001 0010 1010614 1100 <D(1) 01012
11302 3443902 2396 0001 0010 1010614 0101 (0)C> 01012
11303 3443910 2404 0001 0010 1010614 01013 (0)C>
11304 3443914 2402 0001 0010 1010614 01013 <B(0) 1000
11305 3443926 2390 0001 0010 1010614 <B(0) 10103 1000
11306 3443934 2386 0001 0010 1010613 <E(1) 10104 1000
11307 3443936 2388 0001 0010 1010612 1011 (0)C> 10104 1000
11308 3443940 2392 0001 0010 1010612 1011 0010 (1)C> 10103 1000
11309 3443952 2404 0001 0010 1010612 1011 0010 10103 (1)C> 1000
11310 3443958 2402 0001 0010 1010612 1011 0010 10103 <D(1) 0100
11311 3443970 2390 0001 0010 1010612 1011 0010 <D(1) 01013 0100
11312 3443974 2386 0001 0010 1010612 1011 <A(1) 01014 0100
11313 3443978 2388 0001 0010 1010612 1001 (0)E> 01014 0100
11314 3443994 2404 0001 0010 1010612 1001 01014 (0)E> 0100
11315 3444002 2402 0001 0010 1010612 1001 01014 <B(0) 1010
11316 3444018 2386 0001 0010 1010612 1001 <B(0) 10105
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 10104+V(1) 1001 <B(0) 10101+V(2)
1 4 -4 [*]* [*]* 10104+V(1) <C(0) 10102+V(2)
2 14 -2 [*]* [*]* 10103+V(1) 1100 (1)D> 10102+V(2)
3 22+4*V(2) 6+4*V(2) [*]* [*]* 10103+V(1) 1100 10102+V(2) (1)D>
4 24+4*V(2) 4+4*V(2) [*]* [*]* 10103+V(1) 1100 10102+V(2) <D(1)
5 32+8*V(2) -4 [*]* [*]* 10103+V(1) 1100 <D(1) 01012+V(2)
6 40+8*V(2) -2 [*]* [*]* 10103+V(1) 0101 (0)C> 01012+V(2)
7 48+12*V(2) 6+4*V(2) [*]* [*]* 10103+V(1) 01013+V(2) (0)C>
8 52+12*V(2) 4+4*V(2) [*]* [*]* 10103+V(1) 01013+V(2) <B(0) 1000
9 64+16*V(2) -8 [*]* [*]* 10103+V(1) <B(0) 10103+V(2) 1000
10 72+16*V(2) -12 [*]* [*]* 10102+V(1) <E(1) 10104+V(2) 1000
11 74+16*V(2) -10 [*]* [*]* 10101+V(1) 1011 (0)C> 10104+V(2) 1000
12 78+16*V(2) -6 [*]* [*]* 10101+V(1) 1011 0010 (1)C> 10103+V(2) 1000
13 90+20*V(2) 6+4*V(2) [*]* [*]* 10101+V(1) 1011 0010 10103+V(2) (1)C> 1000
14 96+20*V(2) 4+4*V(2) [*]* [*]* 10101+V(1) 1011 0010 10103+V(2) <D(1) 0100
15 108+24*V(2) -8 [*]* [*]* 10101+V(1) 1011 0010 <D(1) 01013+V(2) 0100
16 112+24*V(2) -12 [*]* [*]* 10101+V(1) 1011 <A(1) 01014+V(2) 0100
17 116+24*V(2) -10 [*]* [*]* 10101+V(1) 1001 (0)E> 01014+V(2) 0100
18 132+28*V(2) 6+4*V(2) [*]* [*]* 10101+V(1) 1001 01014+V(2) (0)E> 0100
19 140+28*V(2) 4+4*V(2) [*]* [*]* 10101+V(1) 1001 01014+V(2) <B(0) 1010
20 156+32*V(2) -12 [*]* [*]* 10101+V(1) 1001 <B(0) 10105+V(2)
<< Success! ==> defined new CTR 11 (PA)
11316 3444018 2386 0001 0010 1010612 1001 <B(0) 10105
== Executing PA-CTR 11, V(1)=608, V(2)=4, repcount=203, factor=4/3
15376 6126054 -50 0001 0010 10103 1001 <B(0) 1010817
15377 6126058 -54 0001 0010 10103 <C(0) 1010818
15378 6126068 -52 0001 0010 10102 1100 (1)D> 1010818
15379 6129340 3220 0001 0010 10102 1100 1010818 (1)D>
15380 6129342 3218 0001 0010 10102 1100 1010818 <D(1)
15381 6132614 -54 0001 0010 10102 1100 <D(1) 0101818
15382 6132622 -52 0001 0010 10102 0101 (0)C> 0101818
15383 6135894 3220 0001 0010 10102 0101819 (0)C>
15384 6135898 3218 0001 0010 10102 0101819 <B(0) 1000
15385 6139174 -58 0001 0010 10102 <B(0) 1010819 1000
15386 6139182 -62 0001 0010 1010 <E(1) 1010820 1000
15387 6139184 -60 0001 0010 1011 (0)C> 1010820 1000
15388 6139188 -56 0001 0010 1011 0010 (1)C> 1010819 1000
15389 6142464 3220 0001 0010 1011 0010 1010819 (1)C> 1000
15390 6142470 3218 0001 0010 1011 0010 1010819 <D(1) 0100
15391 6145746 -58 0001 0010 1011 0010 <D(1) 0101819 0100
15392 6145750 -62 0001 0010 1011 <A(1) 0101820 0100
15393 6145754 -60 0001 0010 1001 (0)E> 0101820 0100
15394 6149034 3220 0001 0010 1001 0101820 (0)E> 0100
15395 6149042 3218 0001 0010 1001 0101820 <B(0) 1010
15396 6152322 -62 0001 0010 1001 <B(0) 1010821
15397 6152326 -66 0001 0010 <C(0) 1010822
15398 6152336 -64 0001 0100 (1)D> 1010822
15399 6155624 3224 0001 0100 1010822 (1)D>
15400 6155626 3222 0001 0100 1010822 <D(1)
15401 6158914 -66 0001 0100 <D(1) 0101822
15402 6158920 -70 0001 <D(1) 0101823
15403 6158926 -68 0010 (0)C> 0101823
15404 6162218 3224 0010 0101823 (0)C>
15405 6162222 3222 0010 0101823 <B(0) 1000
15406 6165514 -70 0010 <B(0) 1010823 1000
15407 6165520 -74 <B(0) 1010824 1000
15408 6165530 -72 0100 (1)D> 1010824 1000
15409 6168826 3224 0100 1010824 (1)D> 1000
15410 6168838 3228 0100 1010824 1100 (1)D>
15411 6168840 3226 0100 1010824 1100 <D(1)
15412 6168848 3228 0100 1010824 0101 (0)C>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 0010 10103 1001 <B(0) 10101+V(1)
1 4 -4 0001 0010 10103 <C(0) 10102+V(1)
2 14 -2 0001 0010 10102 1100 (1)D> 10102+V(1)
3 22+4*V(1) 6+4*V(1) 0001 0010 10102 1100 10102+V(1) (1)D>
4 24+4*V(1) 4+4*V(1) 0001 0010 10102 1100 10102+V(1) <D(1)
5 32+8*V(1) -4 0001 0010 10102 1100 <D(1) 01012+V(1)
6 40+8*V(1) -2 0001 0010 10102 0101 (0)C> 01012+V(1)
7 48+12*V(1) 6+4*V(1) 0001 0010 10102 01013+V(1) (0)C>
8 52+12*V(1) 4+4*V(1) 0001 0010 10102 01013+V(1) <B(0) 1000
9 64+16*V(1) -8 0001 0010 10102 <B(0) 10103+V(1) 1000
10 72+16*V(1) -12 0001 0010 1010 <E(1) 10104+V(1) 1000
11 74+16*V(1) -10 0001 0010 1011 (0)C> 10104+V(1) 1000
12 78+16*V(1) -6 0001 0010 1011 0010 (1)C> 10103+V(1) 1000
13 90+20*V(1) 6+4*V(1) 0001 0010 1011 0010 10103+V(1) (1)C> 1000
14 96+20*V(1) 4+4*V(1) 0001 0010 1011 0010 10103+V(1) <D(1) 0100
15 108+24*V(1) -8 0001 0010 1011 0010 <D(1) 01013+V(1) 0100
16 112+24*V(1) -12 0001 0010 1011 <A(1) 01014+V(1) 0100
17 116+24*V(1) -10 0001 0010 1001 (0)E> 01014+V(1) 0100
18 132+28*V(1) 6+4*V(1) 0001 0010 1001 01014+V(1) (0)E> 0100
19 140+28*V(1) 4+4*V(1) 0001 0010 1001 01014+V(1) <B(0) 1010
20 156+32*V(1) -12 0001 0010 1001 <B(0) 10105+V(1)
21 160+32*V(1) -16 0001 0010 <C(0) 10106+V(1)
22 170+32*V(1) -14 0001 0100 (1)D> 10106+V(1)
23 194+36*V(1) 10+4*V(1) 0001 0100 10106+V(1) (1)D>
24 196+36*V(1) 8+4*V(1) 0001 0100 10106+V(1) <D(1)
25 220+40*V(1) -16 0001 0100 <D(1) 01016+V(1)
26 226+40*V(1) -20 0001 <D(1) 01017+V(1)
27 232+40*V(1) -18 0010 (0)C> 01017+V(1)
28 260+44*V(1) 10+4*V(1) 0010 01017+V(1) (0)C>
29 264+44*V(1) 8+4*V(1) 0010 01017+V(1) <B(0) 1000
30 292+48*V(1) -20 0010 <B(0) 10107+V(1) 1000
31 298+48*V(1) -24 <B(0) 10108+V(1) 1000
32 308+48*V(1) -22 0100 (1)D> 10108+V(1) 1000
33 340+52*V(1) 10+4*V(1) 0100 10108+V(1) (1)D> 1000
34 352+52*V(1) 14+4*V(1) 0100 10108+V(1) 1100 (1)D>
35 354+52*V(1) 12+4*V(1) 0100 10108+V(1) 1100 <D(1)
36 362+52*V(1) 14+4*V(1) 0100 10108+V(1) 0101 (0)C>
<< Success! ==> defined new CTR 12 (PPA)
15412 6168848 3228 0100 1010824 0101 (0)C>
== Executing PA-CTR 4, V(1)=0, V(2)=820, repcount=274, factor=4/3
20892 10994536 4324 0100 10102 01011097 (0)C>
== Executing PPA-CTR 5 (once), V(1)=1096
20929 11029872 4318 1001 01011100 <A(1) 01013 0100
== Executing PA-CTR 1, V(1)=1096, V(2)=2, repcount=366, factor=4/3
27883 19660152 -74 1001 01012 <A(1) 01011467 0100
== Executing PPA-CTR 10 (once), V(1)=1466
27914 19713162 5798 0010 01011472 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=1468, V(2)=0, repcount=490, factor=4/3
37224 35124642 -82 0010 01012 <A(1) 01011961 0100
37225 35124654 -80 0010 0101 1001 (0)E> 01011961 0100
37226 35132498 7764 0010 0101 1001 01011961 (0)E> 0100
37227 35132506 7762 0010 0101 1001 01011961 <B(0) 1010
37228 35140350 -82 0010 0101 1001 <B(0) 10101962
37229 35140354 -86 0010 0101 <C(0) 10101963
37230 35140356 -84 0010 0100 (1)D> 10101963
37231 35148208 7768 0010 0100 10101963 (1)D>
37232 35148210 7766 0010 0100 10101963 <D(1)
37233 35156062 -86 0010 0100 <D(1) 01011963
37234 35156068 -90 0010 <D(1) 01011964
37235 35156072 -94 <A(1) 01011965
37236 35156080 -92 0010 (0)C> 01011965
37237 35163940 7768 0010 01011965 (0)C>
37238 35163944 7766 0010 01011965 <B(0) 1000
37239 35171804 -94 0010 <B(0) 10101965 1000
37240 35171810 -98 <B(0) 10101966 1000
37241 35171820 -96 0100 (1)D> 10101966 1000
37242 35179684 7768 0100 10101966 (1)D> 1000
37243 35179696 7772 0100 10101966 1100 (1)D>
37244 35179698 7770 0100 10101966 1100 <D(1)
37245 35179706 7772 0100 10101966 0101 (0)C>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0010 01012 <A(1) 01011+V(1) 0100
1 12 2 0010 0101 1001 (0)E> 01011+V(1) 0100
2 16+4*V(1) 6+4*V(1) 0010 0101 1001 01011+V(1) (0)E> 0100
3 24+4*V(1) 4+4*V(1) 0010 0101 1001 01011+V(1) <B(0) 1010
4 28+8*V(1) 0 0010 0101 1001 <B(0) 10102+V(1)
5 32+8*V(1) -4 0010 0101 <C(0) 10103+V(1)
6 34+8*V(1) -2 0010 0100 (1)D> 10103+V(1)
7 46+12*V(1) 10+4*V(1) 0010 0100 10103+V(1) (1)D>
8 48+12*V(1) 8+4*V(1) 0010 0100 10103+V(1) <D(1)
9 60+16*V(1) -4 0010 0100 <D(1) 01013+V(1)
10 66+16*V(1) -8 0010 <D(1) 01014+V(1)
11 70+16*V(1) -12 <A(1) 01015+V(1)
12 78+16*V(1) -10 0010 (0)C> 01015+V(1)
13 98+20*V(1) 10+4*V(1) 0010 01015+V(1) (0)C>
14 102+20*V(1) 8+4*V(1) 0010 01015+V(1) <B(0) 1000
15 122+24*V(1) -12 0010 <B(0) 10105+V(1) 1000
16 128+24*V(1) -16 <B(0) 10106+V(1) 1000
17 138+24*V(1) -14 0100 (1)D> 10106+V(1) 1000
18 162+28*V(1) 10+4*V(1) 0100 10106+V(1) (1)D> 1000
19 174+28*V(1) 14+4*V(1) 0100 10106+V(1) 1100 (1)D>
20 176+28*V(1) 12+4*V(1) 0100 10106+V(1) 1100 <D(1)
21 184+28*V(1) 14+4*V(1) 0100 10106+V(1) 0101 (0)C>
<< Success! ==> defined new CTR 13 (PPA)
37245 35179706 7772 0100 10101966 0101 (0)C>
== Executing PA-CTR 4, V(1)=0, V(2)=1962, repcount=655, factor=4/3
50345 62687086 10392 0100 1010 01012621 (0)C>
50346 62687090 10390 0100 1010 01012621 <B(0) 1000
50347 62697574 -94 0100 1010 <B(0) 10102621 1000
50348 62697582 -98 0100 <E(1) 10102622 1000
50349 62697584 -96 0101 (0)C> 10102622 1000
50350 62697588 -92 0101 0010 (1)C> 10102621 1000
50351 62708072 10392 0101 0010 10102621 (1)C> 1000
50352 62708078 10390 0101 0010 10102621 <D(1) 0100
50353 62718562 -94 0101 0010 <D(1) 01012621 0100
50354 62718566 -98 0101 <A(1) 01012622 0100
50355 62718578 -96 1001 (0)E> 01012622 0100
50356 62729066 10392 1001 01012622 (0)E> 0100
50357 62729074 10390 1001 01012622 <B(0) 1010
50358 62739562 -98 1001 <B(0) 10102623
50359 62739566 -102 <C(0) 10102624
50360 62739576 -106 <E(1) 10102625
50361 62739578 -104 0001 (0)C> 10102625
50362 62739582 -100 0001 0010 (1)C> 10102624
50363 62750078 10396 0001 0010 10102624 (1)C>
50364 62750084 10394 0001 0010 10102624 <E(1) 1000
50365 62750086 10396 0001 0010 10102623 1011 (0)C> 1000
50366 62750092 10394 0001 0010 10102623 1011 <A(1) 0100
50367 62750096 10396 0001 0010 10102623 1001 (0)E> 0100
50368 62750104 10394 0001 0010 10102623 1001 <B(0) 1010
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0100 1010 01012+V(1) (0)C>
1 4 -2 0100 1010 01012+V(1) <B(0) 1000
2 12+4*V(1) -10+-4*V(1) 0100 1010 <B(0) 10102+V(1) 1000
3 20+4*V(1) -14+-4*V(1) 0100 <E(1) 10103+V(1) 1000
4 22+4*V(1) -12+-4*V(1) 0101 (0)C> 10103+V(1) 1000
5 26+4*V(1) -8+-4*V(1) 0101 0010 (1)C> 10102+V(1) 1000
6 34+8*V(1) 0 0101 0010 10102+V(1) (1)C> 1000
7 40+8*V(1) -2 0101 0010 10102+V(1) <D(1) 0100
8 48+12*V(1) -10+-4*V(1) 0101 0010 <D(1) 01012+V(1) 0100
9 52+12*V(1) -14+-4*V(1) 0101 <A(1) 01013+V(1) 0100
10 64+12*V(1) -12+-4*V(1) 1001 (0)E> 01013+V(1) 0100
11 76+16*V(1) 0 1001 01013+V(1) (0)E> 0100
12 84+16*V(1) -2 1001 01013+V(1) <B(0) 1010
13 96+20*V(1) -14+-4*V(1) 1001 <B(0) 10104+V(1)
14 100+20*V(1) -18+-4*V(1) <C(0) 10105+V(1)
15 110+20*V(1) -22+-4*V(1) <E(1) 10106+V(1)
16 112+20*V(1) -20+-4*V(1) 0001 (0)C> 10106+V(1)
17 116+20*V(1) -16+-4*V(1) 0001 0010 (1)C> 10105+V(1)
18 136+24*V(1) 4 0001 0010 10105+V(1) (1)C>
19 142+24*V(1) 2 0001 0010 10105+V(1) <E(1) 1000
20 144+24*V(1) 4 0001 0010 10104+V(1) 1011 (0)C> 1000
21 150+24*V(1) 2 0001 0010 10104+V(1) 1011 <A(1) 0100
22 154+24*V(1) 4 0001 0010 10104+V(1) 1001 (0)E> 0100
23 162+24*V(1) 2 0001 0010 10104+V(1) 1001 <B(0) 1010
<< Success! ==> defined new CTR 14 (PPA)
50368 62750104 10394 0001 0010 10102623 1001 <B(0) 1010
== Executing PA-CTR 11, V(1)=2619, V(2)=0, repcount=874, factor=4/3
67848 111718576 -94 0001 0010 1010 1001 <B(0) 10103497
67849 111718580 -98 0001 0010 1010 <C(0) 10103498
67850 111718590 -96 0001 0010 1100 (1)D> 10103498
67851 111732582 13896 0001 0010 1100 10103498 (1)D>
67852 111732584 13894 0001 0010 1100 10103498 <D(1)
67853 111746576 -98 0001 0010 1100 <D(1) 01013498
67854 111746584 -96 0001 0010 0101 (0)C> 01013498
67855 111760576 13896 0001 0010 01013499 (0)C>
67856 111760580 13894 0001 0010 01013499 <B(0) 1000
67857 111774576 -102 0001 0010 <B(0) 10103499 1000
67858 111774582 -106 0001 <B(0) 10103500 1000
67859 111774590 -110 <E(1) 10103501 1000
67860 111774592 -108 0001 (0)C> 10103501 1000
67861 111774596 -104 0001 0010 (1)C> 10103500 1000
67862 111788596 13896 0001 0010 10103500 (1)C> 1000
67863 111788602 13894 0001 0010 10103500 <D(1) 0100
67864 111802602 -106 0001 0010 <D(1) 01013500 0100
67865 111802606 -110 0001 <A(1) 01013501 0100
67866 111802612 -114 <A(1) 01013502 0100
67867 111802620 -112 0010 (0)C> 01013502 0100
67868 111816628 13896 0010 01013502 (0)C> 0100
67869 111816632 13900 0010 01013503 (1)D>
67870 111816634 13898 0010 01013503 <D(1)
67871 111816640 13900 0010 01013502 0110 (0)C>
67872 111816644 13898 0010 01013502 0110 <B(0) 1000
67873 111816650 13900 0010 01013502 0010 (1)C> 1000
67874 111816656 13898 0010 01013502 0010 <D(1) 0100
67875 111816660 13894 0010 01013502 <A(1) 0101 0100
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 0001 00101+V(1) 1010 1001 <B(0) 10101+V(2)
1 4 -4 0001 00101+V(1) 1010 <C(0) 10102+V(2)
2 14 -2 0001 00101+V(1) 1100 (1)D> 10102+V(2)
3 22+4*V(2) 6+4*V(2) 0001 00101+V(1) 1100 10102+V(2) (1)D>
4 24+4*V(2) 4+4*V(2) 0001 00101+V(1) 1100 10102+V(2) <D(1)
5 32+8*V(2) -4 0001 00101+V(1) 1100 <D(1) 01012+V(2)
6 40+8*V(2) -2 0001 00101+V(1) 0101 (0)C> 01012+V(2)
7 48+12*V(2) 6+4*V(2) 0001 00101+V(1) 01013+V(2) (0)C>
8 52+12*V(2) 4+4*V(2) 0001 00101+V(1) 01013+V(2) <B(0) 1000
9 64+16*V(2) -8 0001 00101+V(1) <B(0) 10103+V(2) 1000
10 70+6*V(1)+16*V(2) -12+-4*V(1) 0001 <B(0) 10104+V(1)+V(2) 1000
11 78+6*V(1)+16*V(2) -16+-4*V(1) <E(1) 10105+V(1)+V(2) 1000
12 80+6*V(1)+16*V(2) -14+-4*V(1) 0001 (0)C> 10105+V(1)+V(2) 1000
13 84+6*V(1)+16*V(2) -10+-4*V(1) 0001 0010 (1)C> 10104+V(1)+V(2) 1000
14 100+10*V(1)+20*V(2) 6+4*V(2) 0001 0010 10104+V(1)+V(2) (1)C> 1000
15 106+10*V(1)+20*V(2) 4+4*V(2) 0001 0010 10104+V(1)+V(2) <D(1) 0100
16 122+14*V(1)+24*V(2) -12+-4*V(1) 0001 0010 <D(1) 01014+V(1)+V(2) 0100
17 126+14*V(1)+24*V(2) -16+-4*V(1) 0001 <A(1) 01015+V(1)+V(2) 0100
18 132+14*V(1)+24*V(2) -20+-4*V(1) <A(1) 01016+V(1)+V(2) 0100
19 140+14*V(1)+24*V(2) -18+-4*V(1) 0010 (0)C> 01016+V(1)+V(2) 0100
20 164+18*V(1)+28*V(2) 6+4*V(2) 0010 01016+V(1)+V(2) (0)C> 0100
21 168+18*V(1)+28*V(2) 10+4*V(2) 0010 01017+V(1)+V(2) (1)D>
22 170+18*V(1)+28*V(2) 8+4*V(2) 0010 01017+V(1)+V(2) <D(1)
23 176+18*V(1)+28*V(2) 10+4*V(2) 0010 01016+V(1)+V(2) 0110 (0)C>
24 180+18*V(1)+28*V(2) 8+4*V(2) 0010 01016+V(1)+V(2) 0110 <B(0) 1000
25 186+18*V(1)+28*V(2) 10+4*V(2) 0010 01016+V(1)+V(2) 0010 (1)C> 1000
26 192+18*V(1)+28*V(2) 8+4*V(2) 0010 01016+V(1)+V(2) 0010 <D(1) 0100
27 196+18*V(1)+28*V(2) 4+4*V(2) 0010 01016+V(1)+V(2) <A(1) 0101 0100
<< Success! ==> defined new CTR 15 (PPA)
67875 111816660 13894 0010 01013502 <A(1) 0101 0100
== Executing PA-CTR 1, V(1)=3498, V(2)=0, repcount=1167, factor=4/3
90048 199084920 -110 0010 0101 <A(1) 01014669 0100
90049 199084932 -108 0010 1001 (0)E> 01014669 0100
90050 199103608 18568 0010 1001 01014669 (0)E> 0100
90051 199103616 18566 0010 1001 01014669 <B(0) 1010
90052 199122292 -110 0010 1001 <B(0) 10104670
90053 199122296 -114 0010 <C(0) 10104671
90054 199122306 -112 0100 (1)D> 10104671
90055 199140990 18572 0100 10104671 (1)D>
90056 199140992 18570 0100 10104671 <D(1)
90057 199159676 -114 0100 <D(1) 01014671
90058 199159682 -118 <D(1) 01014672
90059 199159694 -116 1001 (0)E> 01014672
90060 199178382 18572 1001 01014672 (0)E>
90061 199178398 18570 1001 01014672 <C(0) 1010
90062 199178400 18572 1001 01014671 0100 (1)D> 1010
90063 199178404 18576 1001 01014671 0100 1010 (1)D>
90064 199178406 18574 1001 01014671 0100 1010 <D(1)
90065 199178410 18570 1001 01014671 0100 <D(1) 0101
90066 199178416 18566 1001 01014671 <D(1) 01012
90067 199178422 18568 1001 01014670 0110 (0)C> 01012
90068 199178430 18576 1001 01014670 0110 01012 (0)C>
90069 199178434 18574 1001 01014670 0110 01012 <B(0) 1000
90070 199178442 18566 1001 01014670 0110 <B(0) 10102 1000
90071 199178448 18568 1001 01014670 0010 (1)C> 10102 1000
90072 199178456 18576 1001 01014670 0010 10102 (1)C> 1000
Lines: 501
Top steps: 500
Macro steps: 90072
Basic steps: 199178456
Tape index: 18576
ones: 9349
log10(ones ): 3.971
log10(steps ): 8.299
Input to awk program:
gohalt 1
L 20
5T B1R C0L A1L D1L D1R C0R B0L E0R C1R F1L E1L Z1R : >1.1*10^49 >3.2*10^98
T 6-state TM #n from MaBu-List
M 501
pref sim
machv mbL6_n just simple
machv mbL6_n-r with repetitions reduced
machv mbL6_n-1 with tape symbol exponents
machv mbL6_n-m as bck-4-macro machine
machv mbL6_n-a as bck-4-macro machine with pure additive config-TRs
iam mbL6_n-a
mtype 0 4
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:08 CEST 2010
edate Tue Jul 6 22:11:10 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:08 CEST 2010