Comment: This TM produces 136612 ones in 13122572797 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 | F0R | D1R | 0 | right | F | 1 | right | D |
| D | A1L | E0R | 1 | left | A | 0 | right | E |
| E | A0L | C1R | 0 | left | A | 1 | right | C |
| F | E1L | H1L | 1 | left | E | 1 | left | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 3-macro machine.
The same TM 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 110 E> 110
5 15 -1 110 <A 111
6 18 0 111 B> 111
7 21 3 1112 B>
8 26 2 1112 <A 101
9 32 -4 <A 1112 101
10 35 -3 011 D> 1112 101
11 41 3 0113 D> 101
12 44 2 0113 <B 101
13 45 3 0113 B> 101
14 48 6 0113 111 D>
15 49 5 0113 111 <A 100
16 52 2 0113 <A 111 100
17 55 -1 0112 <B 1112 100
18 56 0 0112 B> 1112 100
19 62 6 0112 1112 B> 100
20 65 9 0112 1112 110 F>
21 66 8 0112 1112 110 <E 100
22 69 5 0112 1112 <A 110 100
23 75 -1 0112 <A 1112 110 100
24 78 -4 011 <B 1113 110 100
25 79 -3 011 B> 1113 110 100
26 88 6 011 1113 B> 110 100
27 91 9 011 1114 C> 100
28 94 8 011 1114 <A 110
29 106 -4 011 <A 1114 110
30 109 -7 <B 1115 110
31 110 -6 001 C> 1115 110
32 125 9 001 1015 C> 110
33 132 12 001 1015 111 C>
34 135 11 001 1015 111 <A 010
35 138 8 001 1015 <A 111 010
36 143 9 001 1014 111 B> 111 010
37 146 12 001 1014 1112 B> 010
38 151 11 001 1014 1112 <A 111
39 157 5 001 1014 <A 1113
40 162 6 001 1013 111 B> 1113
41 171 15 001 1013 1114 B>
42 176 14 001 1013 1114 <A 101
43 188 2 001 1013 <A 1114 101
44 193 3 001 1012 111 B> 1114 101
45 205 15 001 1012 1115 B> 101
46 208 18 001 1012 1116 D>
47 209 17 001 1012 1116 <A 100
48 227 -1 001 1012 <A 1116 100
49 232 0 001 101 111 B> 1116 100
50 250 18 001 101 1117 B> 100
51 253 21 001 101 1117 110 F>
52 254 20 001 101 1117 110 <E 100
53 257 17 001 101 1117 <A 110 100
54 278 -4 001 101 <A 1117 110 100
55 283 -3 001 111 B> 1117 110 100
56 304 18 001 1118 B> 110 100
57 307 21 001 1119 C> 100
58 310 20 001 1119 <A 110
59 337 -7 001 <A 1119 110
60 342 -6 110 E> 1119 110
61 369 21 11010 E> 110
62 374 20 11010 <A 111
63 377 21 1109 111 B> 111
64 380 24 1109 1112 B>
65 385 23 1109 1112 <A 101
66 391 17 1109 <A 1112 101
67 394 18 1108 111 B> 1112 101
68 400 24 1108 1113 B> 101
69 403 27 1108 1114 D>
70 404 26 1108 1114 <A 100
71 416 14 1108 <A 1114 100
72 419 15 1107 111 B> 1114 100
73 431 27 1107 1115 B> 100
74 434 30 1107 1115 110 F>
75 435 29 1107 1115 110 <E 100
76 438 26 1107 1115 <A 110 100
77 453 11 1107 <A 1115 110 100
78 456 12 1106 111 B> 1115 110 100
79 471 27 1106 1116 B> 110 100
80 474 30 1106 1117 C> 100
81 477 29 1106 1117 <A 110
82 498 8 1106 <A 1117 110
83 501 9 1105 111 B> 1117 110
84 522 30 1105 1118 B> 110
85 525 33 1105 1119 C>
86 528 32 1105 1119 <A 010
87 555 5 1105 <A 1119 010
88 558 6 1104 111 B> 1119 010
89 585 33 1104 11110 B> 010
90 590 32 1104 11110 <A 111
91 620 2 1104 <A 11111
92 623 3 1103 111 B> 11111
93 656 36 1103 11112 B>
94 661 35 1103 11112 <A 101
95 697 -1 1103 <A 11112 101
96 700 0 1102 111 B> 11112 101
97 736 36 1102 11113 B> 101
98 739 39 1102 11114 D>
99 740 38 1102 11114 <A 100
100 782 -4 1102 <A 11114 100
101 785 -3 110 111 B> 11114 100
102 827 39 110 11115 B> 100
103 830 42 110 11115 110 F>
104 831 41 110 11115 110 <E 100
105 834 38 110 11115 <A 110 100
106 879 -7 110 <A 11115 110 100
107 882 -6 111 B> 11115 110 100
108 927 39 11116 B> 110 100
109 930 42 11117 C> 100
110 933 41 11117 <A 110
111 984 -10 <A 11117 110
112 987 -9 011 D> 11117 110
113 1038 42 01118 D> 110
114 1041 45 01118 010 F>
115 1042 44 01118 010 <E 100
116 1045 41 01118 <B 110 100
117 1046 42 01118 B> 110 100
118 1049 45 01118 111 C> 100
119 1052 44 01118 111 <A 110
120 1055 41 01118 <A 111 110
121 1058 38 01117 <B 1112 110
122 1059 39 01117 B> 1112 110
123 1065 45 01117 1112 B> 110
124 1068 48 01117 1113 C>
125 1071 47 01117 1113 <A 010
126 1080 38 01117 <A 1113 010
127 1083 35 01116 <B 1114 010
128 1084 36 01116 B> 1114 010
129 1096 48 01116 1114 B> 010
130 1101 47 01116 1114 <A 111
131 1113 35 01116 <A 1115
132 1116 32 01115 <B 1116
133 1117 33 01115 B> 1116
134 1135 51 01115 1116 B>
135 1140 50 01115 1116 <A 101
136 1158 32 01115 <A 1116 101
137 1161 29 01114 <B 1117 101
138 1162 30 01114 B> 1117 101
139 1183 51 01114 1117 B> 101
140 1186 54 01114 1118 D>
141 1187 53 01114 1118 <A 100
142 1211 29 01114 <A 1118 100
143 1214 26 01113 <B 1119 100
144 1215 27 01113 B> 1119 100
145 1242 54 01113 1119 B> 100
146 1245 57 01113 1119 110 F>
147 1246 56 01113 1119 110 <E 100
148 1249 53 01113 1119 <A 110 100
149 1276 26 01113 <A 1119 110 100
150 1279 23 01112 <B 11110 110 100
151 1280 24 01112 B> 11110 110 100
152 1310 54 01112 11110 B> 110 100
153 1313 57 01112 11111 C> 100
154 1316 56 01112 11111 <A 110
155 1349 23 01112 <A 11111 110
156 1352 20 01111 <B 11112 110
157 1353 21 01111 B> 11112 110
158 1389 57 01111 11112 B> 110
159 1392 60 01111 11113 C>
160 1395 59 01111 11113 <A 010
161 1434 20 01111 <A 11113 010
162 1437 17 01110 <B 11114 010
163 1438 18 01110 B> 11114 010
164 1480 60 01110 11114 B> 010
165 1485 59 01110 11114 <A 111
166 1527 17 01110 <A 11115
167 1530 14 0119 <B 11116
168 1531 15 0119 B> 11116
169 1579 63 0119 11116 B>
170 1584 62 0119 11116 <A 101
171 1632 14 0119 <A 11116 101
172 1635 11 0118 <B 11117 101
173 1636 12 0118 B> 11117 101
174 1687 63 0118 11117 B> 101
175 1690 66 0118 11118 D>
176 1691 65 0118 11118 <A 100
177 1745 11 0118 <A 11118 100
178 1748 8 0117 <B 11119 100
179 1749 9 0117 B> 11119 100
180 1806 66 0117 11119 B> 100
181 1809 69 0117 11119 110 F>
182 1810 68 0117 11119 110 <E 100
183 1813 65 0117 11119 <A 110 100
184 1870 8 0117 <A 11119 110 100
185 1873 5 0116 <B 11120 110 100
186 1874 6 0116 B> 11120 110 100
187 1934 66 0116 11120 B> 110 100
188 1937 69 0116 11121 C> 100
189 1940 68 0116 11121 <A 110
190 2003 5 0116 <A 11121 110
191 2006 2 0115 <B 11122 110
192 2007 3 0115 B> 11122 110
193 2073 69 0115 11122 B> 110
194 2076 72 0115 11123 C>
195 2079 71 0115 11123 <A 010
196 2148 2 0115 <A 11123 010
197 2151 -1 0114 <B 11124 010
198 2152 0 0114 B> 11124 010
199 2224 72 0114 11124 B> 010
200 2229 71 0114 11124 <A 111
201 2301 -1 0114 <A 11125
202 2304 -4 0113 <B 11126
203 2305 -3 0113 B> 11126
204 2383 75 0113 11126 B>
205 2388 74 0113 11126 <A 101
206 2466 -4 0113 <A 11126 101
207 2469 -7 0112 <B 11127 101
208 2470 -6 0112 B> 11127 101
209 2551 75 0112 11127 B> 101
210 2554 78 0112 11128 D>
211 2555 77 0112 11128 <A 100
212 2639 -7 0112 <A 11128 100
213 2642 -10 011 <B 11129 100
214 2643 -9 011 B> 11129 100
215 2730 78 011 11129 B> 100
216 2733 81 011 11129 110 F>
217 2734 80 011 11129 110 <E 100
218 2737 77 011 11129 <A 110 100
219 2824 -10 011 <A 11129 110 100
220 2827 -13 <B 11130 110 100
221 2828 -12 001 C> 11130 110 100
222 2918 78 001 10130 C> 110 100
223 2925 81 001 10130 111 C> 100
224 2928 80 001 10130 111 <A 110
225 2931 77 001 10130 <A 111 110
226 2936 78 001 10129 111 B> 111 110
227 2939 81 001 10129 1112 B> 110
228 2942 84 001 10129 1113 C>
229 2945 83 001 10129 1113 <A 010
230 2954 74 001 10129 <A 1113 010
231 2959 75 001 10128 111 B> 1113 010
232 2968 84 001 10128 1114 B> 010
233 2973 83 001 10128 1114 <A 111
234 2985 71 001 10128 <A 1115
235 2990 72 001 10127 111 B> 1115
236 3005 87 001 10127 1116 B>
237 3010 86 001 10127 1116 <A 101
238 3028 68 001 10127 <A 1116 101
239 3033 69 001 10126 111 B> 1116 101
240 3051 87 001 10126 1117 B> 101
241 3054 90 001 10126 1118 D>
242 3055 89 001 10126 1118 <A 100
243 3079 65 001 10126 <A 1118 100
244 3084 66 001 10125 111 B> 1118 100
245 3108 90 001 10125 1119 B> 100
246 3111 93 001 10125 1119 110 F>
247 3112 92 001 10125 1119 110 <E 100
248 3115 89 001 10125 1119 <A 110 100
249 3142 62 001 10125 <A 1119 110 100
250 3147 63 001 10124 111 B> 1119 110 100
251 3174 90 001 10124 11110 B> 110 100
252 3177 93 001 10124 11111 C> 100
253 3180 92 001 10124 11111 <A 110
254 3213 59 001 10124 <A 11111 110
255 3218 60 001 10123 111 B> 11111 110
256 3251 93 001 10123 11112 B> 110
257 3254 96 001 10123 11113 C>
258 3257 95 001 10123 11113 <A 010
259 3296 56 001 10123 <A 11113 010
260 3301 57 001 10122 111 B> 11113 010
261 3340 96 001 10122 11114 B> 010
262 3345 95 001 10122 11114 <A 111
263 3387 53 001 10122 <A 11115
264 3392 54 001 10121 111 B> 11115
265 3437 99 001 10121 11116 B>
266 3442 98 001 10121 11116 <A 101
267 3490 50 001 10121 <A 11116 101
268 3495 51 001 10120 111 B> 11116 101
269 3543 99 001 10120 11117 B> 101
270 3546 102 001 10120 11118 D>
271 3547 101 001 10120 11118 <A 100
272 3601 47 001 10120 <A 11118 100
273 3606 48 001 10119 111 B> 11118 100
274 3660 102 001 10119 11119 B> 100
275 3663 105 001 10119 11119 110 F>
276 3664 104 001 10119 11119 110 <E 100
277 3667 101 001 10119 11119 <A 110 100
278 3724 44 001 10119 <A 11119 110 100
279 3729 45 001 10118 111 B> 11119 110 100
280 3786 102 001 10118 11120 B> 110 100
281 3789 105 001 10118 11121 C> 100
282 3792 104 001 10118 11121 <A 110
283 3855 41 001 10118 <A 11121 110
284 3860 42 001 10117 111 B> 11121 110
285 3923 105 001 10117 11122 B> 110
286 3926 108 001 10117 11123 C>
287 3929 107 001 10117 11123 <A 010
288 3998 38 001 10117 <A 11123 010
289 4003 39 001 10116 111 B> 11123 010
290 4072 108 001 10116 11124 B> 010
291 4077 107 001 10116 11124 <A 111
292 4149 35 001 10116 <A 11125
293 4154 36 001 10115 111 B> 11125
294 4229 111 001 10115 11126 B>
295 4234 110 001 10115 11126 <A 101
296 4312 32 001 10115 <A 11126 101
297 4317 33 001 10114 111 B> 11126 101
298 4395 111 001 10114 11127 B> 101
299 4398 114 001 10114 11128 D>
300 4399 113 001 10114 11128 <A 100
301 4483 29 001 10114 <A 11128 100
302 4488 30 001 10113 111 B> 11128 100
303 4572 114 001 10113 11129 B> 100
304 4575 117 001 10113 11129 110 F>
305 4576 116 001 10113 11129 110 <E 100
306 4579 113 001 10113 11129 <A 110 100
307 4666 26 001 10113 <A 11129 110 100
308 4671 27 001 10112 111 B> 11129 110 100
309 4758 114 001 10112 11130 B> 110 100
310 4761 117 001 10112 11131 C> 100
311 4764 116 001 10112 11131 <A 110
312 4857 23 001 10112 <A 11131 110
313 4862 24 001 10111 111 B> 11131 110
314 4955 117 001 10111 11132 B> 110
315 4958 120 001 10111 11133 C>
316 4961 119 001 10111 11133 <A 010
317 5060 20 001 10111 <A 11133 010
318 5065 21 001 10110 111 B> 11133 010
319 5164 120 001 10110 11134 B> 010
320 5169 119 001 10110 11134 <A 111
321 5271 17 001 10110 <A 11135
322 5276 18 001 1019 111 B> 11135
323 5381 123 001 1019 11136 B>
324 5386 122 001 1019 11136 <A 101
325 5494 14 001 1019 <A 11136 101
326 5499 15 001 1018 111 B> 11136 101
327 5607 123 001 1018 11137 B> 101
328 5610 126 001 1018 11138 D>
329 5611 125 001 1018 11138 <A 100
330 5725 11 001 1018 <A 11138 100
331 5730 12 001 1017 111 B> 11138 100
332 5844 126 001 1017 11139 B> 100
333 5847 129 001 1017 11139 110 F>
334 5848 128 001 1017 11139 110 <E 100
335 5851 125 001 1017 11139 <A 110 100
336 5968 8 001 1017 <A 11139 110 100
337 5973 9 001 1016 111 B> 11139 110 100
338 6090 126 001 1016 11140 B> 110 100
339 6093 129 001 1016 11141 C> 100
340 6096 128 001 1016 11141 <A 110
341 6219 5 001 1016 <A 11141 110
342 6224 6 001 1015 111 B> 11141 110
343 6347 129 001 1015 11142 B> 110
344 6350 132 001 1015 11143 C>
345 6353 131 001 1015 11143 <A 010
346 6482 2 001 1015 <A 11143 010
347 6487 3 001 1014 111 B> 11143 010
348 6616 132 001 1014 11144 B> 010
349 6621 131 001 1014 11144 <A 111
350 6753 -1 001 1014 <A 11145
351 6758 0 001 1013 111 B> 11145
352 6893 135 001 1013 11146 B>
353 6898 134 001 1013 11146 <A 101
354 7036 -4 001 1013 <A 11146 101
355 7041 -3 001 1012 111 B> 11146 101
356 7179 135 001 1012 11147 B> 101
357 7182 138 001 1012 11148 D>
358 7183 137 001 1012 11148 <A 100
359 7327 -7 001 1012 <A 11148 100
360 7332 -6 001 101 111 B> 11148 100
361 7476 138 001 101 11149 B> 100
362 7479 141 001 101 11149 110 F>
363 7480 140 001 101 11149 110 <E 100
364 7483 137 001 101 11149 <A 110 100
365 7630 -10 001 101 <A 11149 110 100
366 7635 -9 001 111 B> 11149 110 100
367 7782 138 001 11150 B> 110 100
368 7785 141 001 11151 C> 100
369 7788 140 001 11151 <A 110
370 7941 -13 001 <A 11151 110
371 7946 -12 110 E> 11151 110
372 8099 141 11052 E> 110
373 8104 140 11052 <A 111
374 8107 141 11051 111 B> 111
375 8110 144 11051 1112 B>
376 8115 143 11051 1112 <A 101
377 8121 137 11051 <A 1112 101
378 8124 138 11050 111 B> 1112 101
379 8130 144 11050 1113 B> 101
380 8133 147 11050 1114 D>
381 8134 146 11050 1114 <A 100
382 8146 134 11050 <A 1114 100
383 8149 135 11049 111 B> 1114 100
384 8161 147 11049 1115 B> 100
385 8164 150 11049 1115 110 F>
386 8165 149 11049 1115 110 <E 100
387 8168 146 11049 1115 <A 110 100
388 8183 131 11049 <A 1115 110 100
389 8186 132 11048 111 B> 1115 110 100
390 8201 147 11048 1116 B> 110 100
391 8204 150 11048 1117 C> 100
392 8207 149 11048 1117 <A 110
393 8228 128 11048 <A 1117 110
394 8231 129 11047 111 B> 1117 110
395 8252 150 11047 1118 B> 110
396 8255 153 11047 1119 C>
397 8258 152 11047 1119 <A 010
398 8285 125 11047 <A 1119 010
399 8288 126 11046 111 B> 1119 010
400 8315 153 11046 11110 B> 010
401 8320 152 11046 11110 <A 111
402 8350 122 11046 <A 11111
403 8353 123 11045 111 B> 11111
404 8386 156 11045 11112 B>
405 8391 155 11045 11112 <A 101
406 8427 119 11045 <A 11112 101
407 8430 120 11044 111 B> 11112 101
408 8466 156 11044 11113 B> 101
409 8469 159 11044 11114 D>
410 8470 158 11044 11114 <A 100
411 8512 116 11044 <A 11114 100
412 8515 117 11043 111 B> 11114 100
413 8557 159 11043 11115 B> 100
414 8560 162 11043 11115 110 F>
415 8561 161 11043 11115 110 <E 100
416 8564 158 11043 11115 <A 110 100
417 8609 113 11043 <A 11115 110 100
418 8612 114 11042 111 B> 11115 110 100
419 8657 159 11042 11116 B> 110 100
420 8660 162 11042 11117 C> 100
421 8663 161 11042 11117 <A 110
422 8714 110 11042 <A 11117 110
423 8717 111 11041 111 B> 11117 110
424 8768 162 11041 11118 B> 110
425 8771 165 11041 11119 C>
426 8774 164 11041 11119 <A 010
427 8831 107 11041 <A 11119 010
428 8834 108 11040 111 B> 11119 010
429 8891 165 11040 11120 B> 010
430 8896 164 11040 11120 <A 111
431 8956 104 11040 <A 11121
432 8959 105 11039 111 B> 11121
433 9022 168 11039 11122 B>
434 9027 167 11039 11122 <A 101
435 9093 101 11039 <A 11122 101
436 9096 102 11038 111 B> 11122 101
437 9162 168 11038 11123 B> 101
438 9165 171 11038 11124 D>
439 9166 170 11038 11124 <A 100
440 9238 98 11038 <A 11124 100
441 9241 99 11037 111 B> 11124 100
442 9313 171 11037 11125 B> 100
443 9316 174 11037 11125 110 F>
444 9317 173 11037 11125 110 <E 100
445 9320 170 11037 11125 <A 110 100
446 9395 95 11037 <A 11125 110 100
447 9398 96 11036 111 B> 11125 110 100
448 9473 171 11036 11126 B> 110 100
449 9476 174 11036 11127 C> 100
450 9479 173 11036 11127 <A 110
451 9560 92 11036 <A 11127 110
452 9563 93 11035 111 B> 11127 110
453 9644 174 11035 11128 B> 110
454 9647 177 11035 11129 C>
455 9650 176 11035 11129 <A 010
456 9737 89 11035 <A 11129 010
457 9740 90 11034 111 B> 11129 010
458 9827 177 11034 11130 B> 010
459 9832 176 11034 11130 <A 111
460 9922 86 11034 <A 11131
461 9925 87 11033 111 B> 11131
462 10018 180 11033 11132 B>
463 10023 179 11033 11132 <A 101
464 10119 83 11033 <A 11132 101
465 10122 84 11032 111 B> 11132 101
466 10218 180 11032 11133 B> 101
467 10221 183 11032 11134 D>
468 10222 182 11032 11134 <A 100
469 10324 80 11032 <A 11134 100
470 10327 81 11031 111 B> 11134 100
471 10429 183 11031 11135 B> 100
472 10432 186 11031 11135 110 F>
473 10433 185 11031 11135 110 <E 100
474 10436 182 11031 11135 <A 110 100
475 10541 77 11031 <A 11135 110 100
476 10544 78 11030 111 B> 11135 110 100
477 10649 183 11030 11136 B> 110 100
478 10652 186 11030 11137 C> 100
479 10655 185 11030 11137 <A 110
480 10766 74 11030 <A 11137 110
481 10769 75 11029 111 B> 11137 110
482 10880 186 11029 11138 B> 110
483 10883 189 11029 11139 C>
484 10886 188 11029 11139 <A 010
485 11003 71 11029 <A 11139 010
486 11006 72 11028 111 B> 11139 010
487 11123 189 11028 11140 B> 010
488 11128 188 11028 11140 <A 111
489 11248 68 11028 <A 11141
490 11251 69 11027 111 B> 11141
491 11374 192 11027 11142 B>
492 11379 191 11027 11142 <A 101
493 11505 65 11027 <A 11142 101
494 11508 66 11026 111 B> 11142 101
495 11634 192 11026 11143 B> 101
496 11637 195 11026 11144 D>
497 11638 194 11026 11144 <A 100
498 11770 62 11026 <A 11144 100
499 11773 63 11025 111 B> 11144 100
500 11905 195 11025 11145 B> 100
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 11905
Tape index: 195
ones: 186
log10(ones ): 2.270
log10(steps ): 4.076
Input to awk program:
gohalt 1
L 14
5T B1L A1L C1R B1R F0R D1R A1L E0R A0L C1R E1L H1L : 136612 13122572797
T 6-state TM #1 from MaBu-List
M 501
pref sim
machv mbL6_1 just simple
machv mbL6_1-r with repetitions reduced
machv mbL6_1-1 with tape symbol exponents
machv mbL6_1-m as 3-macro machine
machv mbL6_1-a as 3-macro machine with pure additive config-TRs
iam mbL6_1-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:25 CEST 2010
edate Tue Jul 6 22:10:26 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:25 CEST 2010