Comment: symbol size 80
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | B0R | 1 | left | B | 0 | right | B |
| B | C1R | E0L | 1 | right | C | 0 | left | E |
| C | A1L | D0R | 1 | left | A | 0 | right | D |
| D | C0R | A1R | 0 | right | C | 1 | right | A |
| E | C1L | H1L | 1 | left | C | 1 | left | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 80-macro machine.
Simulation is done as 80-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 80.
Symbols are printed by their bracketed index into the symbol table,
which is printed below.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B [1]
2 2 0 [2] C> [1]
3 17 -1 [2] <C [3]
4 18 0 D> [3]
5 21 -1 <E [4]
6 28 0 [5] B> [4]
7 45 -1 [5] <C [6]
8 62 0 [7] C> [6]
9 107 -1 [7] <A [8]
10 110 0 [9] D> [8]
11 165 -1 [9] <C [10]
12 194 0 [11] D> [10]
13 197 -1 [11] <E [12]
14 204 0 [13] B> [12]
15 215 -1 [13] <C [14]
16 250 0 [15] C> [14]
17 345 -1 [15] <C [16]
18 350 0 [17] A> [16]
19 715 -1 [17] <A [18]
20 716 0 [19] B> [18]
21 717 -1 [19] <E [20]
22 730 0 [21] D> [20]
23 1795 -1 [21] <A [22]
24 1852 0 [23] A> [22]
25 1855 -1 [23] <C [24]
26 1856 0 [25] D> [24]
27 1859 -1 [25] <E [26]
28 1866 0 [27] B> [26]
29 2842 80 [27] [28] A>
30 2843 79 [27] [28] <B [1]
31 3295 -1 [27] <C [29] [1]
32 3448 0 [30] A> [29] [1]
33 3722 80 [30] [31] A> [1]
34 3729 79 [30] [31] <A [32]
35 3730 80 [30] [33] B> [32]
36 3731 79 [30] [33] <E [34]
37 3738 80 [30] [35] B> [34]
38 3759 79 [30] [35] <C [36]
39 3776 80 [30] [37] C> [36]
40 3825 79 [30] [37] <C [38]
41 3936 80 [30] [39] B> [38]
42 3937 79 [30] [39] <E [40]
43 3940 80 [30] [41] A> [40]
44 3941 79 [30] [41] <B [38]
45 3950 80 [30] [42] C> [38]
46 4075 79 [30] [42] <A [43]
47 4076 80 [30] [44] B> [43]
48 4077 79 [30] [44] <E [45]
49 4220 80 [30] [46] A> [45]
50 4221 79 [30] [46] <B [43]
51 4468 80 [30] [47] C> [43]
52 4473 79 [30] [47] <C [48]
53 4604 80 [30] [49] D> [48]
54 4607 79 [30] [49] <E [50]
55 4614 80 [30] [51] B> [50]
56 4641 79 [30] [51] <C [16]
57 4658 80 [30] [52] C> [16]
58 5359 79 [30] [52] <C [53]
59 5690 80 [30] [54] D> [53]
60 5693 79 [30] [54] <E [55]
61 5700 80 [30] [56] B> [55]
62 5711 79 [30] [56] <C [57]
63 5728 80 [30] [58] C> [57]
64 6437 79 [30] [58] <C [59]
65 6462 80 [30] [60] B> [59]
66 6463 79 [30] [60] <E [61]
67 6466 80 [30] [62] A> [61]
68 6467 79 [30] [62] <B [59]
69 6476 80 [30] [63] C> [59]
70 6845 79 [30] [63] <A [64]
71 6846 80 [30] [65] B> [64]
72 6847 79 [30] [65] <E [66]
73 6894 80 [30] [67] A> [66]
74 6895 79 [30] [67] <B [64]
75 7108 80 [30] [68] D> [64]
76 7157 79 [30] [68] <C [69]
77 7162 80 [30] [70] A> [69]
78 7848 160 [30] [70] [71] A>
79 7849 159 [30] [70] [71] <B [1]
80 8270 160 [30] [70] [72] A> [1]
81 8277 159 [30] [70] [72] <A [32]
82 8278 160 [30] [70] [73] B> [32]
83 8279 159 [30] [70] [73] <E [34]
84 8286 160 [30] [70] [74] B> [34]
85 8307 159 [30] [70] [74] <C [36]
86 8324 160 [30] [70] [75] C> [36]
87 8373 159 [30] [70] [75] <C [38]
88 8484 160 [30] [70] [76] B> [38]
89 8485 159 [30] [70] [76] <E [40]
90 8488 160 [30] [70] [77] A> [40]
91 8489 159 [30] [70] [77] <B [38]
92 8498 160 [30] [70] [78] C> [38]
93 8623 159 [30] [70] [78] <A [43]
94 8624 160 [30] [70] [79] B> [43]
95 8625 159 [30] [70] [79] <E [45]
96 8768 160 [30] [70] [80] A> [45]
97 8769 159 [30] [70] [80] <B [43]
98 9290 160 [30] [70] [81] C> [43]
99 9295 159 [30] [70] [81] <C [48]
100 9426 160 [30] [70] [82] D> [48]
101 9429 159 [30] [70] [82] <E [50]
102 9436 160 [30] [70] [83] B> [50]
103 9463 159 [30] [70] [83] <C [16]
104 9480 160 [30] [70] [84] C> [16]
105 10181 159 [30] [70] [84] <C [53]
106 10459 79 [30] [70] <A [85] [53]
107 10460 80 [30] [86] B> [85] [53]
108 10461 79 [30] [86] <E [87] [53]
109 10520 80 [30] [88] D> [87] [53]
110 11022 160 [30] [88] [89] D> [53]
111 11025 159 [30] [88] [89] <E [55]
112 11032 160 [30] [88] [90] B> [55]
113 11043 159 [30] [88] [90] <C [57]
114 11060 160 [30] [88] [91] C> [57]
115 11769 159 [30] [88] [91] <C [59]
116 11794 160 [30] [88] [92] B> [59]
117 11795 159 [30] [88] [92] <E [61]
118 11798 160 [30] [88] [93] A> [61]
119 11799 159 [30] [88] [93] <B [59]
120 11808 160 [30] [88] [94] C> [59]
121 12177 159 [30] [88] [94] <A [64]
122 12178 160 [30] [88] [95] B> [64]
123 12179 159 [30] [88] [95] <E [66]
124 12226 160 [30] [88] [96] A> [66]
125 12227 159 [30] [88] [96] <B [64]
126 12570 160 [30] [88] [97] D> [64]
127 12619 159 [30] [88] [97] <C [69]
128 12624 160 [30] [88] [98] A> [69]
129 13310 240 [30] [88] [98] [71] A>
130 13311 239 [30] [88] [98] [71] <B [1]
131 13732 240 [30] [88] [98] [72] A> [1]
132 13739 239 [30] [88] [98] [72] <A [32]
133 13740 240 [30] [88] [98] [73] B> [32]
134 13741 239 [30] [88] [98] [73] <E [34]
135 13748 240 [30] [88] [98] [74] B> [34]
136 13769 239 [30] [88] [98] [74] <C [36]
137 13786 240 [30] [88] [98] [75] C> [36]
138 13835 239 [30] [88] [98] [75] <C [38]
139 13946 240 [30] [88] [98] [76] B> [38]
140 13947 239 [30] [88] [98] [76] <E [40]
141 13950 240 [30] [88] [98] [77] A> [40]
142 13951 239 [30] [88] [98] [77] <B [38]
143 13960 240 [30] [88] [98] [78] C> [38]
144 14085 239 [30] [88] [98] [78] <A [43]
145 14086 240 [30] [88] [98] [79] B> [43]
146 14087 239 [30] [88] [98] [79] <E [45]
147 14230 240 [30] [88] [98] [80] A> [45]
148 14231 239 [30] [88] [98] [80] <B [43]
149 14752 240 [30] [88] [98] [81] C> [43]
150 14757 239 [30] [88] [98] [81] <C [48]
151 14888 240 [30] [88] [98] [82] D> [48]
152 14891 239 [30] [88] [98] [82] <E [50]
153 14898 240 [30] [88] [98] [83] B> [50]
154 14925 239 [30] [88] [98] [83] <C [16]
155 14942 240 [30] [88] [98] [84] C> [16]
156 15643 239 [30] [88] [98] [84] <C [53]
157 15921 159 [30] [88] [98] <A [85] [53]
158 15922 160 [30] [88] [99] B> [85] [53]
159 15923 159 [30] [88] [99] <E [87] [53]
160 15966 160 [30] [88] [100] A> [87] [53]
161 15967 159 [30] [88] [100] <B [85] [53]
162 15976 160 [30] [88] [101] C> [85] [53]
163 15981 159 [30] [88] [101] <C [102] [53]
164 15982 160 [30] [88] [103] D> [102] [53]
165 15985 159 [30] [88] [103] <E [104] [53]
166 16004 160 [30] [88] [105] D> [104] [53]
167 16053 159 [30] [88] [105] <B [106] [53]
168 16054 160 [30] [88] [107] C> [106] [53]
169 16502 240 [30] [88] [107] [108] D> [53]
170 16505 239 [30] [88] [107] [108] <E [55]
171 16512 240 [30] [88] [107] [109] B> [55]
172 16523 239 [30] [88] [107] [109] <C [57]
173 16540 240 [30] [88] [107] [110] C> [57]
174 17249 239 [30] [88] [107] [110] <C [59]
175 17274 240 [30] [88] [107] [111] B> [59]
176 17275 239 [30] [88] [107] [111] <E [61]
177 17278 240 [30] [88] [107] [112] A> [61]
178 17279 239 [30] [88] [107] [112] <B [59]
179 17288 240 [30] [88] [107] [113] C> [59]
180 17657 239 [30] [88] [107] [113] <A [64]
181 17658 240 [30] [88] [107] [114] B> [64]
182 17659 239 [30] [88] [107] [114] <E [66]
183 17706 240 [30] [88] [107] [115] A> [66]
184 17707 239 [30] [88] [107] [115] <B [64]
185 18050 240 [30] [88] [107] [116] D> [64]
186 18099 239 [30] [88] [107] [116] <C [69]
187 18104 240 [30] [88] [107] [117] A> [69]
188 18790 320 [30] [88] [107] [117] [71] A>
189 18791 319 [30] [88] [107] [117] [71] <B [1]
190 19212 320 [30] [88] [107] [117] [72] A> [1]
191 19219 319 [30] [88] [107] [117] [72] <A [32]
192 19220 320 [30] [88] [107] [117] [73] B> [32]
193 19221 319 [30] [88] [107] [117] [73] <E [34]
194 19228 320 [30] [88] [107] [117] [74] B> [34]
195 19249 319 [30] [88] [107] [117] [74] <C [36]
196 19266 320 [30] [88] [107] [117] [75] C> [36]
197 19315 319 [30] [88] [107] [117] [75] <C [38]
198 19426 320 [30] [88] [107] [117] [76] B> [38]
199 19427 319 [30] [88] [107] [117] [76] <E [40]
200 19430 320 [30] [88] [107] [117] [77] A> [40]
201 19431 319 [30] [88] [107] [117] [77] <B [38]
202 19440 320 [30] [88] [107] [117] [78] C> [38]
203 19565 319 [30] [88] [107] [117] [78] <A [43]
204 19566 320 [30] [88] [107] [117] [79] B> [43]
205 19567 319 [30] [88] [107] [117] [79] <E [45]
206 19710 320 [30] [88] [107] [117] [80] A> [45]
207 19711 319 [30] [88] [107] [117] [80] <B [43]
208 20232 320 [30] [88] [107] [117] [81] C> [43]
209 20237 319 [30] [88] [107] [117] [81] <C [48]
210 20368 320 [30] [88] [107] [117] [82] D> [48]
211 20371 319 [30] [88] [107] [117] [82] <E [50]
212 20378 320 [30] [88] [107] [117] [83] B> [50]
213 20405 319 [30] [88] [107] [117] [83] <C [16]
214 20422 320 [30] [88] [107] [117] [84] C> [16]
215 21123 319 [30] [88] [107] [117] [84] <C [53]
216 21401 239 [30] [88] [107] [117] <A [85] [53]
217 21402 240 [30] [88] [107] [118] B> [85] [53]
218 21403 239 [30] [88] [107] [118] <E [87] [53]
219 21446 240 [30] [88] [107] [119] A> [87] [53]
220 21447 239 [30] [88] [107] [119] <B [85] [53]
221 21456 240 [30] [88] [107] [120] C> [85] [53]
222 21461 239 [30] [88] [107] [120] <C [102] [53]
223 21462 240 [30] [88] [107] [121] D> [102] [53]
224 21465 239 [30] [88] [107] [121] <E [104] [53]
225 21484 240 [30] [88] [107] [122] D> [104] [53]
226 21533 239 [30] [88] [107] [122] <B [106] [53]
227 21534 240 [30] [88] [107] [123] C> [106] [53]
228 21982 320 [30] [88] [107] [123] [108] D> [53]
229 21985 319 [30] [88] [107] [123] [108] <E [55]
230 21992 320 [30] [88] [107] [123] [109] B> [55]
231 22003 319 [30] [88] [107] [123] [109] <C [57]
232 22020 320 [30] [88] [107] [123] [110] C> [57]
233 22729 319 [30] [88] [107] [123] [110] <C [59]
234 22754 320 [30] [88] [107] [123] [111] B> [59]
235 22755 319 [30] [88] [107] [123] [111] <E [61]
236 22758 320 [30] [88] [107] [123] [112] A> [61]
237 22759 319 [30] [88] [107] [123] [112] <B [59]
238 22768 320 [30] [88] [107] [123] [113] C> [59]
239 23137 319 [30] [88] [107] [123] [113] <A [64]
240 23138 320 [30] [88] [107] [123] [114] B> [64]
241 23139 319 [30] [88] [107] [123] [114] <E [66]
242 23186 320 [30] [88] [107] [123] [115] A> [66]
243 23187 319 [30] [88] [107] [123] [115] <B [64]
244 23530 320 [30] [88] [107] [123] [116] D> [64]
245 23579 319 [30] [88] [107] [123] [116] <C [69]
246 23584 320 [30] [88] [107] [123] [117] A> [69]
247 24270 400 [30] [88] [107] [123] [117] [71] A>
248 24271 399 [30] [88] [107] [123] [117] [71] <B [1]
249 24692 400 [30] [88] [107] [123] [117] [72] A> [1]
250 24699 399 [30] [88] [107] [123] [117] [72] <A [32]
251 24700 400 [30] [88] [107] [123] [117] [73] B> [32]
252 24701 399 [30] [88] [107] [123] [117] [73] <E [34]
253 24708 400 [30] [88] [107] [123] [117] [74] B> [34]
254 24729 399 [30] [88] [107] [123] [117] [74] <C [36]
255 24746 400 [30] [88] [107] [123] [117] [75] C> [36]
256 24795 399 [30] [88] [107] [123] [117] [75] <C [38]
257 24906 400 [30] [88] [107] [123] [117] [76] B> [38]
258 24907 399 [30] [88] [107] [123] [117] [76] <E [40]
259 24910 400 [30] [88] [107] [123] [117] [77] A> [40]
260 24911 399 [30] [88] [107] [123] [117] [77] <B [38]
261 24920 400 [30] [88] [107] [123] [117] [78] C> [38]
262 25045 399 [30] [88] [107] [123] [117] [78] <A [43]
263 25046 400 [30] [88] [107] [123] [117] [79] B> [43]
264 25047 399 [30] [88] [107] [123] [117] [79] <E [45]
265 25190 400 [30] [88] [107] [123] [117] [80] A> [45]
266 25191 399 [30] [88] [107] [123] [117] [80] <B [43]
267 25712 400 [30] [88] [107] [123] [117] [81] C> [43]
268 25717 399 [30] [88] [107] [123] [117] [81] <C [48]
269 25848 400 [30] [88] [107] [123] [117] [82] D> [48]
270 25851 399 [30] [88] [107] [123] [117] [82] <E [50]
271 25858 400 [30] [88] [107] [123] [117] [83] B> [50]
272 25885 399 [30] [88] [107] [123] [117] [83] <C [16]
273 25902 400 [30] [88] [107] [123] [117] [84] C> [16]
274 26603 399 [30] [88] [107] [123] [117] [84] <C [53]
275 26881 319 [30] [88] [107] [123] [117] <A [85] [53]
276 26882 320 [30] [88] [107] [123] [118] B> [85] [53]
277 26883 319 [30] [88] [107] [123] [118] <E [87] [53]
278 26926 320 [30] [88] [107] [123] [119] A> [87] [53]
279 26927 319 [30] [88] [107] [123] [119] <B [85] [53]
280 26936 320 [30] [88] [107] [123] [120] C> [85] [53]
281 26941 319 [30] [88] [107] [123] [120] <C [102] [53]
282 26942 320 [30] [88] [107] [123] [121] D> [102] [53]
283 26945 319 [30] [88] [107] [123] [121] <E [104] [53]
284 26964 320 [30] [88] [107] [123] [122] D> [104] [53]
285 27013 319 [30] [88] [107] [123] [122] <B [106] [53]
286 27014 320 [30] [88] [107] [123]2 C> [106] [53]
>> Try to prove a PA-CTR with 1 Vars...
0 0 0 [*]* [*]* [*]* [123]1+V(1) C> [106] [53]
1 448 80 [*]* [*]* [*]* [123]1+V(1) [108] D> [53]
2 451 79 [*]* [*]* [*]* [123]1+V(1) [108] <E [55]
3 458 80 [*]* [*]* [*]* [123]1+V(1) [109] B> [55]
4 469 79 [*]* [*]* [*]* [123]1+V(1) [109] <C [57]
5 486 80 [*]* [*]* [*]* [123]1+V(1) [110] C> [57]
6 1195 79 [*]* [*]* [*]* [123]1+V(1) [110] <C [59]
7 1220 80 [*]* [*]* [*]* [123]1+V(1) [111] B> [59]
8 1221 79 [*]* [*]* [*]* [123]1+V(1) [111] <E [61]
9 1224 80 [*]* [*]* [*]* [123]1+V(1) [112] A> [61]
10 1225 79 [*]* [*]* [*]* [123]1+V(1) [112] <B [59]
11 1234 80 [*]* [*]* [*]* [123]1+V(1) [113] C> [59]
12 1603 79 [*]* [*]* [*]* [123]1+V(1) [113] <A [64]
13 1604 80 [*]* [*]* [*]* [123]1+V(1) [114] B> [64]
14 1605 79 [*]* [*]* [*]* [123]1+V(1) [114] <E [66]
15 1652 80 [*]* [*]* [*]* [123]1+V(1) [115] A> [66]
16 1653 79 [*]* [*]* [*]* [123]1+V(1) [115] <B [64]
17 1996 80 [*]* [*]* [*]* [123]1+V(1) [116] D> [64]
18 2045 79 [*]* [*]* [*]* [123]1+V(1) [116] <C [69]
19 2050 80 [*]* [*]* [*]* [123]1+V(1) [117] A> [69]
20 2736 160 [*]* [*]* [*]* [123]1+V(1) [117] [71] A>
21 2737 159 [*]* [*]* [*]* [123]1+V(1) [117] [71] <B [1]
22 3158 160 [*]* [*]* [*]* [123]1+V(1) [117] [72] A> [1]
23 3165 159 [*]* [*]* [*]* [123]1+V(1) [117] [72] <A [32]
24 3166 160 [*]* [*]* [*]* [123]1+V(1) [117] [73] B> [32]
25 3167 159 [*]* [*]* [*]* [123]1+V(1) [117] [73] <E [34]
26 3174 160 [*]* [*]* [*]* [123]1+V(1) [117] [74] B> [34]
27 3195 159 [*]* [*]* [*]* [123]1+V(1) [117] [74] <C [36]
28 3212 160 [*]* [*]* [*]* [123]1+V(1) [117] [75] C> [36]
29 3261 159 [*]* [*]* [*]* [123]1+V(1) [117] [75] <C [38]
30 3372 160 [*]* [*]* [*]* [123]1+V(1) [117] [76] B> [38]
31 3373 159 [*]* [*]* [*]* [123]1+V(1) [117] [76] <E [40]
32 3376 160 [*]* [*]* [*]* [123]1+V(1) [117] [77] A> [40]
33 3377 159 [*]* [*]* [*]* [123]1+V(1) [117] [77] <B [38]
34 3386 160 [*]* [*]* [*]* [123]1+V(1) [117] [78] C> [38]
35 3511 159 [*]* [*]* [*]* [123]1+V(1) [117] [78] <A [43]
36 3512 160 [*]* [*]* [*]* [123]1+V(1) [117] [79] B> [43]
37 3513 159 [*]* [*]* [*]* [123]1+V(1) [117] [79] <E [45]
38 3656 160 [*]* [*]* [*]* [123]1+V(1) [117] [80] A> [45]
39 3657 159 [*]* [*]* [*]* [123]1+V(1) [117] [80] <B [43]
40 4178 160 [*]* [*]* [*]* [123]1+V(1) [117] [81] C> [43]
41 4183 159 [*]* [*]* [*]* [123]1+V(1) [117] [81] <C [48]
42 4314 160 [*]* [*]* [*]* [123]1+V(1) [117] [82] D> [48]
43 4317 159 [*]* [*]* [*]* [123]1+V(1) [117] [82] <E [50]
44 4324 160 [*]* [*]* [*]* [123]1+V(1) [117] [83] B> [50]
45 4351 159 [*]* [*]* [*]* [123]1+V(1) [117] [83] <C [16]
46 4368 160 [*]* [*]* [*]* [123]1+V(1) [117] [84] C> [16]
47 5069 159 [*]* [*]* [*]* [123]1+V(1) [117] [84] <C [53]
48 5347 79 [*]* [*]* [*]* [123]1+V(1) [117] <A [85] [53]
49 5348 80 [*]* [*]* [*]* [123]1+V(1) [118] B> [85] [53]
50 5349 79 [*]* [*]* [*]* [123]1+V(1) [118] <E [87] [53]
51 5392 80 [*]* [*]* [*]* [123]1+V(1) [119] A> [87] [53]
52 5393 79 [*]* [*]* [*]* [123]1+V(1) [119] <B [85] [53]
53 5402 80 [*]* [*]* [*]* [123]1+V(1) [120] C> [85] [53]
54 5407 79 [*]* [*]* [*]* [123]1+V(1) [120] <C [102] [53]
55 5408 80 [*]* [*]* [*]* [123]1+V(1) [121] D> [102] [53]
56 5411 79 [*]* [*]* [*]* [123]1+V(1) [121] <E [104] [53]
57 5430 80 [*]* [*]* [*]* [123]1+V(1) [122] D> [104] [53]
58 5479 79 [*]* [*]* [*]* [123]1+V(1) [122] <B [106] [53]
59 5480 80 [*]* [*]* [*]* [123]2+V(1) C> [106] [53]
<< Success! ==> defined new CTR 1 (PA)
286 27014 320 [30] [88] [107] [123]2 C> [106] [53]
== Executing PA-CTR 1, V(1)=1, repcount=Inf (doing just 1)
345 32494 400 [30] [88] [107] [123]3 C> [106] [53] [loop/gtConfig]
Symbol Table:
[0] = 00000000000000000000000000000000000000000000000000000000000000000000000000000000
[1] = 10000000000000000000000000000000000000000000000000000000000000000000000000000000
[2] = 00000000000000000000000000000000000000000000000000000000000000000000000000000001
[3] = 10110000000000000000000000000000000000000000000000000000000000000000000000000000
[4] = 01110000000000000000000000000000000000000000000000000000000000000000000000000000
[5] = 00000000000000000000000000000000000000000000000000000000000000000000000000001010
[6] = 10101000000000000000000000000000000000000000000000000000000000000000000000000000
[7] = 00000000000000000000000000000000000000000000000000000000000000000000000001010100
[8] = 11010101100000000000000000000000000000000000000000000000000000000000000000000000
[9] = 00000000000000000000000000000000000000000000000000000000000000000000000001010110
[10] = 10101010101110000000000000000000000000000000000000000000000000000000000000000000
[11] = 00000000000000000000000000000000000000000000000000000000000000000000001010100000
[12] = 01101010101110000000000000000000000000000000000000000000000000000000000000000000
[13] = 00000000000000000000000000000000000000000000000000000000000000000000001010101010
[14] = 10111010101110000000000000000000000000000000000000000000000000000000000000000000
[15] = 00000000000000000000000000000000000000000000000000000000000000000001010100000000
[16] = 10101010101010111000000000000000000000000000000000000000000000000000000000000000
[17] = 00000000000000000000000000000000000000000000000000000000000000000001010100000101
[18] = 11010101010101011101011110101011100000000000000000000000000000000000000000000000
[19] = 00000000000000000000000000000000000000000000000000000000000000000001010100000100
[20] = 01010101010101011101011110101011100000000000000000000000000000000000000000000000
[21] = 00000000000000000000000000000000000000000000000000000000000000000001010100101010
[22] = 11010101010101110101010110101111010111101101011110101011100000000000000000000000
[23] = 00000000000000000000000000000000000000000000000000000000000000001010110101000001
[24] = 10010101010101110101010110101111010111101101011110101011100000000000000000000000
[25] = 00000000000000000000000000000000000000000000000000000000000000001010110101000000
[26] = 01010101010101110101010110101111010111101101011110101011100000000000000000000000
[27] = 00000000000000000000000000000000000000000000000000000000000000001010110101001010
[28] = 10101010000000010101000001011010110101001010100000000000101101010101010010101101
[29] = 10101011110101010101010110101111011101111010111101010101010101101101011110101011
[30] = 00000000000000000000000000000000000000000000000000000000001010100000010101000001
[31] = 01001010100000101011010100000000000000000010101000000000001010101011010100000001
[32] = 11000000000000000000000000000000000000000000000000000000000000000000000000000000
[33] = 01001010100000101011010100000000000000000010101000000000001010101011010100000000
[34] = 01000000000000000000000000000000000000000000000000000000000000000000000000000000
[35] = 01001010100000101011010100000000000000000010101000000000001010101011010100001010
[36] = 10111000000000000000000000000000000000000000000000000000000000000000000000000000
[37] = 01001010100000101011010100000000000000000010101000000000001010101011010101010100
[38] = 10101011100000000000000000000000000000000000000000000000000000000000000000000000
[39] = 01001010100000101011010100000000000000000010101000000001010100101010000010100010
[40] = 00101011100000000000000000000000000000000000000000000000000000000000000000000000
[41] = 01001010100000101011010100000000000000000010101000000001010100101010000010100001
[42] = 01001010100000101011010100000000000000000010101000000001010100101010000010110101
[43] = 11010111101010111000000000000000000000000000000000000000000000000000000000000000
[44] = 01001010100000101011010100000000000000000010101000000001010100101010000010110100
[45] = 01010111101010111000000000000000000000000000000000000000000000000000000000000000
[46] = 01001010100000101011010100000000000000000010101000001010110101001010100101010001
[47] = 01001010100000101011010100000000000000010101101010000000010101001010101011010100
[48] = 10110111101010111000000000000000000000000000000000000000000000000000000000000000
[49] = 01001010100000101011010100000000000000010101101010000010101101010000101010000000
[50] = 01110111101010111000000000000000000000000000000000000000000000000000000000000000
[51] = 01001010100000101011010100000000000000010101101010000010101101010000101010001010
[52] = 01001010100000101011010100000000000000010101101010000010101101010000101011010100
[53] = 10101111010101010101011011010111101010111000000000000000000000000000000000000000
[54] = 01001010100000101011010100000000010101000000101010000010100000001010000000000000
[55] = 01101111010101010101011011010111101010111000000000000000000000000000000000000000
[56] = 01001010100000101011010100000000010101000000101010000010100000001010000000001010
[57] = 10111111010101010101011011010111101010111000000000000000000000000000000000000000
[58] = 01001010100000101011010100000000010101000000101010000010100000001010000001010100
[59] = 10101010101101010101010110101111010111101101011110101011100000000000000000000000
[60] = 01001010100000101011010100000000010101000000101010000010100000001010001010100010
[61] = 00101010101101010101010110101111010111101101011110101011100000000000000000000000
[62] = 01001010100000101011010100000000010101000000101010000010100000001010001010100001
[63] = 01001010100000101011010100000000010101000000101010000010100000001010001010110101
[64] = 11010101101111010101101011101010101101111011011110101011100000000000000000000000
[65] = 01001010100000101011010100000000010101000000101010000010100000001010001010110100
[66] = 01010101101111010101101011101010101101111011011110101011100000000000000000000000
[67] = 01001010100000101011010100000000010101000000101010000010100000001011010101010101
[68] = 01001010100000101011010100000000010101000000101010010101001010100010101010100000
[69] = 10101010101011010101101011101010101101111011011110101011100000000000000000000000
[70] = 01001010100000101011010100000000010101000000101010010101001010100010101010100101
[71] = 01000010101001010100010101011010110101001010100000000000101101010101010010101101
[72] = 01000010101001010110101101010010101101010010101000000000001010101011010100000001
[73] = 01000010101001010110101101010010101101010010101000000000001010101011010100000000
[74] = 01000010101001010110101101010010101101010010101000000000001010101011010100001010
[75] = 01000010101001010110101101010010101101010010101000000000001010101011010101010100
[76] = 01000010101001010110101101010010101101010010101000000001010100101010000010100010
[77] = 01000010101001010110101101010010101101010010101000000001010100101010000010100001
[78] = 01000010101001010110101101010010101101010010101000000001010100101010000010110101
[79] = 01000010101001010110101101010010101101010010101000000001010100101010000010110100
[80] = 01000010101001010110101101010010101101010010101000001010110101001010100101010001
[81] = 01010101101011010100101011010110101101010010101010100000010101001010101011010100
[82] = 01010101101011010100101011010110101101010010101010100010101101010000101010000000
[83] = 01010101101011010100101011010110101101010010101010100010101101010000101010001010
[84] = 01010101101011010100101011010110101101010010101010100010101101010000101011010100
[85] = 11010101011010110111101010110101101011011110101010101101010101011101010101010101
[86] = 01001010100000101011010100000000010101000000101010010101001010100010101010100100
[87] = 01010101011010110111101010110101101011011110101010101101010101011101010101010101
[88] = 01001010100000101011010100000000010101000000101010010101001010110101000010101000
[89] = 10101101011010100101011010100000000101010010101000000000101000001010000000000000
[90] = 10101101011010100101011010100000000101010010101000000000101000001010000000001010
[91] = 10101101011010100101011010100000000101010010101000000000101000001010000001010100
[92] = 10101101011010100101011010100000000101010010101000000000101000001010001010100010
[93] = 10101101011010100101011010100000000101010010101000000000101000001010001010100001
[94] = 10101101011010100101011010100000000101010010101000000000101000001010001010110101
[95] = 10101101011010100101011010100000000101010010101000000000101000001010001010110100
[96] = 10101101011010100101011010100000000101010010101000000000101000001011010101010101
[97] = 10101101011010100101011010100000000101010010101101011010100000000000101010101000
[98] = 10101101011010100101011010100000000101010010101101011010100000000000101010101101
[99] = 10101101011010100101011010100000000101010010101101011010100000000000101010101100
[100] = 10101101011010100101011010100000000101010010101101011010100000000101010000000001
[101] = 10101101011010100101011010100000000101010010101101011010100000000101010000010101
[102] = 10110101011010110111101010110101101011011110101010101101010101011101010101010101
[103] = 10101101011010100101011010100000000101010010101101011010100000000101010000010100
[104] = 01110101011010110111101010110101101011011110101010101101010101011101010101010101
[105] = 10101101011010100101011010100000000101010010101101011010100000000101010010101000
[106] = 11101010101011110111101010110101101011011110101010101101010101011101010101010101
[107] = 10101101011010100101011010100000000101010010101101011010100000000101010010101001
[108] = 01011010100000000101011010100000000101010010101000000000101000001010000000000000
[109] = 01011010100000000101011010100000000101010010101000000000101000001010000000001010
[110] = 01011010100000000101011010100000000101010010101000000000101000001010000001010100
[111] = 01011010100000000101011010100000000101010010101000000000101000001010001010100010
[112] = 01011010100000000101011010100000000101010010101000000000101000001010001010100001
[113] = 01011010100000000101011010100000000101010010101000000000101000001010001010110101
[114] = 01011010100000000101011010100000000101010010101000000000101000001010001010110100
[115] = 01011010100000000101011010100000000101010010101000000000101000001011010101010101
[116] = 01011010100000000101011010100000000101010010101101011010100000000000101010101000
[117] = 01011010100000000101011010100000000101010010101101011010100000000000101010101101
[118] = 01011010100000000101011010100000000101010010101101011010100000000000101010101100
[119] = 01011010100000000101011010100000000101010010101101011010100000000101010000000001
[120] = 01011010100000000101011010100000000101010010101101011010100000000101010000010101
[121] = 01011010100000000101011010100000000101010010101101011010100000000101010000010100
[122] = 01011010100000000101011010100000000101010010101101011010100000000101010010101000
[123] = 01011010100000000101011010100000000101010010101101011010100000000101010010101001
Lines: 288
Top steps: 287
Macro steps: 345
Basic steps: 32494
Tape index: 400
ones: 234
log10(ones ): 2.369
log10(steps ): 4.512
Run state: loop/gtConfig
Input to awk program:
gohalt 1
C symbol size 80
5T B1L B0R C1R E0L A1L D0R C0R A1R C1L H1L
T TM #3 from MaBu90-Paper
M 410
pref sim
machv mbP_3 just simple
machv mbP_3-r with repetitions reduced
machv mbP_3-1 with tape symbol exponents
machv mbP_3-m as 80-macro machine
machv mbP_3-a as 80-macro machine with pure additive config-TRs
iam mbP_3-a
mtype 80
mmtyp 3
r 1
H 1
mac 0
E 2
sympr i
HM 1
date Tue Jul 6 22:10:05 CEST 2010
edate Tue Jul 6 22:10:06 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:05 CEST 2010