Comment: This TM produces 668,420 nonzeros in 469,121,946,086 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | B2R | A3L | A2R | A3R | 1 | right | B | 2 | right | B | 3 | left | A | 2 | right | A | 3 | right | A |
| B | B2L | A2L | A3L | B4R | Z1R | 2 | left | B | 2 | left | A | 3 | left | A | 4 | right | B | 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 1-macro machine.
Simulation is done as 1-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 1 1 B>
2 2 0 1 <B 2
3 3 -1 <A 22
4 4 0 1 B> 22
5 5 -1 1 <A 3 2
6 6 0 2 B> 3 2
7 7 1 2 4 B> 2
8 8 0 2 4 <A 3
9 9 1 2 3 A> 3
10 10 2 2 3 2 A>
11 11 3 2 3 2 1 B>
12 12 2 2 3 2 1 <B 2
13 13 1 2 3 2 <A 22
14 14 0 2 3 <A 3 22
15 15 1 22 A> 3 22
16 16 2 23 A> 22
17 17 1 23 <A 3 2
18 20 -2 <A 34 2
19 21 -1 1 B> 34 2
20 25 3 1 44 B> 2
21 26 2 1 44 <A 3
22 27 3 1 43 3 A> 3
23 28 4 1 43 3 2 A>
24 29 5 1 43 3 2 1 B>
25 30 4 1 43 3 2 1 <B 2
26 31 3 1 43 3 2 <A 22
27 32 2 1 43 3 <A 3 22
28 33 3 1 43 2 A> 3 22
29 34 4 1 43 22 A> 22
30 35 3 1 43 22 <A 3 2
31 37 1 1 43 <A 33 2
32 38 2 1 42 3 A> 33 2
33 41 5 1 42 3 23 A> 2
34 42 4 1 42 3 23 <A 3
35 45 1 1 42 3 <A 34
36 46 2 1 42 2 A> 34
37 50 6 1 42 25 A>
38 51 7 1 42 25 1 B>
39 52 6 1 42 25 1 <B 2
40 53 5 1 42 25 <A 22
41 58 0 1 42 <A 35 22
42 59 1 1 4 3 A> 35 22
43 64 6 1 4 3 25 A> 22
44 65 5 1 4 3 25 <A 3 2
45 70 0 1 4 3 <A 36 2
46 71 1 1 4 2 A> 36 2
47 77 7 1 4 27 A> 2
48 78 6 1 4 27 <A 3
49 85 -1 1 4 <A 38
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 44+V(1) <A 31+V(2)
1 1 1 [*]* 43+V(1) 3 A> 31+V(2)
2 2+V(2) 2+V(2) [*]* 43+V(1) 3 21+V(2) A>
3 3+V(2) 3+V(2) [*]* 43+V(1) 3 21+V(2) 1 B>
4 4+V(2) 2+V(2) [*]* 43+V(1) 3 21+V(2) 1 <B 2
5 5+V(2) 1+V(2) [*]* 43+V(1) 3 21+V(2) <A 22
6 6+2*V(2) 0 [*]* 43+V(1) 3 <A 31+V(2) 22
7 7+2*V(2) 1 [*]* 43+V(1) 2 A> 31+V(2) 22
8 8+3*V(2) 2+V(2) [*]* 43+V(1) 22+V(2) A> 22
9 9+3*V(2) 1+V(2) [*]* 43+V(1) 22+V(2) <A 3 2
10 11+4*V(2) -1 [*]* 43+V(1) <A 33+V(2) 2
11 12+4*V(2) 0 [*]* 42+V(1) 3 A> 33+V(2) 2
12 15+5*V(2) 3+V(2) [*]* 42+V(1) 3 23+V(2) A> 2
13 16+5*V(2) 2+V(2) [*]* 42+V(1) 3 23+V(2) <A 3
14 19+6*V(2) -1 [*]* 42+V(1) 3 <A 34+V(2)
15 20+6*V(2) 0 [*]* 42+V(1) 2 A> 34+V(2)
16 24+7*V(2) 4+V(2) [*]* 42+V(1) 25+V(2) A>
17 25+7*V(2) 5+V(2) [*]* 42+V(1) 25+V(2) 1 B>
18 26+7*V(2) 4+V(2) [*]* 42+V(1) 25+V(2) 1 <B 2
19 27+7*V(2) 3+V(2) [*]* 42+V(1) 25+V(2) <A 22
20 32+8*V(2) -2 [*]* 42+V(1) <A 35+V(2) 22
21 33+8*V(2) -1 [*]* 41+V(1) 3 A> 35+V(2) 22
22 38+9*V(2) 4+V(2) [*]* 41+V(1) 3 25+V(2) A> 22
23 39+9*V(2) 3+V(2) [*]* 41+V(1) 3 25+V(2) <A 3 2
24 44+10*V(2) -2 [*]* 41+V(1) 3 <A 36+V(2) 2
25 45+10*V(2) -1 [*]* 41+V(1) 2 A> 36+V(2) 2
26 51+11*V(2) 5+V(2) [*]* 41+V(1) 27+V(2) A> 2
27 52+11*V(2) 4+V(2) [*]* 41+V(1) 27+V(2) <A 3
28 59+12*V(2) -3 [*]* 41+V(1) <A 38+V(2)
<< Success! ==> defined new CTR 1 (PA)
50 86 0 1 3 A> 38
51 94 8 1 3 28 A>
52 95 9 1 3 28 1 B>
53 96 8 1 3 28 1 <B 2
54 97 7 1 3 28 <A 22
55 105 -1 1 3 <A 38 22
56 106 0 1 2 A> 38 22
57 114 8 1 29 A> 22
58 115 7 1 29 <A 3 2
59 124 -2 1 <A 310 2
60 125 -1 2 B> 310 2
61 135 9 2 410 B> 2
62 136 8 2 410 <A 3
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 4 <A 32+V(1)
1 1 1 1 3 A> 32+V(1)
2 3+V(1) 3+V(1) 1 3 22+V(1) A>
3 4+V(1) 4+V(1) 1 3 22+V(1) 1 B>
4 5+V(1) 3+V(1) 1 3 22+V(1) 1 <B 2
5 6+V(1) 2+V(1) 1 3 22+V(1) <A 22
6 8+2*V(1) 0 1 3 <A 32+V(1) 22
7 9+2*V(1) 1 1 2 A> 32+V(1) 22
8 11+3*V(1) 3+V(1) 1 23+V(1) A> 22
9 12+3*V(1) 2+V(1) 1 23+V(1) <A 3 2
10 15+4*V(1) -1 1 <A 34+V(1) 2
11 16+4*V(1) 0 2 B> 34+V(1) 2
12 20+5*V(1) 4+V(1) 2 44+V(1) B> 2
13 21+5*V(1) 3+V(1) 2 44+V(1) <A 3
<< Success! ==> defined new CTR 2 (PPA)
62 136 8 2 410 <A 3
== Executing PA-CTR 1, V(1)=6, V(2)=0, repcount=3, factor=7/3
146 565 -1 2 4 <A 322
147 566 0 2 3 A> 322
148 588 22 2 3 222 A>
149 589 23 2 3 222 1 B>
150 590 22 2 3 222 1 <B 2
151 591 21 2 3 222 <A 22
152 613 -1 2 3 <A 322 22
153 614 0 22 A> 322 22
154 636 22 224 A> 22
155 637 21 224 <A 3 2
156 661 -3 <A 325 2
157 662 -2 1 B> 325 2
158 687 23 1 425 B> 2
159 688 22 1 425 <A 3
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 21+V(1) 4 <A 31+V(2)
1 1 1 21+V(1) 3 A> 31+V(2)
2 2+V(2) 2+V(2) 21+V(1) 3 21+V(2) A>
3 3+V(2) 3+V(2) 21+V(1) 3 21+V(2) 1 B>
4 4+V(2) 2+V(2) 21+V(1) 3 21+V(2) 1 <B 2
5 5+V(2) 1+V(2) 21+V(1) 3 21+V(2) <A 22
6 6+2*V(2) 0 21+V(1) 3 <A 31+V(2) 22
7 7+2*V(2) 1 22+V(1) A> 31+V(2) 22
8 8+3*V(2) 2+V(2) 23+V(1)+V(2) A> 22
9 9+3*V(2) 1+V(2) 23+V(1)+V(2) <A 3 2
10 12+V(1)+4*V(2) -2+-1*V(1) <A 34+V(1)+V(2) 2
11 13+V(1)+4*V(2) -1+-1*V(1) 1 B> 34+V(1)+V(2) 2
12 17+2*V(1)+5*V(2) 3+V(2) 1 44+V(1)+V(2) B> 2
13 18+2*V(1)+5*V(2) 2+V(2) 1 44+V(1)+V(2) <A 3
<< Success! ==> defined new CTR 3 (PPA)
159 688 22 1 425 <A 3
== Executing PA-CTR 1, V(1)=21, V(2)=0, repcount=8, factor=7/3
383 3512 -2 1 4 <A 357
== Executing PPA-CTR 2 (once), V(1)=55
396 3808 56 2 459 <A 3
== Executing PA-CTR 1, V(1)=55, V(2)=0, repcount=19, factor=7/3
928 19293 -1 2 42 <A 3134
929 19294 0 2 4 3 A> 3134
930 19428 134 2 4 3 2134 A>
931 19429 135 2 4 3 2134 1 B>
932 19430 134 2 4 3 2134 1 <B 2
933 19431 133 2 4 3 2134 <A 22
934 19565 -1 2 4 3 <A 3134 22
935 19566 0 2 4 2 A> 3134 22
936 19700 134 2 4 2135 A> 22
937 19701 133 2 4 2135 <A 3 2
938 19836 -2 2 4 <A 3136 2
939 19837 -1 2 3 A> 3136 2
940 19973 135 2 3 2136 A> 2
941 19974 134 2 3 2136 <A 3
942 20110 -2 2 3 <A 3137
943 20111 -1 22 A> 3137
944 20248 136 2139 A>
945 20249 137 2139 1 B>
946 20250 136 2139 1 <B 2
947 20251 135 2139 <A 22
948 20390 -4 <A 3139 22
949 20391 -3 1 B> 3139 22
950 20530 136 1 4139 B> 22
951 20531 135 1 4139 <A 3 2
952 20532 136 1 4138 3 A> 3 2
953 20533 137 1 4138 3 2 A> 2
954 20534 136 1 4138 3 2 <A 3
955 20535 135 1 4138 3 <A 32
956 20536 136 1 4138 2 A> 32
957 20538 138 1 4138 23 A>
958 20539 139 1 4138 23 1 B>
959 20540 138 1 4138 23 1 <B 2
960 20541 137 1 4138 23 <A 22
961 20544 134 1 4138 <A 33 22
962 20545 135 1 4137 3 A> 33 22
963 20548 138 1 4137 3 23 A> 22
964 20549 137 1 4137 3 23 <A 3 2
965 20552 134 1 4137 3 <A 34 2
966 20553 135 1 4137 2 A> 34 2
967 20557 139 1 4137 25 A> 2
968 20558 138 1 4137 25 <A 3
969 20563 133 1 4137 <A 36
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 21+V(1) 42 <A 31+V(2)
1 1 1 21+V(1) 4 3 A> 31+V(2)
2 2+V(2) 2+V(2) 21+V(1) 4 3 21+V(2) A>
3 3+V(2) 3+V(2) 21+V(1) 4 3 21+V(2) 1 B>
4 4+V(2) 2+V(2) 21+V(1) 4 3 21+V(2) 1 <B 2
5 5+V(2) 1+V(2) 21+V(1) 4 3 21+V(2) <A 22
6 6+2*V(2) 0 21+V(1) 4 3 <A 31+V(2) 22
7 7+2*V(2) 1 21+V(1) 4 2 A> 31+V(2) 22
8 8+3*V(2) 2+V(2) 21+V(1) 4 22+V(2) A> 22
9 9+3*V(2) 1+V(2) 21+V(1) 4 22+V(2) <A 3 2
10 11+4*V(2) -1 21+V(1) 4 <A 33+V(2) 2
11 12+4*V(2) 0 21+V(1) 3 A> 33+V(2) 2
12 15+5*V(2) 3+V(2) 21+V(1) 3 23+V(2) A> 2
13 16+5*V(2) 2+V(2) 21+V(1) 3 23+V(2) <A 3
14 19+6*V(2) -1 21+V(1) 3 <A 34+V(2)
15 20+6*V(2) 0 22+V(1) A> 34+V(2)
16 24+7*V(2) 4+V(2) 26+V(1)+V(2) A>
17 25+7*V(2) 5+V(2) 26+V(1)+V(2) 1 B>
18 26+7*V(2) 4+V(2) 26+V(1)+V(2) 1 <B 2
19 27+7*V(2) 3+V(2) 26+V(1)+V(2) <A 22
20 33+V(1)+8*V(2) -3+-1*V(1) <A 36+V(1)+V(2) 22
21 34+V(1)+8*V(2) -2+-1*V(1) 1 B> 36+V(1)+V(2) 22
22 40+2*V(1)+9*V(2) 4+V(2) 1 46+V(1)+V(2) B> 22
23 41+2*V(1)+9*V(2) 3+V(2) 1 46+V(1)+V(2) <A 3 2
24 42+2*V(1)+9*V(2) 4+V(2) 1 45+V(1)+V(2) 3 A> 3 2
25 43+2*V(1)+9*V(2) 5+V(2) 1 45+V(1)+V(2) 3 2 A> 2
26 44+2*V(1)+9*V(2) 4+V(2) 1 45+V(1)+V(2) 3 2 <A 3
27 45+2*V(1)+9*V(2) 3+V(2) 1 45+V(1)+V(2) 3 <A 32
28 46+2*V(1)+9*V(2) 4+V(2) 1 45+V(1)+V(2) 2 A> 32
29 48+2*V(1)+9*V(2) 6+V(2) 1 45+V(1)+V(2) 23 A>
30 49+2*V(1)+9*V(2) 7+V(2) 1 45+V(1)+V(2) 23 1 B>
31 50+2*V(1)+9*V(2) 6+V(2) 1 45+V(1)+V(2) 23 1 <B 2
32 51+2*V(1)+9*V(2) 5+V(2) 1 45+V(1)+V(2) 23 <A 22
33 54+2*V(1)+9*V(2) 2+V(2) 1 45+V(1)+V(2) <A 33 22
34 55+2*V(1)+9*V(2) 3+V(2) 1 44+V(1)+V(2) 3 A> 33 22
35 58+2*V(1)+9*V(2) 6+V(2) 1 44+V(1)+V(2) 3 23 A> 22
36 59+2*V(1)+9*V(2) 5+V(2) 1 44+V(1)+V(2) 3 23 <A 3 2
37 62+2*V(1)+9*V(2) 2+V(2) 1 44+V(1)+V(2) 3 <A 34 2
38 63+2*V(1)+9*V(2) 3+V(2) 1 44+V(1)+V(2) 2 A> 34 2
39 67+2*V(1)+9*V(2) 7+V(2) 1 44+V(1)+V(2) 25 A> 2
40 68+2*V(1)+9*V(2) 6+V(2) 1 44+V(1)+V(2) 25 <A 3
41 73+2*V(1)+9*V(2) 1+V(2) 1 44+V(1)+V(2) <A 36
<< Success! ==> defined new CTR 4 (PPA)
969 20563 133 1 4137 <A 36
== Executing PA-CTR 1, V(1)=133, V(2)=5, repcount=45, factor=7/3
2229 109078 -2 1 42 <A 3321
2230 109079 -1 1 4 3 A> 3321
2231 109400 320 1 4 3 2321 A>
2232 109401 321 1 4 3 2321 1 B>
2233 109402 320 1 4 3 2321 1 <B 2
2234 109403 319 1 4 3 2321 <A 22
2235 109724 -2 1 4 3 <A 3321 22
2236 109725 -1 1 4 2 A> 3321 22
2237 110046 320 1 4 2322 A> 22
2238 110047 319 1 4 2322 <A 3 2
2239 110369 -3 1 4 <A 3323 2
2240 110370 -2 1 3 A> 3323 2
2241 110693 321 1 3 2323 A> 2
2242 110694 320 1 3 2323 <A 3
2243 111017 -3 1 3 <A 3324
2244 111018 -2 1 2 A> 3324
2245 111342 322 1 2325 A>
2246 111343 323 1 2325 1 B>
2247 111344 322 1 2325 1 <B 2
2248 111345 321 1 2325 <A 22
2249 111670 -4 1 <A 3325 22
2250 111671 -3 2 B> 3325 22
2251 111996 322 2 4325 B> 22
2252 111997 321 2 4325 <A 3 2
2253 111998 322 2 4324 3 A> 3 2
2254 111999 323 2 4324 3 2 A> 2
2255 112000 322 2 4324 3 2 <A 3
2256 112001 321 2 4324 3 <A 32
2257 112002 322 2 4324 2 A> 32
2258 112004 324 2 4324 23 A>
2259 112005 325 2 4324 23 1 B>
2260 112006 324 2 4324 23 1 <B 2
2261 112007 323 2 4324 23 <A 22
2262 112010 320 2 4324 <A 33 22
2263 112011 321 2 4323 3 A> 33 22
2264 112014 324 2 4323 3 23 A> 22
2265 112015 323 2 4323 3 23 <A 3 2
2266 112018 320 2 4323 3 <A 34 2
2267 112019 321 2 4323 2 A> 34 2
2268 112023 325 2 4323 25 A> 2
2269 112024 324 2 4323 25 <A 3
2270 112029 319 2 4323 <A 36
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 42 <A 32+V(1)
1 1 1 1 4 3 A> 32+V(1)
2 3+V(1) 3+V(1) 1 4 3 22+V(1) A>
3 4+V(1) 4+V(1) 1 4 3 22+V(1) 1 B>
4 5+V(1) 3+V(1) 1 4 3 22+V(1) 1 <B 2
5 6+V(1) 2+V(1) 1 4 3 22+V(1) <A 22
6 8+2*V(1) 0 1 4 3 <A 32+V(1) 22
7 9+2*V(1) 1 1 4 2 A> 32+V(1) 22
8 11+3*V(1) 3+V(1) 1 4 23+V(1) A> 22
9 12+3*V(1) 2+V(1) 1 4 23+V(1) <A 3 2
10 15+4*V(1) -1 1 4 <A 34+V(1) 2
11 16+4*V(1) 0 1 3 A> 34+V(1) 2
12 20+5*V(1) 4+V(1) 1 3 24+V(1) A> 2
13 21+5*V(1) 3+V(1) 1 3 24+V(1) <A 3
14 25+6*V(1) -1 1 3 <A 35+V(1)
15 26+6*V(1) 0 1 2 A> 35+V(1)
16 31+7*V(1) 5+V(1) 1 26+V(1) A>
17 32+7*V(1) 6+V(1) 1 26+V(1) 1 B>
18 33+7*V(1) 5+V(1) 1 26+V(1) 1 <B 2
19 34+7*V(1) 4+V(1) 1 26+V(1) <A 22
20 40+8*V(1) -2 1 <A 36+V(1) 22
21 41+8*V(1) -1 2 B> 36+V(1) 22
22 47+9*V(1) 5+V(1) 2 46+V(1) B> 22
23 48+9*V(1) 4+V(1) 2 46+V(1) <A 3 2
24 49+9*V(1) 5+V(1) 2 45+V(1) 3 A> 3 2
25 50+9*V(1) 6+V(1) 2 45+V(1) 3 2 A> 2
26 51+9*V(1) 5+V(1) 2 45+V(1) 3 2 <A 3
27 52+9*V(1) 4+V(1) 2 45+V(1) 3 <A 32
28 53+9*V(1) 5+V(1) 2 45+V(1) 2 A> 32
29 55+9*V(1) 7+V(1) 2 45+V(1) 23 A>
30 56+9*V(1) 8+V(1) 2 45+V(1) 23 1 B>
31 57+9*V(1) 7+V(1) 2 45+V(1) 23 1 <B 2
32 58+9*V(1) 6+V(1) 2 45+V(1) 23 <A 22
33 61+9*V(1) 3+V(1) 2 45+V(1) <A 33 22
34 62+9*V(1) 4+V(1) 2 44+V(1) 3 A> 33 22
35 65+9*V(1) 7+V(1) 2 44+V(1) 3 23 A> 22
36 66+9*V(1) 6+V(1) 2 44+V(1) 3 23 <A 3 2
37 69+9*V(1) 3+V(1) 2 44+V(1) 3 <A 34 2
38 70+9*V(1) 4+V(1) 2 44+V(1) 2 A> 34 2
39 74+9*V(1) 8+V(1) 2 44+V(1) 25 A> 2
40 75+9*V(1) 7+V(1) 2 44+V(1) 25 <A 3
41 80+9*V(1) 2+V(1) 2 44+V(1) <A 36
<< Success! ==> defined new CTR 5 (PPA)
2270 112029 319 2 4323 <A 36
== Executing PA-CTR 1, V(1)=319, V(2)=5, repcount=107, factor=7/3
5266 601126 -2 2 42 <A 3755
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=754
5307 607985 753 1 4758 <A 36
== Executing PA-CTR 1, V(1)=754, V(2)=5, repcount=252, factor=7/3
12363 3294557 -3 1 42 <A 31770
== Executing PPA-CTR 5 (once), V(1)=1768
12404 3310549 1767 2 41772 <A 36
== Executing PA-CTR 1, V(1)=1768, V(2)=5, repcount=590, factor=7/3
28924 17976179 -3 2 42 <A 34136
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=4135
28965 18013467 4133 1 44139 <A 36
== Executing PA-CTR 1, V(1)=4135, V(2)=5, repcount=1379, factor=7/3
67577 97988572 -4 1 42 <A 39659
== Executing PPA-CTR 5 (once), V(1)=9657
67618 98075565 9655 2 49661 <A 36
== Executing PA-CTR 1, V(1)=9657, V(2)=5, repcount=3220, factor=7/3
157778 533796305 -5 2 4 <A 322546
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=22545
157791 533909048 22542 1 422549 <A 3
== Executing PA-CTR 1, V(1)=22545, V(2)=0, repcount=7516, factor=7/3
368239 2906627572 -6 1 4 <A 352613
== Executing PPA-CTR 2 (once), V(1)=52611
368252 2906890648 52608 2 452615 <A 3
== Executing PA-CTR 1, V(1)=52611, V(2)=0, repcount=17538, factor=7/3
859316 15825609442 -6 2 4 <A 3122767
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=122766
859329 15826223290 122762 1 4122770 <A 3
== Executing PA-CTR 1, V(1)=122766, V(2)=0, repcount=40923, factor=7/3
2005173 86163979999 -7 1 4 <A 3286462
== Executing PPA-CTR 2 (once), V(1)=286460
2005186 86165412320 286456 2 4286464 <A 3
== Executing PA-CTR 1, V(1)=286460, V(2)=0, repcount=95487, factor=7/3
4678822 469113256697 -5 2 43 <A 3668410
4678823 469113256698 -4 2 42 3 A> 3668410
4678824 469113925108 668406 2 42 3 2668410 A>
4678825 469113925109 668407 2 42 3 2668410 1 B>
4678826 469113925110 668406 2 42 3 2668410 1 <B 2
4678827 469113925111 668405 2 42 3 2668410 <A 22
4678828 469114593521 -5 2 42 3 <A 3668410 22
4678829 469114593522 -4 2 42 2 A> 3668410 22
4678830 469115261932 668406 2 42 2668411 A> 22
4678831 469115261933 668405 2 42 2668411 <A 3 2
4678832 469115930344 -6 2 42 <A 3668412 2
4678833 469115930345 -5 2 4 3 A> 3668412 2
4678834 469116598757 668407 2 4 3 2668412 A> 2
4678835 469116598758 668406 2 4 3 2668412 <A 3
4678836 469117267170 -6 2 4 3 <A 3668413
4678837 469117267171 -5 2 4 2 A> 3668413
4678838 469117935584 668408 2 4 2668414 A>
4678839 469117935585 668409 2 4 2668414 1 B>
4678840 469117935586 668408 2 4 2668414 1 <B 2
4678841 469117935587 668407 2 4 2668414 <A 22
4678842 469118604001 -7 2 4 <A 3668414 22
4678843 469118604002 -6 2 3 A> 3668414 22
4678844 469119272416 668408 2 3 2668414 A> 22
4678845 469119272417 668407 2 3 2668414 <A 3 2
4678846 469119940831 -7 2 3 <A 3668415 2
4678847 469119940832 -6 22 A> 3668415 2
4678848 469120609247 668409 2668417 A> 2
4678849 469120609248 668408 2668417 <A 3
4678850 469121277665 -9 <A 3668418
4678851 469121277666 -8 1 B> 3668418
4678852 469121946084 668410 1 4668418 B>
4678853 469121946085 668409 1 4668418 <B 2
4678854 469121946086 668410 1 4668417 1 Z> 2
4678854 469121946086 668410 1 4668417 1 Z> 2 [stop]
Lines: 213
Top steps: 211
Macro steps: 4678854
Basic steps: 469121946086
Tape index: 668410
nonzeros: 668420
log10(nonzeros): 5.825
log10(steps ): 11.671
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #e (G. Lafitte & C. Papazian)
5T B1R B2R A3L A2R A3R B2L A2L A3L B4R Z1R
: 668,420 469,121,946,086
L 4
M 250
pref sim
machv Laf25_e just simple
machv Laf25_e-r with repetitions reduced
machv Laf25_e-1 with tape symbol exponents
machv Laf25_e-m as 1-macro machine
machv Laf25_e-a as 1-macro machine with pure additive config-TRs
iam Laf25_e-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:00 CEST 2010
edate Tue Jul 6 22:12:01 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:12:00 CEST 2010