Comment: This TM produces 95,524,079 nonzeros in 4,345,166,620,336,565 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 2RC | 1LA | 1 | right | B | 2 | right | C | 1 | left | A |
| B | 2LA | 1RB | 1RH | 2 | left | A | 1 | right | B | 1 | right | H |
| C | 2RB | 2RA | 1LC | 2 | right | B | 2 | right | A | 1 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 5 -1 <C 11
2 6 0 02 B> 11
3 8 2 02 11 B>
4 9 1 02 11 <A 20
5 10 2 02 12 C> 20
6 11 1 02 12 <C 10
7 14 2 02 22 C> 10
8 16 4 02 22 21 B>
9 17 3 02 22 21 <A 20
10 18 4 02 222 C> 20
11 19 3 02 222 <C 10
12 23 -1 02 <C 112 10
13 26 0 21 B> 112 10
14 30 4 21 112 B> 10
15 35 3 21 112 <C 11
16 36 4 21 11 12 A> 11
17 38 6 21 11 12 22 A>
18 43 5 21 11 12 22 <C 11
19 45 3 21 11 12 <C 112
20 48 4 21 11 22 C> 112
21 52 8 21 11 223 C>
22 55 7 21 11 223 <A 12
23 61 1 21 11 <A 113 12
24 62 2 21 12 C> 113 12
25 68 8 21 12 223 C> 12
26 71 7 21 12 223 <A 11
27 77 1 21 12 <A 114
28 80 2 21 22 A> 114
29 88 10 21 225 A>
30 93 9 21 225 <C 11
31 103 -1 21 <C 116
32 104 0 22 A> 116
33 116 12 227 A>
34 121 11 227 <C 11
35 135 -3 <C 118
36 136 -2 02 B> 118
37 152 14 02 118 B>
38 153 13 02 118 <A 20
39 154 14 02 117 12 C> 20
40 155 13 02 117 12 <C 10
41 158 14 02 117 22 C> 10
42 160 16 02 117 22 21 B>
43 161 15 02 117 22 21 <A 20
44 162 16 02 117 222 C> 20
45 163 15 02 117 222 <C 10
46 167 11 02 117 <C 112 10
47 168 12 02 116 12 A> 112 10
48 172 16 02 116 12 222 A> 10
49 174 18 02 116 12 223 B>
50 175 17 02 116 12 223 <A 20
51 181 11 02 116 12 <A 113 20
52 184 12 02 116 22 A> 113 20
53 190 18 02 116 224 A> 20
54 191 17 02 116 224 <A 10
55 199 9 02 116 <A 114 10
56 200 10 02 115 12 C> 114 10
57 208 18 02 115 12 224 C> 10
58 210 20 02 115 12 224 21 B>
59 211 19 02 115 12 224 21 <A 20
60 212 20 02 115 12 225 C> 20
61 213 19 02 115 12 225 <C 10
62 223 9 02 115 12 <C 115 10
63 226 10 02 115 22 C> 115 10
64 236 20 02 115 226 C> 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 113+V(2) 221+V(1) C> 10
1 2 2 [*]* 113+V(2) 221+V(1) 21 B>
2 3 1 [*]* 113+V(2) 221+V(1) 21 <A 20
3 4 2 [*]* 113+V(2) 222+V(1) C> 20
4 5 1 [*]* 113+V(2) 222+V(1) <C 10
5 9+2*V(1) -3+-2*V(1) [*]* 113+V(2) <C 112+V(1) 10
6 10+2*V(1) -2+-2*V(1) [*]* 112+V(2) 12 A> 112+V(1) 10
7 14+4*V(1) 2 [*]* 112+V(2) 12 222+V(1) A> 10
8 16+4*V(1) 4 [*]* 112+V(2) 12 223+V(1) B>
9 17+4*V(1) 3 [*]* 112+V(2) 12 223+V(1) <A 20
10 23+6*V(1) -3+-2*V(1) [*]* 112+V(2) 12 <A 113+V(1) 20
11 26+6*V(1) -2+-2*V(1) [*]* 112+V(2) 22 A> 113+V(1) 20
12 32+8*V(1) 4 [*]* 112+V(2) 224+V(1) A> 20
13 33+8*V(1) 3 [*]* 112+V(2) 224+V(1) <A 10
14 41+10*V(1) -5+-2*V(1) [*]* 112+V(2) <A 114+V(1) 10
15 42+10*V(1) -4+-2*V(1) [*]* 111+V(2) 12 C> 114+V(1) 10
16 50+12*V(1) 4 [*]* 111+V(2) 12 224+V(1) C> 10
17 52+12*V(1) 6 [*]* 111+V(2) 12 224+V(1) 21 B>
18 53+12*V(1) 5 [*]* 111+V(2) 12 224+V(1) 21 <A 20
19 54+12*V(1) 6 [*]* 111+V(2) 12 225+V(1) C> 20
20 55+12*V(1) 5 [*]* 111+V(2) 12 225+V(1) <C 10
21 65+14*V(1) -5+-2*V(1) [*]* 111+V(2) 12 <C 115+V(1) 10
22 68+14*V(1) -4+-2*V(1) [*]* 111+V(2) 22 C> 115+V(1) 10
23 78+16*V(1) 6 [*]* 111+V(2) 226+V(1) C> 10
<< Success! ==> defined new CTR 1 (PA)
64 236 20 02 115 226 C> 10
== Executing PA-CTR 1, V(1)=5, V(2)=2, repcount=2, factor=5/2
110 632 32 02 11 2216 C> 10
111 634 34 02 11 2216 21 B>
112 635 33 02 11 2216 21 <A 20
113 636 34 02 11 2217 C> 20
114 637 33 02 11 2217 <C 10
115 671 -1 02 11 <C 1117 10
116 672 0 02 12 A> 1117 10
117 706 34 02 12 2217 A> 10
118 708 36 02 12 2218 B>
119 709 35 02 12 2218 <A 20
120 745 -1 02 12 <A 1118 20
121 748 0 02 22 A> 1118 20
122 784 36 02 2219 A> 20
123 785 35 02 2219 <A 10
124 823 -3 02 <A 1119 10
125 826 -2 11 B> 1119 10
126 864 36 1120 B> 10
127 869 35 1120 <C 11
128 870 36 1119 12 A> 11
129 872 38 1119 12 22 A>
130 877 37 1119 12 22 <C 11
131 879 35 1119 12 <C 112
132 882 36 1119 22 C> 112
133 886 40 1119 223 C>
134 889 39 1119 223 <A 12
135 895 33 1119 <A 113 12
136 896 34 1118 12 C> 113 12
137 902 40 1118 12 223 C> 12
138 905 39 1118 12 223 <A 11
139 911 33 1118 12 <A 114
140 914 34 1118 22 A> 114
141 922 42 1118 225 A>
142 927 41 1118 225 <C 11
143 937 31 1118 <C 116
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 113+V(1) <C 111+V(2)
1 1 1 112+V(1) 12 A> 111+V(2)
2 3+2*V(2) 3+2*V(2) 112+V(1) 12 221+V(2) A>
3 8+2*V(2) 2+2*V(2) 112+V(1) 12 221+V(2) <C 11
4 10+4*V(2) 0 112+V(1) 12 <C 112+V(2)
5 13+4*V(2) 1 112+V(1) 22 C> 112+V(2)
6 17+6*V(2) 5+2*V(2) 112+V(1) 223+V(2) C>
7 20+6*V(2) 4+2*V(2) 112+V(1) 223+V(2) <A 12
8 26+8*V(2) -2 112+V(1) <A 113+V(2) 12
9 27+8*V(2) -1 111+V(1) 12 C> 113+V(2) 12
10 33+10*V(2) 5+2*V(2) 111+V(1) 12 223+V(2) C> 12
11 36+10*V(2) 4+2*V(2) 111+V(1) 12 223+V(2) <A 11
12 42+12*V(2) -2 111+V(1) 12 <A 114+V(2)
13 45+12*V(2) -1 111+V(1) 22 A> 114+V(2)
14 53+14*V(2) 7+2*V(2) 111+V(1) 225+V(2) A>
15 58+14*V(2) 6+2*V(2) 111+V(1) 225+V(2) <C 11
16 68+16*V(2) -4 111+V(1) <C 116+V(2)
<< Success! ==> defined new CTR 2 (PA)
143 937 31 1118 <C 116
== Executing PA-CTR 2, V(1)=15, V(2)=5, repcount=8, factor=5/2
271 4361 -1 112 <C 1146
272 4362 0 11 12 A> 1146
273 4454 92 11 12 2246 A>
274 4459 91 11 12 2246 <C 11
275 4551 -1 11 12 <C 1147
276 4554 0 11 22 C> 1147
277 4648 94 11 2248 C>
278 4651 93 11 2248 <A 12
279 4747 -3 11 <A 1148 12
280 4748 -2 12 C> 1148 12
281 4844 94 12 2248 C> 12
282 4847 93 12 2248 <A 11
283 4943 -3 12 <A 1149
284 4946 -2 22 A> 1149
285 5044 96 2250 A>
286 5049 95 2250 <C 11
287 5149 -5 <C 1151
288 5150 -4 02 B> 1151
289 5252 98 02 1151 B>
290 5253 97 02 1151 <A 20
291 5254 98 02 1150 12 C> 20
292 5255 97 02 1150 12 <C 10
293 5258 98 02 1150 22 C> 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 112 <C 111+V(1)
1 1 1 11 12 A> 111+V(1)
2 3+2*V(1) 3+2*V(1) 11 12 221+V(1) A>
3 8+2*V(1) 2+2*V(1) 11 12 221+V(1) <C 11
4 10+4*V(1) 0 11 12 <C 112+V(1)
5 13+4*V(1) 1 11 22 C> 112+V(1)
6 17+6*V(1) 5+2*V(1) 11 223+V(1) C>
7 20+6*V(1) 4+2*V(1) 11 223+V(1) <A 12
8 26+8*V(1) -2 11 <A 113+V(1) 12
9 27+8*V(1) -1 12 C> 113+V(1) 12
10 33+10*V(1) 5+2*V(1) 12 223+V(1) C> 12
11 36+10*V(1) 4+2*V(1) 12 223+V(1) <A 11
12 42+12*V(1) -2 12 <A 114+V(1)
13 45+12*V(1) -1 22 A> 114+V(1)
14 53+14*V(1) 7+2*V(1) 225+V(1) A>
15 58+14*V(1) 6+2*V(1) 225+V(1) <C 11
16 68+16*V(1) -4 <C 116+V(1)
17 69+16*V(1) -3 02 B> 116+V(1)
18 81+18*V(1) 9+2*V(1) 02 116+V(1) B>
19 82+18*V(1) 8+2*V(1) 02 116+V(1) <A 20
20 83+18*V(1) 9+2*V(1) 02 115+V(1) 12 C> 20
21 84+18*V(1) 8+2*V(1) 02 115+V(1) 12 <C 10
22 87+18*V(1) 9+2*V(1) 02 115+V(1) 22 C> 10
<< Success! ==> defined new CTR 3 (PPA)
293 5258 98 02 1150 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=47, repcount=24, factor=5/2
845 29210 242 02 112 22121 C> 10
846 29212 244 02 112 22121 21 B>
847 29213 243 02 112 22121 21 <A 20
848 29214 244 02 112 22122 C> 20
849 29215 243 02 112 22122 <C 10
850 29459 -1 02 112 <C 11122 10
851 29460 0 02 11 12 A> 11122 10
852 29704 244 02 11 12 22122 A> 10
853 29706 246 02 11 12 22123 B>
854 29707 245 02 11 12 22123 <A 20
855 29953 -1 02 11 12 <A 11123 20
856 29956 0 02 11 22 A> 11123 20
857 30202 246 02 11 22124 A> 20
858 30203 245 02 11 22124 <A 10
859 30451 -3 02 11 <A 11124 10
860 30452 -2 02 12 C> 11124 10
861 30700 246 02 12 22124 C> 10
862 30702 248 02 12 22124 21 B>
863 30703 247 02 12 22124 21 <A 20
864 30704 248 02 12 22125 C> 20
865 30705 247 02 12 22125 <C 10
866 30955 -3 02 12 <C 11125 10
867 30958 -2 02 22 C> 11125 10
868 31208 248 02 22126 C> 10
869 31210 250 02 22126 21 B>
870 31211 249 02 22126 21 <A 20
871 31212 250 02 22127 C> 20
872 31213 249 02 22127 <C 10
873 31467 -5 02 <C 11127 10
874 31470 -4 21 B> 11127 10
875 31724 250 21 11127 B> 10
876 31729 249 21 11127 <C 11
877 31730 250 21 11126 12 A> 11
878 31732 252 21 11126 12 22 A>
879 31737 251 21 11126 12 22 <C 11
880 31739 249 21 11126 12 <C 112
881 31742 250 21 11126 22 C> 112
882 31746 254 21 11126 223 C>
883 31749 253 21 11126 223 <A 12
884 31755 247 21 11126 <A 113 12
885 31756 248 21 11125 12 C> 113 12
886 31762 254 21 11125 12 223 C> 12
887 31765 253 21 11125 12 223 <A 11
888 31771 247 21 11125 12 <A 114
889 31774 248 21 11125 22 A> 114
890 31782 256 21 11125 225 A>
891 31787 255 21 11125 225 <C 11
892 31797 245 21 11125 <C 116
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 113+V(1) <C 111+V(2)
1 1 1 [*]* 112+V(1) 12 A> 111+V(2)
2 3+2*V(2) 3+2*V(2) [*]* 112+V(1) 12 221+V(2) A>
3 8+2*V(2) 2+2*V(2) [*]* 112+V(1) 12 221+V(2) <C 11
4 10+4*V(2) 0 [*]* 112+V(1) 12 <C 112+V(2)
5 13+4*V(2) 1 [*]* 112+V(1) 22 C> 112+V(2)
6 17+6*V(2) 5+2*V(2) [*]* 112+V(1) 223+V(2) C>
7 20+6*V(2) 4+2*V(2) [*]* 112+V(1) 223+V(2) <A 12
8 26+8*V(2) -2 [*]* 112+V(1) <A 113+V(2) 12
9 27+8*V(2) -1 [*]* 111+V(1) 12 C> 113+V(2) 12
10 33+10*V(2) 5+2*V(2) [*]* 111+V(1) 12 223+V(2) C> 12
11 36+10*V(2) 4+2*V(2) [*]* 111+V(1) 12 223+V(2) <A 11
12 42+12*V(2) -2 [*]* 111+V(1) 12 <A 114+V(2)
13 45+12*V(2) -1 [*]* 111+V(1) 22 A> 114+V(2)
14 53+14*V(2) 7+2*V(2) [*]* 111+V(1) 225+V(2) A>
15 58+14*V(2) 6+2*V(2) [*]* 111+V(1) 225+V(2) <C 11
16 68+16*V(2) -4 [*]* 111+V(1) <C 116+V(2)
<< Success! ==> defined new CTR 4 (PA)
892 31797 245 21 11125 <C 116
== Executing PA-CTR 4, V(1)=122, V(2)=5, repcount=62, factor=5/2
1884 192253 -3 21 11 <C 11316
1885 192254 -2 21 12 A> 11316
1886 192886 630 21 12 22316 A>
1887 192891 629 21 12 22316 <C 11
1888 193523 -3 21 12 <C 11317
1889 193526 -2 21 22 C> 11317
1890 194160 632 21 22318 C>
1891 194163 631 21 22318 <A 12
1892 194799 -5 21 <A 11318 12
1893 194800 -4 22 C> 11318 12
1894 195436 632 22319 C> 12
1895 195439 631 22319 <A 11
1896 196077 -7 <A 11320
1897 196078 -6 01 B> 11320
1898 196718 634 01 11320 B>
1899 196719 633 01 11320 <A 20
1900 196720 634 01 11319 12 C> 20
1901 196721 633 01 11319 12 <C 10
1902 196724 634 01 11319 22 C> 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 21 11 <C 111+V(1)
1 1 1 21 12 A> 111+V(1)
2 3+2*V(1) 3+2*V(1) 21 12 221+V(1) A>
3 8+2*V(1) 2+2*V(1) 21 12 221+V(1) <C 11
4 10+4*V(1) 0 21 12 <C 112+V(1)
5 13+4*V(1) 1 21 22 C> 112+V(1)
6 17+6*V(1) 5+2*V(1) 21 223+V(1) C>
7 20+6*V(1) 4+2*V(1) 21 223+V(1) <A 12
8 26+8*V(1) -2 21 <A 113+V(1) 12
9 27+8*V(1) -1 22 C> 113+V(1) 12
10 33+10*V(1) 5+2*V(1) 224+V(1) C> 12
11 36+10*V(1) 4+2*V(1) 224+V(1) <A 11
12 44+12*V(1) -4 <A 115+V(1)
13 45+12*V(1) -3 01 B> 115+V(1)
14 55+14*V(1) 7+2*V(1) 01 115+V(1) B>
15 56+14*V(1) 6+2*V(1) 01 115+V(1) <A 20
16 57+14*V(1) 7+2*V(1) 01 114+V(1) 12 C> 20
17 58+14*V(1) 6+2*V(1) 01 114+V(1) 12 <C 10
18 61+14*V(1) 7+2*V(1) 01 114+V(1) 22 C> 10
<< Success! ==> defined new CTR 5 (PPA)
1902 196724 634 01 11319 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=316, repcount=159, factor=5/2
5559 1214006 1588 01 11 22796 C> 10
5560 1214008 1590 01 11 22796 21 B>
5561 1214009 1589 01 11 22796 21 <A 20
5562 1214010 1590 01 11 22797 C> 20
5563 1214011 1589 01 11 22797 <C 10
5564 1215605 -5 01 11 <C 11797 10
5565 1215606 -4 01 12 A> 11797 10
5566 1217200 1590 01 12 22797 A> 10
5567 1217202 1592 01 12 22798 B>
5568 1217203 1591 01 12 22798 <A 20
5569 1218799 -5 01 12 <A 11798 20
5570 1218802 -4 01 22 A> 11798 20
5571 1220398 1592 01 22799 A> 20
5572 1220399 1591 01 22799 <A 10
5573 1221997 -7 01 <A 11799 10
5574 1221998 -6 02 C> 11799 10
5575 1223596 1592 02 22799 C> 10
5576 1223598 1594 02 22799 21 B>
5577 1223599 1593 02 22799 21 <A 20
5578 1223600 1594 02 22800 C> 20
5579 1223601 1593 02 22800 <C 10
5580 1225201 -7 02 <C 11800 10
5581 1225204 -6 21 B> 11800 10
5582 1226804 1594 21 11800 B> 10
5583 1226809 1593 21 11800 <C 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 11 221+V(1) C> 10
1 2 2 01 11 221+V(1) 21 B>
2 3 1 01 11 221+V(1) 21 <A 20
3 4 2 01 11 222+V(1) C> 20
4 5 1 01 11 222+V(1) <C 10
5 9+2*V(1) -3+-2*V(1) 01 11 <C 112+V(1) 10
6 10+2*V(1) -2+-2*V(1) 01 12 A> 112+V(1) 10
7 14+4*V(1) 2 01 12 222+V(1) A> 10
8 16+4*V(1) 4 01 12 223+V(1) B>
9 17+4*V(1) 3 01 12 223+V(1) <A 20
10 23+6*V(1) -3+-2*V(1) 01 12 <A 113+V(1) 20
11 26+6*V(1) -2+-2*V(1) 01 22 A> 113+V(1) 20
12 32+8*V(1) 4 01 224+V(1) A> 20
13 33+8*V(1) 3 01 224+V(1) <A 10
14 41+10*V(1) -5+-2*V(1) 01 <A 114+V(1) 10
15 42+10*V(1) -4+-2*V(1) 02 C> 114+V(1) 10
16 50+12*V(1) 4 02 224+V(1) C> 10
17 52+12*V(1) 6 02 224+V(1) 21 B>
18 53+12*V(1) 5 02 224+V(1) 21 <A 20
19 54+12*V(1) 6 02 225+V(1) C> 20
20 55+12*V(1) 5 02 225+V(1) <C 10
21 65+14*V(1) -5+-2*V(1) 02 <C 115+V(1) 10
22 68+14*V(1) -4+-2*V(1) 21 B> 115+V(1) 10
23 78+16*V(1) 6 21 115+V(1) B> 10
24 83+16*V(1) 5 21 115+V(1) <C 11
<< Success! ==> defined new CTR 6 (PPA)
5583 1226809 1593 21 11800 <C 11
== Executing PA-CTR 4, V(1)=797, V(2)=0, repcount=399, factor=5/2
11967 7606021 -3 21 112 <C 111996
11968 7606022 -2 21 11 12 A> 111996
11969 7610014 3990 21 11 12 221996 A>
11970 7610019 3989 21 11 12 221996 <C 11
11971 7614011 -3 21 11 12 <C 111997
11972 7614014 -2 21 11 22 C> 111997
11973 7618008 3992 21 11 221998 C>
11974 7618011 3991 21 11 221998 <A 12
11975 7622007 -5 21 11 <A 111998 12
11976 7622008 -4 21 12 C> 111998 12
11977 7626004 3992 21 12 221998 C> 12
11978 7626007 3991 21 12 221998 <A 11
11979 7630003 -5 21 12 <A 111999
11980 7630006 -4 21 22 A> 111999
11981 7634004 3994 21 222000 A>
11982 7634009 3993 21 222000 <C 11
11983 7638009 -7 21 <C 112001
11984 7638010 -6 22 A> 112001
11985 7642012 3996 222002 A>
11986 7642017 3995 222002 <C 11
11987 7646021 -9 <C 112003
11988 7646022 -8 02 B> 112003
11989 7650028 3998 02 112003 B>
11990 7650029 3997 02 112003 <A 20
11991 7650030 3998 02 112002 12 C> 20
11992 7650031 3997 02 112002 12 <C 10
11993 7650034 3998 02 112002 22 C> 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 21 112 <C 111+V(1)
1 1 1 21 11 12 A> 111+V(1)
2 3+2*V(1) 3+2*V(1) 21 11 12 221+V(1) A>
3 8+2*V(1) 2+2*V(1) 21 11 12 221+V(1) <C 11
4 10+4*V(1) 0 21 11 12 <C 112+V(1)
5 13+4*V(1) 1 21 11 22 C> 112+V(1)
6 17+6*V(1) 5+2*V(1) 21 11 223+V(1) C>
7 20+6*V(1) 4+2*V(1) 21 11 223+V(1) <A 12
8 26+8*V(1) -2 21 11 <A 113+V(1) 12
9 27+8*V(1) -1 21 12 C> 113+V(1) 12
10 33+10*V(1) 5+2*V(1) 21 12 223+V(1) C> 12
11 36+10*V(1) 4+2*V(1) 21 12 223+V(1) <A 11
12 42+12*V(1) -2 21 12 <A 114+V(1)
13 45+12*V(1) -1 21 22 A> 114+V(1)
14 53+14*V(1) 7+2*V(1) 21 225+V(1) A>
15 58+14*V(1) 6+2*V(1) 21 225+V(1) <C 11
16 68+16*V(1) -4 21 <C 116+V(1)
17 69+16*V(1) -3 22 A> 116+V(1)
18 81+18*V(1) 9+2*V(1) 227+V(1) A>
19 86+18*V(1) 8+2*V(1) 227+V(1) <C 11
20 100+20*V(1) -6 <C 118+V(1)
21 101+20*V(1) -5 02 B> 118+V(1)
22 117+22*V(1) 11+2*V(1) 02 118+V(1) B>
23 118+22*V(1) 10+2*V(1) 02 118+V(1) <A 20
24 119+22*V(1) 11+2*V(1) 02 117+V(1) 12 C> 20
25 120+22*V(1) 10+2*V(1) 02 117+V(1) 12 <C 10
26 123+22*V(1) 11+2*V(1) 02 117+V(1) 22 C> 10
<< Success! ==> defined new CTR 7 (PPA)
11993 7650034 3998 02 112002 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=1999, repcount=1000, factor=5/2
34993 47688034 9998 02 112 225001 C> 10
34994 47688036 10000 02 112 225001 21 B>
34995 47688037 9999 02 112 225001 21 <A 20
34996 47688038 10000 02 112 225002 C> 20
34997 47688039 9999 02 112 225002 <C 10
34998 47698043 -5 02 112 <C 115002 10
34999 47698044 -4 02 11 12 A> 115002 10
35000 47708048 10000 02 11 12 225002 A> 10
35001 47708050 10002 02 11 12 225003 B>
35002 47708051 10001 02 11 12 225003 <A 20
35003 47718057 -5 02 11 12 <A 115003 20
35004 47718060 -4 02 11 22 A> 115003 20
35005 47728066 10002 02 11 225004 A> 20
35006 47728067 10001 02 11 225004 <A 10
35007 47738075 -7 02 11 <A 115004 10
35008 47738076 -6 02 12 C> 115004 10
35009 47748084 10002 02 12 225004 C> 10
35010 47748086 10004 02 12 225004 21 B>
35011 47748087 10003 02 12 225004 21 <A 20
35012 47748088 10004 02 12 225005 C> 20
35013 47748089 10003 02 12 225005 <C 10
35014 47758099 -7 02 12 <C 115005 10
35015 47758102 -6 02 22 C> 115005 10
35016 47768112 10004 02 225006 C> 10
35017 47768114 10006 02 225006 21 B>
35018 47768115 10005 02 225006 21 <A 20
35019 47768116 10006 02 225007 C> 20
35020 47768117 10005 02 225007 <C 10
35021 47778131 -9 02 <C 115007 10
35022 47778134 -8 21 B> 115007 10
35023 47788148 10006 21 115007 B> 10
35024 47788153 10005 21 115007 <C 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 112 221+V(1) C> 10
1 2 2 02 112 221+V(1) 21 B>
2 3 1 02 112 221+V(1) 21 <A 20
3 4 2 02 112 222+V(1) C> 20
4 5 1 02 112 222+V(1) <C 10
5 9+2*V(1) -3+-2*V(1) 02 112 <C 112+V(1) 10
6 10+2*V(1) -2+-2*V(1) 02 11 12 A> 112+V(1) 10
7 14+4*V(1) 2 02 11 12 222+V(1) A> 10
8 16+4*V(1) 4 02 11 12 223+V(1) B>
9 17+4*V(1) 3 02 11 12 223+V(1) <A 20
10 23+6*V(1) -3+-2*V(1) 02 11 12 <A 113+V(1) 20
11 26+6*V(1) -2+-2*V(1) 02 11 22 A> 113+V(1) 20
12 32+8*V(1) 4 02 11 224+V(1) A> 20
13 33+8*V(1) 3 02 11 224+V(1) <A 10
14 41+10*V(1) -5+-2*V(1) 02 11 <A 114+V(1) 10
15 42+10*V(1) -4+-2*V(1) 02 12 C> 114+V(1) 10
16 50+12*V(1) 4 02 12 224+V(1) C> 10
17 52+12*V(1) 6 02 12 224+V(1) 21 B>
18 53+12*V(1) 5 02 12 224+V(1) 21 <A 20
19 54+12*V(1) 6 02 12 225+V(1) C> 20
20 55+12*V(1) 5 02 12 225+V(1) <C 10
21 65+14*V(1) -5+-2*V(1) 02 12 <C 115+V(1) 10
22 68+14*V(1) -4+-2*V(1) 02 22 C> 115+V(1) 10
23 78+16*V(1) 6 02 226+V(1) C> 10
24 80+16*V(1) 8 02 226+V(1) 21 B>
25 81+16*V(1) 7 02 226+V(1) 21 <A 20
26 82+16*V(1) 8 02 227+V(1) C> 20
27 83+16*V(1) 7 02 227+V(1) <C 10
28 97+18*V(1) -7+-2*V(1) 02 <C 117+V(1) 10
29 100+18*V(1) -6+-2*V(1) 21 B> 117+V(1) 10
30 114+20*V(1) 8 21 117+V(1) B> 10
31 119+20*V(1) 7 21 117+V(1) <C 11
<< Success! ==> defined new CTR 8 (PPA)
35024 47788153 10005 21 115007 <C 11
== Executing PA-CTR 4, V(1)=5004, V(2)=0, repcount=2503, factor=5/2
75072 298458597 -7 21 11 <C 1112516
== Executing PPA-CTR 5 (once), V(1)=12515
75090 298633868 25030 01 1112519 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=12516, repcount=6259, factor=5/2
219047 1865874950 62584 01 11 2231296 C> 10
== Executing PPA-CTR 6 (once), V(1)=31295
219071 1866375753 62589 21 1131300 <C 11
== Executing PA-CTR 4, V(1)=31297, V(2)=0, repcount=15649, factor=5/2
469455 11662461965 -7 21 112 <C 1178246
== Executing PPA-CTR 7 (once), V(1)=78245
469481 11664183478 156494 02 1178252 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=78249, repcount=39125, factor=5/2
1369356 72896295228 391244 02 112 22195626 C> 10
== Executing PPA-CTR 8 (once), V(1)=195625
1369387 72900207847 391251 21 11195632 <C 11
== Executing PA-CTR 4, V(1)=195629, V(2)=0, repcount=97815, factor=5/2
2934427 455613915667 -9 21 112 <C 11489076
== Executing PPA-CTR 7 (once), V(1)=489075
2934453 455624675440 978152 02 11489082 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=489079, repcount=244540, factor=5/2
8558873 2847626431960 2445392 02 112 221222701 C> 10
== Executing PPA-CTR 8 (once), V(1)=1222700
8558904 2847650886079 2445399 21 111222707 <C 11
== Executing PA-CTR 4, V(1)=1222704, V(2)=0, repcount=611353, factor=5/2
18340552 17797767628323 -13 21 11 <C 113056766
== Executing PPA-CTR 5 (once), V(1)=3056765
18340570 17797810423094 6113524 01 113056769 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=3056766, repcount=1528384, factor=5/2
53493402 111236174559926 15283828 01 11 227641921 C> 10
== Executing PPA-CTR 6 (once), V(1)=7641920
53493426 111236296830729 15283833 21 117641925 <C 11
== Executing PA-CTR 4, V(1)=7641922, V(2)=0, repcount=3820962, factor=5/2
114628818 695226428035425 -15 21 11 <C 1119104811
== Executing PPA-CTR 5 (once), V(1)=19104810
114628836 695226695502826 38209612 01 1119104814 22 C> 10
== Executing PA-CTR 1, V(1)=0, V(2)=19104811, repcount=9552406, factor=5/2
334334174 4345165474047694 95524048 01 112 2247762031 C> 10
334334175 4345165474047696 95524050 01 112 2247762031 21 B>
334334176 4345165474047697 95524049 01 112 2247762031 21 <A 20
334334177 4345165474047698 95524050 01 112 2247762032 C> 20
334334178 4345165474047699 95524049 01 112 2247762032 <C 10
334334179 4345165569571763 -15 01 112 <C 1147762032 10
334334180 4345165569571764 -14 01 11 12 A> 1147762032 10
334334181 4345165665095828 95524050 01 11 12 2247762032 A> 10
334334182 4345165665095830 95524052 01 11 12 2247762033 B>
334334183 4345165665095831 95524051 01 11 12 2247762033 <A 20
334334184 4345165760619897 -15 01 11 12 <A 1147762033 20
334334185 4345165760619900 -14 01 11 22 A> 1147762033 20
334334186 4345165856143966 95524052 01 11 2247762034 A> 20
334334187 4345165856143967 95524051 01 11 2247762034 <A 10
334334188 4345165951668035 -17 01 11 <A 1147762034 10
334334189 4345165951668036 -16 01 12 C> 1147762034 10
334334190 4345166047192104 95524052 01 12 2247762034 C> 10
334334191 4345166047192106 95524054 01 12 2247762034 21 B>
334334192 4345166047192107 95524053 01 12 2247762034 21 <A 20
334334193 4345166047192108 95524054 01 12 2247762035 C> 20
334334194 4345166047192109 95524053 01 12 2247762035 <C 10
334334195 4345166142716179 -17 01 12 <C 1147762035 10
334334196 4345166142716182 -16 01 22 C> 1147762035 10
334334197 4345166238240252 95524054 01 2247762036 C> 10
334334198 4345166238240254 95524056 01 2247762036 21 B>
334334199 4345166238240255 95524055 01 2247762036 21 <A 20
334334200 4345166238240256 95524056 01 2247762037 C> 20
334334201 4345166238240257 95524055 01 2247762037 <C 10
334334202 4345166333764331 -19 01 <C 1147762037 10
334334203 4345166333764332 -18 02 A> 1147762037 10
334334204 4345166429288406 95524056 02 2247762037 A> 10
334334205 4345166429288408 95524058 02 2247762038 B>
334334206 4345166429288409 95524057 02 2247762038 <A 20
334334207 4345166524812485 -19 02 <A 1147762038 20
334334208 4345166524812488 -18 11 B> 1147762038 20
334334209 4345166620336564 95524058 1147762039 B> 20
334334210 4345166620336565 95524059 1147762039 1 H> 0 [stop]
Lines: 328
Top steps: 327
Macro steps: 334334210
Basic steps: 4345166620336565
Tape index: 95524059
nonzeros: 95524079
log10(nonzeros): 7.980
log10(steps ): 15.638
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol #a (T.J. & S. Ligocki)
: 95,524,079 4,345,166,620,336,565
5T 1RB 2RC 1LA 2LA 1RB 1RH 2RB 2RA 1LC
L 4
M 350
pref sim
machv Lig33_a just simple
machv Lig33_a-r with repetitions reduced
machv Lig33_a-1 with tape symbol exponents
machv Lig33_a-m as 2-macro machine
machv Lig33_a-a as 2-macro machine with pure additive config-TRs
iam Lig33_a-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:26 CEST 2010
edate Tue Jul 6 22:13:27 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:13:26 CEST 2010