Comment: This TM produces >1.7x10^1301 nonzeros in >8.4x10^2601 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 1LA | 3LA | 3RC | 1 | right | B | 1 | left | A | 3 | left | A | 3 | right | C |
| B | 2LC | 2LB | 1RB | 1RA | 2 | left | C | 2 | left | B | 1 | right | B | 1 | right | A |
| C | 2LA | 3LC | 1RH | 1LB | 2 | left | A | 3 | left | C | 1 | right | H | 1 | left | B |
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 <C 2
3 3 -1 <C 3 2
4 4 -2 <A 2 3 2
5 5 -1 1 B> 2 3 2
6 6 0 12 B> 3 2
7 7 1 13 A> 2
8 8 0 13 <A 3
9 11 -3 <A 13 3
10 12 -2 1 B> 13 3
11 13 -3 1 <B 2 12 3
12 14 -4 <B 22 12 3
13 15 -5 <C 23 12 3
14 16 -6 <A 24 12 3
15 17 -5 1 B> 24 12 3
16 21 -1 15 B> 12 3
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 11+V(1) B> 12+V(2) [*]*
1 1 -1 11+V(1) <B 2 11+V(2) [*]*
2 2+V(1) -2+-1*V(1) <B 22+V(1) 11+V(2) [*]*
3 3+V(1) -3+-1*V(1) <C 23+V(1) 11+V(2) [*]*
4 4+V(1) -4+-1*V(1) <A 24+V(1) 11+V(2) [*]*
5 5+V(1) -3+-1*V(1) 1 B> 24+V(1) 11+V(2) [*]*
6 9+2*V(1) 1 15+V(1) B> 11+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
16 21 -1 15 B> 12 3
== Executing PA-CTR 1, V(1)=4, V(2)=0, repcount=1, factor=4/1
22 38 0 19 B> 1 3
23 39 -1 19 <B 2 3
24 48 -10 <B 210 3
25 49 -11 <C 211 3
26 50 -12 <A 212 3
27 51 -11 1 B> 212 3
28 63 1 113 B> 3
29 64 2 114 A>
30 65 3 115 B>
31 66 2 115 <C 2
32 81 -13 <C 315 2
33 82 -14 <A 2 315 2
34 83 -13 1 B> 2 315 2
35 84 -12 12 B> 315 2
36 85 -11 13 A> 314 2
37 86 -10 13 3 C> 313 2
38 87 -11 13 3 <B 1 312 2
39 88 -10 14 A> 1 312 2
40 89 -11 14 <A 1 312 2
41 93 -15 <A 15 312 2
42 94 -14 1 B> 15 312 2
43 95 -15 1 <B 2 14 312 2
44 96 -16 <B 22 14 312 2
45 97 -17 <C 23 14 312 2
46 98 -18 <A 24 14 312 2
47 99 -17 1 B> 24 14 312 2
48 103 -13 15 B> 14 312 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 11+V(1) B> 12+V(2) [*]* [*]*
1 1 -1 11+V(1) <B 2 11+V(2) [*]* [*]*
2 2+V(1) -2+-1*V(1) <B 22+V(1) 11+V(2) [*]* [*]*
3 3+V(1) -3+-1*V(1) <C 23+V(1) 11+V(2) [*]* [*]*
4 4+V(1) -4+-1*V(1) <A 24+V(1) 11+V(2) [*]* [*]*
5 5+V(1) -3+-1*V(1) 1 B> 24+V(1) 11+V(2) [*]* [*]*
6 9+2*V(1) 1 15+V(1) B> 11+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
48 103 -13 15 B> 14 312 2
== Executing PA-CTR 2, V(1)=4, V(2)=2, repcount=3, factor=4/1
66 178 -10 117 B> 1 312 2
67 179 -11 117 <B 2 312 2
68 196 -28 <B 218 312 2
69 197 -29 <C 219 312 2
70 198 -30 <A 220 312 2
71 199 -29 1 B> 220 312 2
72 219 -9 121 B> 312 2
73 220 -8 122 A> 311 2
74 221 -7 122 3 C> 310 2
75 222 -8 122 3 <B 1 39 2
76 223 -7 123 A> 1 39 2
77 224 -8 123 <A 1 39 2
78 247 -31 <A 124 39 2
79 248 -30 1 B> 124 39 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(1) B> 1 34+V(2) [*]*
1 1 -1 11+V(1) <B 2 34+V(2) [*]*
2 2+V(1) -2+-1*V(1) <B 22+V(1) 34+V(2) [*]*
3 3+V(1) -3+-1*V(1) <C 23+V(1) 34+V(2) [*]*
4 4+V(1) -4+-1*V(1) <A 24+V(1) 34+V(2) [*]*
5 5+V(1) -3+-1*V(1) 1 B> 24+V(1) 34+V(2) [*]*
6 9+2*V(1) 1 15+V(1) B> 34+V(2) [*]*
7 10+2*V(1) 2 16+V(1) A> 33+V(2) [*]*
8 11+2*V(1) 3 16+V(1) 3 C> 32+V(2) [*]*
9 12+2*V(1) 2 16+V(1) 3 <B 1 31+V(2) [*]*
10 13+2*V(1) 3 17+V(1) A> 1 31+V(2) [*]*
11 14+2*V(1) 2 17+V(1) <A 1 31+V(2) [*]*
12 21+3*V(1) -5+-1*V(1) <A 18+V(1) 31+V(2) [*]*
13 22+3*V(1) -4+-1*V(1) 1 B> 18+V(1) 31+V(2) [*]*
<< Success! ==> defined new CTR 3 (PPA)
79 248 -30 1 B> 124 39 2
== Executing PA-CTR 2, V(1)=0, V(2)=22, repcount=23, factor=4/1
217 2479 -7 193 B> 1 39 2
== Executing PPA-CTR 3 (once), V(1)=92, V(2)=5
230 2777 -103 1 B> 1100 36 2
== Executing PA-CTR 2, V(1)=0, V(2)=98, repcount=99, factor=4/1
824 42476 -4 1397 B> 1 36 2
== Executing PPA-CTR 3 (once), V(1)=396, V(2)=2
837 43686 -404 1 B> 1404 33 2
== Executing PA-CTR 2, V(1)=0, V(2)=402, repcount=403, factor=4/1
3255 695337 -1 11613 B> 1 33 2
3256 695338 -2 11613 <B 2 33 2
3257 696951 -1615 <B 21614 33 2
3258 696952 -1616 <C 21615 33 2
3259 696953 -1617 <A 21616 33 2
3260 696954 -1616 1 B> 21616 33 2
3261 698570 0 11617 B> 33 2
3262 698571 1 11618 A> 32 2
3263 698572 2 11618 3 C> 3 2
3264 698573 1 11618 3 <B 1 2
3265 698574 2 11619 A> 1 2
3266 698575 1 11619 <A 1 2
3267 700194 -1618 <A 11620 2
3268 700195 -1617 1 B> 11620 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 11+V(1) B> 1 33 [*]*
1 1 -1 11+V(1) <B 2 33 [*]*
2 2+V(1) -2+-1*V(1) <B 22+V(1) 33 [*]*
3 3+V(1) -3+-1*V(1) <C 23+V(1) 33 [*]*
4 4+V(1) -4+-1*V(1) <A 24+V(1) 33 [*]*
5 5+V(1) -3+-1*V(1) 1 B> 24+V(1) 33 [*]*
6 9+2*V(1) 1 15+V(1) B> 33 [*]*
7 10+2*V(1) 2 16+V(1) A> 32 [*]*
8 11+2*V(1) 3 16+V(1) 3 C> 3 [*]*
9 12+2*V(1) 2 16+V(1) 3 <B 1 [*]*
10 13+2*V(1) 3 17+V(1) A> 1 [*]*
11 14+2*V(1) 2 17+V(1) <A 1 [*]*
12 21+3*V(1) -5+-1*V(1) <A 18+V(1) [*]*
13 22+3*V(1) -4+-1*V(1) 1 B> 18+V(1) [*]*
<< Success! ==> defined new CTR 4 (PPA)
3268 700195 -1617 1 B> 11620 2
== Executing PA-CTR 1, V(1)=0, V(2)=1618, repcount=1619, factor=4/1
12982 11192934 2 16477 B> 1 2
12983 11192935 1 16477 <B 22
12984 11199412 -6476 <B 26479
12985 11199413 -6477 <C 26480
12986 11199414 -6478 <A 26481
12987 11199415 -6477 1 B> 26481
12988 11205896 4 16482 B>
12989 11205897 3 16482 <C 2
12990 11212379 -6479 <C 36482 2
12991 11212380 -6480 <A 2 36482 2
12992 11212381 -6479 1 B> 2 36482 2
12993 11212382 -6478 12 B> 36482 2
12994 11212383 -6477 13 A> 36481 2
12995 11212384 -6476 13 3 C> 36480 2
12996 11212385 -6477 13 3 <B 1 36479 2
12997 11212386 -6476 14 A> 1 36479 2
12998 11212387 -6477 14 <A 1 36479 2
12999 11212391 -6481 <A 15 36479 2
13000 11212392 -6480 1 B> 15 36479 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(1) B> 1 21+V(2)
1 1 -1 11+V(1) <B 22+V(2)
2 2+V(1) -2+-1*V(1) <B 23+V(1)+V(2)
3 3+V(1) -3+-1*V(1) <C 24+V(1)+V(2)
4 4+V(1) -4+-1*V(1) <A 25+V(1)+V(2)
5 5+V(1) -3+-1*V(1) 1 B> 25+V(1)+V(2)
6 10+2*V(1)+V(2) 2+V(2) 16+V(1)+V(2) B>
7 11+2*V(1)+V(2) 1+V(2) 16+V(1)+V(2) <C 2
8 17+3*V(1)+2*V(2) -5+-1*V(1) <C 36+V(1)+V(2) 2
9 18+3*V(1)+2*V(2) -6+-1*V(1) <A 2 36+V(1)+V(2) 2
10 19+3*V(1)+2*V(2) -5+-1*V(1) 1 B> 2 36+V(1)+V(2) 2
11 20+3*V(1)+2*V(2) -4+-1*V(1) 12 B> 36+V(1)+V(2) 2
12 21+3*V(1)+2*V(2) -3+-1*V(1) 13 A> 35+V(1)+V(2) 2
13 22+3*V(1)+2*V(2) -2+-1*V(1) 13 3 C> 34+V(1)+V(2) 2
14 23+3*V(1)+2*V(2) -3+-1*V(1) 13 3 <B 1 33+V(1)+V(2) 2
15 24+3*V(1)+2*V(2) -2+-1*V(1) 14 A> 1 33+V(1)+V(2) 2
16 25+3*V(1)+2*V(2) -3+-1*V(1) 14 <A 1 33+V(1)+V(2) 2
17 29+3*V(1)+2*V(2) -7+-1*V(1) <A 15 33+V(1)+V(2) 2
18 30+3*V(1)+2*V(2) -6+-1*V(1) 1 B> 15 33+V(1)+V(2) 2
<< Success! ==> defined new CTR 5 (PPA)
13000 11212392 -6480 1 B> 15 36479 2
== Executing PA-CTR 2, V(1)=0, V(2)=3, repcount=4, factor=4/1
13024 11212476 -6476 117 B> 1 36479 2
== Executing PPA-CTR 3 (once), V(1)=16, V(2)=6475
13037 11212546 -6496 1 B> 124 36476 2
== Executing PA-CTR 2, V(1)=0, V(2)=22, repcount=23, factor=4/1
13175 11214777 -6473 193 B> 1 36476 2
== Executing PPA-CTR 3 (once), V(1)=92, V(2)=6472
13188 11215075 -6569 1 B> 1100 36473 2
== Executing PA-CTR 2, V(1)=0, V(2)=98, repcount=99, factor=4/1
13782 11254774 -6470 1397 B> 1 36473 2
== Executing PPA-CTR 3 (once), V(1)=396, V(2)=6469
13795 11255984 -6870 1 B> 1404 36470 2
== Executing PA-CTR 2, V(1)=0, V(2)=402, repcount=403, factor=4/1
16213 11907635 -6467 11613 B> 1 36470 2
== Executing PPA-CTR 3 (once), V(1)=1612, V(2)=6466
16226 11912493 -8083 1 B> 11620 36467 2
== Executing PA-CTR 2, V(1)=0, V(2)=1618, repcount=1619, factor=4/1
25940 22405232 -6464 16477 B> 1 36467 2
== Executing PPA-CTR 3 (once), V(1)=6476, V(2)=6463
25953 22424682 -12944 1 B> 16484 36464 2
== Executing PA-CTR 2, V(1)=0, V(2)=6482, repcount=6483, factor=4/1
64851 190574253 -6461 125933 B> 1 36464 2
== Executing PPA-CTR 3 (once), V(1)=25932, V(2)=6460
64864 190652071 -32397 1 B> 125940 36461 2
== Executing PA-CTR 2, V(1)=0, V(2)=25938, repcount=25939, factor=4/1
220498 2882108650 -6458 1103757 B> 1 36461 2
== Executing PPA-CTR 3 (once), V(1)=103756, V(2)=6457
220511 2882419940 -110218 1 B> 1103764 36458 2
== Executing PA-CTR 2, V(1)=0, V(2)=103762, repcount=103763, factor=4/1
843089 45949979431 -6455 1415053 B> 1 36458 2
== Executing PPA-CTR 3 (once), V(1)=415052, V(2)=6454
843102 45951224609 -421511 1 B> 1415060 36455 2
== Executing PA-CTR 2, V(1)=0, V(2)=415058, repcount=415059, factor=4/1
3333456 735049193828 -6452 11660237 B> 1 36455 2
== Executing PPA-CTR 3 (once), V(1)=1660236, V(2)=6451
3333469 735054174558 -1666692 1 B> 11660244 36452 2
== Executing PA-CTR 2, V(1)=0, V(2)=1660242, repcount=1660243, factor=4/1
13294927 11760689751969 -6449 16640973 B> 1 36452 2
== Executing PPA-CTR 3 (once), V(1)=6640972, V(2)=6448
13294940 11760709674907 -6647425 1 B> 16640980 36449 2
== Executing PA-CTR 2, V(1)=0, V(2)=6640978, repcount=6640979, factor=4/1
53140814 188171151193566 -6446 126563917 B> 1 36449 2
== Executing PPA-CTR 3 (once), V(1)=26563916, V(2)=6445
53140827 188171230885336 -26570366 1 B> 126563924 36446 2
== Executing PA-CTR 2, V(1)=0, V(2)=26563922, repcount=26563923, factor=4/1
212524365 3010739384304667 -6443 1106255693 B> 1 36446 2
== Executing PPA-CTR 3 (once), V(1)=106255692, V(2)=6442
212524378 3010739703071765 -106262139 1 B> 1106255700 36443 2
== Executing PA-CTR 2, V(1)=0, V(2)=106255698, repcount=106255699, factor=4/1
850058572 48171834514264664 -6440 1425022797 B> 1 36443 2
== Executing PPA-CTR 3 (once), V(1)=425022796, V(2)=6439
850058585 48171835789333074 -425029240 1 B> 1425022804 36440 2
== Executing PA-CTR 2, V(1)=0, V(2)=425022802, repcount=425022803, factor=4/1
3400195403 7707493[4]4354325 -6437 11700091213 B> 1 36440 2
== Executing PPA-CTR 3 (once), V(1)=1700091212, V(2)=6436
3400195416 7707493[4]4627983 -1700097653 1 B> 11700091220 36437 2
== Executing PA-CTR 2, V(1)=0, V(2)=1700091218, repcount=1700091219, factor=4/1
13600742730 1233198[6]8707922 -6434 16800364877 B> 1 36437 2
== Executing PPA-CTR 3 (once), V(1)=6800364876, V(2)=6433
13600742743 1233199[6]9802572 -6800371314 1 B> 16800364884 36434 2
== Executing PA-CTR 2, V(1)=0, V(2)=6800364882, repcount=6800364883, factor=4/1
54402932041 1973118[7]0041743 -6431 127201459533 B> 1 36434 2
== Executing PPA-CTR 3 (once), V(1)=27201459532, V(2)=6430
54402932054 1973118[7]4420361 -27201465967 1 B> 127201459540 36431 2
== Executing PA-CTR 2, V(1)=0, V(2)=27201459538, repcount=27201459539, factor=4/1
217611689288 3156989[8]8088140 -6428 1108805838157 B> 1 36431 2
== Executing PPA-CTR 3 (once), V(1)=108805838156, V(2)=6427
217611689301 3156989[8]5602630 -108805844588 1 B> 1108805838164 36428 2
== Executing PA-CTR 2, V(1)=0, V(2)=108805838162, repcount=108805838163, factor=4/1
870446718279 5051183[9]3651721 -6425 1435223352653 B> 1 36428 2
== Executing PPA-CTR 3 (once), V(1)=435223352652, V(2)=6424
870446718292 5051183[9]3709699 -435223359081 1 B> 1435223352660 36425 2
== Executing PA-CTR 2, V(1)=0, V(2)=435223352658, repcount=435223352659, factor=4/1
3481786834246 8081892[10]9954118 -6422 11740893410637 B> 1 36425 2
== Executing PPA-CTR 3 (once), V(1)=1740893410636, V(2)=6421
3481786834259 8081892[10]0186048 -1740893417062 1 B> 11740893410644 36422 2
== Executing PA-CTR 2, V(1)=0, V(2)=1740893410642, repcount=1740893410643, factor=4/1
13927147298117 1293102[12]9933059 -6419 16963573642573 B> 1 36422 2
== Executing PPA-CTR 3 (once), V(1)=6963573642572, V(2)=6418
13927147298130 1293102[12]0860797 -6963573648995 1 B> 16963573642580 36419 2
== Executing PA-CTR 2, V(1)=0, V(2)=6963573642578, repcount=6963573642579, factor=4/1
55708589153604 2068964[13]6158656 -6416 127854294570317 B> 1 36419 2
== Executing PPA-CTR 3 (once), V(1)=27854294570316, V(2)=6415
55708589153617 2068964[13]9869626 -27854294576736 1 B> 127854294570324 36416 2
== Executing PA-CTR 2, V(1)=0, V(2)=27854294570322, repcount=27854294570323, factor=4/1
222834356575555 3310343[14]2018557 -6413 1111417178281293 B> 1 36416 2
== Executing PPA-CTR 3 (once), V(1)=111417178281292, V(2)=6412
222834356575568 3310343[14]6862455 -111417178287709 1 B> 1111417178281300 36413 2
== Executing PA-CTR 2, V(1)=0, V(2)=111417178281298, repcount=111417178281299, factor=4/1
891337426263362 5296549[15]0778554 -6410 1445668713125197 B> 1 36413 2
== Executing PPA-CTR 3 (once), V(1)=445668713125196, V(2)=6409
891337426263375 5296549[15]0154164 -445668713131610 1 B> 1445668713125204 36410 2
== Executing PA-CTR 2, V(1)=0, V(2)=445668713125202, repcount=445668713125203, factor=4/1
3565349705014593 8474479[16]0945015 -6407 11782674852500813 B> 1 36410 2
== Executing PPA-CTR 3 (once), V(1)=1782674852500812, V(2)=6406
3565349705014606 8474479[16]8447473 -1782674852507223 1 B> 11782674852500820 36407 2
== Executing PA-CTR 2, V(1)=0, V(2)=1782674852500818, repcount=1782674852500819, factor=4/1
14261398820019520 1355916[18]3634612 -6404 17130699410003277 B> 1 36407 2
== Executing PPA-CTR 3 (once), V(1)=7130699410003276, V(2)=6403
14261398820019533 1355916[18]3644462 -7130699410009684 1 B> 17130699410003284 36404 2
== Executing PA-CTR 2, V(1)=0, V(2)=7130699410003282, repcount=7130699410003283, factor=4/1
57045595280039231 2169466[19]6773233 -6401 128522797640013133 B> 1 36404 2
== Executing PPA-CTR 3 (once), V(1)=28522797640013132, V(2)=6400
57045595280039244 2169466[19]6812651 -285227[4]0019537 1 B> 128522797640013140 36401 2
== Executing PA-CTR 2, V(1)=0, V(2)=28522797640013138, repcount=28522797640013139, factor=4/1
2281823[4]0118078 3471146[20]7411630 -6398 11140911[4]0052557 B> 1 36401 2
== Executing PPA-CTR 3 (once), V(1)=1140911[4]0052556, V(2)=6397
2281823[4]0118091 3471146[20]7569320 -114091[5]0058958 1 B> 11140911[4]0052564 36398 2
== Executing PA-CTR 2, V(1)=0, V(2)=1140911[4]0052562, repcount=1140911[4]0052563, factor=4/1
9127295[4]0433469 5553834[21]9308011 -6395 14563647[4]0210253 B> 1 36398 2
== Executing PPA-CTR 3 (once), V(1)=4563647[4]0210252, V(2)=6394
9127295[4]0433482 5553834[21]9938789 -456364[5]0216651 1 B> 14563647[4]0210260 36395 2
== Executing PA-CTR 2, V(1)=0, V(2)=4563647[4]0210258, repcount=4563647[4]0210259, factor=4/1
3650918[5]1695036 8886135[22]6378408 -6392 11825459[5]0841037 B> 1 36395 2
== Executing PPA-CTR 3 (once), V(1)=1825459[5]0841036, V(2)=6391
3650918[5]1695049 8886135[22]8901538 -182545[6]0847432 1 B> 11825459[5]0841044 36392 2
== Executing PA-CTR 2, V(1)=0, V(2)=1825459[5]0841042, repcount=1825459[5]0841043, factor=4/1
1460367[6]6741307 1421781[24]6418149 -6389 17301836[5]3364173 B> 1 36392 2
== Executing PPA-CTR 3 (once), V(1)=7301836[5]3364172, V(2)=6388
1460367[6]6741320 1421781[24]6510687 -730183[6]3370565 1 B> 17301836[5]3364180 36389 2
== Executing PA-CTR 2, V(1)=0, V(2)=7301836[5]3364178, repcount=7301836[5]3364179, factor=4/1
5841468[6]6926394 2274850[25]4707746 -6386 12920734[6]3456717 B> 1 36389 2
== Executing PPA-CTR 3 (once), V(1)=2920734[6]3456716, V(2)=6385
5841468[6]6926407 2274850[25]5077916 -292073[7]3463106 1 B> 12920734[6]3456724 36386 2
== Executing PA-CTR 2, V(1)=0, V(2)=2920734[6]3456722, repcount=2920734[6]3456723, factor=4/1
2336587[7]7666745 3639761[26]7956447 -6383 11168293[7]3826893 B> 1 36386 2
== Executing PPA-CTR 3 (once), V(1)=1168293[7]3826892, V(2)=6382
2336587[7]7666758 3639761[26]9437145 -116829[8]3833279 1 B> 11168293[7]3826900 36383 2
== Executing PA-CTR 2, V(1)=0, V(2)=1168293[7]3826898, repcount=1168293[7]3826899, factor=4/1
9346350[7]0628152 5823617[27]2396444 -6380 14673175[7]5307597 B> 1 36383 2
== Executing PPA-CTR 3 (once), V(1)=4673175[7]5307596, V(2)=6379
9346350[7]0628165 5823617[27]8319254 -467317[8]5313980 1 B> 14673175[7]5307604 36380 2
== Executing PA-CTR 2, V(1)=0, V(2)=4673175[7]5307602, repcount=4673175[7]5307603, factor=4/1
3738540[8]2473783 9317788[28]3279705 -6377 11869270[8]1230413 B> 1 36380 2
== Executing PPA-CTR 3 (once), V(1)=1869270[8]1230412, V(2)=6376
3738540[8]2473796 9317788[28]6970963 -186927[9]1236793 1 B> 11869270[8]1230420 36377 2
== Executing PA-CTR 2, V(1)=0, V(2)=1869270[8]1230418, repcount=1869270[8]1230419, factor=4/1
1495416[9]9856310 1490846[30]6785302 -6374 17477080[8]4921677 B> 1 36377 2
== Executing PPA-CTR 3 (once), V(1)=7477080[8]4921676, V(2)=6373
1495416[9]9856323 1490846[30]1550352 -747708[9]4928054 1 B> 17477080[8]4921684 36374 2
== Executing PA-CTR 2, V(1)=0, V(2)=7477080[8]4921682, repcount=7477080[8]4921683, factor=4/1
5981664[9]9386421 2385353[31]0368723 -6371 12990832[9]9686733 B> 1 36374 2
== Executing PPA-CTR 3 (once), V(1)=2990832[9]9686732, V(2)=6370
5981664[9]9386434 2385353[31]9428941 -299083[10]9693107 1 B> 12990832[9]9686740 36371 2
== Executing PA-CTR 2, V(1)=0, V(2)=2990832[9]9686738, repcount=2990832[9]9686739, factor=4/1
2392665[10]7506868 3816566[32]7679120 -6368 11196332[10]8746957 B> 1 36371 2
== Executing PPA-CTR 3 (once), V(1)=1196332[10]8746956, V(2)=6367
2392665[10]7506881 3816566[32]3920010 -119633[11]8753328 1 B> 11196332[10]8746964 36368 2
== Executing PA-CTR 2, V(1)=0, V(2)=1196332[10]8746962, repcount=1196332[10]8746963, factor=4/1
9570662[10]9988659 6106505[33]4548301 -6365 14785331[10]4987853 B> 1 36368 2
== Executing PPA-CTR 3 (once), V(1)=4785331[10]4987852, V(2)=6364
9570662[10]9988672 6106505[33]9511879 -478533[11]4994221 1 B> 14785331[10]4987860 36365 2
== Executing PA-CTR 2, V(1)=0, V(2)=4785331[10]4987858, repcount=4785331[10]4987859, factor=4/1
3828265[11]9915826 9770409[34]4066698 -6362 11914132[11]9951437 B> 1 36365 2
== Executing PPA-CTR 3 (once), V(1)=1914132[11]9951436, V(2)=6361
3828265[11]9915839 9770409[34]3921028 -191413[12]9957802 1 B> 11914132[11]9951444 36362 2
== Executing PA-CTR 2, V(1)=0, V(2)=1914132[11]9951442, repcount=1914132[11]9951443, factor=4/1
1531306[12]9624497 1563265[36]4807239 -6359 17656530[11]9805773 B> 1 36362 2
== Executing PPA-CTR 3 (once), V(1)=7656530[11]9805772, V(2)=6358
1531306[12]9624510 1563265[36]4224577 -765653[12]9812135 1 B> 17656530[11]9805780 36359 2
== Executing PA-CTR 2, V(1)=0, V(2)=7656530[11]9805778, repcount=7656530[11]9805779, factor=4/1
6125224[12]8459184 2501224[37]0440836 -6356 13062612[12]9223117 B> 1 36359 2
== Executing PPA-CTR 3 (once), V(1)=3062612[12]9223116, V(2)=6355
6125224[12]8459197 2501224[37]8110206 -306261[13]9229476 1 B> 13062612[12]9223124 36356 2
== Executing PA-CTR 2, V(1)=0, V(2)=3062612[12]9223122, repcount=3062612[12]9223123, factor=4/1
2450089[13]3797935 4001959[38]5718337 -6353 11225044[13]6892493 B> 1 36356 2
== Executing PPA-CTR 3 (once), V(1)=1225044[13]6892492, V(2)=6352
2450089[13]3797948 4001959[38]6395835 -122504[14]6898849 1 B> 11225044[13]6892500 36353 2
== Executing PA-CTR 2, V(1)=0, V(2)=1225044[13]6892498, repcount=1225044[13]6892499, factor=4/1
9800358[13]5152942 6403135[39]0718334 -6350 14900179[13]7569997 B> 1 36353 2
== Executing PPA-CTR 3 (once), V(1)=4900179[13]7569996, V(2)=6349
9800358[13]5152955 6403135[39]3428344 -490017[14]7576350 1 B> 14900179[13]7570004 36350 2
== Executing PA-CTR 2, V(1)=0, V(2)=4900179[13]7570002, repcount=4900179[13]7570003, factor=4/1
3920143[14]0572973 1024501[41]2958395 -6347 11960071[14]0280013 B> 1 36350 2
== Executing PPA-CTR 3 (once), V(1)=1960071[14]0280012, V(2)=6346
3920143[14]0572986 1024501[41]3798453 -196007[15]0286363 1 B> 11960071[14]0280020 36347 2
== Executing PA-CTR 2, V(1)=0, V(2)=1960071[14]0280018, repcount=1960071[14]0280019, factor=4/1
1568057[15]2253100 1639202[42]7759992 -6344 17840286[14]1120077 B> 1 36347 2
== Executing PPA-CTR 3 (once), V(1)=7840286[14]1120076, V(2)=6343
1568057[15]2253113 1639202[42]1120242 -784028[15]1126424 1 B> 17840286[14]1120084 36344 2
== Executing PA-CTR 2, V(1)=0, V(2)=7840286[14]1120082, repcount=7840286[14]1120083, factor=4/1
6272229[15]8973611 2622724[43]0428213 -6341 13136114[15]4480333 B> 1 36344 2
== Executing PPA-CTR 3 (once), V(1)=3136114[15]4480332, V(2)=6340
6272229[15]8973624 2622724[43]3869231 -313611[16]4486677 1 B> 13136114[15]4480340 36341 2
== Executing PA-CTR 2, V(1)=0, V(2)=3136114[15]4480338, repcount=3136114[15]4480339, factor=4/1
2508891[16]5855658 4196358[44]6490610 -6338 11254445[16]7921357 B> 1 36341 2
== Executing PPA-CTR 3 (once), V(1)=1254445[16]7921356, V(2)=6337
2508891[16]5855671 4196358[44]0254700 -125444[17]7927698 1 B> 11254445[16]7921364 36338 2
== Executing PA-CTR 2, V(1)=0, V(2)=1254445[16]7921362, repcount=1254445[16]7921363, factor=4/1
1003556[17]3383849 6714174[45]6972591 -6335 15017783[16]1685453 B> 1 36338 2
== Executing PPA-CTR 3 (once), V(1)=5017783[16]1685452, V(2)=6334
1003556[17]3383862 6714174[45]2028969 -501778[17]1691791 1 B> 15017783[16]1685460 36335 2
== Executing PA-CTR 2, V(1)=0, V(2)=5017783[16]1685458, repcount=5017783[16]1685459, factor=4/1
4014226[17]3496616 1074267[47]8618988 -6332 12007113[17]6741837 B> 1 36335 2
== Executing PPA-CTR 3 (once), V(1)=2007113[17]6741836, V(2)=6331
4014226[17]3496629 1074267[47]8844518 -200711[18]6748172 1 B> 12007113[17]6741844 36332 2
== Executing PA-CTR 2, V(1)=0, V(2)=2007113[17]6741842, repcount=2007113[17]6741843, factor=4/1
1605690[18]3947687 1718828[48]0700329 -6329 18028453[17]6967373 B> 1 36332 2
== Executing PPA-CTR 3 (once), V(1)=8028453[17]6967372, V(2)=6328
1605690[18]3947700 1718828[48]1602467 -802845[18]6973705 1 B> 18028453[17]6967380 36329 2
== Executing PA-CTR 2, V(1)=0, V(2)=8028453[17]6967378, repcount=8028453[17]6967379, factor=4/1
6422763[18]5751974 2750125[49]6957926 -6326 13211381[18]7869517 B> 1 36329 2
== Executing PPA-CTR 3 (once), V(1)=3211381[18]7869516, V(2)=6325
6422763[18]5751987 2750125[49]0566496 -321138[19]7875846 1 B> 13211381[18]7869524 36326 2
== Executing PA-CTR 2, V(1)=0, V(2)=3211381[18]7869522, repcount=3211381[18]7869523, factor=4/1
2569105[19]2969125 4400201[50]8904227 -6323 11284552[19]1478093 B> 1 36326 2
== Executing PPA-CTR 3 (once), V(1)=1284552[19]1478092, V(2)=6322
2569105[19]2969138 4400201[50]3338525 -128455[20]1484419 1 B> 11284552[19]1478100 36323 2
== Executing PA-CTR 2, V(1)=0, V(2)=1284552[19]1478098, repcount=1284552[19]1478099, factor=4/1
1027642[20]1837732 7040321[51]7344224 -6320 15138210[19]5912397 B> 1 36323 2
== Executing PPA-CTR 3 (once), V(1)=5138210[19]5912396, V(2)=6319
1027642[20]1837745 7040321[51]5081434 -513821[20]5918720 1 B> 15138210[19]5912404 36320 2
Lines: 201
Top steps: 200
Macro steps: 1027642086585017968146660731837745
Basic steps: 70403217208053971107311866655194207260755817938709272525375081434
Tape index: -513821043292508984073330365918720
nonzeros: 513821043292508984073330365918726
log10(nonzeros): 32.711
log10(steps ): 64.848
Some long numbers above are shortened: #(omitted digits) shown in "[]".
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #f (T.J. & S. Ligocki)
: >1.7x10^1301 >8.4x10^2601
5T 1RB 1LA 3LA 3RC 2LC 2LB 1RB 1RA 2LA 3LC 1RH 1LB
L 50
M 201
pref sim
machv Lig34_f just simple
machv Lig34_f-r with repetitions reduced
machv Lig34_f-1 with tape symbol exponents
machv Lig34_f-m as 1-macro machine
machv Lig34_f-a as 1-macro machine with pure additive config-TRs
iam Lig34_f-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:51 CEST 2010
edate Tue Jul 6 22:13:51 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:13:51 CEST 2010