Comment: Current 5-state BB co-champion Comment: This TM produces 4098 ones in 11798826 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | A1L | 1 | left | B | 1 | left | A |
| B | C1R | B1R | 1 | right | C | 1 | right | B |
| C | A1L | D1R | 1 | left | A | 1 | right | D |
| D | A1L | E1R | 1 | left | A | 1 | right | E |
| E | H1L | C0R | 1 | left | H | 0 | right | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
Simulation is done as 3-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B 100
2 2 0 001 C> 100
3 5 -1 001 <A 110
4 10 0 111 E> 110
5 15 -1 111 <B 111
6 16 0 111 B> 111
7 19 3 1112 B>
8 22 2 1112 <A 110
9 28 -4 <A 1112 110
10 31 -3 011 D> 1112 110
11 37 3 011 1012 D> 110
12 44 6 011 1012 111 B>
13 47 5 011 1012 111 <A 110
14 50 2 011 1012 <A 111 110
15 55 3 011 101 111 B> 111 110
16 58 6 011 101 1112 B> 110
17 61 9 011 101 1113 C>
18 62 8 011 101 1113 <A 100
19 71 -1 011 101 <A 1113 100
20 76 0 011 111 B> 1113 100
21 85 9 011 1114 B> 100
22 90 8 011 1114 <A 111
23 102 -4 011 <A 1115
24 105 -7 <B 1116
25 106 -6 001 C> 1116
26 124 12 001 1106 C>
27 125 11 001 1106 <A 100
28 128 12 001 1105 111 B> 100
29 133 11 001 1105 111 <A 111
30 136 8 001 1105 <A 1112
31 139 9 001 1104 111 B> 1112
32 145 15 001 1104 1113 B>
33 148 14 001 1104 1113 <A 110
34 157 5 001 1104 <A 1113 110
35 160 6 001 1103 111 B> 1113 110
36 169 15 001 1103 1114 B> 110
37 172 18 001 1103 1115 C>
38 173 17 001 1103 1115 <A 100
39 188 2 001 1103 <A 1115 100
40 191 3 001 1102 111 B> 1115 100
41 206 18 001 1102 1116 B> 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 1104+V(2) 1111+V(1) B> 100
1 5 -1 [*]* 1104+V(2) 1111+V(1) <A 111
2 8+3*V(1) -4+-3*V(1) [*]* 1104+V(2) <A 1112+V(1)
3 11+3*V(1) -3+-3*V(1) [*]* 1103+V(2) 111 B> 1112+V(1)
4 17+6*V(1) 3 [*]* 1103+V(2) 1113+V(1) B>
5 20+6*V(1) 2 [*]* 1103+V(2) 1113+V(1) <A 110
6 29+9*V(1) -7+-3*V(1) [*]* 1103+V(2) <A 1113+V(1) 110
7 32+9*V(1) -6+-3*V(1) [*]* 1102+V(2) 111 B> 1113+V(1) 110
8 41+12*V(1) 3 [*]* 1102+V(2) 1114+V(1) B> 110
9 44+12*V(1) 6 [*]* 1102+V(2) 1115+V(1) C>
10 45+12*V(1) 5 [*]* 1102+V(2) 1115+V(1) <A 100
11 60+15*V(1) -10+-3*V(1) [*]* 1102+V(2) <A 1115+V(1) 100
12 63+15*V(1) -9+-3*V(1) [*]* 1101+V(2) 111 B> 1115+V(1) 100
13 78+18*V(1) 6 [*]* 1101+V(2) 1116+V(1) B> 100
<< Success! ==> defined new CTR 1 (PA)
42 211 17 001 1102 1116 <A 111
43 229 -1 001 1102 <A 1117
44 232 0 001 110 111 B> 1117
45 253 21 001 110 1118 B>
46 256 20 001 110 1118 <A 110
47 280 -4 001 110 <A 1118 110
48 283 -3 001 111 B> 1118 110
49 307 21 001 1119 B> 110
50 310 24 001 11110 C>
51 311 23 001 11110 <A 100
52 341 -7 001 <A 11110 100
53 346 -6 111 E> 11110 100
54 376 24 111 01110 E> 100
55 379 23 111 01110 <B 110
56 380 24 111 01110 B> 110
57 383 27 111 01110 111 C>
58 384 26 111 01110 111 <A 100
59 387 23 111 01110 <A 111 100
60 390 20 111 0119 <B 1112 100
61 391 21 111 0119 B> 1112 100
62 397 27 111 0119 1112 B> 100
63 402 26 111 0119 1112 <A 111
64 408 20 111 0119 <A 1113
65 411 17 111 0118 <B 1114
66 412 18 111 0118 B> 1114
67 424 30 111 0118 1114 B>
68 427 29 111 0118 1114 <A 110
69 439 17 111 0118 <A 1114 110
70 442 14 111 0117 <B 1115 110
71 443 15 111 0117 B> 1115 110
72 458 30 111 0117 1115 B> 110
73 461 33 111 0117 1116 C>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 0114+V(2) 1111+V(1) C>
1 1 -1 [*]* 0114+V(2) 1111+V(1) <A 100
2 4+3*V(1) -4+-3*V(1) [*]* 0114+V(2) <A 1111+V(1) 100
3 7+3*V(1) -7+-3*V(1) [*]* 0113+V(2) <B 1112+V(1) 100
4 8+3*V(1) -6+-3*V(1) [*]* 0113+V(2) B> 1112+V(1) 100
5 14+6*V(1) 0 [*]* 0113+V(2) 1112+V(1) B> 100
6 19+6*V(1) -1 [*]* 0113+V(2) 1112+V(1) <A 111
7 25+9*V(1) -7+-3*V(1) [*]* 0113+V(2) <A 1113+V(1)
8 28+9*V(1) -10+-3*V(1) [*]* 0112+V(2) <B 1114+V(1)
9 29+9*V(1) -9+-3*V(1) [*]* 0112+V(2) B> 1114+V(1)
10 41+12*V(1) 3 [*]* 0112+V(2) 1114+V(1) B>
11 44+12*V(1) 2 [*]* 0112+V(2) 1114+V(1) <A 110
12 56+15*V(1) -10+-3*V(1) [*]* 0112+V(2) <A 1114+V(1) 110
13 59+15*V(1) -13+-3*V(1) [*]* 0111+V(2) <B 1115+V(1) 110
14 60+15*V(1) -12+-3*V(1) [*]* 0111+V(2) B> 1115+V(1) 110
15 75+18*V(1) 3 [*]* 0111+V(2) 1115+V(1) B> 110
16 78+18*V(1) 6 [*]* 0111+V(2) 1116+V(1) C>
<< Success! ==> defined new CTR 2 (PA)
73 461 33 111 0117 1116 C>
== Executing PA-CTR 2, V(1)=5, V(2)=3, repcount=2, factor=5/3
105 887 45 111 011 11116 C>
106 888 44 111 011 11116 <A 100
107 936 -4 111 011 <A 11116 100
108 939 -7 111 <B 11117 100
109 940 -6 111 B> 11117 100
110 991 45 11118 B> 100
111 996 44 11118 <A 111
112 1050 -10 <A 11119
113 1053 -9 011 D> 11119
114 1110 48 011 10119 D>
115 1111 47 011 10119 <A 100
116 1116 48 011 10118 111 B> 100
117 1121 47 011 10118 111 <A 111
118 1124 44 011 10118 <A 1112
119 1129 45 011 10117 111 B> 1112
120 1135 51 011 10117 1113 B>
121 1138 50 011 10117 1113 <A 110
122 1147 41 011 10117 <A 1113 110
123 1152 42 011 10116 111 B> 1113 110
124 1161 51 011 10116 1114 B> 110
125 1164 54 011 10116 1115 C>
126 1165 53 011 10116 1115 <A 100
127 1180 38 011 10116 <A 1115 100
128 1185 39 011 10115 111 B> 1115 100
129 1200 54 011 10115 1116 B> 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 1014+V(2) 1111+V(1) B> 100
1 5 -1 [*]* 1014+V(2) 1111+V(1) <A 111
2 8+3*V(1) -4+-3*V(1) [*]* 1014+V(2) <A 1112+V(1)
3 13+3*V(1) -3+-3*V(1) [*]* 1013+V(2) 111 B> 1112+V(1)
4 19+6*V(1) 3 [*]* 1013+V(2) 1113+V(1) B>
5 22+6*V(1) 2 [*]* 1013+V(2) 1113+V(1) <A 110
6 31+9*V(1) -7+-3*V(1) [*]* 1013+V(2) <A 1113+V(1) 110
7 36+9*V(1) -6+-3*V(1) [*]* 1012+V(2) 111 B> 1113+V(1) 110
8 45+12*V(1) 3 [*]* 1012+V(2) 1114+V(1) B> 110
9 48+12*V(1) 6 [*]* 1012+V(2) 1115+V(1) C>
10 49+12*V(1) 5 [*]* 1012+V(2) 1115+V(1) <A 100
11 64+15*V(1) -10+-3*V(1) [*]* 1012+V(2) <A 1115+V(1) 100
12 69+15*V(1) -9+-3*V(1) [*]* 1011+V(2) 111 B> 1115+V(1) 100
13 84+18*V(1) 6 [*]* 1011+V(2) 1116+V(1) B> 100
<< Success! ==> defined new CTR 3 (PA)
129 1200 54 011 10115 1116 B> 100
== Executing PA-CTR 3, V(1)=5, V(2)=11, repcount=4, factor=5/3
181 2436 78 011 1013 11126 B> 100
182 2441 77 011 1013 11126 <A 111
183 2519 -1 011 1013 <A 11127
184 2524 0 011 1012 111 B> 11127
185 2605 81 011 1012 11128 B>
186 2608 80 011 1012 11128 <A 110
187 2692 -4 011 1012 <A 11128 110
188 2697 -3 011 101 111 B> 11128 110
189 2781 81 011 101 11129 B> 110
190 2784 84 011 101 11130 C>
191 2785 83 011 101 11130 <A 100
192 2875 -7 011 101 <A 11130 100
193 2880 -6 011 111 B> 11130 100
194 2970 84 011 11131 B> 100
195 2975 83 011 11131 <A 111
196 3068 -10 011 <A 11132
197 3071 -13 <B 11133
198 3072 -12 001 C> 11133
199 3171 87 001 11033 C>
200 3172 86 001 11033 <A 100
201 3175 87 001 11032 111 B> 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011 1013 1111+V(1) B> 100
1 5 -1 011 1013 1111+V(1) <A 111
2 8+3*V(1) -4+-3*V(1) 011 1013 <A 1112+V(1)
3 13+3*V(1) -3+-3*V(1) 011 1012 111 B> 1112+V(1)
4 19+6*V(1) 3 011 1012 1113+V(1) B>
5 22+6*V(1) 2 011 1012 1113+V(1) <A 110
6 31+9*V(1) -7+-3*V(1) 011 1012 <A 1113+V(1) 110
7 36+9*V(1) -6+-3*V(1) 011 101 111 B> 1113+V(1) 110
8 45+12*V(1) 3 011 101 1114+V(1) B> 110
9 48+12*V(1) 6 011 101 1115+V(1) C>
10 49+12*V(1) 5 011 101 1115+V(1) <A 100
11 64+15*V(1) -10+-3*V(1) 011 101 <A 1115+V(1) 100
12 69+15*V(1) -9+-3*V(1) 011 111 B> 1115+V(1) 100
13 84+18*V(1) 6 011 1116+V(1) B> 100
14 89+18*V(1) 5 011 1116+V(1) <A 111
15 107+21*V(1) -13+-3*V(1) 011 <A 1117+V(1)
16 110+21*V(1) -16+-3*V(1) <B 1118+V(1)
17 111+21*V(1) -15+-3*V(1) 001 C> 1118+V(1)
18 135+24*V(1) 9 001 1108+V(1) C>
19 136+24*V(1) 8 001 1108+V(1) <A 100
20 139+24*V(1) 9 001 1107+V(1) 111 B> 100
<< Success! ==> defined new CTR 4 (PPA)
201 3175 87 001 11032 111 B> 100
== Executing PA-CTR 1, V(1)=0, V(2)=28, repcount=10, factor=5/3
331 8005 147 001 1102 11151 B> 100
332 8010 146 001 1102 11151 <A 111
333 8163 -7 001 1102 <A 11152
334 8166 -6 001 110 111 B> 11152
335 8322 150 001 110 11153 B>
336 8325 149 001 110 11153 <A 110
337 8484 -10 001 110 <A 11153 110
338 8487 -9 001 111 B> 11153 110
339 8646 150 001 11154 B> 110
340 8649 153 001 11155 C>
341 8650 152 001 11155 <A 100
342 8815 -13 001 <A 11155 100
343 8820 -12 111 E> 11155 100
344 8985 153 111 01155 E> 100
345 8988 152 111 01155 <B 110
346 8989 153 111 01155 B> 110
347 8992 156 111 01155 111 C>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 001 1102 1111+V(1) B> 100
1 5 -1 001 1102 1111+V(1) <A 111
2 8+3*V(1) -4+-3*V(1) 001 1102 <A 1112+V(1)
3 11+3*V(1) -3+-3*V(1) 001 110 111 B> 1112+V(1)
4 17+6*V(1) 3 001 110 1113+V(1) B>
5 20+6*V(1) 2 001 110 1113+V(1) <A 110
6 29+9*V(1) -7+-3*V(1) 001 110 <A 1113+V(1) 110
7 32+9*V(1) -6+-3*V(1) 001 111 B> 1113+V(1) 110
8 41+12*V(1) 3 001 1114+V(1) B> 110
9 44+12*V(1) 6 001 1115+V(1) C>
10 45+12*V(1) 5 001 1115+V(1) <A 100
11 60+15*V(1) -10+-3*V(1) 001 <A 1115+V(1) 100
12 65+15*V(1) -9+-3*V(1) 111 E> 1115+V(1) 100
13 80+18*V(1) 6 111 0115+V(1) E> 100
14 83+18*V(1) 5 111 0115+V(1) <B 110
15 84+18*V(1) 6 111 0115+V(1) B> 110
16 87+18*V(1) 9 111 0115+V(1) 111 C>
<< Success! ==> defined new CTR 5 (PPA)
347 8992 156 111 01155 111 C>
== Executing PA-CTR 2, V(1)=0, V(2)=51, repcount=18, factor=5/3
635 24166 264 111 011 11191 C>
636 24167 263 111 011 11191 <A 100
637 24440 -10 111 011 <A 11191 100
638 24443 -13 111 <B 11192 100
639 24444 -12 111 B> 11192 100
640 24720 264 11193 B> 100
641 24725 263 11193 <A 111
642 25004 -16 <A 11194
643 25007 -15 011 D> 11194
644 25289 267 011 10194 D>
645 25290 266 011 10194 <A 100
646 25295 267 011 10193 111 B> 100
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1111+V(2) 011 1112+V(1) C>
1 1 -1 1111+V(2) 011 1112+V(1) <A 100
2 7+3*V(1) -7+-3*V(1) 1111+V(2) 011 <A 1112+V(1) 100
3 10+3*V(1) -10+-3*V(1) 1111+V(2) <B 1113+V(1) 100
4 11+3*V(1) -9+-3*V(1) 1111+V(2) B> 1113+V(1) 100
5 20+6*V(1) 0 1114+V(1)+V(2) B> 100
6 25+6*V(1) -1 1114+V(1)+V(2) <A 111
7 37+9*V(1)+3*V(2) -13+-3*V(1)+-3*V(2) <A 1115+V(1)+V(2)
8 40+9*V(1)+3*V(2) -12+-3*V(1)+-3*V(2) 011 D> 1115+V(1)+V(2)
9 55+12*V(1)+6*V(2) 3 011 1015+V(1)+V(2) D>
10 56+12*V(1)+6*V(2) 2 011 1015+V(1)+V(2) <A 100
11 61+12*V(1)+6*V(2) 3 011 1014+V(1)+V(2) 111 B> 100
<< Success! ==> defined new CTR 6 (PPA)
646 25295 267 011 10193 111 B> 100
== Executing PA-CTR 3, V(1)=0, V(2)=89, repcount=30, factor=5/3
1036 66965 447 011 1013 111151 B> 100
== Executing PPA-CTR 4 (once), V(1)=150
1056 70704 456 001 110157 111 B> 100
== Executing PA-CTR 1, V(1)=0, V(2)=153, repcount=52, factor=5/3
1732 194100 768 001 110 111261 B> 100
1733 194105 767 001 110 111261 <A 111
1734 194888 -16 001 110 <A 111262
1735 194891 -15 001 111 B> 111262
1736 195677 771 001 111263 B>
1737 195680 770 001 111263 <A 110
1738 196469 -19 001 <A 111263 110
1739 196474 -18 111 E> 111263 110
1740 197263 771 111 011263 E> 110
1741 197268 770 111 011263 <B 111
1742 197269 771 111 011263 B> 111
1743 197272 774 111 011263 111 B>
1744 197275 773 111 011263 111 <A 110
1745 197278 770 111 011263 <A 111 110
1746 197281 767 111 011262 <B 1112 110
1747 197282 768 111 011262 B> 1112 110
1748 197288 774 111 011262 1112 B> 110
1749 197291 777 111 011262 1113 C>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 001 110 1113+V(1) B> 100
1 5 -1 001 110 1113+V(1) <A 111
2 14+3*V(1) -10+-3*V(1) 001 110 <A 1114+V(1)
3 17+3*V(1) -9+-3*V(1) 001 111 B> 1114+V(1)
4 29+6*V(1) 3 001 1115+V(1) B>
5 32+6*V(1) 2 001 1115+V(1) <A 110
6 47+9*V(1) -13+-3*V(1) 001 <A 1115+V(1) 110
7 52+9*V(1) -12+-3*V(1) 111 E> 1115+V(1) 110
8 67+12*V(1) 3 111 0115+V(1) E> 110
9 72+12*V(1) 2 111 0115+V(1) <B 111
10 73+12*V(1) 3 111 0115+V(1) B> 111
11 76+12*V(1) 6 111 0115+V(1) 111 B>
12 79+12*V(1) 5 111 0115+V(1) 111 <A 110
13 82+12*V(1) 2 111 0115+V(1) <A 111 110
14 85+12*V(1) -1 111 0114+V(1) <B 1112 110
15 86+12*V(1) 0 111 0114+V(1) B> 1112 110
16 92+12*V(1) 6 111 0114+V(1) 1112 B> 110
17 95+12*V(1) 9 111 0114+V(1) 1113 C>
<< Success! ==> defined new CTR 7 (PPA)
1749 197291 777 111 011262 1113 C>
== Executing PA-CTR 2, V(1)=2, V(2)=258, repcount=87, factor=5/3
3141 543899 1299 111 011 111438 C>
== Executing PPA-CTR 6 (once), V(1)=436, V(2)=0
3152 549192 1302 011 101440 111 B> 100
== Executing PA-CTR 3, V(1)=0, V(2)=436, repcount=146, factor=5/3
5050 1514106 2178 011 1012 111731 B> 100
5051 1514111 2177 011 1012 111731 <A 111
5052 1516304 -16 011 1012 <A 111732
5053 1516309 -15 011 101 111 B> 111732
5054 1518505 2181 011 101 111733 B>
5055 1518508 2180 011 101 111733 <A 110
5056 1520707 -19 011 101 <A 111733 110
5057 1520712 -18 011 111 B> 111733 110
5058 1522911 2181 011 111734 B> 110
5059 1522914 2184 011 111735 C>
5060 1522915 2183 011 111735 <A 100
5061 1525120 -22 011 <A 111735 100
5062 1525123 -25 <B 111736 100
5063 1525124 -24 001 C> 111736 100
5064 1527332 2184 001 110736 C> 100
5065 1527335 2183 001 110736 <A 110
5066 1527338 2184 001 110735 111 B> 110
5067 1527341 2187 001 110735 1112 C>
5068 1527342 2186 001 110735 1112 <A 100
5069 1527348 2180 001 110735 <A 1112 100
5070 1527351 2181 001 110734 111 B> 1112 100
5071 1527357 2187 001 110734 1113 B> 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011 1012 1111+V(1) B> 100
1 5 -1 011 1012 1111+V(1) <A 111
2 8+3*V(1) -4+-3*V(1) 011 1012 <A 1112+V(1)
3 13+3*V(1) -3+-3*V(1) 011 101 111 B> 1112+V(1)
4 19+6*V(1) 3 011 101 1113+V(1) B>
5 22+6*V(1) 2 011 101 1113+V(1) <A 110
6 31+9*V(1) -7+-3*V(1) 011 101 <A 1113+V(1) 110
7 36+9*V(1) -6+-3*V(1) 011 111 B> 1113+V(1) 110
8 45+12*V(1) 3 011 1114+V(1) B> 110
9 48+12*V(1) 6 011 1115+V(1) C>
10 49+12*V(1) 5 011 1115+V(1) <A 100
11 64+15*V(1) -10+-3*V(1) 011 <A 1115+V(1) 100
12 67+15*V(1) -13+-3*V(1) <B 1116+V(1) 100
13 68+15*V(1) -12+-3*V(1) 001 C> 1116+V(1) 100
14 86+18*V(1) 6 001 1106+V(1) C> 100
15 89+18*V(1) 5 001 1106+V(1) <A 110
16 92+18*V(1) 6 001 1105+V(1) 111 B> 110
17 95+18*V(1) 9 001 1105+V(1) 1112 C>
18 96+18*V(1) 8 001 1105+V(1) 1112 <A 100
19 102+18*V(1) 2 001 1105+V(1) <A 1112 100
20 105+18*V(1) 3 001 1104+V(1) 111 B> 1112 100
21 111+18*V(1) 9 001 1104+V(1) 1113 B> 100
<< Success! ==> defined new CTR 8 (PPA)
5071 1527357 2187 001 110734 1113 B> 100
== Executing PA-CTR 1, V(1)=2, V(2)=730, repcount=244, factor=5/3
8243 4223313 3651 001 1102 1111223 B> 100
== Executing PPA-CTR 5 (once), V(1)=1222
8259 4245396 3660 111 0111227 111 C>
== Executing PA-CTR 2, V(1)=0, V(2)=1223, repcount=408, factor=5/3
14787 11749740 6108 111 0113 1112041 C>
14788 11749741 6107 111 0113 1112041 <A 100
14789 11755864 -16 111 0113 <A 1112041 100
14790 11755867 -19 111 0112 <B 1112042 100
14791 11755868 -18 111 0112 B> 1112042 100
14792 11761994 6108 111 0112 1112042 B> 100
14793 11761999 6107 111 0112 1112042 <A 111
14794 11768125 -19 111 0112 <A 1112043
14795 11768128 -22 111 011 <B 1112044
14796 11768129 -21 111 011 B> 1112044
14797 11774261 6111 111 011 1112044 B>
14798 11774264 6110 111 011 1112044 <A 110
14799 11780396 -22 111 011 <A 1112044 110
14800 11780399 -25 111 <B 1112045 110
14801 11780400 -24 111 B> 1112045 110
14802 11786535 6111 1112046 B> 110
14803 11786538 6114 1112047 C>
14804 11786539 6113 1112047 <A 100
14805 11792680 -28 <A 1112047 100
14806 11792683 -27 011 D> 1112047 100
14807 11798824 6114 011 1012047 D> 100
14808 11798826 6114 011 1012047 H> 110 [stop]
Lines: 217
Top steps: 216
Macro steps: 14808
Basic steps: 11798826
Tape index: 6114
ones: 4098
log10(ones ): 3.613
log10(steps ): 7.072
Run state: stop
Input to awk program:
gohalt 1
C Current 5-state BB co-champion
5T B1L A1L C1R B1R A1L D1R A1L E1R H1L C0R : 4098 11798826
T TM #2 from MaBu90-Paper
M 300
pref sim
machv mbP_2 just simple
machv mbP_2-r with repetitions reduced
machv mbP_2-1 with tape symbol exponents
machv mbP_2-m as 3-macro machine
machv mbP_2-a as 3-macro machine with pure additive config-TRs
iam mbP_2-a
mtype 3
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:03 CEST 2010
edate Tue Jul 6 22:10:04 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:10:03 CEST 2010