Comment: Found by jubu 1991-10-24, published first 2005-11-12 (on web)
State | on 0 |
on 1 |
on 0 | on 1 | ||||
---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | |||||
A | B1R | E1L | 1 | right | B | 1 | left | E |
B | C1L | B0R | 1 | left | C | 0 | right | B |
C | A0L | D0L | 0 | left | A | 0 | left | D |
D | A1R | C1L | 1 | right | A | 1 | left | C |
E | Z== | B1L | Z | stay | = | 1 | left | B |
The same TM just simple. The same TM with repetitions reduced. The same TM with tape symbol exponents. Simulation is done as 7-bck-22-macro machine. The same TM as 7-bck-22-macro machine with pure additive config-TRs. Pushing initial machine. Pushing macro factor 7. Pushing BCK machine. Pushing macro factor 22. Symbols are printed by their bracketed index into the symbol table, which is printed below. Steps BasSteps BasTpos Tape contents 0 0 0 (0000000)A> 1 234 -8 <C(1110110) [1] 2 264 0 [2] (1101100)B> [1] 3 670 -8 [2] <C(1010111) [3] 4 716 0 [4] (1100000)B> [3] 5 840 -8 [4] <D(0101101) [5] 6 896 0 [6] (1011000)B> [5] 7 1190 -8 [6] <C(1011101) [7] 8 1236 0 [8] (0011000)B> [7] 9 1388 -8 [8] <D(0110111) [9] 10 1424 0 [10] (1100000)B> [9] 11 1588 -8 [10] <D(0101101) [11] 12 1664 0 [12] (0011000)B> [11] 13 1838 -8 [12] <C(1110111) [13] 14 1892 0 [14] (1100000)B> [13] 15 2078 -8 [14] <C(1011101) [15] 16 2152 0 [16] (0011000)B> [15] 17 2344 -8 [16] <D(0110111) [17] 18 2468 0 [18] (1100000)B> [17] 19 2672 -8 [18] <D(0101101) [19] 20 2744 0 [20] (0011000)B> [19] 21 2958 -8 [20] <C(1110111) [21] 22 3112 0 [22] (1100000)B> [21] 23 3338 -8 [22] <C(1011101) [23] 24 3428 0 [24] (0011000)B> [23] 25 3660 -8 [24] <D(0110111) [25] 26 3836 0 [26] (0000000)B> [25] 27 4096 -8 [26] <B(1101111) [27] 28 4212 0 [28] (1000000)B> [27] 29 4476 -8 [28] <D(0111011) [29] 30 4568 0 [30] (0110000)B> [29] 31 4836 -8 [30] <A(0101110) [31] 32 4948 0 [32] (1001100)B> [31] 33 5222 -8 [32] <C(1011011) [33] 34 5364 0 [34] (0110000)B> [33] 35 5656 -8 [34] <B(1101110) [35] 36 5760 0 [36] (1001100)B> [35] 37 6056 -8 [36] <D(0111011) [37] 38 6248 0 [38] (0110000)B> [37] 39 6556 -8 [38] <A(0101110) [39] 40 6732 0 [40] (0001100)B> [39] 41 7056 -8 [40] <D(0101111) [41] 42 7160 0 [42] (0000000)B> [41] 43 7502 -8 [42] <C(1110111) [43] 44 7656 0 [44] (1100000)B> [43] 45 8002 -8 [44] <C(1011101) [45] 46 8156 0 [46] (0011000)B> [45] 47 8508 -8 [46] <D(0110111) [47] 48 8624 0 [48] (0000000)B> [47] 49 9004 -8 [48] <B(1101111) [49] 50 9136 0 [50] (1000000)B> [49] 51 9520 -8 [50] <D(0111011) [51] 52 9652 0 [52] (0110000)B> [51] 53 10040 -8 [52] <A(0101110) [53] 54 10216 0 [54] (1001100)B> [53] 55 10610 -8 [54] <C(1011011) [55] 56 10776 0 [56] (0110000)B> [55] 57 11188 -8 [56] <B(1101110) [57] 58 11332 0 [58] (1001100)B> [57] 59 11748 -8 [58] <D(0111011) [59] 60 11904 0 [60] (0110000)B> [59] 61 12332 -8 [60] <A(0101110) [61] 62 12544 0 [62] (1001100)B> [61] 63 12978 -8 [62] <C(1011011) [63] 64 13132 0 [64] (0110000)B> [63] 65 13584 -8 [64] <B(1101110) [65] 66 13776 0 [66] (1001100)B> [65] 67 14232 -8 [66] <D(0111011) [67] 68 14416 0 [68] (0110000)B> [67] 69 14884 -8 [68] <A(0101110) [69] 70 15052 0 [70] (1001100)B> [69] 71 15526 -8 [70] <C(1011011) [71] 72 15704 0 [72] (0110000)B> [71] 73 16196 -8 [72] <B(1101110) [73] 74 16428 0 [74] (1001100)B> [73] 75 16924 -8 [74] <D(0111011) [75] 76 17096 0 [76] (0110000)B> [75] 77 17604 -8 [76] <A(0101110) [77] 78 17844 0 [78] (1001100)B> [77] 79 18358 -8 [78] <C(1011011) [79] 80 18588 0 [80] (0110000)B> [79] 81 19120 -8 [80] <B(1101110) [81] 82 19304 0 [82] (1001100)B> [81] 83 19840 -8 [82] <D(0111011) [83] 84 20060 0 [84] (0110000)B> [83] 85 20608 -8 [84] <A(0101110) [85] 86 20828 0 [86] (0001100)B> [85] 87 21392 -8 [86] <D(0101111) [87] 88 21576 0 [88] (0000000)B> [87] 89 22158 -8 [88] <C(1110111) [89] 90 22356 0 [90] (1100000)B> [89] 91 22942 -8 [90] <C(1011101) [91] 92 23224 0 [92] (0011000)B> [91] 93 23816 -8 [92] <D(0110111) [93] 94 24012 0 [94] (1100000)B> [93] 95 24616 -8 [94] <D(0101101) [95] 96 24932 0 [96] (0011000)B> [95] 97 25546 -8 [96] <C(1110111) [97] 98 25784 0 [98] (1100000)B> [97] 99 26410 -8 [98] <C(1011101) [99] 100 26620 0 [100] (0011000)B> [99] 101 27252 -8 [100] <D(0110111) [101] 102 27484 0 [102] (0000000)B> [101] 103 28144 -8 [102] <B(1101111) [103] 104 28360 0 [104] (1000000)B> [103] 105 29024 -8 [104] <D(0111011) [105] 106 29348 0 [106] (0110000)B> [105] 107 30016 -8 [106] <A(0101110) [107] 108 30264 0 [108] (1001100)B> [107] 109 30938 -8 [108] <C(1011011) [109] 110 31204 0 [110] (0110000)B> [109] 111 31896 -8 [110] <B(1101110) [111] 112 32172 0 [112] (1001100)B> [111] 113 32868 -8 [112] <D(0111011) [113] 114 33120 0 [114] (0110000)B> [113] 115 33828 -8 [114] <A(0101110) [115] 116 34100 0 [116] (1001100)B> [115] 117 34814 -8 [116] <C(1011011) [117] 118 35172 0 [118] (0110000)B> [117] 119 35904 -8 [118] <B(1101110) [119] 120 36168 0 [120] (1001100)B> [119] 121 36904 -8 [120] <D(0111011) [121] 122 37204 0 [122] (0110000)B> [121] 123 37952 -8 [122] <A(0101110) [123] 124 38252 0 [124] (0001100)B> [123] 125 39016 -8 [124] <D(0101111) [125] 126 39280 0 [126] (0000000)B> [125] 127 40062 -8 [126] <C(1110111) [127] 128 40340 0 [128] (1100000)B> [127] 129 41126 -8 [128] <C(1011101) [129] 130 41492 0 [130] (0011000)B> [129] 131 42284 -8 [130] <D(0110111) [131] 132 42560 0 [132] (1100000)B> [131] 133 43364 -8 [132] <D(0101101) [133] 134 43696 0 [134] (0011000)B> [133] 135 44510 -8 [134] <C(1110111) [135] 136 44828 0 [136] (1100000)B> [135] 137 45254 154 [136] [137] (1001100)B> 138 45270 146 [136] [137] <D(0111011) [138] 139 45654 -8 [136] <C(1011101) [139] [138] 140 45944 0 [140] (0011000)B> [139] [138] 141 46362 154 [140] [141] (0110000)B> [138] 142 46390 146 [140] [141] <A(0101110) [142] 143 46776 -8 [140] <D(0110111) [143] [142] 144 47088 0 [144] (1100000)B> [143] [142] 145 47514 154 [144] [145] (0001100)B> [142] 146 47558 146 [144] [145] <D(0101111) [146] 147 47932 -8 [144] <D(0101101) [147] [146] 148 48244 0 [148] (0011000)B> [147] [146] 149 48662 154 [148] [149] (0000000)B> [146] 150 48724 146 [148] [149] <C(1110111) [150] 151 49098 -8 [148] <C(1110111) [151] [150] 152 49456 0 [152] (1100000)B> [151] [150] 153 49882 154 [152] [153] (1100000)B> [150] 154 49948 146 [152] [153] <C(1011101) [154] 155 50322 -8 [152] <C(1011101) [155] [154] 156 50708 0 [156] (0011000)B> [155] [154] 157 51134 154 [156] [157] (0011000)B> [154] 158 51206 146 [156] [157] <D(0110111) [158] 159 51580 -8 [156] <D(0110111) [159] [158] 160 51896 0 [160] (1100000)B> [159] [158] 161 52322 154 [160] [161] (1100000)B> [158] 162 52406 146 [160] [161] <D(0101101) [162] 163 52780 -8 [160] <D(0101101) [163] [162] 164 53152 0 [164] (0011000)B> [163] [162] 165 53578 154 [164] [165] (0011000)B> [162] 166 53672 146 [164] [165] <C(1110111) [166] 167 54046 -8 [164] <C(1110111) [167] [166] 168 54404 0 [168] (1100000)B> [167] [166] 169 54830 154 [168] [169] (1100000)B> [166] 170 54936 146 [168] [169] <C(1011101) [170] 171 55310 -8 [168] <C(1011101) [171] [170] 172 55640 0 [172] (0011000)B> [171] [170] 173 56066 154 [172] [173] (0011000)B> [170] 174 56178 146 [172] [173] <D(0110111) [3] 175 56552 -8 [172] <D(0110111) [174] [3] 176 56904 0 [175] (0000000)B> [174] [3] 177 57330 154 [175] [176] (1100000)B> [3] 178 57454 146 [175] [176] <D(0101101) [5] 179 57844 -8 [175] <B(1101111) [177] [5] 180 58180 0 [178] (1000000)B> [177] [5] 181 58606 154 [178] [179] (0011000)B> [5] 182 58740 146 [178] [179] <C(1110111) [180] 183 59124 -8 [178] <D(0111011) [181] [180] 184 59516 0 [182] (0110000)B> [181] [180] 185 59934 154 [182] [183] (1100000)B> [180] 186 60080 146 [182] [183] <C(1011101) [7] 187 60464 -8 [182] <A(0101110) [184] [7] 188 60868 0 [185] (0001100)B> [184] [7] 189 61286 154 [185] [186] (0011000)B> [7] 190 61438 146 [185] [186] <D(0110111) [9] 191 61832 -8 [185] <D(0101111) [187] [9] 192 62176 0 [188] (0000000)B> [187] [9] 193 62594 154 [188] [189] (1100000)B> [9] 194 62758 146 [188] [189] <D(0101101) [11] 195 63158 -8 [188] <C(1110111) [190] [11] 196 63540 0 [191] (1100000)B> [190] [11] 197 63958 154 [191] [192] (0011000)B> [11] 198 64132 146 [191] [192] <C(1110111) [13] 199 64526 -8 [191] <C(1011101) [193] [13] 200 64908 0 [194] (0011000)B> [193] [13] 201 65318 154 [194] [195] (1100000)B> [13] 202 65504 146 [194] [195] <C(1011101) [15] 203 65900 -8 [194] <D(0110111) [196] [15] 204 66256 0 [197] (1100000)B> [196] [15] 205 66674 154 [197] [198] (0011000)B> [15] 206 66866 146 [197] [198] <D(0110111) [17] 207 67260 -8 [197] <D(0101101) [199] [17] 208 67636 0 [200] (0011000)B> [199] [17] 209 68046 154 [200] [201] (1100000)B> [17] 210 68250 146 [200] [201] <D(0101101) [19] 211 68650 -8 [200] <C(1110111) [202] [19] 212 69068 0 [203] (1100000)B> [202] [19] 213 69486 154 [203] [204] (0011000)B> [19] 214 69700 146 [203] [204] <C(1110111) [21] 215 70094 -8 [203] <C(1011101) [205] [21] 216 70464 0 [206] (0011000)B> [205] [21] 217 70874 154 [206] [207] (1100000)B> [21] 218 71100 146 [206] [207] <C(1011101) [23] 219 71496 -8 [206] <D(0110111) [208] [23] 220 71900 0 [209] (0000000)B> [208] [23] 221 72318 154 [209] [210] (0011000)B> [23] 222 72550 146 [209] [210] <D(0110111) [25] 223 72960 -8 [209] <B(1101111) [211] [25] 224 73348 0 [212] (1000000)B> [211] [25] 225 73758 154 [212] [213] (0000000)B> [25] 226 74018 146 [212] [213] <B(1101111) [27] 227 74412 -8 [212] <D(0111011) [214] [27] 228 74784 0 [215] (0110000)B> [214] [27] 229 75194 154 [215] [216] (1000000)B> [27] 230 75458 146 [215] [216] <D(0111011) [29] 231 75852 -8 [215] <A(0101110) [217] [29] 232 76244 0 [218] (1001100)B> [217] [29] 233 76654 154 [218] [219] (0110000)B> [29] 234 76922 146 [218] [219] <A(0101110) [31] 235 77318 -8 [218] <C(1011011) [220] [31] 236 77760 0 [221] (0110000)B> [220] [31] 237 78178 154 [221] [222] (1001100)B> [31] 238 78452 146 [221] [222] <C(1011011) [33] 239 78852 -8 [221] <B(1101110) [223] [33] 240 79236 0 [224] (1001100)B> [223] [33] 241 79646 154 [224] [225] (0110000)B> [33] 242 79938 146 [224] [225] <B(1101110) [35] 243 80332 -8 [224] <D(0111011) [226] [35] 244 80776 0 [227] (0110000)B> [226] [35] 245 81194 154 [227] [228] (1001100)B> [35] 246 81490 146 [227] [228] <D(0111011) [37] 247 81884 -8 [227] <A(0101110) [229] [37] 248 82328 0 [230] (1001100)B> [229] [37] 249 82738 154 [230] [231] (0110000)B> [37] 250 83046 146 [230] [231] <A(0101110) [39] 251 83442 -8 [230] <C(1011011) [232] [39] 252 83836 0 [233] (0110000)B> [232] [39] 253 84254 154 [233] [234] (0001100)B> [39] 254 84578 146 [233] [234] <D(0101111) [41] 255 84968 -8 [233] <B(1101110) [235] [41] 256 85400 0 [236] (1001100)B> [235] [41] 257 85810 154 [236] [237] (0000000)B> [41] 258 86152 146 [236] [237] <C(1110111) [43] 259 86536 -8 [236] <D(0111011) [238] [43] 260 86960 0 [239] (0110000)B> [238] [43] 261 87378 154 [239] [240] (1100000)B> [43] 262 87724 146 [239] [240] <C(1011101) [45] 263 88108 -8 [239] <A(0101110) [241] [45] 264 88516 0 [242] (1001100)B> [241] [45] 265 88934 154 [242] [243] (0011000)B> [45] 266 89286 146 [242] [243] <D(0110111) [47] 267 89670 -8 [242] <C(1011011) [244] [47] 268 90088 0 [245] (0110000)B> [244] [47] 269 90506 154 [245] [246] (0000000)B> [47] 270 90886 146 [245] [246] <B(1101111) [49] 271 91260 -8 [245] <B(1101110) [247] [49] 272 91756 0 [248] (1001100)B> [247] [49] 273 92174 154 [248] [249] (1000000)B> [49] 274 92558 146 [248] [249] <D(0111011) [51] 275 92932 -8 [248] <D(0111011) [250] [51] 276 93344 0 [251] (0110000)B> [250] [51] 277 93770 154 [251] [252] (0110000)B> [51] 278 94158 146 [251] [252] <A(0101110) [53] 279 94532 -8 [251] <A(0101110) [253] [53] 280 95064 0 [254] (1001100)B> [253] [53] 281 95490 154 [254] [255] (1001100)B> [53] 282 95884 146 [254] [255] <C(1011011) [55] 283 96258 -8 [254] <C(1011011) [256] [55] 284 96716 0 [257] (0110000)B> [256] [55] 285 97142 154 [257] [258] (0110000)B> [55] 286 97554 146 [257] [258] <B(1101110) [57] 287 97928 -8 [257] <B(1101110) [259] [57] 288 98352 0 [260] (1001100)B> [259] [57] 289 98778 154 [260] [261] (1001100)B> [57] 290 99194 146 [260] [261] <D(0111011) [59] 291 99568 -8 [260] <D(0111011) [262] [59] 292 100016 0 [263] (0110000)B> [262] [59] 293 100442 154 [263] [264] (0110000)B> [59] 294 100870 146 [263] [264] <A(0101110) [61] 295 101244 -8 [263] <A(0101110) [265] [61] 296 101692 0 [266] (1001100)B> [265] [61] 297 102118 154 [266] [267] (1001100)B> [61] 298 102552 146 [266] [267] <C(1011011) [63] 299 102926 -8 [266] <C(1011011) [268] [63] 300 103472 0 [269] (0110000)B> [268] [63] 301 103898 154 [269] [270] (0110000)B> [63] 302 104350 146 [269] [270] <B(1101110) [65] 303 104724 -8 [269] <B(1101110) [271] [65] 304 105188 0 [272] (1001100)B> [271] [65] 305 105614 154 [272] [273] (1001100)B> [65] 306 106070 146 [272] [273] <D(0111011) [67] 307 106444 -8 [272] <D(0111011) [274] [67] 308 106928 0 [275] (0110000)B> [274] [67] 309 107354 154 [275] [276] (0110000)B> [67] 310 107822 146 [275] [276] <A(0101110) [69] 311 108196 -8 [275] <A(0101110) [277] [69] 312 108696 0 [278] (1001100)B> [277] [69] 313 109122 154 [278] [279] (1001100)B> [69] 314 109596 146 [278] [279] <C(1011011) [71] 315 109970 -8 [278] <C(1011011) [280] [71] 316 110444 0 [281] (0110000)B> [280] [71] 317 110870 154 [281] [282] (0110000)B> [71] 318 111362 146 [281] [282] <B(1101110) [73] 319 111736 -8 [281] <B(1101110) [283] [73] 320 112224 0 [284] (1001100)B> [283] [73] 321 112650 154 [284] [285] (1001100)B> [73] 322 113146 146 [284] [285] <D(0111011) [75] 323 113520 -8 [284] <D(0111011) [286] [75] 324 114096 0 [287] (0110000)B> [286] [75] 325 114522 154 [287] [288] (0110000)B> [75] 326 115030 146 [287] [288] <A(0101110) [77] 327 115404 -8 [287] <A(0101110) [289] [77] 328 115892 0 [290] (1001100)B> [289] [77] 329 116318 154 [290] [291] (1001100)B> [77] 330 116832 146 [290] [291] <C(1011011) [79] 331 117206 -8 [290] <C(1011011) [292] [79] 332 117728 0 [293] (0110000)B> [292] [79] 333 118154 154 [293] [294] (0110000)B> [79] 334 118686 146 [293] [294] <B(1101110) [81] 335 119060 -8 [293] <B(1101110) [295] [81] 336 119576 0 [296] (1001100)B> [295] [81] 337 120002 154 [296] [297] (1001100)B> [81] 338 120538 146 [296] [297] <D(0111011) [83] 339 120912 -8 [296] <D(0111011) [298] [83] 340 121404 0 [299] (0110000)B> [298] [83] 341 121830 154 [299] [300] (0110000)B> [83] 342 122378 146 [299] [300] <A(0101110) [85] 343 122752 -8 [299] <A(0101110) [301] [85] 344 123264 0 [302] (0001100)B> [301] [85] 345 123690 154 [302] [303] (0001100)B> [85] 346 124254 146 [302] [303] <D(0101111) [87] 347 124628 -8 [302] <D(0101111) [304] [87] 348 125208 0 [305] (0000000)B> [304] [87] 349 125634 154 [305] [306] (0000000)B> [87] 350 126216 146 [305] [306] <C(1110111) [89] 351 126590 -8 [305] <C(1110111) [307] [89] 352 127084 0 [308] (1100000)B> [307] [89] 353 127510 154 [308] [309] (1100000)B> [89] 354 128096 146 [308] [309] <C(1011101) [91] 355 128470 -8 [308] <C(1011101) [310] [91] 356 129020 0 [311] (0011000)B> [310] [91] 357 129446 154 [311] [312] (0011000)B> [91] 358 130038 146 [311] [312] <D(0110111) [93] 359 130412 -8 [311] <D(0110111) [313] [93] 360 130952 0 [314] (1100000)B> [313] [93] 361 131378 154 [314] [315] (1100000)B> [93] 362 131982 146 [314] [315] <D(0101101) [95] 363 132356 -8 [314] <D(0101101) [316] [95] 364 132868 0 [317] (0011000)B> [316] [95] 365 133294 154 [317] [318] (0011000)B> [95] 366 133908 146 [317] [318] <C(1110111) [97] 367 134282 -8 [317] <C(1110111) [319] [97] 368 134812 0 [320] (1100000)B> [319] [97] 369 135238 154 [320] [321] (1100000)B> [97] 370 135864 146 [320] [321] <C(1011101) [99] 371 136238 -8 [320] <C(1011101) [322] [99] 372 136768 0 [323] (0011000)B> [322] [99] 373 137194 154 [323] [324] (0011000)B> [99] 374 137826 146 [323] [324] <D(0110111) [101] 375 138200 -8 [323] <D(0110111) [325] [101] 376 138780 0 [326] (0000000)B> [325] [101] 377 139206 154 [326] [327] (0000000)B> [101] 378 139866 146 [326] [327] <B(1101111) [103] 379 140240 -8 [326] <B(1101111) [328] [103] 380 140832 0 [329] (1000000)B> [328] [103] 381 141258 154 [329] [330] (1000000)B> [103] 382 141922 146 [329] [330] <D(0111011) [105] 383 142296 -8 [329] <D(0111011) [331] [105] 384 142828 0 [332] (0110000)B> [331] [105] 385 143254 154 [332] [333] (0110000)B> [105] 386 143922 146 [332] [333] <A(0101110) [107] 387 144296 -8 [332] <A(0101110) [334] [107] 388 144884 0 [335] (1001100)B> [334] [107] 389 145310 154 [335] [336] (1001100)B> [107] 390 145984 146 [335] [336] <C(1011011) [109] 391 146358 -8 [335] <C(1011011) [337] [109] 392 146936 0 [338] (0110000)B> [337] [109] 393 147362 154 [338] [339] (0110000)B> [109] 394 148054 146 [338] [339] <B(1101110) [111] 395 148428 -8 [338] <B(1101110) [340] [111] 396 148972 0 [341] (1001100)B> [340] [111] 397 149398 154 [341] [342] (1001100)B> [111] 398 150094 146 [341] [342] <D(0111011) [113] 399 150468 -8 [341] <D(0111011) [343] [113] 400 151036 0 [344] (0110000)B> [343] [113] 401 151462 154 [344] [345] (0110000)B> [113] 402 152170 146 [344] [345] <A(0101110) [115] 403 152544 -8 [344] <A(0101110) [346] [115] 404 153112 0 [347] (1001100)B> [346] [115] 405 153538 154 [347] [348] (1001100)B> [115] 406 154252 146 [347] [348] <C(1011011) [117] 407 154626 -8 [347] <C(1011011) [349] [117] 408 155240 0 [350] (0110000)B> [349] [117] 409 155666 154 [350] [351] (0110000)B> [117] 410 156398 146 [350] [351] <B(1101110) [119] 411 156772 -8 [350] <B(1101110) [352] [119] 412 157392 0 [353] (1001100)B> [352] [119] 413 157818 154 [353] [354] (1001100)B> [119] 414 158554 146 [353] [354] <D(0111011) [121] 415 158928 -8 [353] <D(0111011) [355] [121] 416 159500 0 [356] (0110000)B> [355] [121] 417 159926 154 [356] [357] (0110000)B> [121] 418 160674 146 [356] [357] <A(0101110) [123] 419 161048 -8 [356] <A(0101110) [358] [123] 420 161664 0 [359] (0001100)B> [358] [123] 421 162090 154 [359] [360] (0001100)B> [123] 422 162854 146 [359] [360] <D(0101111) [125] 423 163228 -8 [359] <D(0101111) [361] [125] 424 163824 0 [362] (0000000)B> [361] [125] 425 164250 154 [362] [363] (0000000)B> [125] 426 165032 146 [362] [363] <C(1110111) [127] 427 165406 -8 [362] <C(1110111) [364] [127] 428 165980 0 [365] (1100000)B> [364] [127] 429 166406 154 [365] [366] (1100000)B> [127] 430 167192 146 [365] [366] <C(1011101) [129] 431 167566 -8 [365] <C(1011101) [367] [129] 432 168160 0 [368] (0011000)B> [367] [129] 433 168586 154 [368] [369] (0011000)B> [129] 434 169378 146 [368] [369] <D(0110111) [131] 435 169752 -8 [368] <D(0110111) [370] [131] 436 170392 0 [371] (1100000)B> [370] [131] 437 170818 154 [371] [372] (1100000)B> [131] 438 171622 146 [371] [372] <D(0101101) [133] 439 171996 -8 [371] <D(0101101) [373] [133] 440 172588 0 [374] (0011000)B> [373] [133] 441 173014 154 [374] [375] (0011000)B> [133] 442 173828 146 [374] [375] <C(1110111) [135] 443 174202 -8 [374] <C(1110111) [376] [135] 444 174824 0 [377] (1100000)B> [376] [135] 445 175250 154 [377] [378] (1100000)B> [135] 446 175676 308 [377] [378] [137] (1001100)B> 447 175692 300 [377] [378] [137] <D(0111011) [138] 448 176076 146 [377] [378] <C(1011101) [139] [138] 449 176450 -8 [377] <C(1011101) [379] [139] [138] 450 177072 0 [380] (0011000)B> [379] [139] [138] 451 177498 154 [380] [381] (0011000)B> [139] [138] 452 177916 308 [380] [381] [141] (0110000)B> [138] 453 177944 300 [380] [381] [141] <A(0101110) [142] 454 178330 146 [380] [381] <D(0110111) [143] [142] 455 178704 -8 [380] <D(0110111) [382] [143] [142] 456 179300 0 [383] (1100000)B> [382] [143] [142] 457 179726 154 [383] [384] (1100000)B> [143] [142] 458 180152 308 [383] [384] [145] (0001100)B> [142] 459 180196 300 [383] [384] [145] <D(0101111) [146] 460 180570 146 [383] [384] <D(0101101) [147] [146] 461 180944 -8 [383] <D(0101101) [385] [147] [146] 462 181560 0 [386] (0011000)B> [385] [147] [146] 463 181986 154 [386] [387] (0011000)B> [147] [146] 464 182404 308 [386] [387] [149] (0000000)B> [146] 465 182466 300 [386] [387] [149] <C(1110111) [150] 466 182840 146 [386] [387] <C(1110111) [151] [150] 467 183214 -8 [386] <C(1110111) [388] [151] [150] 468 183876 0 [389] (1100000)B> [388] [151] [150] 469 184302 154 [389] [390] (1100000)B> [151] [150] 470 184728 308 [389] [390] [153] (1100000)B> [150] 471 184794 300 [389] [390] [153] <C(1011101) [154] 472 185168 146 [389] [390] <C(1011101) [155] [154] 473 185542 -8 [389] <C(1011101) [391] [155] [154] 474 186152 0 [392] (0011000)B> [391] [155] [154] 475 186578 154 [392] [393] (0011000)B> [155] [154] 476 187004 308 [392] [393] [157] (0011000)B> [154] 477 187076 300 [392] [393] [157] <D(0110111) [158] 478 187450 146 [392] [393] <D(0110111) [159] [158] 479 187824 -8 [392] <D(0110111) [394] [159] [158] 480 188492 0 [395] (1100000)B> [394] [159] [158] 481 188918 154 [395] [396] (1100000)B> [159] [158] 482 189344 308 [395] [396] [161] (1100000)B> [158] 483 189428 300 [395] [396] [161] <D(0101101) [162] 484 189802 146 [395] [396] <D(0101101) [163] [162] 485 190176 -8 [395] <D(0101101) [397] [163] [162] 486 190844 0 [398] (0011000)B> [397] [163] [162] 487 191270 154 [398] [399] (0011000)B> [163] [162] 488 191696 308 [398] [399] [165] (0011000)B> [162] 489 191790 300 [398] [399] [165] <C(1110111) [166] 490 192164 146 [398] [399] <C(1110111) [167] [166] 491 192538 -8 [398] <C(1110111) [400] [167] [166] 492 193152 0 [401] (1100000)B> [400] [167] [166] 493 193578 154 [401] [402] (1100000)B> [167] [166] 494 194004 308 [401] [402] [169] (1100000)B> [166] 495 194110 300 [401] [402] [169] <C(1011101) [170] 496 194484 146 [401] [402] <C(1011101) [171] [170] 497 194858 -8 [401] <C(1011101) [403] [171] [170] 498 195516 0 [404] (0011000)B> [403] [171] [170] 499 195942 154 [404] [405] (0011000)B> [171] [170] Symbol Table: [0] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [1] = 1011111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [2] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110 [3] = 0111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [4] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111 [5] = 1101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [6] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001110111 [7] = 1101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [8] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111011 [9] = 0111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [10] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111100 [11] = 1101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [12] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110110110011 [13] = 0111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [14] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110111001100 [15] = 1101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [16] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111000110011 [17] = 0111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [18] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011000111100001100 [19] = 1101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [20] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011000111110000011 [21] = 0111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [22] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101100000110011011001100000 [23] = 1101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [24] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101100000110011100110011000 [25] = 0111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [26] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011110011000001100011001100110 [27] = 1101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [28] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011110011110110110000110011001 [29] = 1111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [30] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011110011110110111000001100110 [31] = 1111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [32] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011110011110111000110000011001 [33] = 1011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [34] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011110011111111100001100000110 [35] = 1110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [36] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011110011111111110000011000001 [37] = 1011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [38] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101101111111111001100000110000 [39] = 1110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [40] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101110111111110110011000001100 [41] = 1011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [42] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101110111111111001100110000011 [43] = 1110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [44] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111011111100110011001100000 [45] = 1111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [46] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111101111011001100110011000 [47] = 0111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [48] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111101111100110011001100110 [49] = 1101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [50] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111110110011001100110011001 [51] = 1111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [52] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111111001100110011001100110 [53] = 1111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000 [54] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011110111100110011001100110011001 [55] = 1011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000 [56] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111011011001100110011001100110 [57] = 1110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000 [58] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111011100110011001100110011001 [59] = 1011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000 [60] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111100011001100110011001100110 [61] = 1110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000000000 [62] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101101111110000110011001100110011001 [63] = 1011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000000000 [64] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101101111111000001100110011001100110 [65] = 1110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000 [66] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101110111100110000011001100110011001 [67] = 1011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000000000 [68] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111011011001100000110011001100110 [69] = 1110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000000000 [70] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111011100110011000001100110011001 [71] = 1011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000000000 [72] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111100011001100110000011001100110 [73] = 1110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000000000 [74] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111111110000110011001100000110011001 [75] = 1011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000000000 [76] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111111111000001100110011000001100110 [77] = 1110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000000000 [78] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111111100110000011001100110000011001 [79] = 1011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000000000 [80] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011110111111011001100000110011001100000110 [81] = 1110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000000000 [82] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011110111111100110011000001100110011000001 [83] = 1011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000000000 [84] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111011110011001100110000011001100110000 [85] = 1110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000000000 [86] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111101101100110011001100000110011001100 [87] = 1011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000000000 [88] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111101110011001100110011000001100110011 [89] = 1110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000000000 [90] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111110001100110011001100110000011001100 [91] = 1111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000000000 [92] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101100011111111000011001100110011001100000110011 [93] = 0111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000000000 [94] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101100011111111100000110011001100110011000001100 [95] = 1101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000000000 [96] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110110000011001101111110011000001100110011001100110000011 [97] = 0111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000000000 [98] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110110000011001110111101100110000011001100110011001100000 [99] = 1101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000000000 [100] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110110000011001110111110011001100000110011001100110011000 [101] = 0111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000000000 [102] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110110000011001111011001100110011000001100110011001100110 [103] = 1101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000000000 [104] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110110000011001111100110011001100110000011001100110011001 [105] = 1111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000000000 [106] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111001100000110110011001100110011001100000110011001100110 [107] = 1111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000000000 [108] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111001100000111001100110011001100110011000001100110011001 [109] = 1011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000000000 [110] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111001111011000110011001100110011001100110000011001100110 [111] = 1110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000000000 [112] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111001111101100001100110011001100110011001100000110011001 [113] = 1011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000000000 [114] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111001111101110000011001100110011001100110011000001100110 [115] = 1110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000000000 [116] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111001111110001100000110011001100110011001100110000011001 [117] = 1011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000000000 [118] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111100110111111000011000001100110011001100110011001100000110 [119] = 1110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000000000 [120] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111100110111111100000110000011001100110011001100110011000001 [121] = 1011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000000000 [122] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111100111011110011000001100000110011001100110011001100110000 [123] = 1110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000000000 [124] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111100111101101100110000011000001100110011001100110011001100 [125] = 1011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000000000 [126] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111100111101110011001100000110000011001100110011001100110011 [127] = 1110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000000000 [128] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011011111100111110001100110011000001100000110011001100110011001100 [129] = 1111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110000000 [130] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111011111111000011001100110000011000001100110011001100110011 [131] = 0111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011100000 [132] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111011111111100000110011001100000110000011001100110011001100 [133] = 1101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110111000 [134] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111101111110011000001100110011000001100000110011001100110011 [135] = 0111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111101110 [136] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111110111101100110000011001100110000011000001100110011001100 [137] = 1100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100110011001100110011001100110011000001 [138] = 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [139] = 1101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111111011 [140] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111110111110011001100000110011001100000110000011001100110011 [141] = 0011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011001100110011001100110011001100110000 [142] = 1110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [143] = 0111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101111110 [144] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111111011001100110011000001100110011000001100000110011001100 [145] = 1100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000110011001100110011001100110011001100 [146] = 1011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [147] = 1101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111011111 [148] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101111111100110011001100110000011001100110000011000001100110011 [149] = 0011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100110011001100110011001100110011 [150] = 1110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [151] = 0111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101110111 [152] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111111110011001100110011001100000110011001100000110000011001100 [153] = 1100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011001100110011001100110011001100 [154] = 1111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [155] = 1101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111011101 [156] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101101111111101100110011001100110011000001100110011000001100000110011 [157] = 0011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000110011001100110011001100110011 [158] = 0111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [159] = 0111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101110111 [160] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101101111111110011001100110011001100110000011001100110000011000001100 [161] = 1100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100110011001100110011001100 [162] = 1101111110111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [163] = 1101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111011101 [164] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101110111111001100110011001100110011001100000110011001100000110000011 [165] = 0011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011001100110011001100110011 [166] = 0111011111101110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [167] = 0111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101110111 [168] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111011110110011001100110011001100110011000001100110011000001100000 [169] = 1100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000110011001100110011001100 [170] = 1101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [171] = 1101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111011101 [172] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111011111001100110011001100110011001100110000011001100110000011000 [173] = 0011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100110011001100110011 [174] = 0111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101110111 [175] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111101100110011001100110011001100110011001100000110011001100000110 [176] = 0000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011001100110011001100 [177] = 1101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111011101 [178] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000000001101111110011001100110011001100110011001100110011000001100110011000001 [179] = 1000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000110011001100110011 [180] = 0111011101110111111011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 [181] = 1111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101110111 [182] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011011111111001100110011001100110011001100110011001100110000011001100110000 [183] = 0110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100110011001100 [184] = 1111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111011101 [185] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011101111110110011001100110011001100110011001100110011001100000110011001100 [186] = 0001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011001100110011 [187] = 1011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101110111 [188] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011101111111001100110011001100110011001100110011001100110011000001100110011 [189] = 0000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000110011001100 [190] = 1110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111011101 [191] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011110111100110011001100110011001100110011001100110011001100110000011001100 [192] = 1100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100110011 [193] = 1111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101110111 [194] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011111011011001100110011001100110011001100110011001100110011001100000110011 [195] = 0011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011001100 [196] = 0111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111011101 [197] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011111011100110011001100110011001100110011001100110011001100110011000001100 [198] = 1100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000110011 [199] = 1101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101110111 [200] = 0000000000000000000000000000000000000000000000000000000000000000000000000000000011111100011001100110011001100110011001100110011001100110011001100110000011 [201] = 0011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000001100 [202] = 0111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111011101 [203] = 0000000000000000000000000000000000000000000000000000000000000000000000000001101101111110000110011001100110011001100110011001100110011001100110011001100000 [204] = 1100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110000011 [205] = 1101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111110111 [206] = 0000000000000000000000000000000000000000000000000000000000000000000000000001101101111111000001100110011001100110011001100110011001100110011001100110011000 [207] = 0011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001100000 [208] = 0111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011111101 [209] = 0000000000000000000000000000000000000000000000000000000000000000000000000001101110111100110000011001100110011001100110011001100110011001100110011001100110 [210] = 0000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110011000 [211] = 1101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110111111 [212] = 0000000000000000000000000000000000000000000000000000000000000000000000000001101111011011001100000110011001100110011001100110011001100110011001100110011001 [213] = 1000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001100110 [214] = 1111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011101111 [215] = 0000000000000000000000000000000000000000000000000000000000000000000000000001101111011100110011000001100110011001100110011001100110011001100110011001100110 [216] = 0110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110011001 [217] = 1111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110111011 [218] = 0000000000000000000000000000000000000000000000000000000000000000000000000001101111100011001100110000011001100110011001100110011001100110011001100110011001 [219] = 1001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001100110 [220] = 1011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011101110 [221] = 0000000000000000000000000000000000000000000000000000000000000000000000011011111111110000110011001100000110011001100110011001100110011001100110011001100110 [222] = 0110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000011001 [223] = 1110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110111011 [224] = 0000000000000000000000000000000000000000000000000000000000000000000000011011111111111000001100110011000001100110011001100110011001100110011001100110011001 [225] = 1001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100000110 [226] = 1011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111101110 [227] = 0000000000000000000000000000000000000000000000000000000000000000000000011101111111100110000011001100110000011001100110011001100110011001100110011001100110 [228] = 0110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011000001 [229] = 1110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111111011 [230] = 0000000000000000000000000000000000000000000000000000000000000000000000011110111111011001100000110011001100000110011001100110011001100110011001100110011001 [231] = 1001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000110000 [232] = 1011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101111110 [233] = 0000000000000000000000000000000000000000000000000000000000000000000000011110111111100110011000001100110011000001100110011001100110011001100110011001100110 [234] = 0110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000001100 [235] = 1110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111011111 [236] = 0000000000000000000000000000000000000000000000000000000000000000000000011111011110011001100110000011001100110000011001100110011001100110011001100110011001 [237] = 1001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110000011 [238] = 1011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111110111 [239] = 0000000000000000000000000000000000000000000000000000000000000000000000011111101101100110011001100000110011001100000110011001100110011001100110011001100110 [240] = 0110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100000 [241] = 1110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011111101 [242] = 0000000000000000000000000000000000000000000000000000000000000000000000011111101110011001100110011000001100110011000001100110011001100110011001100110011001 [243] = 1001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011000 [244] = 1011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111111 [245] = 0000000000000000000000000000000000000000000000000000000000000000000000011111110001100110011001100110000011001100110000011001100110011001100110011001100110 [246] = 0110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110 [247] = 1110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101111 [248] = 0000000000000000000000000000000000000000000000000000000000000001101100011111111000011001100110011001100000110011001100000110011001100110011001100110011001 [249] = 1001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001 [250] = 1011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011 [251] = 0000000000000000000000000000000000000000000000000000000000000001101100011111111100000110011001100110011000001100110011000001100110011001100110011001100110 [252] = 0110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110 [253] = 1110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110 [254] = 0000000000000000000000000000000000000000000000000000000110110000011001101111110011000001100110011001100110000011001100110000011001100110011001100110011001 [255] = 1001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001 [256] = 1011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011 [257] = 0000000000000000000000000000000000000000000000000000000110110000011001110111101100110000011001100110011001100000110011001100000110011001100110011001100110 [258] = 0110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110 [259] = 1110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110 [260] = 0000000000000000000000000000000000000000000000000000000110110000011001110111110011001100000110011001100110011000001100110011000001100110011001100110011001 [261] = 1001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001 [262] = 1011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011 [263] = 0000000000000000000000000000000000000000000000000000000110110000011001111011001100110011000001100110011001100110000011001100110000011001100110011001100110 [264] = 0110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110 [265] = 1110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011101110 [266] = 0000000000000000000000000000000000000000000000000000000110110000011001111100110011001100110000011001100110011001100000110011001100000110011001100110011001 [267] = 1001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110011001 [268] = 1011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110111011 [269] = 0000000000000000000000000000000000000000000000000001101111001100000110110011001100110011001100000110011001100110011000001100110011000001100110011001100110 [270] = 0110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001100110 [271] = 1110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011101110 [272] = 0000000000000000000000000000000000000000000000000001101111001100000111001100110011001100110011000001100110011001100110000011001100110000011001100110011001 [273] = 1001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110011001 [274] = 1011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110111011 [275] = 0000000000000000000000000000000000000000000000000001101111001111011000110011001100110011001100110000011001100110011001100000110011001100000110011001100110 [276] = 0110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001100110 [277] = 1110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011101110 [278] = 0000000000000000000000000000000000000000000000000001101111001111101100001100110011001100110011001100000110011001100110011000001100110011000001100110011001 [279] = 1001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110011001 [280] = 1011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110111011 [281] = 0000000000000000000000000000000000000000000000000001101111001111101110000011001100110011001100110011000001100110011001100110000011001100110000011001100110 [282] = 0110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001100110 [283] = 1110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011101110 [284] = 0000000000000000000000000000000000000000000000000001101111001111110001100000110011001100110011001100110000011001100110011001100000110011001100000110011001 [285] = 1001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110011001 [286] = 1011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110111011 [287] = 0000000000000000000000000000000000000000000000011011111100110111111000011000001100110011001100110011001100000110011001100110011000001100110011000001100110 [288] = 0110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001100110 [289] = 1110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011101110 [290] = 0000000000000000000000000000000000000000000000011011111100110111111100000110000011001100110011001100110011000001100110011001100110000011001100110000011001 [291] = 1001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000011001 [292] = 1011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110111011 [293] = 0000000000000000000000000000000000000000000000011011111100111011110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110 [294] = 0110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100000110 [295] = 1110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111101110 [296] = 0000000000000000000000000000000000000000000000011011111100111101101100110000011000001100110011001100110011001100000110011001100110011000001100110011000001 [297] = 1001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011000001 [298] = 1011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111111011 [299] = 0000000000000000000000000000000000000000000000011011111100111101110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000 [300] = 0110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100110000 [301] = 1110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101111110 [302] = 0000000000000000000000000000000000000000000000011011111100111110001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100 [303] = 0001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011001100 [304] = 1011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111011111 [305] = 0000000000000000000000000000000000000000000000011101111011111111000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011 [306] = 0000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100110011 [307] = 1110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101110111 [308] = 0000000000000000000000000000000000000000000000011101111011111111100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100 [309] = 1100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011001100 [310] = 1111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111011101 [311] = 0000000000000000000000000000000000000000000000011101111101111110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011 [312] = 0011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000110011 [313] = 0111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101110111 [314] = 0000000000000000000000000000000000000000000000011101111110111101100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100 [315] = 1100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000001100 [316] = 1101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111011101 [317] = 0000000000000000000000000000000000000000000000011101111110111110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011 [318] = 0011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110000011 [319] = 0111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111110111 [320] = 0000000000000000000000000000000000000000000000011101111111011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000 [321] = 1100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001100000 [322] = 1101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011111101 [323] = 0000000000000000000000000000000000000000000000011101111111100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000 [324] = 0011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110011000 [325] = 0111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110111111 [326] = 0000000000000000000000000000000000000000000000011111111110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110 [327] = 0000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001100110 [328] = 1101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011101111 [329] = 0000000000000000000000000000000000000000001101101111111101100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001 [330] = 1000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110011001 [331] = 1111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110111011 [332] = 0000000000000000000000000000000000000000001101101111111110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110 [333] = 0110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001100110 [334] = 1111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011101110 [335] = 0000000000000000000000000000000000000000001101110111111001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001 [336] = 1001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110011001 [337] = 1011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110111011 [338] = 0000000000000000000000000000000000000000001101111011110110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110 [339] = 0110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001100110 [340] = 1110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011101110 [341] = 0000000000000000000000000000000000000000001101111011111001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001 [342] = 1001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110011001 [343] = 1011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110111011 [344] = 0000000000000000000000000000000000000000001101111101100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110 [345] = 0110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001100110 [346] = 1110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011101110 [347] = 0000000000000000000000000000000000000000001101111110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001 [348] = 1001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000011001 [349] = 1011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110111011 [350] = 0000000000000000000000000000000000000011011111111001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110 [351] = 0110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100000110 [352] = 1110111011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111101110 [353] = 0000000000000000000000000000000000000011101111110110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001 [354] = 1001100110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011000001 [355] = 1011101110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111111011 [356] = 0000000000000000000000000000000000000011101111111001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000 [357] = 0110011001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100110000 [358] = 1110111011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101111110 [359] = 0000000000000000000000000000000000000011110111100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100 [360] = 0001100110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011001100 [361] = 1011101110111011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111011111 [362] = 0000000000000000000000000000000000000011111011011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011 [363] = 0000011001100110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100110011 [364] = 1110111011101110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101110111 [365] = 0000000000000000000000000000000000000011111011100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100 [366] = 1100000110011001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011001100 [367] = 1111101110111011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111011101 [368] = 0000000000000000000000000000000000000011111100011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011 [369] = 0011000001100110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100110011 [370] = 0111111011101110111011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101110111 [371] = 0000000000000000000000000000000001101101111110000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100 [372] = 1100110000011001100110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011001100 [373] = 1101111110111011101110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111011101 [374] = 0000000000000000000000000000000001101101111111000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011 [375] = 0011001100000110011001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100110011 [376] = 0111011111101110111011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101110111 [377] = 0000000000000000000000000000000001101110111100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100 [378] = 1100110011000001100110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011001100 [379] = 1101110111111011101110111011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111011101 [380] = 0000000000000000000000000000000001101111011011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011 [381] = 0011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100110011 [382] = 0111011101111110111011101110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101110111 [383] = 0000000000000000000000000000000001101111011100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100 [384] = 1100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011001100 [385] = 1101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111011101 [386] = 0000000000000000000000000000000001101111100011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011 [387] = 0011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100110011 [388] = 0111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101110111 [389] = 0000000000000000000000000000011011111111110000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100 [390] = 1100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011001100 [391] = 1101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111011101 [392] = 0000000000000000000000000000011011111111111000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011 [393] = 0011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000110011 [394] = 0111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101110111 [395] = 0000000000000000000000000000011101111111100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100 [396] = 1100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000001100 [397] = 1101110111011101110111111011101110111011101111110111011101111110111011101110111011101110111011101110111011101110111011101111110111011101111110111111011101 [398] = 0000000000000000000000000000011110111111011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011 [399] = 0011001100110011001100110000011001100110011001100000110011001100000110011001100110011001100110011001100110011001100110011001100000110011001100000110000011 [400] = 0111011101110111011101111110111011101110111011111101110111011111101110111011101110111011101110111011101110111011101110111011111101110111011111101111110111 [401] = 0000000000000000000000000000011110111111100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000 [402] = 1100110011001100110011001100000110011001100110011000001100110011000001100110011001100110011001100110011001100110011001100110011000001100110011000001100000 [403] = 1101110111011101110111011111101110111011101110111111011101110111111011101110111011101110111011101110111011101110111011101110111111011101110111111011111101 [404] = 0000000000000000000000000000011111011110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000 [405] = 0011001100110011001100110011000001100110011001100110000011001100110000011001100110011001100110011001100110011001100110011001100110000011001100110000011000 Lines: 500 Top steps: 499 Macro steps: 499 Basic steps: 195942 Tape index: 154 ones: 263 log10(ones ): 2.420 log10(steps ): 5.292
Input to awk program: gohalt 1 T 5-state TM with unusual symbol size 154 C Found by jubu 1991-10-24, published first 2005-11-12 (on web) 5T B1R E1L C1L B0R A0L D0L A1R C1L Z== B1L L 12 M 500 pref sim machv mbUSS_154 just simple machv mbUSS_154-r with repetitions reduced machv mbUSS_154-1 with tape symbol exponents machv mbUSS_154-m as 7-bck-22-macro machine machv mbUSS_154-a as 7-bck-22-macro machine with pure additive config-TRs iam mbUSS_154-m mtype 7 0 22 mmtyp 1 r 1 H 1 mac 0 E 2 sympr i HM 1 date Tue Jul 6 22:14:28 CEST 2010 edate Tue Jul 6 22:14:31 CEST 2010 bnspeed 1Start: Tue Jul 6 22:14:28 CEST 2010
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;