Comment: This TM produces >4.210x10^6034 nonzeros in >5.318x10^12068 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 0LB | 1RD | 1 | right | B | 0 | left | B | 1 | right | D |
| B | 2RC | 2LA | 0LA | 2 | right | C | 2 | left | A | 0 | left | A |
| C | 1LB | 0LA | 0LA | 1 | left | B | 0 | left | A | 0 | left | A |
| D | 1RA | 0RA | 1RH | 1 | right | A | 0 | right | A | 1 | right | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-macro machine.
Simulation is done as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 2 2 (12)C>
2 5 -1 <B(00) 10
3 14 2 11 (11)B> 10
4 17 -1 11 <A(20) 20
5 19 -3 <A(20) 202
6 25 -5 <A(01) 00 202
7 30 -2 01 (11)A> 00 202
8 32 0 01 11 (12)C> 202
9 36 2 01 112 (11)B> 20
10 39 -1 01 112 <A(20)
11 43 -5 01 <A(20) 202
12 47 -7 <A(01) 203
13 52 -4 01 (11)A> 203
14 58 2 01 113 (11)A>
15 60 4 01 114 (12)C>
16 63 1 01 114 <B(00) 10
17 65 -1 01 113 <B(02) 00 10
18 71 -7 01 <B(02) 023 00 10
19 75 -9 <B(00) 024 00 10
20 84 -6 11 (11)B> 024 00 10
21 88 -4 112 (11)A> 023 00 10
22 93 -7 112 <B(02) 00 022 00 10
23 97 -11 <B(02) 022 00 022 00 10
24 106 -8 11 (11)D> 022 00 022 00 10
25 110 -4 113 (11)D> 00 022 00 10
26 112 -2 114 (11)B> 022 00 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)B> 023+V(2) [*]* [*]*
1 4 2 112+V(1) (11)A> 022+V(2) [*]* [*]*
2 9 -1 112+V(1) <B(02) 00 021+V(2) [*]* [*]*
3 13+2*V(1) -5+-2*V(1) <B(02) 022+V(1) 00 021+V(2) [*]* [*]*
4 22+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1) 00 021+V(2) [*]* [*]*
5 26+4*V(1) 2 113+V(1) (11)D> 00 021+V(2) [*]* [*]*
6 28+4*V(1) 4 114+V(1) (11)B> 021+V(2) [*]* [*]*
<< Success! ==> defined new CTR 1 (PA)
27 116 0 115 (11)A> 02 00 10
28 121 -3 115 <B(02) 002 10
29 131 -13 <B(02) 025 002 10
30 140 -10 11 (11)D> 025 002 10
31 150 0 116 (11)D> 002 10
32 152 2 117 (11)B> 00 10
33 157 -1 117 <A(20) 01 10
34 171 -15 <A(20) 207 01 10
35 177 -17 <A(01) 00 207 01 10
36 182 -14 01 (11)A> 00 207 01 10
37 184 -12 01 11 (12)C> 207 01 10
38 188 -10 01 112 (11)B> 206 01 10
39 191 -13 01 112 <A(20) 00 205 01 10
40 195 -17 01 <A(20) 202 00 205 01 10
41 199 -19 <A(01) 203 00 205 01 10
42 204 -16 01 (11)A> 203 00 205 01 10
43 210 -10 01 113 (11)A> 00 205 01 10
44 212 -8 01 114 (12)C> 205 01 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (12)C> 203+V(2) [*]* [*]*
1 4 2 01 112+V(1) (11)B> 202+V(2) [*]* [*]*
2 7 -1 01 112+V(1) <A(20) 00 201+V(2) [*]* [*]*
3 11+2*V(1) -5+-2*V(1) 01 <A(20) 202+V(1) 00 201+V(2) [*]* [*]*
4 15+2*V(1) -7+-2*V(1) <A(01) 203+V(1) 00 201+V(2) [*]* [*]*
5 20+2*V(1) -4+-2*V(1) 01 (11)A> 203+V(1) 00 201+V(2) [*]* [*]*
6 26+4*V(1) 2 01 113+V(1) (11)A> 00 201+V(2) [*]* [*]*
7 28+4*V(1) 4 01 114+V(1) (12)C> 201+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
44 212 -8 01 114 (12)C> 205 01 10
== Executing PA-CTR 2, V(1)=3, V(2)=2, repcount=2, factor=3/2
58 304 0 01 1110 (12)C> 20 01 10
59 308 2 01 1111 (11)B> 01 10
60 312 4 01 1112 (11)A> 10
61 315 1 01 1112 <B(02)
62 339 -23 01 <B(02) 0212
63 343 -25 <B(00) 0213
64 352 -22 11 (11)B> 0213
65 356 -20 112 (11)A> 0212
66 361 -23 112 <B(02) 00 0211
67 365 -27 <B(02) 022 00 0211
68 374 -24 11 (11)D> 022 00 0211
69 378 -20 113 (11)D> 00 0211
70 380 -18 114 (11)B> 0211
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)B> 023+V(2)
1 4 2 112+V(1) (11)A> 022+V(2)
2 9 -1 112+V(1) <B(02) 00 021+V(2)
3 13+2*V(1) -5+-2*V(1) <B(02) 022+V(1) 00 021+V(2)
4 22+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1) 00 021+V(2)
5 26+4*V(1) 2 113+V(1) (11)D> 00 021+V(2)
6 28+4*V(1) 4 114+V(1) (11)B> 021+V(2)
<< Success! ==> defined new CTR 3 (PA)
70 380 -18 114 (11)B> 0211
== Executing PA-CTR 3, V(1)=3, V(2)=8, repcount=5, factor=3/2
100 700 2 1119 (11)B> 02
101 704 4 1120 (11)A>
102 706 6 1121 (12)C>
103 709 3 1121 <B(00) 10
104 711 1 1120 <B(02) 00 10
105 751 -39 <B(02) 0220 00 10
106 760 -36 11 (11)D> 0220 00 10
107 800 4 1121 (11)D> 00 10
108 802 6 1122 (11)B> 10
109 805 3 1122 <A(20) 20
110 849 -41 <A(20) 2023
111 855 -43 <A(01) 00 2023
112 860 -40 01 (11)A> 00 2023
113 862 -38 01 11 (12)C> 2023
114 866 -36 01 112 (11)B> 2022
115 869 -39 01 112 <A(20) 00 2021
116 873 -43 01 <A(20) 202 00 2021
117 877 -45 <A(01) 203 00 2021
118 882 -42 01 (11)A> 203 00 2021
119 888 -36 01 113 (11)A> 00 2021
120 890 -34 01 114 (12)C> 2021
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (12)C> 203+V(2)
1 4 2 01 112+V(1) (11)B> 202+V(2)
2 7 -1 01 112+V(1) <A(20) 00 201+V(2)
3 11+2*V(1) -5+-2*V(1) 01 <A(20) 202+V(1) 00 201+V(2)
4 15+2*V(1) -7+-2*V(1) <A(01) 203+V(1) 00 201+V(2)
5 20+2*V(1) -4+-2*V(1) 01 (11)A> 203+V(1) 00 201+V(2)
6 26+4*V(1) 2 01 113+V(1) (11)A> 00 201+V(2)
7 28+4*V(1) 4 01 114+V(1) (12)C> 201+V(2)
<< Success! ==> defined new CTR 4 (PA)
120 890 -34 01 114 (12)C> 2021
== Executing PA-CTR 4, V(1)=3, V(2)=18, repcount=10, factor=3/2
190 1830 6 01 1134 (12)C> 20
191 1834 8 01 1135 (11)B>
192 1839 5 01 1135 <A(20) 01
193 1909 -65 01 <A(20) 2035 01
194 1913 -67 <A(01) 2036 01
195 1918 -64 01 (11)A> 2036 01
196 1990 8 01 1136 (11)A> 01
197 1995 5 01 1136 <B(02) 02
198 2067 -67 01 <B(02) 0237
199 2071 -69 <B(00) 0238
200 2080 -66 11 (11)B> 0238
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (12)C> 20
1 4 2 01 112+V(1) (11)B>
2 9 -1 01 112+V(1) <A(20) 01
3 13+2*V(1) -5+-2*V(1) 01 <A(20) 202+V(1) 01
4 17+2*V(1) -7+-2*V(1) <A(01) 203+V(1) 01
5 22+2*V(1) -4+-2*V(1) 01 (11)A> 203+V(1) 01
6 28+4*V(1) 2 01 113+V(1) (11)A> 01
7 33+4*V(1) -1 01 113+V(1) <B(02) 02
8 39+6*V(1) -7+-2*V(1) 01 <B(02) 024+V(1)
9 43+6*V(1) -9+-2*V(1) <B(00) 025+V(1)
10 52+6*V(1) -6+-2*V(1) 11 (11)B> 025+V(1)
<< Success! ==> defined new CTR 5 (PPA)
200 2080 -66 11 (11)B> 0238
== Executing PA-CTR 3, V(1)=0, V(2)=35, repcount=18, factor=3/2
308 4420 6 1155 (11)B> 022
309 4424 8 1156 (11)A> 02
310 4429 5 1156 <B(02)
311 4541 -107 <B(02) 0256
312 4550 -104 11 (11)D> 0256
313 4662 8 1157 (11)D>
314 4664 10 1158 (11)B>
315 4669 7 1158 <A(20) 01
316 4785 -109 <A(20) 2058 01
317 4791 -111 <A(01) 00 2058 01
318 4796 -108 01 (11)A> 00 2058 01
319 4798 -106 01 11 (12)C> 2058 01
320 4802 -104 01 112 (11)B> 2057 01
321 4805 -107 01 112 <A(20) 00 2056 01
322 4809 -111 01 <A(20) 202 00 2056 01
323 4813 -113 <A(01) 203 00 2056 01
324 4818 -110 01 (11)A> 203 00 2056 01
325 4824 -104 01 113 (11)A> 00 2056 01
326 4826 -102 01 114 (12)C> 2056 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (12)C> 203+V(2) [*]*
1 4 2 01 112+V(1) (11)B> 202+V(2) [*]*
2 7 -1 01 112+V(1) <A(20) 00 201+V(2) [*]*
3 11+2*V(1) -5+-2*V(1) 01 <A(20) 202+V(1) 00 201+V(2) [*]*
4 15+2*V(1) -7+-2*V(1) <A(01) 203+V(1) 00 201+V(2) [*]*
5 20+2*V(1) -4+-2*V(1) 01 (11)A> 203+V(1) 00 201+V(2) [*]*
6 26+4*V(1) 2 01 113+V(1) (11)A> 00 201+V(2) [*]*
7 28+4*V(1) 4 01 114+V(1) (12)C> 201+V(2) [*]*
<< Success! ==> defined new CTR 6 (PA)
326 4826 -102 01 114 (12)C> 2056 01
== Executing PA-CTR 6, V(1)=3, V(2)=53, repcount=27, factor=3/2
515 10118 6 01 1185 (12)C> 202 01
516 10122 8 01 1186 (11)B> 20 01
517 10125 5 01 1186 <A(20) 00 01
518 10297 -167 01 <A(20) 2086 00 01
519 10301 -169 <A(01) 2087 00 01
520 10306 -166 01 (11)A> 2087 00 01
521 10480 8 01 1187 (11)A> 00 01
522 10482 10 01 1188 (12)C> 01
523 10485 7 01 1188 <B(00) 11
524 10487 5 01 1187 <B(02) 00 11
525 10661 -169 01 <B(02) 0287 00 11
526 10665 -171 <B(00) 0288 00 11
527 10674 -168 11 (11)B> 0288 00 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (12)C> 202 01
1 4 2 01 112+V(1) (11)B> 20 01
2 7 -1 01 112+V(1) <A(20) 00 01
3 11+2*V(1) -5+-2*V(1) 01 <A(20) 202+V(1) 00 01
4 15+2*V(1) -7+-2*V(1) <A(01) 203+V(1) 00 01
5 20+2*V(1) -4+-2*V(1) 01 (11)A> 203+V(1) 00 01
6 26+4*V(1) 2 01 113+V(1) (11)A> 00 01
7 28+4*V(1) 4 01 114+V(1) (12)C> 01
8 31+4*V(1) 1 01 114+V(1) <B(00) 11
9 33+4*V(1) -1 01 113+V(1) <B(02) 00 11
10 39+6*V(1) -7+-2*V(1) 01 <B(02) 023+V(1) 00 11
11 43+6*V(1) -9+-2*V(1) <B(00) 024+V(1) 00 11
12 52+6*V(1) -6+-2*V(1) 11 (11)B> 024+V(1) 00 11
<< Success! ==> defined new CTR 7 (PPA)
527 10674 -168 11 (11)B> 0288 00 11
== Executing PA-CTR 1, V(1)=0, V(2)=85, repcount=43, factor=3/2
785 22714 4 11130 (11)B> 022 00 11
786 22718 6 11131 (11)A> 02 00 11
787 22723 3 11131 <B(02) 002 11
788 22985 -259 <B(02) 02131 002 11
789 22994 -256 11 (11)D> 02131 002 11
790 23256 6 11132 (11)D> 002 11
791 23258 8 11133 (11)B> 00 11
792 23263 5 11133 <A(20) 01 11
793 23529 -261 <A(20) 20133 01 11
794 23535 -263 <A(01) 00 20133 01 11
795 23540 -260 01 (11)A> 00 20133 01 11
796 23542 -258 01 11 (12)C> 20133 01 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)B> 022 00 [*]*
1 4 2 112+V(1) (11)A> 02 00 [*]*
2 9 -1 112+V(1) <B(02) 002 [*]*
3 13+2*V(1) -5+-2*V(1) <B(02) 022+V(1) 002 [*]*
4 22+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1) 002 [*]*
5 26+4*V(1) 2 113+V(1) (11)D> 002 [*]*
6 28+4*V(1) 4 114+V(1) (11)B> 00 [*]*
7 33+4*V(1) 1 114+V(1) <A(20) 01 [*]*
8 41+6*V(1) -7+-2*V(1) <A(20) 204+V(1) 01 [*]*
9 47+6*V(1) -9+-2*V(1) <A(01) 00 204+V(1) 01 [*]*
10 52+6*V(1) -6+-2*V(1) 01 (11)A> 00 204+V(1) 01 [*]*
11 54+6*V(1) -4+-2*V(1) 01 11 (12)C> 204+V(1) 01 [*]*
<< Success! ==> defined new CTR 8 (PPA)
796 23542 -258 01 11 (12)C> 20133 01 11
== Executing PA-CTR 2, V(1)=0, V(2)=130, repcount=66, factor=3/2
1258 51130 6 01 11199 (12)C> 20 01 11
1259 51134 8 01 11200 (11)B> 01 11
1260 51138 10 01 11201 (11)A> 11
1261 51141 7 01 11201 <B(02) 01
1262 51543 -395 01 <B(02) 02201 01
1263 51547 -397 <B(00) 02202 01
1264 51556 -394 11 (11)B> 02202 01
1265 51560 -392 112 (11)A> 02201 01
1266 51565 -395 112 <B(02) 00 02200 01
1267 51569 -399 <B(02) 022 00 02200 01
1268 51578 -396 11 (11)D> 022 00 02200 01
1269 51582 -392 113 (11)D> 00 02200 01
1270 51584 -390 114 (11)B> 02200 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)B> 023+V(2) [*]*
1 4 2 112+V(1) (11)A> 022+V(2) [*]*
2 9 -1 112+V(1) <B(02) 00 021+V(2) [*]*
3 13+2*V(1) -5+-2*V(1) <B(02) 022+V(1) 00 021+V(2) [*]*
4 22+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1) 00 021+V(2) [*]*
5 26+4*V(1) 2 113+V(1) (11)D> 00 021+V(2) [*]*
6 28+4*V(1) 4 114+V(1) (11)B> 021+V(2) [*]*
<< Success! ==> defined new CTR 9 (PA)
1270 51584 -390 114 (11)B> 02200 01
== Executing PA-CTR 9, V(1)=3, V(2)=197, repcount=99, factor=3/2
1864 113756 6 11301 (11)B> 022 01
1865 113760 8 11302 (11)A> 02 01
1866 113765 5 11302 <B(02) 00 01
1867 114369 -599 <B(02) 02302 00 01
1868 114378 -596 11 (11)D> 02302 00 01
1869 114982 8 11303 (11)D> 00 01
1870 114984 10 11304 (11)B> 01
1871 114988 12 11305 (11)A>
1872 114990 14 11306 (12)C>
1873 114993 11 11306 <B(00) 10
1874 114995 9 11305 <B(02) 00 10
1875 115605 -601 <B(02) 02305 00 10
1876 115614 -598 11 (11)D> 02305 00 10
1877 116224 12 11306 (11)D> 00 10
1878 116226 14 11307 (11)B> 10
1879 116229 11 11307 <A(20) 20
1880 116843 -603 <A(20) 20308
1881 116849 -605 <A(01) 00 20308
1882 116854 -602 01 (11)A> 00 20308
1883 116856 -600 01 11 (12)C> 20308
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)B> 022 01
1 4 2 112+V(1) (11)A> 02 01
2 9 -1 112+V(1) <B(02) 00 01
3 13+2*V(1) -5+-2*V(1) <B(02) 022+V(1) 00 01
4 22+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1) 00 01
5 26+4*V(1) 2 113+V(1) (11)D> 00 01
6 28+4*V(1) 4 114+V(1) (11)B> 01
7 32+4*V(1) 6 115+V(1) (11)A>
8 34+4*V(1) 8 116+V(1) (12)C>
9 37+4*V(1) 5 116+V(1) <B(00) 10
10 39+4*V(1) 3 115+V(1) <B(02) 00 10
11 49+6*V(1) -7+-2*V(1) <B(02) 025+V(1) 00 10
12 58+6*V(1) -4+-2*V(1) 11 (11)D> 025+V(1) 00 10
13 68+8*V(1) 6 116+V(1) (11)D> 00 10
14 70+8*V(1) 8 117+V(1) (11)B> 10
15 73+8*V(1) 5 117+V(1) <A(20) 20
16 87+10*V(1) -9+-2*V(1) <A(20) 208+V(1)
17 93+10*V(1) -11+-2*V(1) <A(01) 00 208+V(1)
18 98+10*V(1) -8+-2*V(1) 01 (11)A> 00 208+V(1)
19 100+10*V(1) -6+-2*V(1) 01 11 (12)C> 208+V(1)
<< Success! ==> defined new CTR 10 (PPA)
1883 116856 -600 01 11 (12)C> 20308
== Executing PA-CTR 4, V(1)=0, V(2)=305, repcount=153, factor=3/2
2954 260676 12 01 11460 (12)C> 202
2955 260680 14 01 11461 (11)B> 20
2956 260683 11 01 11461 <A(20)
2957 261605 -911 01 <A(20) 20461
2958 261609 -913 <A(01) 20462
2959 261614 -910 01 (11)A> 20462
2960 262538 14 01 11462 (11)A>
2961 262540 16 01 11463 (12)C>
2962 262543 13 01 11463 <B(00) 10
2963 262545 11 01 11462 <B(02) 00 10
2964 263469 -913 01 <B(02) 02462 00 10
2965 263473 -915 <B(00) 02463 00 10
2966 263482 -912 11 (11)B> 02463 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (12)C> 202
1 4 2 01 112+V(1) (11)B> 20
2 7 -1 01 112+V(1) <A(20)
3 11+2*V(1) -5+-2*V(1) 01 <A(20) 202+V(1)
4 15+2*V(1) -7+-2*V(1) <A(01) 203+V(1)
5 20+2*V(1) -4+-2*V(1) 01 (11)A> 203+V(1)
6 26+4*V(1) 2 01 113+V(1) (11)A>
7 28+4*V(1) 4 01 114+V(1) (12)C>
8 31+4*V(1) 1 01 114+V(1) <B(00) 10
9 33+4*V(1) -1 01 113+V(1) <B(02) 00 10
10 39+6*V(1) -7+-2*V(1) 01 <B(02) 023+V(1) 00 10
11 43+6*V(1) -9+-2*V(1) <B(00) 024+V(1) 00 10
12 52+6*V(1) -6+-2*V(1) 11 (11)B> 024+V(1) 00 10
<< Success! ==> defined new CTR 11 (PPA)
2966 263482 -912 11 (11)B> 02463 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=460, repcount=231, factor=3/2
4352 588730 12 11694 (11)B> 02 00 10
4353 588734 14 11695 (11)A> 00 10
4354 588736 16 11696 (12)C> 10
4355 588740 18 11697 (11)B>
4356 588745 15 11697 <A(20) 01
4357 590139 -1379 <A(20) 20697 01
4358 590145 -1381 <A(01) 00 20697 01
4359 590150 -1378 01 (11)A> 00 20697 01
4360 590152 -1376 01 11 (12)C> 20697 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)B> 02 00 10
1 4 2 112+V(1) (11)A> 00 10
2 6 4 113+V(1) (12)C> 10
3 10 6 114+V(1) (11)B>
4 15 3 114+V(1) <A(20) 01
5 23+2*V(1) -5+-2*V(1) <A(20) 204+V(1) 01
6 29+2*V(1) -7+-2*V(1) <A(01) 00 204+V(1) 01
7 34+2*V(1) -4+-2*V(1) 01 (11)A> 00 204+V(1) 01
8 36+2*V(1) -2+-2*V(1) 01 11 (12)C> 204+V(1) 01
<< Success! ==> defined new CTR 12 (PPA)
4360 590152 -1376 01 11 (12)C> 20697 01
== Executing PA-CTR 6, V(1)=0, V(2)=694, repcount=348, factor=3/2
6796 1324432 16 01 111045 (12)C> 20 01
6797 1324436 18 01 111046 (11)B> 01
6798 1324440 20 01 111047 (11)A>
6799 1324442 22 01 111048 (12)C>
6800 1324445 19 01 111048 <B(00) 10
6801 1324447 17 01 111047 <B(02) 00 10
6802 1326541 -2077 01 <B(02) 021047 00 10
6803 1326545 -2079 <B(00) 021048 00 10
6804 1326554 -2076 11 (11)B> 021048 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (12)C> 20 01
1 4 2 01 112+V(1) (11)B> 01
2 8 4 01 113+V(1) (11)A>
3 10 6 01 114+V(1) (12)C>
4 13 3 01 114+V(1) <B(00) 10
5 15 1 01 113+V(1) <B(02) 00 10
6 21+2*V(1) -5+-2*V(1) 01 <B(02) 023+V(1) 00 10
7 25+2*V(1) -7+-2*V(1) <B(00) 024+V(1) 00 10
8 34+2*V(1) -4+-2*V(1) 11 (11)B> 024+V(1) 00 10
<< Success! ==> defined new CTR 13 (PPA)
6804 1326554 -2076 11 (11)B> 021048 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=1045, repcount=523, factor=3/2
9942 2979234 16 111570 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=1569
9953 2988702 -3126 01 11 (12)C> 201573 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=1570, repcount=786, factor=3/2
15455 6712770 18 01 112359 (12)C> 20 01 10
15456 6712774 20 01 112360 (11)B> 01 10
15457 6712778 22 01 112361 (11)A> 10
15458 6712781 19 01 112361 <B(02)
15459 6717503 -4703 01 <B(02) 022361
15460 6717507 -4705 <B(00) 022362
15461 6717516 -4702 11 (11)B> 022362
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (12)C> 20 01 10
1 4 2 01 112+V(1) (11)B> 01 10
2 8 4 01 113+V(1) (11)A> 10
3 11 1 01 113+V(1) <B(02)
4 17+2*V(1) -5+-2*V(1) 01 <B(02) 023+V(1)
5 21+2*V(1) -7+-2*V(1) <B(00) 024+V(1)
6 30+2*V(1) -4+-2*V(1) 11 (11)B> 024+V(1)
<< Success! ==> defined new CTR 14 (PPA)
15461 6717516 -4702 11 (11)B> 022362
== Executing PA-CTR 3, V(1)=0, V(2)=2359, repcount=1180, factor=3/2
22541 15097876 18 113541 (11)B> 022
22542 15097880 20 113542 (11)A> 02
22543 15097885 17 113542 <B(02)
22544 15104969 -7067 <B(02) 023542
22545 15104978 -7064 11 (11)D> 023542
22546 15112062 20 113543 (11)D>
22547 15112064 22 113544 (11)B>
22548 15112069 19 113544 <A(20) 01
22549 15119157 -7069 <A(20) 203544 01
22550 15119163 -7071 <A(01) 00 203544 01
22551 15119168 -7068 01 (11)A> 00 203544 01
22552 15119170 -7066 01 11 (12)C> 203544 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)B> 022
1 4 2 112+V(1) (11)A> 02
2 9 -1 112+V(1) <B(02)
3 13+2*V(1) -5+-2*V(1) <B(02) 022+V(1)
4 22+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1)
5 26+4*V(1) 2 113+V(1) (11)D>
6 28+4*V(1) 4 114+V(1) (11)B>
7 33+4*V(1) 1 114+V(1) <A(20) 01
8 41+6*V(1) -7+-2*V(1) <A(20) 204+V(1) 01
9 47+6*V(1) -9+-2*V(1) <A(01) 00 204+V(1) 01
10 52+6*V(1) -6+-2*V(1) 01 (11)A> 00 204+V(1) 01
11 54+6*V(1) -4+-2*V(1) 01 11 (12)C> 204+V(1) 01
<< Success! ==> defined new CTR 15 (PPA)
22552 15119170 -7066 01 11 (12)C> 203544 01
== Executing PA-CTR 6, V(1)=0, V(2)=3541, repcount=1771, factor=3/2
34949 33976778 18 01 115314 (12)C> 202 01
== Executing PPA-CTR 7 (once), V(1)=5313
34961 34008708 -10614 11 (11)B> 025317 00 11
== Executing PA-CTR 1, V(1)=0, V(2)=5314, repcount=2658, factor=3/2
50909 76456968 18 117975 (11)B> 02 00 11
50910 76456972 20 117976 (11)A> 00 11
50911 76456974 22 117977 (12)C> 11
50912 76456981 19 117977 <A(20) 20
50913 76472935 -15935 <A(20) 207978
50914 76472941 -15937 <A(01) 00 207978
50915 76472946 -15934 01 (11)A> 00 207978
50916 76472948 -15932 01 11 (12)C> 207978
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)B> 02 00 11
1 4 2 112+V(1) (11)A> 00 11
2 6 4 113+V(1) (12)C> 11
3 13 1 113+V(1) <A(20) 20
4 19+2*V(1) -5+-2*V(1) <A(20) 204+V(1)
5 25+2*V(1) -7+-2*V(1) <A(01) 00 204+V(1)
6 30+2*V(1) -4+-2*V(1) 01 (11)A> 00 204+V(1)
7 32+2*V(1) -2+-2*V(1) 01 11 (12)C> 204+V(1)
<< Success! ==> defined new CTR 16 (PPA)
50916 76472948 -15932 01 11 (12)C> 207978
== Executing PA-CTR 4, V(1)=0, V(2)=7975, repcount=3988, factor=3/2
78832 171985548 20 01 1111965 (12)C> 202
== Executing PPA-CTR 11 (once), V(1)=11964
78844 172057384 -23914 11 (11)B> 0211968 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=11965, repcount=5983, factor=3/2
114742 386966744 18 1117950 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=17949
114753 387074492 -35884 01 11 (12)C> 2017953 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=17950, repcount=8976, factor=3/2
177585 870683420 20 01 1126929 (12)C> 20 01 10
== Executing PPA-CTR 14 (once), V(1)=26928
177591 870737306 -53840 11 (11)B> 0226932
== Executing PA-CTR 3, V(1)=0, V(2)=26929, repcount=13465, factor=3/2
258381 1958870886 20 1140396 (11)B> 022
== Executing PPA-CTR 15 (once), V(1)=40395
258392 1959113310 -80774 01 11 (12)C> 2040399 01
== Executing PA-CTR 6, V(1)=0, V(2)=40396, repcount=20199, factor=3/2
399785 4407555294 22 01 1160598 (12)C> 20 01
== Executing PPA-CTR 13 (once), V(1)=60597
399793 4407676522 -121176 11 (11)B> 0260601 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=60598, repcount=30300, factor=3/2
581593 9916883122 24 1190901 (11)B> 02 00 10
== Executing PPA-CTR 12 (once), V(1)=90900
581601 9917064958 -181778 01 11 (12)C> 2090904 01
== Executing PA-CTR 6, V(1)=0, V(2)=90901, repcount=45451, factor=3/2
899758 22312825286 26 01 11136354 (12)C> 202 01
== Executing PPA-CTR 7 (once), V(1)=136353
899770 22313643456 -272686 11 (11)B> 02136357 00 11
== Executing PA-CTR 1, V(1)=0, V(2)=136354, repcount=68178, factor=3/2
1308838 50204581476 26 11204535 (11)B> 02 00 11
== Executing PPA-CTR 16 (once), V(1)=204534
1308845 50204990576 -409044 01 11 (12)C> 20204538
== Executing PA-CTR 4, V(1)=0, V(2)=204535, repcount=102268, factor=3/2
2024721 112959703416 28 01 11306805 (12)C> 202
== Executing PPA-CTR 11 (once), V(1)=306804
2024733 112961544292 -613586 11 (11)B> 02306808 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=306805, repcount=153403, factor=3/2
2945151 254159801612 26 11460210 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=460209
2945162 254162562920 -920396 01 11 (12)C> 20460213 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=460210, repcount=230106, factor=3/2
4555904 571860252668 28 01 11690319 (12)C> 20 01 10
== Executing PPA-CTR 14 (once), V(1)=690318
4555910 571861633334 -1380612 11 (11)B> 02690322
== Executing PA-CTR 3, V(1)=0, V(2)=690319, repcount=345160, factor=3/2
6626870 1286681780454 28 111035481 (11)B> 022
== Executing PPA-CTR 15 (once), V(1)=1035480
6626881 1286687993388 -2070936 01 11 (12)C> 201035484 01
== Executing PA-CTR 6, V(1)=0, V(2)=1035481, repcount=517741, factor=3/2
10251068 2895033842176 28 01 111553224 (12)C> 202 01
== Executing PPA-CTR 7 (once), V(1)=1553223
10251080 2895043161566 -3106424 11 (11)B> 021553227 00 11
== Executing PA-CTR 1, V(1)=0, V(2)=1553224, repcount=776613, factor=3/2
14910758 6513826757666 28 112329840 (11)B> 02 00 11
== Executing PPA-CTR 16 (once), V(1)=2329839
14910765 6513831417376 -4659652 01 11 (12)C> 202329843
== Executing PA-CTR 4, V(1)=0, V(2)=2329840, repcount=1164921, factor=3/2
23065212 14656102663084 32 01 113494764 (12)C> 20
== Executing PPA-CTR 5 (once), V(1)=3494763
23065222 14656123631714 -6989500 11 (11)B> 023494768
== Executing PA-CTR 3, V(1)=0, V(2)=3494765, repcount=1747383, factor=3/2
33549520 32976246166274 32 115242150 (11)B> 022
== Executing PPA-CTR 15 (once), V(1)=5242149
33549531 32976277619222 -10484270 01 11 (12)C> 205242153 01
== Executing PA-CTR 6, V(1)=0, V(2)=5242150, repcount=2621076, factor=3/2
51897063 74196571669550 34 01 117863229 (12)C> 20 01
== Executing PPA-CTR 13 (once), V(1)=7863228
51897071 74196587396040 -15726426 11 (11)B> 027863232 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=7863229, repcount=3931615, factor=3/2
75486761 166942252940920 34 1111794846 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=11794845
75486772 166942323710044 -23589660 01 11 (12)C> 2011794849 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=11794846, repcount=5897424, factor=3/2
116768740 375620112468028 36 01 1117692273 (12)C> 20 01 10
== Executing PPA-CTR 14 (once), V(1)=17692272
116768746 375620147852602 -35384512 11 (11)B> 0217692276
== Executing PA-CTR 3, V(1)=0, V(2)=17692273, repcount=8846137, factor=3/2
169845568 845145181404230 36 1126538412 (11)B> 022
== Executing PPA-CTR 15 (once), V(1)=26538411
169845579 845145340634750 -53076790 01 11 (12)C> 2026538415 01
== Executing PA-CTR 6, V(1)=0, V(2)=26538412, repcount=13269207, factor=3/2
262730028 1901576759010398 38 01 1139807622 (12)C> 20 01
== Executing PPA-CTR 13 (once), V(1)=39807621
262730036 1901576838625674 -79615208 11 (11)B> 0239807625 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=39807622, repcount=19903812, factor=3/2
382152908 4278547669297602 40 1159711437 (11)B> 02 00 10
== Executing PPA-CTR 12 (once), V(1)=59711436
382152916 4278547788720510 -119422834 01 11 (12)C> 2059711440 01
== Executing PA-CTR 6, V(1)=0, V(2)=59711437, repcount=29855719, factor=3/2
591142949 9626732187588094 42 01 1189567158 (12)C> 202 01
== Executing PPA-CTR 7 (once), V(1)=89567157
591142961 9626732724991088 -179134278 11 (11)B> 0289567161 00 11
== Executing PA-CTR 1, V(1)=0, V(2)=89567158, repcount=44783580, factor=3/2
859844441 21660147935928248 42 11134350741 (11)B> 02 00 11
== Executing PPA-CTR 16 (once), V(1)=134350740
859844448 21660148204629760 -268701440 01 11 (12)C> 20134350744
== Executing PA-CTR 4, V(1)=0, V(2)=134350741, repcount=67175371, factor=3/2
1330072045 48735332496413768 44 01 11201526114 (12)C> 202
== Executing PPA-CTR 11 (once), V(1)=201526113
1330072057 48735333705570498 -403052188 11 (11)B> 02201526117 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=201526114, repcount=100763058, factor=3/2
1934650405 1096544[4]7425958 44 11302289175 (11)B> 02 00 10
== Executing PPA-CTR 12 (once), V(1)=302289174
1934650413 1096544[4]2004342 -604578306 01 11 (12)C> 20302289178 01
== Executing PA-CTR 6, V(1)=0, V(2)=302289175, repcount=151144588, factor=3/2
2992662529 2467226[4]7323742 46 01 11453433765 (12)C> 202 01
== Executing PPA-CTR 7 (once), V(1)=453433764
2992662541 2467226[4]7926378 -906867488 11 (11)B> 02453433768 00 11
== Executing PA-CTR 1, V(1)=0, V(2)=453433765, repcount=226716883, factor=3/2
4352963839 5551258[4]9111938 44 11680150650 (11)B> 022 00 11
== Executing PPA-CTR 8 (once), V(1)=680150649
4352963850 5551259[4]0015886 -1360301258 01 11 (12)C> 20680150653 01 11
== Executing PA-CTR 2, V(1)=0, V(2)=680150650, repcount=340075326, factor=3/2
6733491132 1249033[5]5710714 46 01 111020225979 (12)C> 20 01 11
6733491133 1249033[5]5710718 48 01 111020225980 (11)B> 01 11
6733491134 1249033[5]5710722 50 01 111020225981 (11)A> 11
6733491135 1249033[5]5710725 47 01 111020225981 <B(02) 01
6733491136 1249033[5]6162687 -2040451915 01 <B(02) 021020225981 01
6733491137 1249033[5]6162691 -2040451917 <B(00) 021020225982 01
6733491138 1249033[5]6162700 -2040451914 11 (11)B> 021020225982 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (12)C> 20 01 11
1 4 2 01 112+V(1) (11)B> 01 11
2 8 4 01 113+V(1) (11)A> 11
3 11 1 01 113+V(1) <B(02) 01
4 17+2*V(1) -5+-2*V(1) 01 <B(02) 023+V(1) 01
5 21+2*V(1) -7+-2*V(1) <B(00) 024+V(1) 01
6 30+2*V(1) -4+-2*V(1) 11 (11)B> 024+V(1) 01
<< Success! ==> defined new CTR 17 (PPA)
6733491138 1249033[5]6162700 -2040451914 11 (11)B> 021020225982 01
== Executing PA-CTR 9, V(1)=0, V(2)=1020225979, repcount=510112990, factor=3/2
9794169078 2810324[5]9089080 46 111530338971 (11)B> 022 01
== Executing PPA-CTR 10 (once), V(1)=1530338970
9794169097 2810324[5]2478880 -3060677900 01 11 (12)C> 201530338978
== Executing PA-CTR 4, V(1)=0, V(2)=1530338975, repcount=765169488, factor=3/2
15150355513 6323230[5]3300480 52 01 112295508465 (12)C> 202
== Executing PPA-CTR 11 (once), V(1)=2295508464
15150355525 6323230[5]6351316 -4591016882 11 (11)B> 022295508468 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=2295508465, repcount=1147754233, factor=3/2
22036880923 1422726[6]3454176 50 113443262700 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=3443262699
22036880934 1422726[6]3030424 -6886525352 01 11 (12)C> 203443262703 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=3443262700, repcount=1721631351, factor=3/2
34088300391 3201135[6]5431352 52 01 115164894054 (12)C> 20 01 10
== Executing PPA-CTR 14 (once), V(1)=5164894053
34088300397 3201135[6]5219488 -10329788058 11 (11)B> 025164894057
== Executing PA-CTR 3, V(1)=0, V(2)=5164894054, repcount=2582447028, factor=3/2
49582982565 7202555[6]5250808 54 117747341085 (11)B> 02
49582982566 7202555[6]5250812 56 117747341086 (11)A>
49582982567 7202555[6]5250814 58 117747341087 (12)C>
49582982568 7202555[6]5250817 55 117747341087 <B(00) 10
49582982569 7202555[6]5250819 53 117747341086 <B(02) 00 10
49582982570 7202555[6]9932991 -15494682119 <B(02) 027747341086 00 10
49582982571 7202555[6]9933000 -15494682116 11 (11)D> 027747341086 00 10
49582982572 7202555[6]4615172 56 117747341087 (11)D> 00 10
49582982573 7202555[6]4615174 58 117747341088 (11)B> 10
49582982574 7202555[6]4615177 55 117747341088 <A(20) 20
49582982575 7202555[6]9297353 -15494682121 <A(20) 207747341089
49582982576 7202555[6]9297359 -15494682123 <A(01) 00 207747341089
49582982577 7202555[6]9297364 -15494682120 01 (11)A> 00 207747341089
49582982578 7202555[6]9297366 -15494682118 01 11 (12)C> 207747341089
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)B> 02
1 4 2 112+V(1) (11)A>
2 6 4 113+V(1) (12)C>
3 9 1 113+V(1) <B(00) 10
4 11 -1 112+V(1) <B(02) 00 10
5 15+2*V(1) -5+-2*V(1) <B(02) 022+V(1) 00 10
6 24+2*V(1) -2+-2*V(1) 11 (11)D> 022+V(1) 00 10
7 28+4*V(1) 2 113+V(1) (11)D> 00 10
8 30+4*V(1) 4 114+V(1) (11)B> 10
9 33+4*V(1) 1 114+V(1) <A(20) 20
10 41+6*V(1) -7+-2*V(1) <A(20) 205+V(1)
11 47+6*V(1) -9+-2*V(1) <A(01) 00 205+V(1)
12 52+6*V(1) -6+-2*V(1) 01 (11)A> 00 205+V(1)
13 54+6*V(1) -4+-2*V(1) 01 11 (12)C> 205+V(1)
<< Success! ==> defined new CTR 18 (PPA)
49582982578 7202555[6]9297366 -15494682118 01 11 (12)C> 207747341089
== Executing PA-CTR 4, V(1)=0, V(2)=7747341086, repcount=3873670544, factor=3/2
76698676386 1620574[7]9584950 58 01 1111621011633 (12)C> 20
== Executing PPA-CTR 5 (once), V(1)=11621011632
76698676396 1620574[7]5654794 -23242023212 11 (11)B> 0211621011637
== Executing PA-CTR 3, V(1)=0, V(2)=11621011634, repcount=5810505818, factor=3/2
111561711304 3646293[7]7877534 60 1117431517455 (11)B> 02
== Executing PPA-CTR 18 (once), V(1)=17431517454
111561711317 3646293[7]6982312 -34863034852 01 11 (12)C> 2017431517459
== Executing PA-CTR 4, V(1)=0, V(2)=17431517456, repcount=8715758729, factor=3/2
172572022420 8204160[7]1846996 64 01 1126147276188 (12)C> 20
== Executing PPA-CTR 5 (once), V(1)=26147276187
172572022430 8204160[7]5504170 -52294552316 11 (11)B> 0226147276192
== Executing PA-CTR 3, V(1)=0, V(2)=26147276189, repcount=13073638095, factor=3/2
251013851000 1845936[8]6916410 64 1139220914286 (11)B> 022
== Executing PPA-CTR 15 (once), V(1)=39220914285
251013851011 1845936[8]2402174 -78441828510 01 11 (12)C> 2039220914289 01
== Executing PA-CTR 6, V(1)=0, V(2)=39220914286, repcount=19610457144, factor=3/2
388287051019 4153356[8]6279758 66 01 1158831371433 (12)C> 20 01
== Executing PPA-CTR 13 (once), V(1)=58831371432
388287051027 4153356[8]9022656 -117662742802 11 (11)B> 0258831371436 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=58831371433, repcount=29415685717, factor=3/2
564781165329 9345051[8]0932964 66 1188247057152 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=88247057151
564781165340 9345051[8]3275924 -176494114240 01 11 (12)C> 2088247057155 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=88247057152, repcount=44123528577, factor=3/2
873645865379 2102636[9]4774192 68 01 11132370585732 (12)C> 20 01 10
== Executing PPA-CTR 14 (once), V(1)=132370585731
873645865385 2102636[9]5945684 -264741171398 11 (11)B> 02132370585735
== Executing PA-CTR 3, V(1)=0, V(2)=132370585732, repcount=66185292867, factor=3/2
1270757622587 4730932[9]8866892 70 11198555878602 (11)B> 02
== Executing PPA-CTR 18 (once), V(1)=198555878601
1270757622600 4730932[9]4138552 -397111757136 01 11 (12)C> 20198555878606
== Executing PA-CTR 4, V(1)=0, V(2)=198555878603, repcount=99277939302, factor=3/2
1965703197714 1064459[10]6286420 72 01 11297833817907 (12)C> 202
== Executing PPA-CTR 11 (once), V(1)=297833817906
1965703197726 1064459[10]9193908 -595667635746 11 (11)B> 02297833817910 00 10
== Executing PA-CTR 1, V(1)=0, V(2)=297833817907, repcount=148916908954, factor=3/2
2859204651450 2395034[10]3435592 70 11446750726863 (11)B> 022 00 10
== Executing PPA-CTR 8 (once), V(1)=446750726862
2859204651461 2395034[10]7796818 -893501453658 01 11 (12)C> 20446750726866 01 10
== Executing PA-CTR 2, V(1)=0, V(2)=446750726863, repcount=223375363432, factor=3/2
4422832195485 5388827[10]2704066 70 01 11670126090297 (12)C> 202 01 10
4422832195486 5388827[10]2704070 72 01 11670126090298 (11)B> 20 01 10
4422832195487 5388827[10]2704073 69 01 11670126090298 <A(20) 00 01 10
4422832195488 5388827[10]4884669 -1340252180527 01 <A(20) 20670126090298 00 01 10
4422832195489 5388827[10]4884673 -1340252180529 <A(01) 20670126090299 00 01 10
4422832195490 5388827[10]4884678 -1340252180526 01 (11)A> 20670126090299 00 01 10
4422832195491 5388827[10]7065276 72 01 11670126090299 (11)A> 00 01 10
4422832195492 5388827[10]7065278 74 01 11670126090300 (12)C> 01 10
4422832195493 5388827[10]7065281 71 01 11670126090300 <B(00) 11 10
4422832195494 5388827[10]7065283 69 01 11670126090299 <B(02) 00 11 10
4422832195495 5388827[10]9245881 -1340252180529 01 <B(02) 02670126090299 00 11 10
4422832195496 5388827[10]9245885 -1340252180531 <B(00) 02670126090300 00 11 10
4422832195497 5388827[10]9245894 -1340252180528 11 (11)B> 02670126090300 00 11 10
4422832195498 5388827[10]9245898 -1340252180526 112 (11)A> 02670126090299 00 11 10
4422832195499 5388827[10]9245903 -1340252180529 112 <B(02) 00 02670126090298 00 11 10
4422832195500 5388827[10]9245907 -1340252180533 <B(02) 022 00 02670126090298 00 11 10
Lines: 350
Top steps: 349
Macro steps: 4422832195500
Basic steps: 538882772292691999245907
Tape index: -1340252180533
nonzeros: 670126090304
log10(nonzeros): 11.826
log10(steps ): 23.731
Some long numbers above are shortened: #(omitted digits) shown in "[]".
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #h (T.J. & S. Ligocki)
: >4.210x10^6034 >5.318x10^12068
5T 1RB 0LB 1RD 2RC 2LA 0LA 1LB 0LA 0LA 1RA 0RA 1RH
L 20
M 350
pref sim
machv Lig43_h just simple
machv Lig43_h-r with repetitions reduced
machv Lig43_h-1 with tape symbol exponents
machv Lig43_h-m as 2-bck-macro machine
machv Lig43_h-a as 2-bck-macro machine with pure additive config-TRs
iam Lig43_h-a
mtype 2 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:17 CEST 2010
edate Tue Jul 6 22:14:18 CEST 2010
bnspeed 1
short 7
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:14:17 CEST 2010