Comment: This TM produces >3.7x10^6518 nonzeros in >5.2x10^13036 steps. Comment: This is the currently best known 3x4 TM
| 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 | 1RA | 2LB | 3LA | 1 | right | B | 1 | right | A | 2 | left | B | 3 | left | A |
| B | 2LA | 0LB | 1LC | 1LB | 2 | left | A | 0 | left | B | 1 | left | C | 1 | left | B |
| C | 3RB | 3RC | 1RH | 1LC | 3 | right | B | 3 | right | C | 1 | right | H | 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 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 <A 2
3 3 1 1 A> 2
4 4 0 1 <B 2
5 5 -1 <B 0 2
6 6 -2 <A 2 0 2
7 7 -1 1 B> 2 0 2
8 8 -2 1 <C 1 0 2
9 9 -1 3 C> 1 0 2
10 10 0 32 C> 0 2
11 11 1 33 B> 2
12 12 0 33 <C 1
13 15 -3 <C 14
14 16 -2 3 B> 14
15 17 -3 3 <B 0 13
16 18 -4 <B 1 0 13
17 19 -5 <A 2 1 0 13
18 20 -4 1 B> 2 1 0 13
19 21 -5 1 <C 12 0 13
20 22 -4 3 C> 12 0 13
21 24 -2 33 C> 0 13
22 25 -1 34 B> 13
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 31+V(1) B> 12+V(2)
1 1 -1 31+V(1) <B 0 11+V(2)
2 2+V(1) -2+-1*V(1) <B 11+V(1) 0 11+V(2)
3 3+V(1) -3+-1*V(1) <A 2 11+V(1) 0 11+V(2)
4 4+V(1) -2+-1*V(1) 1 B> 2 11+V(1) 0 11+V(2)
5 5+V(1) -3+-1*V(1) 1 <C 12+V(1) 0 11+V(2)
6 6+V(1) -2+-1*V(1) 3 C> 12+V(1) 0 11+V(2)
7 8+2*V(1) 0 33+V(1) C> 0 11+V(2)
8 9+2*V(1) 1 34+V(1) B> 11+V(2)
<< Success! ==> defined new CTR 1 (PA)
22 25 -1 34 B> 13
== Executing PA-CTR 1, V(1)=3, V(2)=1, repcount=2, factor=3/1
38 61 1 310 B> 1
39 62 0 310 <B
40 72 -10 <B 110
41 73 -11 <A 2 110
42 74 -10 1 B> 2 110
43 75 -11 1 <C 111
44 76 -10 3 C> 111
45 87 1 312 C>
46 88 2 313 B>
47 89 1 313 <A 2
48 102 -12 <A 313 2
49 103 -11 1 B> 313 2
50 104 -12 1 <B 1 312 2
51 105 -13 <B 0 1 312 2
52 106 -14 <A 2 0 1 312 2
53 107 -13 1 B> 2 0 1 312 2
54 108 -14 1 <C 1 0 1 312 2
55 109 -13 3 C> 1 0 1 312 2
56 110 -12 32 C> 0 1 312 2
57 111 -11 33 B> 1 312 2
58 112 -12 33 <B 0 312 2
59 115 -15 <B 13 0 312 2
60 116 -16 <A 2 13 0 312 2
61 117 -15 1 B> 2 13 0 312 2
62 118 -16 1 <C 14 0 312 2
63 119 -15 3 C> 14 0 312 2
64 123 -11 35 C> 0 312 2
65 124 -10 36 B> 312 2
66 125 -11 36 <B 1 311 2
67 131 -17 <B 17 311 2
68 132 -18 <A 2 17 311 2
69 133 -17 1 B> 2 17 311 2
70 134 -18 1 <C 18 311 2
71 135 -17 3 C> 18 311 2
72 143 -9 39 C> 311 2
73 144 -10 39 <C 1 310 2
74 153 -19 <C 110 310 2
75 154 -18 3 B> 110 310 2
76 155 -19 3 <B 0 19 310 2
77 156 -20 <B 1 0 19 310 2
78 157 -21 <A 2 1 0 19 310 2
79 158 -20 1 B> 2 1 0 19 310 2
80 159 -21 1 <C 12 0 19 310 2
81 160 -20 3 C> 12 0 19 310 2
82 162 -18 33 C> 0 19 310 2
83 163 -17 34 B> 19 310 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 31+V(1) B> 12+V(2) [*]* [*]*
1 1 -1 31+V(1) <B 0 11+V(2) [*]* [*]*
2 2+V(1) -2+-1*V(1) <B 11+V(1) 0 11+V(2) [*]* [*]*
3 3+V(1) -3+-1*V(1) <A 2 11+V(1) 0 11+V(2) [*]* [*]*
4 4+V(1) -2+-1*V(1) 1 B> 2 11+V(1) 0 11+V(2) [*]* [*]*
5 5+V(1) -3+-1*V(1) 1 <C 12+V(1) 0 11+V(2) [*]* [*]*
6 6+V(1) -2+-1*V(1) 3 C> 12+V(1) 0 11+V(2) [*]* [*]*
7 8+2*V(1) 0 33+V(1) C> 0 11+V(2) [*]* [*]*
8 9+2*V(1) 1 34+V(1) B> 11+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
83 163 -17 34 B> 19 310 2
== Executing PA-CTR 2, V(1)=3, V(2)=7, repcount=8, factor=3/1
147 451 -9 328 B> 1 310 2
148 452 -10 328 <B 0 310 2
149 480 -38 <B 128 0 310 2
150 481 -39 <A 2 128 0 310 2
151 482 -38 1 B> 2 128 0 310 2
152 483 -39 1 <C 129 0 310 2
153 484 -38 3 C> 129 0 310 2
154 513 -9 330 C> 0 310 2
155 514 -8 331 B> 310 2
156 515 -9 331 <B 1 39 2
157 546 -40 <B 132 39 2
158 547 -41 <A 2 132 39 2
159 548 -40 1 B> 2 132 39 2
160 549 -41 1 <C 133 39 2
161 550 -40 3 C> 133 39 2
162 583 -7 334 C> 39 2
163 584 -8 334 <C 1 38 2
164 618 -42 <C 135 38 2
165 619 -41 3 B> 135 38 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(1) B> 1 33+V(2) [*]*
1 1 -1 31+V(1) <B 0 33+V(2) [*]*
2 2+V(1) -2+-1*V(1) <B 11+V(1) 0 33+V(2) [*]*
3 3+V(1) -3+-1*V(1) <A 2 11+V(1) 0 33+V(2) [*]*
4 4+V(1) -2+-1*V(1) 1 B> 2 11+V(1) 0 33+V(2) [*]*
5 5+V(1) -3+-1*V(1) 1 <C 12+V(1) 0 33+V(2) [*]*
6 6+V(1) -2+-1*V(1) 3 C> 12+V(1) 0 33+V(2) [*]*
7 8+2*V(1) 0 33+V(1) C> 0 33+V(2) [*]*
8 9+2*V(1) 1 34+V(1) B> 33+V(2) [*]*
9 10+2*V(1) 0 34+V(1) <B 1 32+V(2) [*]*
10 14+3*V(1) -4+-1*V(1) <B 15+V(1) 32+V(2) [*]*
11 15+3*V(1) -5+-1*V(1) <A 2 15+V(1) 32+V(2) [*]*
12 16+3*V(1) -4+-1*V(1) 1 B> 2 15+V(1) 32+V(2) [*]*
13 17+3*V(1) -5+-1*V(1) 1 <C 16+V(1) 32+V(2) [*]*
14 18+3*V(1) -4+-1*V(1) 3 C> 16+V(1) 32+V(2) [*]*
15 24+4*V(1) 2 37+V(1) C> 32+V(2) [*]*
16 25+4*V(1) 1 37+V(1) <C 1 31+V(2) [*]*
17 32+5*V(1) -6+-1*V(1) <C 18+V(1) 31+V(2) [*]*
18 33+5*V(1) -5+-1*V(1) 3 B> 18+V(1) 31+V(2) [*]*
<< Success! ==> defined new CTR 3 (PPA)
165 619 -41 3 B> 135 38 2
== Executing PA-CTR 2, V(1)=0, V(2)=33, repcount=34, factor=3/1
437 4291 -7 3103 B> 1 38 2
== Executing PPA-CTR 3 (once), V(1)=102, V(2)=5
455 4834 -114 3 B> 1110 36 2
== Executing PA-CTR 2, V(1)=0, V(2)=108, repcount=109, factor=3/1
1327 41131 -5 3328 B> 1 36 2
== Executing PPA-CTR 3 (once), V(1)=327, V(2)=3
1345 42799 -337 3 B> 1335 34 2
== Executing PA-CTR 2, V(1)=0, V(2)=333, repcount=334, factor=3/1
4017 379471 -3 31003 B> 1 34 2
== Executing PPA-CTR 3 (once), V(1)=1002, V(2)=1
4035 384514 -1010 3 B> 11010 32 2
== Executing PA-CTR 2, V(1)=0, V(2)=1008, repcount=1009, factor=3/1
12107 3444811 -1 33028 B> 1 32 2
12108 3444812 -2 33028 <B 0 32 2
12109 3447840 -3030 <B 13028 0 32 2
12110 3447841 -3031 <A 2 13028 0 32 2
12111 3447842 -3030 1 B> 2 13028 0 32 2
12112 3447843 -3031 1 <C 13029 0 32 2
12113 3447844 -3030 3 C> 13029 0 32 2
12114 3450873 -1 33030 C> 0 32 2
12115 3450874 0 33031 B> 32 2
12116 3450875 -1 33031 <B 1 3 2
12117 3453906 -3032 <B 13032 3 2
12118 3453907 -3033 <A 2 13032 3 2
12119 3453908 -3032 1 B> 2 13032 3 2
12120 3453909 -3033 1 <C 13033 3 2
12121 3453910 -3032 3 C> 13033 3 2
12122 3456943 1 33034 C> 3 2
12123 3456944 0 33034 <C 1 2
12124 3459978 -3034 <C 13035 2
12125 3459979 -3033 3 B> 13035 2
12126 3459980 -3034 3 <B 0 13034 2
12127 3459981 -3035 <B 1 0 13034 2
12128 3459982 -3036 <A 2 1 0 13034 2
12129 3459983 -3035 1 B> 2 1 0 13034 2
12130 3459984 -3036 1 <C 12 0 13034 2
12131 3459985 -3035 3 C> 12 0 13034 2
12132 3459987 -3033 33 C> 0 13034 2
12133 3459988 -3032 34 B> 13034 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 31+V(1) B> 12+V(2) [*]*
1 1 -1 31+V(1) <B 0 11+V(2) [*]*
2 2+V(1) -2+-1*V(1) <B 11+V(1) 0 11+V(2) [*]*
3 3+V(1) -3+-1*V(1) <A 2 11+V(1) 0 11+V(2) [*]*
4 4+V(1) -2+-1*V(1) 1 B> 2 11+V(1) 0 11+V(2) [*]*
5 5+V(1) -3+-1*V(1) 1 <C 12+V(1) 0 11+V(2) [*]*
6 6+V(1) -2+-1*V(1) 3 C> 12+V(1) 0 11+V(2) [*]*
7 8+2*V(1) 0 33+V(1) C> 0 11+V(2) [*]*
8 9+2*V(1) 1 34+V(1) B> 11+V(2) [*]*
<< Success! ==> defined new CTR 4 (PA)
12133 3459988 -3032 34 B> 13034 2
== Executing PA-CTR 4, V(1)=3, V(2)=3032, repcount=3033, factor=3/1
36397 31093651 1 39103 B> 1 2
36398 31093652 0 39103 <B 0 2
36399 31102755 -9103 <B 19103 0 2
36400 31102756 -9104 <A 2 19103 0 2
36401 31102757 -9103 1 B> 2 19103 0 2
36402 31102758 -9104 1 <C 19104 0 2
36403 31102759 -9103 3 C> 19104 0 2
36404 31111863 1 39105 C> 0 2
36405 31111864 2 39106 B> 2
36406 31111865 1 39106 <C 1
36407 31120971 -9105 <C 19107
36408 31120972 -9104 3 B> 19107
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 31+V(1) B> 1 2
1 1 -1 31+V(1) <B 0 2
2 2+V(1) -2+-1*V(1) <B 11+V(1) 0 2
3 3+V(1) -3+-1*V(1) <A 2 11+V(1) 0 2
4 4+V(1) -2+-1*V(1) 1 B> 2 11+V(1) 0 2
5 5+V(1) -3+-1*V(1) 1 <C 12+V(1) 0 2
6 6+V(1) -2+-1*V(1) 3 C> 12+V(1) 0 2
7 8+2*V(1) 0 33+V(1) C> 0 2
8 9+2*V(1) 1 34+V(1) B> 2
9 10+2*V(1) 0 34+V(1) <C 1
10 14+3*V(1) -4+-1*V(1) <C 15+V(1)
11 15+3*V(1) -3+-1*V(1) 3 B> 15+V(1)
<< Success! ==> defined new CTR 5 (PPA)
36408 31120972 -9104 3 B> 19107
== Executing PA-CTR 1, V(1)=0, V(2)=9105, repcount=9106, factor=3/1
109256 279933316 2 327319 B> 1
109257 279933317 1 327319 <B
109258 279960636 -27318 <B 127319
109259 279960637 -27319 <A 2 127319
109260 279960638 -27318 1 B> 2 127319
109261 279960639 -27319 1 <C 127320
109262 279960640 -27318 3 C> 127320
109263 279987960 2 327321 C>
109264 279987961 3 327322 B>
109265 279987962 2 327322 <A 2
109266 280015284 -27320 <A 327322 2
109267 280015285 -27319 1 B> 327322 2
109268 280015286 -27320 1 <B 1 327321 2
109269 280015287 -27321 <B 0 1 327321 2
109270 280015288 -27322 <A 2 0 1 327321 2
109271 280015289 -27321 1 B> 2 0 1 327321 2
109272 280015290 -27322 1 <C 1 0 1 327321 2
109273 280015291 -27321 3 C> 1 0 1 327321 2
109274 280015292 -27320 32 C> 0 1 327321 2
109275 280015293 -27319 33 B> 1 327321 2
109276 280015294 -27320 33 <B 0 327321 2
109277 280015297 -27323 <B 13 0 327321 2
109278 280015298 -27324 <A 2 13 0 327321 2
109279 280015299 -27323 1 B> 2 13 0 327321 2
109280 280015300 -27324 1 <C 14 0 327321 2
109281 280015301 -27323 3 C> 14 0 327321 2
109282 280015305 -27319 35 C> 0 327321 2
109283 280015306 -27318 36 B> 327321 2
109284 280015307 -27319 36 <B 1 327320 2
109285 280015313 -27325 <B 17 327320 2
109286 280015314 -27326 <A 2 17 327320 2
109287 280015315 -27325 1 B> 2 17 327320 2
109288 280015316 -27326 1 <C 18 327320 2
109289 280015317 -27325 3 C> 18 327320 2
109290 280015325 -27317 39 C> 327320 2
109291 280015326 -27318 39 <C 1 327319 2
109292 280015335 -27327 <C 110 327319 2
109293 280015336 -27326 3 B> 110 327319 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 31+V(1) B> 1
1 1 -1 31+V(1) <B
2 2+V(1) -2+-1*V(1) <B 11+V(1)
3 3+V(1) -3+-1*V(1) <A 2 11+V(1)
4 4+V(1) -2+-1*V(1) 1 B> 2 11+V(1)
5 5+V(1) -3+-1*V(1) 1 <C 12+V(1)
6 6+V(1) -2+-1*V(1) 3 C> 12+V(1)
7 8+2*V(1) 0 33+V(1) C>
8 9+2*V(1) 1 34+V(1) B>
9 10+2*V(1) 0 34+V(1) <A 2
10 14+3*V(1) -4+-1*V(1) <A 34+V(1) 2
11 15+3*V(1) -3+-1*V(1) 1 B> 34+V(1) 2
12 16+3*V(1) -4+-1*V(1) 1 <B 1 33+V(1) 2
13 17+3*V(1) -5+-1*V(1) <B 0 1 33+V(1) 2
14 18+3*V(1) -6+-1*V(1) <A 2 0 1 33+V(1) 2
15 19+3*V(1) -5+-1*V(1) 1 B> 2 0 1 33+V(1) 2
16 20+3*V(1) -6+-1*V(1) 1 <C 1 0 1 33+V(1) 2
17 21+3*V(1) -5+-1*V(1) 3 C> 1 0 1 33+V(1) 2
18 22+3*V(1) -4+-1*V(1) 32 C> 0 1 33+V(1) 2
19 23+3*V(1) -3+-1*V(1) 33 B> 1 33+V(1) 2
20 24+3*V(1) -4+-1*V(1) 33 <B 0 33+V(1) 2
21 27+3*V(1) -7+-1*V(1) <B 13 0 33+V(1) 2
22 28+3*V(1) -8+-1*V(1) <A 2 13 0 33+V(1) 2
23 29+3*V(1) -7+-1*V(1) 1 B> 2 13 0 33+V(1) 2
24 30+3*V(1) -8+-1*V(1) 1 <C 14 0 33+V(1) 2
25 31+3*V(1) -7+-1*V(1) 3 C> 14 0 33+V(1) 2
26 35+3*V(1) -3+-1*V(1) 35 C> 0 33+V(1) 2
27 36+3*V(1) -2+-1*V(1) 36 B> 33+V(1) 2
28 37+3*V(1) -3+-1*V(1) 36 <B 1 32+V(1) 2
29 43+3*V(1) -9+-1*V(1) <B 17 32+V(1) 2
30 44+3*V(1) -10+-1*V(1) <A 2 17 32+V(1) 2
31 45+3*V(1) -9+-1*V(1) 1 B> 2 17 32+V(1) 2
32 46+3*V(1) -10+-1*V(1) 1 <C 18 32+V(1) 2
33 47+3*V(1) -9+-1*V(1) 3 C> 18 32+V(1) 2
34 55+3*V(1) -1+-1*V(1) 39 C> 32+V(1) 2
35 56+3*V(1) -2+-1*V(1) 39 <C 1 31+V(1) 2
36 65+3*V(1) -11+-1*V(1) <C 110 31+V(1) 2
37 66+3*V(1) -10+-1*V(1) 3 B> 110 31+V(1) 2
<< Success! ==> defined new CTR 6 (PPA)
109293 280015336 -27326 3 B> 110 327319 2
== Executing PA-CTR 2, V(1)=0, V(2)=8, repcount=9, factor=3/1
109365 280015633 -27317 328 B> 1 327319 2
== Executing PPA-CTR 3 (once), V(1)=27, V(2)=27316
109383 280015801 -27349 3 B> 135 327317 2
== Executing PA-CTR 2, V(1)=0, V(2)=33, repcount=34, factor=3/1
109655 280019473 -27315 3103 B> 1 327317 2
== Executing PPA-CTR 3 (once), V(1)=102, V(2)=27314
109673 280020016 -27422 3 B> 1110 327315 2
== Executing PA-CTR 2, V(1)=0, V(2)=108, repcount=109, factor=3/1
110545 280056313 -27313 3328 B> 1 327315 2
== Executing PPA-CTR 3 (once), V(1)=327, V(2)=27312
110563 280057981 -27645 3 B> 1335 327313 2
== Executing PA-CTR 2, V(1)=0, V(2)=333, repcount=334, factor=3/1
113235 280394653 -27311 31003 B> 1 327313 2
== Executing PPA-CTR 3 (once), V(1)=1002, V(2)=27310
113253 280399696 -28318 3 B> 11010 327311 2
== Executing PA-CTR 2, V(1)=0, V(2)=1008, repcount=1009, factor=3/1
121325 283459993 -27309 33028 B> 1 327311 2
== Executing PPA-CTR 3 (once), V(1)=3027, V(2)=27308
121343 283475161 -30341 3 B> 13035 327309 2
== Executing PA-CTR 2, V(1)=0, V(2)=3033, repcount=3034, factor=3/1
145615 311108833 -27307 39103 B> 1 327309 2
== Executing PPA-CTR 3 (once), V(1)=9102, V(2)=27306
145633 311154376 -36414 3 B> 19110 327307 2
== Executing PA-CTR 2, V(1)=0, V(2)=9108, repcount=9109, factor=3/1
218505 560130673 -27305 327328 B> 1 327307 2
== Executing PPA-CTR 3 (once), V(1)=27327, V(2)=27304
218523 560267341 -54637 3 B> 127335 327305 2
== Executing PA-CTR 2, V(1)=0, V(2)=27333, repcount=27334, factor=3/1
437195 2801874013 -27303 382003 B> 1 327305 2
== Executing PPA-CTR 3 (once), V(1)=82002, V(2)=27302
437213 2802284056 -109310 3 B> 182010 327303 2
== Executing PA-CTR 2, V(1)=0, V(2)=82008, repcount=82009, factor=3/1
1093285 22979204353 -27301 3246028 B> 1 327303 2
== Executing PPA-CTR 3 (once), V(1)=246027, V(2)=27300
1093303 22980434521 -273333 3 B> 1246035 327301 2
== Executing PA-CTR 2, V(1)=0, V(2)=246033, repcount=246034, factor=3/1
3061575 204580098193 -27299 3738103 B> 1 327301 2
== Executing PPA-CTR 3 (once), V(1)=738102, V(2)=27298
3061593 204583788736 -765406 3 B> 1738110 327299 2
== Executing PA-CTR 2, V(1)=0, V(2)=738108, repcount=738109, factor=3/1
8966465 1839002905033 -27297 32214328 B> 1 327299 2
== Executing PPA-CTR 3 (once), V(1)=2214327, V(2)=27296
8966483 1839013976701 -2241629 3 B> 12214335 327297 2
== Executing PA-CTR 2, V(1)=0, V(2)=2214333, repcount=2214334, factor=3/1
26681155 16548852453373 -27295 36643003 B> 1 327297 2
== Executing PPA-CTR 3 (once), V(1)=6643002, V(2)=27294
26681173 16548885668416 -6670302 3 B> 16643010 327295 2
== Executing PA-CTR 2, V(1)=0, V(2)=6643008, repcount=6643009, factor=3/1
79825245 148937631248713 -27293 319929028 B> 1 327295 2
== Executing PPA-CTR 3 (once), V(1)=19929027, V(2)=27292
79825263 148937730893881 -19956325 3 B> 119929035 327293 2
== Executing PA-CTR 2, V(1)=0, V(2)=19929033, repcount=19929034, factor=3/1
239257535 1340437038987553 -27291 359787103 B> 1 327293 2
== Executing PPA-CTR 3 (once), V(1)=59787102, V(2)=27290
239257553 1340437337923096 -59814398 3 B> 159787110 327291 2
== Executing PA-CTR 2, V(1)=0, V(2)=59787108, repcount=59787109, factor=3/1
717554425 12063932904379393 -27289 3179361328 B> 1 327291 2
== Executing PPA-CTR 3 (once), V(1)=179361327, V(2)=27288
717554443 12063933801186061 -179388621 3 B> 1179361335 327289 2
Lines: 201
Top steps: 200
Macro steps: 717554443
Basic steps: 12063933801186061
Tape index: -179388621
nonzeros: 179388626
log10(nonzeros): 8.254
log10(steps ): 16.081
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #i (T.J. & S. Ligocki)
: >3.7x10^6518 >5.2x10^13036
C This is the currently best known 3x4 TM
5T 1RB 1RA 2LB 3LA 2LA 0LB 1LC 1LB 3RB 3RC 1RH 1LC
L 60
M 201
pref sim
machv Lig34_i just simple
machv Lig34_i-r with repetitions reduced
machv Lig34_i-1 with tape symbol exponents
machv Lig34_i-m as 1-macro machine
machv Lig34_i-a as 1-macro machine with pure additive config-TRs
iam Lig34_i-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:57 CEST 2010
edate Tue Jul 6 22:13:58 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:57 CEST 2010