
## pelita-createlayout --dead-ends -y 16 -x 32 -f 30 -s SEED > normal_XXX.layout
## pelita-createlayout --dead-ends -y 8 -x 16 -f 10 -s SEED > small_XXX.layout
## pelita-createlayout --dead-ends -y 32 -x 64 -f 60 -s SEED > big_XXX.layout
dead_ends_normal_000 = 2907715109790
dead_ends_normal_001 = 297782663010206
dead_ends_normal_002 = 15954219129461
dead_ends_normal_003 = 56411133018234
dead_ends_normal_004 = 2803532205865
dead_ends_normal_005 = 2360225112590
dead_ends_normal_006 = 27436493215670
dead_ends_normal_007 = 324064853543
dead_ends_normal_008 = 10363182527424
dead_ends_normal_009 = 196842045225
dead_ends_normal_010 = 289901304924388
dead_ends_normal_011 = 148342223515852
dead_ends_normal_012 = 166602641223578
dead_ends_normal_013 = 286421564324588
dead_ends_normal_014 = 5624114703675
dead_ends_normal_015 = 6212470613648
dead_ends_normal_016 = 51772474230939
dead_ends_normal_017 = 127442311212463
dead_ends_normal_018 = 28258818423356
dead_ends_normal_019 = 153761971131591
dead_ends_normal_020 = 791775082601
dead_ends_normal_021 = 2881477505790
dead_ends_normal_022 = 2360385117466
dead_ends_normal_023 = 26685270354456
dead_ends_normal_024 = 651535911847
dead_ends_normal_025 = 169871832333
dead_ends_normal_026 = 32133214411336
dead_ends_normal_027 = 3643035819132
dead_ends_normal_028 = 244299448519
dead_ends_normal_029 = 23572640714703
dead_ends_normal_030 = 130411864927
dead_ends_normal_031 = 75073109517627
dead_ends_normal_032 = 257641154416068
dead_ends_normal_033 = 12158906611120
dead_ends_normal_034 = 1137335328954
dead_ends_normal_035 = 9633865629060
dead_ends_normal_036 = 12032313812351
dead_ends_normal_037 = 117841972616970
dead_ends_normal_038 = 29701278169673
dead_ends_normal_039 = 13796634212737
dead_ends_normal_040 = 1878958067245
dead_ends_normal_041 = 5148375823838
dead_ends_normal_042 = 265652694516208
dead_ends_normal_043 = 6235179356248
dead_ends_normal_044 = 2586212128695
dead_ends_normal_045 = 261962111624688
dead_ends_normal_046 = 14194491715125
dead_ends_normal_047 = 216581927529669
dead_ends_normal_048 = 302951692010471
dead_ends_normal_049 = 13975291291172
dead_ends_normal_050 = 17160269255484
dead_ends_normal_051 = 16022184992259
dead_ends_normal_052 = 5086837913669
dead_ends_normal_053 = 27486124221665
dead_ends_normal_054 = 251172194322710
dead_ends_normal_055 = 8143258323284
dead_ends_normal_056 = 1029115003623
dead_ends_normal_057 = 25328249129757
dead_ends_normal_058 = 20416900814539
dead_ends_normal_059 = 150842043716102
dead_ends_normal_060 = 317011836727309
dead_ends_normal_061 = 2190477010311
dead_ends_normal_062 = 270091312822139
dead_ends_normal_063 = 25425237444225
dead_ends_normal_064 = 306272907132590
dead_ends_normal_065 = 167621506421764
dead_ends_normal_066 = 73472981529511
dead_ends_normal_067 = 25086657631039
dead_ends_normal_068 = 64163019219694
dead_ends_normal_069 = 5869336517761
dead_ends_normal_070 = 7303157393149
dead_ends_normal_071 = 24549159346021
dead_ends_normal_072 = 19451510310814
dead_ends_normal_073 = 11476887211442
dead_ends_normal_074 = 58372485815231
dead_ends_normal_075 = 2343292706593
dead_ends_normal_076 = 719725077138
dead_ends_normal_077 = 26222879425119
dead_ends_normal_078 = 260014278146
dead_ends_normal_079 = 2112888579984
dead_ends_normal_080 = 42181754616175
dead_ends_normal_081 = 241531461610158
dead_ends_normal_082 = 2277122417396
dead_ends_normal_083 = 26277240539624
dead_ends_normal_084 = 308451160617330
dead_ends_normal_085 = 1059117015469
dead_ends_normal_086 = 1188550802981
dead_ends_normal_087 = 249361571914371
dead_ends_normal_088 = 114051853952
dead_ends_normal_089 = 299392117627340
dead_ends_normal_090 = 291243247118174
dead_ends_normal_091 = 323971040920600
dead_ends_normal_092 = 20634532815239
dead_ends_normal_093 = 204162060614807
dead_ends_normal_094 = 15155153471292
dead_ends_normal_095 = 164531491722149
dead_ends_normal_096 = 288492988123796
dead_ends_normal_097 = 132212805010026
dead_ends_normal_098 = 9231239856626
dead_ends_normal_099 = 27495178511349
dead_ends_normal_100 = 76301813032231
dead_ends_normal_101 = 28295268729580
dead_ends_normal_102 = 61181284218215
dead_ends_normal_103 = 2228741419884
dead_ends_normal_104 = 268951939414628
dead_ends_normal_105 = 82001537226322
dead_ends_normal_106 = 73111341919060
dead_ends_normal_107 = 1215587047052
dead_ends_normal_108 = 116881038714800
dead_ends_normal_109 = 16796521514697
dead_ends_normal_110 = 174591762512935
dead_ends_normal_111 = 16221168804652
dead_ends_normal_112 = 303771872616989
dead_ends_normal_113 = 222290211588
dead_ends_normal_114 = 314682556326152
dead_ends_normal_115 = 8464124653033
dead_ends_normal_116 = 5700317306303
dead_ends_normal_117 = 19198702519239
dead_ends_normal_118 = 13747531811029
dead_ends_normal_119 = 18320134907278
dead_ends_normal_120 = 1547681996423
dead_ends_normal_121 = 118711582230274
dead_ends_normal_122 = 8951213827134
dead_ends_normal_123 = 22266802113881
dead_ends_normal_124 = 28949391311625
dead_ends_normal_125 = 101002090220660
dead_ends_normal_126 = 149762284411998
dead_ends_normal_127 = 9070235834174
dead_ends_normal_128 = 234561409412867
dead_ends_normal_129 = 17985111843415
dead_ends_normal_130 = 257704831926
dead_ends_normal_131 = 2978645332711
dead_ends_normal_132 = 71301346815569
dead_ends_normal_133 = 1574230655881
dead_ends_normal_134 = 13290192418491
dead_ends_normal_135 = 7114719719234
dead_ends_normal_136 = 18336155411721
dead_ends_normal_137 = 25520108299563
dead_ends_normal_138 = 92372627521765
dead_ends_normal_139 = 13900190905293
dead_ends_normal_140 = 136822477415062
dead_ends_normal_141 = 2035238406275
dead_ends_normal_142 = 204772671427954
dead_ends_normal_143 = 283481702030778
dead_ends_normal_144 = 181121145617795
dead_ends_normal_145 = 183731866812393
dead_ends_normal_146 = 2250432393801
dead_ends_normal_147 = 6575140312319
dead_ends_normal_148 = 123762053728948
dead_ends_normal_149 = 306463202931843
dead_ends_normal_150 = 196612654831071
dead_ends_normal_151 = 136632889532131
dead_ends_normal_152 = 298042676025199
dead_ends_normal_153 = 18715544424941
dead_ends_normal_154 = 15152748612617
dead_ends_normal_155 = 17903245133953
dead_ends_normal_156 = 590351598633
dead_ends_normal_157 = 138841195623993
dead_ends_normal_158 = 16265284194510
dead_ends_normal_159 = 195361329718918
dead_ends_normal_160 = 39301108117900
dead_ends_normal_161 = 29872625215006
dead_ends_normal_162 = 7163542430835
dead_ends_normal_163 = 128842537215555
dead_ends_normal_164 = 229132460821271
dead_ends_normal_165 = 30932308225116
dead_ends_normal_166 = 19554140208840
dead_ends_normal_167 = 239201037128128
dead_ends_normal_168 = 284723225815046
dead_ends_normal_169 = 22387316111171
dead_ends_normal_170 = 33322898521885
dead_ends_normal_171 = 46111062810751
dead_ends_normal_172 = 30187253069736
dead_ends_normal_173 = 64032666326298
dead_ends_normal_174 = 131882283805
dead_ends_normal_175 = 41302290511008
dead_ends_normal_176 = 14487841918370
dead_ends_normal_177 = 10744282546333
dead_ends_normal_178 = 84151132120912
dead_ends_normal_179 = 122441038223285
dead_ends_normal_180 = 13369937023795
dead_ends_normal_181 = 15923761323193
dead_ends_normal_182 = 14806110425850
dead_ends_normal_183 = 16752235749330
dead_ends_normal_184 = 12925873629063
dead_ends_normal_185 = 271633042731477
dead_ends_normal_186 = 3142920339498
dead_ends_normal_187 = 8879147016404
dead_ends_normal_188 = 293752198925323
dead_ends_normal_189 = 308171894929994
dead_ends_normal_190 = 31789330823314
dead_ends_normal_191 = 248372428920442
dead_ends_normal_192 = 2326777530330
dead_ends_normal_193 = 231032766911018
dead_ends_normal_194 = 30313112429233
dead_ends_normal_195 = 16845245377080
dead_ends_normal_196 = 99773114729395
dead_ends_normal_197 = 21345322813609
dead_ends_normal_198 = 5990331132
dead_ends_normal_199 = 188932861912409
dead_ends_normal_200 = 23871236275633
dead_ends_normal_201 = 36381959814986
dead_ends_normal_202 = 16152458710817
dead_ends_normal_203 = 12270236479405
dead_ends_normal_204 = 94302957011368
dead_ends_normal_205 = 621120371621
dead_ends_normal_206 = 3506269048493
dead_ends_normal_207 = 28953110182
dead_ends_normal_208 = 72452435524372
dead_ends_normal_209 = 119371594132090
dead_ends_normal_210 = 30871564122072
dead_ends_normal_211 = 897041369897
dead_ends_normal_212 = 14511227789407
dead_ends_normal_213 = 56401827718848
dead_ends_normal_214 = 91632153131604
dead_ends_normal_215 = 24922104126584
dead_ends_normal_216 = 21653807418583
dead_ends_normal_217 = 267216307523
dead_ends_normal_218 = 2694297983476
dead_ends_normal_219 = 300462384726088
dead_ends_normal_220 = 205332881618613
dead_ends_normal_221 = 30816668918795
dead_ends_normal_222 = 16264276427880
dead_ends_normal_223 = 30650319456347
dead_ends_normal_224 = 240772149715059
dead_ends_normal_225 = 14938612114866
dead_ends_normal_226 = 113252763130241
dead_ends_normal_227 = 2992344423479
dead_ends_normal_228 = 316492630517431
dead_ends_normal_229 = 213712837530596
dead_ends_normal_230 = 23103781612290
dead_ends_normal_231 = 22330892826447
dead_ends_normal_232 = 162122314894
dead_ends_normal_233 = 547121203139
dead_ends_normal_234 = 1787085625164
dead_ends_normal_235 = 151665920250
dead_ends_normal_236 = 104211705126423
dead_ends_normal_237 = 41653275620217
dead_ends_normal_238 = 249032004026002
dead_ends_normal_239 = 190441483112317
dead_ends_normal_240 = 68912859227779
dead_ends_normal_241 = 157312118727241
dead_ends_normal_242 = 10652759121057
dead_ends_normal_243 = 21040818413646
dead_ends_normal_244 = 2581639504064
dead_ends_normal_245 = 183882966723581
dead_ends_normal_246 = 98544843913
dead_ends_normal_247 = 3821215665375
dead_ends_normal_248 = 85131018929312
dead_ends_normal_249 = 31831435822544
dead_ends_normal_250 = 156051713732034
dead_ends_normal_251 = 4431803030794
dead_ends_normal_252 = 27545312443683
dead_ends_normal_253 = 11841953425449
dead_ends_normal_254 = 58511677617697
dead_ends_normal_255 = 64083217610055
dead_ends_normal_256 = 200882575914085
dead_ends_normal_257 = 14103260107074
dead_ends_normal_258 = 23964147621745
dead_ends_normal_259 = 10854349625242
dead_ends_normal_260 = 234841295119
dead_ends_normal_261 = 14522387431662
dead_ends_normal_262 = 4215706914242
dead_ends_normal_263 = 100283127720656
dead_ends_normal_264 = 310332037924769
dead_ends_normal_265 = 42352315315436
dead_ends_normal_266 = 234451146528005
dead_ends_normal_267 = 29278854118741
dead_ends_normal_268 = 91631382030722
dead_ends_normal_269 = 22387232133228
dead_ends_normal_270 = 4556207035203
dead_ends_normal_271 = 16745641517719
dead_ends_normal_272 = 270292457729639
dead_ends_normal_273 = 28447217711336
dead_ends_normal_274 = 28435288862443
dead_ends_normal_275 = 93391360413670
dead_ends_normal_276 = 14519847931860
dead_ends_normal_277 = 19793291093539
dead_ends_normal_278 = 81762574120533
dead_ends_normal_279 = 318511738823071
dead_ends_normal_280 = 2710134291521
dead_ends_normal_281 = 2060224142098
dead_ends_normal_282 = 194032180621474
dead_ends_normal_283 = 196261789724732
dead_ends_normal_284 = 2879320098934
dead_ends_normal_285 = 319801250316265
dead_ends_normal_286 = 80582332425
dead_ends_normal_287 = 182051617715962
dead_ends_normal_288 = 4972193531038
dead_ends_normal_289 = 2982284293979
dead_ends_normal_290 = 312252035221897
dead_ends_normal_291 = 149562178824965
dead_ends_normal_292 = 381210686797
dead_ends_normal_293 = 5336981513049
dead_ends_normal_294 = 201891531225767
dead_ends_normal_295 = 27876171037502
dead_ends_normal_296 = 242652863113102
dead_ends_normal_297 = 11202144203685
dead_ends_normal_298 = 53343157711663
dead_ends_normal_299 = 171652512713772
dead_ends_normal_300 = 20983115333873
dead_ends_normal_301 = 325762403832737
dead_ends_normal_302 = 23051714630703
dead_ends_normal_303 = 2404850822121
dead_ends_normal_304 = 114143133016537
dead_ends_normal_305 = 2124314024205
dead_ends_normal_306 = 300882318324545
dead_ends_normal_307 = 312301820728144
dead_ends_normal_308 = 307909584536
dead_ends_normal_309 = 24862273615629
dead_ends_normal_310 = 15323500822576
dead_ends_normal_311 = 110572205114677
dead_ends_normal_312 = 18881144053939
dead_ends_normal_313 = 2542778625332
dead_ends_normal_314 = 224671823318527
dead_ends_normal_315 = 26257291484699
dead_ends_normal_316 = 27666373326250
dead_ends_normal_317 = 36711936417129
dead_ends_normal_318 = 307531678330355
dead_ends_normal_319 = 208551906132482
dead_ends_normal_320 = 273931865811376
dead_ends_normal_321 = 287892807830853
dead_ends_normal_322 = 30304246712731
dead_ends_normal_323 = 60183817635
dead_ends_normal_324 = 310301369419508
dead_ends_normal_325 = 28037280857368
dead_ends_normal_326 = 281882872721940
dead_ends_normal_327 = 6201118710485
dead_ends_normal_328 = 938214838330
dead_ends_normal_329 = 6868225028991
dead_ends_normal_330 = 177662521928183
dead_ends_normal_331 = 31107640162
dead_ends_normal_332 = 6400316304766
dead_ends_normal_333 = 880345372495
dead_ends_normal_334 = 263561121731719
dead_ends_normal_335 = 29485102211188
dead_ends_normal_336 = 197191469417188
dead_ends_normal_337 = 25155569824998
dead_ends_normal_338 = 30550729722237
dead_ends_normal_339 = 120231262619325
dead_ends_normal_340 = 236632516612633
dead_ends_normal_341 = 26398999432447
dead_ends_normal_342 = 196442373411012
dead_ends_normal_343 = 14382766012133
dead_ends_normal_344 = 2390051129459
dead_ends_normal_345 = 24828536015302
dead_ends_normal_346 = 20321843329561
dead_ends_normal_347 = 21941249624481
dead_ends_normal_348 = 317912671527726
dead_ends_normal_349 = 25273111133209
dead_ends_normal_350 = 1863811134553
dead_ends_normal_351 = 2194724959293
dead_ends_normal_352 = 32594125347037
dead_ends_normal_353 = 269506463529
dead_ends_normal_354 = 6238254669779
dead_ends_normal_355 = 282142494516114
dead_ends_normal_356 = 25685112359758
dead_ends_normal_357 = 15892848418375
dead_ends_normal_358 = 132481663222363
dead_ends_normal_359 = 16651582714078
dead_ends_normal_360 = 19932309821598
dead_ends_normal_361 = 112931077311165
dead_ends_normal_362 = 6261134032207
dead_ends_normal_363 = 323082416514323
dead_ends_normal_364 = 2340173681036
dead_ends_normal_365 = 290281873126593
dead_ends_normal_366 = 183651110226707
dead_ends_normal_367 = 10873081532161
dead_ends_normal_368 = 31079138063253
dead_ends_normal_369 = 90296210960
dead_ends_normal_370 = 11135148228789
dead_ends_normal_371 = 18987716431181
dead_ends_normal_372 = 318051552829067
dead_ends_normal_373 = 6356637815270
dead_ends_normal_374 = 11443132620586
dead_ends_normal_375 = 80541803023950
dead_ends_normal_376 = 152551796628726
dead_ends_normal_377 = 272982789620756
dead_ends_normal_378 = 770370010423
dead_ends_normal_379 = 245542901590
dead_ends_normal_380 = 323051138715611
dead_ends_normal_381 = 2768482531127
dead_ends_normal_382 = 12463307948892
dead_ends_normal_383 = 1813885507566
dead_ends_normal_384 = 9330297696445
dead_ends_normal_385 = 60122797016263
dead_ends_normal_386 = 198151021026506
dead_ends_normal_387 = 297420980903
dead_ends_normal_388 = 44992596918391
dead_ends_normal_389 = 16833100731771
dead_ends_normal_390 = 2101326016730
dead_ends_normal_391 = 22052138492842
dead_ends_normal_392 = 26111789932299
dead_ends_normal_393 = 47331773031835
dead_ends_normal_394 = 319952807318419
dead_ends_normal_395 = 118892103314581
dead_ends_normal_396 = 23817244658146
dead_ends_normal_397 = 6468285278028
dead_ends_normal_398 = 7362434419900
dead_ends_normal_399 = 5530199869548
dead_ends_normal_400 = 25766284322398
dead_ends_normal_401 = 305991882131668
dead_ends_normal_402 = 83062248122615
dead_ends_normal_403 = 510720973793
dead_ends_normal_404 = 29767225429131
dead_ends_normal_405 = 135592166820261
dead_ends_normal_406 = 529827569964
dead_ends_normal_407 = 25501809023214
dead_ends_normal_408 = 11672234982077
dead_ends_normal_409 = 22353127132791
dead_ends_normal_410 = 2239262334819
dead_ends_normal_411 = 7647148111831
dead_ends_normal_412 = 176112221612982
dead_ends_normal_413 = 9024332889
dead_ends_normal_414 = 320981012116506
dead_ends_normal_415 = 276722858817908
dead_ends_normal_416 = 47753152115005
dead_ends_normal_417 = 123172852226268
dead_ends_normal_418 = 230252051810716
dead_ends_normal_419 = 198511940412462
dead_ends_normal_420 = 2201178067632
dead_ends_normal_421 = 21675434823653
dead_ends_normal_422 = 2173067823064
dead_ends_normal_423 = 2663256443746
dead_ends_normal_424 = 12181829216987
dead_ends_normal_425 = 3274734327038
dead_ends_normal_426 = 206862999830729
dead_ends_normal_427 = 27983440319477
dead_ends_normal_428 = 325972060432028
dead_ends_normal_429 = 22511211216669
dead_ends_normal_430 = 19775860011150
dead_ends_normal_431 = 7221679527131
dead_ends_normal_432 = 13063257459338
dead_ends_normal_433 = 2769880130344
dead_ends_normal_434 = 240232960713021
dead_ends_normal_435 = 2326913630422
dead_ends_normal_436 = 301972505126557
dead_ends_normal_437 = 8253209413664
dead_ends_normal_438 = 27065917616701
dead_ends_normal_439 = 4821931619019
dead_ends_normal_440 = 162082364630220
dead_ends_normal_441 = 32095212889629
dead_ends_normal_442 = 11260339223474
dead_ends_normal_443 = 11435127832916
dead_ends_normal_444 = 173691627325077
dead_ends_normal_445 = 12833142256812
dead_ends_normal_446 = 6566244031324
dead_ends_normal_447 = 28561309452841
dead_ends_normal_448 = 14261496528396
dead_ends_normal_449 = 892286967128
dead_ends_normal_450 = 1371218515903
dead_ends_normal_451 = 133891027920808
dead_ends_normal_452 = 38363260024649
dead_ends_normal_453 = 505230551560
dead_ends_normal_454 = 7820267785652
dead_ends_normal_455 = 78933181618258
dead_ends_normal_456 = 226832143127085
dead_ends_normal_457 = 292782666612974
dead_ends_normal_458 = 12001472721203
dead_ends_normal_459 = 310292048718186
dead_ends_normal_460 = 2963769861284
dead_ends_normal_461 = 91052040421806
dead_ends_normal_462 = 12761295613597
dead_ends_normal_463 = 287152860212475
dead_ends_normal_464 = 3482115632622
dead_ends_normal_465 = 95561647213274
dead_ends_normal_466 = 22239292205428
dead_ends_normal_467 = 246501822225895
dead_ends_normal_468 = 4911877029565
dead_ends_normal_469 = 2433200428896
dead_ends_normal_470 = 388333410010
dead_ends_normal_471 = 18398143929260
dead_ends_normal_472 = 207953170616364
dead_ends_normal_473 = 154672104110506
dead_ends_normal_474 = 321591821022610
dead_ends_normal_475 = 28456899632176
dead_ends_normal_476 = 272781558723782
dead_ends_normal_477 = 18837188615298
dead_ends_normal_478 = 35602768816795
dead_ends_normal_479 = 4952147304310
dead_ends_normal_480 = 14714173714380
dead_ends_normal_481 = 173762466919146
dead_ends_normal_482 = 292012185011163
dead_ends_normal_483 = 22331152063761
dead_ends_normal_484 = 3240819701879
dead_ends_normal_485 = 50072791420766
dead_ends_normal_486 = 1871432711467
dead_ends_normal_487 = 229451651210302
dead_ends_normal_488 = 31208813416228
dead_ends_normal_489 = 153833038529758
dead_ends_normal_490 = 173281857817404
dead_ends_normal_491 = 1058758934099
dead_ends_normal_492 = 29774165137764
dead_ends_normal_493 = 306271373619399
dead_ends_normal_494 = 147371233624810
dead_ends_normal_495 = 6334258195457
dead_ends_normal_496 = 9153380727033
dead_ends_normal_497 = 77873152922263
dead_ends_normal_498 = 212509502450
dead_ends_normal_499 = 22199157983975
dead_ends_normal_500 = 26327103987055
dead_ends_normal_501 = 4044642010684
dead_ends_normal_502 = 3986194757783
dead_ends_normal_503 = 130482366029682
dead_ends_normal_504 = 14474121904651
dead_ends_normal_505 = 237431464914943
dead_ends_normal_506 = 4286290482063
dead_ends_normal_507 = 29362351110607
dead_ends_normal_508 = 315822849821615
dead_ends_normal_509 = 37401311222335
dead_ends_normal_510 = 268341047512306
dead_ends_normal_511 = 2112343055565
dead_ends_normal_512 = 20432295442462
dead_ends_normal_513 = 290023226215343
dead_ends_normal_514 = 11670288353187
dead_ends_normal_515 = 15834774721417
dead_ends_normal_516 = 143121070515395
dead_ends_normal_517 = 296452979811331
dead_ends_normal_518 = 192132433730821
dead_ends_normal_519 = 4136992531728
dead_ends_normal_520 = 27289228629836
dead_ends_normal_521 = 202161719512357
dead_ends_normal_522 = 8271159818405
dead_ends_normal_523 = 270993221918239
dead_ends_normal_524 = 1728448612889
dead_ends_normal_525 = 134281276232509
dead_ends_normal_526 = 28079778924628
dead_ends_normal_527 = 23835577021057
dead_ends_normal_528 = 82422256713043
dead_ends_normal_529 = 576132553155
dead_ends_normal_530 = 18662306818901
dead_ends_normal_531 = 271901155016970
dead_ends_normal_532 = 252642653316454
dead_ends_normal_533 = 32053199164034
dead_ends_normal_534 = 1508742108640
dead_ends_normal_535 = 29602128898861
dead_ends_normal_536 = 164772538010713
dead_ends_normal_537 = 317612628523269
dead_ends_normal_538 = 167142598420786
dead_ends_normal_539 = 52271299527833
dead_ends_normal_540 = 295302637528427
dead_ends_normal_541 = 27159410225769
dead_ends_normal_542 = 1389140109987
dead_ends_normal_543 = 125811199010158
dead_ends_normal_544 = 30514267292158
dead_ends_normal_545 = 2552149822105
dead_ends_normal_546 = 197582958726249
dead_ends_normal_547 = 1101938499537
dead_ends_normal_548 = 8482504121751
dead_ends_normal_549 = 15083249672374
dead_ends_normal_550 = 57361681628155
dead_ends_normal_551 = 233061500732038
dead_ends_normal_552 = 69501431724239
dead_ends_normal_553 = 204432120712055
dead_ends_normal_554 = 236542498032229
dead_ends_normal_555 = 21673113853878
dead_ends_normal_556 = 126572890725968
dead_ends_normal_557 = 660613049525
dead_ends_normal_558 = 211642457111323
dead_ends_normal_559 = 4202889526439
dead_ends_normal_560 = 187671092316776
dead_ends_normal_561 = 1819731795592
dead_ends_normal_562 = 1781619943463
dead_ends_normal_563 = 128432449815655
dead_ends_normal_564 = 18590351325605
dead_ends_normal_565 = 29496275667618
dead_ends_normal_566 = 2350227667125
dead_ends_normal_567 = 5219140055074
dead_ends_normal_568 = 282471087431801
dead_ends_normal_569 = 16331248478411
dead_ends_normal_570 = 206692835111447
dead_ends_normal_571 = 92261623711713
dead_ends_normal_572 = 10823177213230
dead_ends_normal_573 = 90851607011095
dead_ends_normal_574 = 1366643367181
dead_ends_normal_575 = 19940251557749
dead_ends_normal_576 = 23082217032087
dead_ends_normal_577 = 152542531511704
dead_ends_normal_578 = 4551113678142
dead_ends_normal_579 = 16097159089560
dead_ends_normal_580 = 2213179416874
dead_ends_normal_581 = 29040105202458
dead_ends_normal_582 = 1832115866259
dead_ends_normal_583 = 234902754716361
dead_ends_normal_584 = 126271211218286
dead_ends_normal_585 = 144631181332343
dead_ends_normal_586 = 16268213489836
dead_ends_normal_587 = 112131354627761
dead_ends_normal_588 = 132442699613633
dead_ends_normal_589 = 246371194630731
dead_ends_normal_590 = 322702590426490
dead_ends_normal_591 = 3681627910816
dead_ends_normal_592 = 162072504024775
dead_ends_normal_593 = 264342437323535
dead_ends_normal_594 = 154422812828796
dead_ends_normal_595 = 1550197405861
dead_ends_normal_596 = 218881195011062
dead_ends_normal_597 = 297631635716172
dead_ends_normal_598 = 244252692619596
dead_ends_normal_599 = 199972016727776
dead_ends_normal_600 = 175331564230909
dead_ends_normal_601 = 1266547397656
dead_ends_normal_602 = 1569494010416
dead_ends_normal_603 = 1491932922053
dead_ends_normal_604 = 229772711724017
dead_ends_normal_605 = 2619228737646
dead_ends_normal_606 = 244382967312360
dead_ends_normal_607 = 87581921028882
dead_ends_normal_608 = 22659719722484
dead_ends_normal_609 = 3279278619394
dead_ends_normal_610 = 114222098630061
dead_ends_normal_611 = 22594121229041
dead_ends_normal_612 = 203921179719522
dead_ends_normal_613 = 2222218960928
dead_ends_normal_614 = 9573199928609
dead_ends_normal_615 = 23696265238155
dead_ends_normal_616 = 138323098816088
dead_ends_normal_617 = 77481199428248
dead_ends_normal_618 = 856391791372
dead_ends_normal_619 = 29458725828841
dead_ends_normal_620 = 34791596427861
dead_ends_normal_621 = 1751989514128
dead_ends_normal_622 = 3256869495965
dead_ends_normal_623 = 37362106830730
dead_ends_normal_624 = 176711780430231
dead_ends_normal_625 = 28883314186466
dead_ends_normal_626 = 4579170527618
dead_ends_normal_627 = 254542129719048
dead_ends_normal_628 = 140192817411456
dead_ends_normal_629 = 1946050838840
dead_ends_normal_630 = 16118747310644
dead_ends_normal_631 = 8069599924490
dead_ends_normal_632 = 226912034622739
dead_ends_normal_633 = 218793240121616
dead_ends_normal_634 = 2512191094825
dead_ends_normal_635 = 25525976519881
dead_ends_normal_636 = 28644182504967
dead_ends_normal_637 = 1611342022148
dead_ends_normal_638 = 17600120756755
dead_ends_normal_639 = 283943095027303
dead_ends_normal_640 = 140111928626511
dead_ends_normal_641 = 38941615517197
dead_ends_normal_642 = 280972863120232
dead_ends_normal_643 = 30531124675291
dead_ends_normal_644 = 15943201625285
dead_ends_normal_645 = 1412356166134
dead_ends_normal_646 = 7380154023559
dead_ends_normal_647 = 28578303691296
dead_ends_normal_648 = 248312399316493
dead_ends_normal_649 = 266256652294
dead_ends_normal_650 = 218881786022608
dead_ends_normal_651 = 7373002329942
dead_ends_normal_652 = 49601693919396
dead_ends_normal_653 = 11023548929954
dead_ends_normal_654 = 7610607718641
dead_ends_normal_655 = 32833243620635
dead_ends_normal_656 = 71101314414449
dead_ends_normal_657 = 2260429825414
dead_ends_normal_658 = 216161388817308
dead_ends_normal_659 = 24224754515743
dead_ends_normal_660 = 16015150143368
dead_ends_normal_661 = 150002921911096
dead_ends_normal_662 = 826118311454
dead_ends_normal_663 = 11725264136759
dead_ends_normal_664 = 180552668121916
dead_ends_normal_665 = 213401934723138
dead_ends_normal_666 = 10756963028123
dead_ends_normal_667 = 89812204117239
dead_ends_normal_668 = 131322010512076
dead_ends_normal_669 = 10728141619485
dead_ends_normal_670 = 313243015221473
dead_ends_normal_671 = 11814677282
dead_ends_normal_672 = 12459127020599
dead_ends_normal_673 = 129822229312842
dead_ends_normal_674 = 281441662919184
dead_ends_normal_675 = 135182687827089
dead_ends_normal_676 = 109171604420083
dead_ends_normal_677 = 15501228031650
dead_ends_normal_678 = 593019608517
dead_ends_normal_679 = 264632561523291
dead_ends_normal_680 = 2488032643508
dead_ends_normal_681 = 207492873812762
dead_ends_normal_682 = 25948490221335
dead_ends_normal_683 = 27001267325417
dead_ends_normal_684 = 1168213949165
dead_ends_normal_685 = 30368604125115
dead_ends_normal_686 = 135592392811100
dead_ends_normal_687 = 244961853922174
dead_ends_normal_688 = 3039188651649
dead_ends_normal_689 = 20914153429439
dead_ends_normal_690 = 117322171620
dead_ends_normal_691 = 77222754421013
dead_ends_normal_692 = 455323333805
dead_ends_normal_693 = 2933921566874
dead_ends_normal_694 = 50563072166
dead_ends_normal_695 = 65811983116522
dead_ends_normal_696 = 109283077914305
dead_ends_normal_697 = 21719208554084
dead_ends_normal_698 = 180612830211349
dead_ends_normal_699 = 112722990117577
dead_ends_normal_700 = 127081333212324
dead_ends_normal_701 = 209492709928543
dead_ends_normal_702 = 160431662414568
dead_ends_normal_703 = 3264891476976
dead_ends_normal_704 = 1760980471137
dead_ends_normal_705 = 6487302888445
dead_ends_normal_706 = 2069169926307
dead_ends_normal_707 = 15682289589643
dead_ends_normal_708 = 8792731823211
dead_ends_normal_709 = 143144629497
dead_ends_normal_710 = 6182660518741
dead_ends_normal_711 = 262491160132471
dead_ends_normal_712 = 1824800613886
dead_ends_normal_713 = 4821379716101
dead_ends_normal_714 = 6241538014208
dead_ends_normal_715 = 30872427928478
dead_ends_normal_716 = 11172883415723
dead_ends_normal_717 = 10624718826952
dead_ends_normal_718 = 88002687923034
dead_ends_normal_719 = 5278207021190
dead_ends_normal_720 = 251821633816440
dead_ends_normal_721 = 12364820223794
dead_ends_normal_722 = 196623037118378
dead_ends_normal_723 = 15128219021722
dead_ends_normal_724 = 172955876435
dead_ends_normal_725 = 132143127829497
dead_ends_normal_726 = 267522117114610
dead_ends_normal_727 = 94491077226428
dead_ends_normal_728 = 309492507618464
dead_ends_normal_729 = 12567143223107
dead_ends_normal_730 = 15142170706868
dead_ends_normal_731 = 147521374531742
dead_ends_normal_732 = 26800517415551
dead_ends_normal_733 = 186351173119687
dead_ends_normal_734 = 27136359130171
dead_ends_normal_735 = 18084296119537
dead_ends_normal_736 = 13988703418899
dead_ends_normal_737 = 701188451571
dead_ends_normal_738 = 14631294530656
dead_ends_normal_739 = 280471796716444
dead_ends_normal_740 = 22445303607523
dead_ends_normal_741 = 276162957617542
dead_ends_normal_742 = 171043227011694
dead_ends_normal_743 = 2345470518930
dead_ends_normal_744 = 19023004920992
dead_ends_normal_745 = 203254505247
dead_ends_normal_746 = 54402725414193
dead_ends_normal_747 = 90412085031201
dead_ends_normal_748 = 931532405732
dead_ends_normal_749 = 1099382528868
dead_ends_normal_750 = 27118739922515
dead_ends_normal_751 = 6248265743692
dead_ends_normal_752 = 150142629719883
dead_ends_normal_753 = 2739736221228
dead_ends_normal_754 = 176501392510497
dead_ends_normal_755 = 12493172246018
dead_ends_normal_756 = 21835677419842
dead_ends_normal_757 = 73551087019733
dead_ends_normal_758 = 88723075826018
dead_ends_normal_759 = 32702136441714
dead_ends_normal_760 = 177182972727376
dead_ends_normal_761 = 12091116966836
dead_ends_normal_762 = 22353047529488
dead_ends_normal_763 = 315041339016763
dead_ends_normal_764 = 157352235620003
dead_ends_normal_765 = 3066389717009
dead_ends_normal_766 = 119261645413518
dead_ends_normal_767 = 311422865524609
dead_ends_normal_768 = 26278877827716
dead_ends_normal_769 = 11255140769354
dead_ends_normal_770 = 105711310524911
dead_ends_normal_771 = 11753173214894
dead_ends_normal_772 = 38592654211156
dead_ends_normal_773 = 1828422623326
dead_ends_normal_774 = 199172406430883
dead_ends_normal_775 = 112801628530826
dead_ends_normal_776 = 204751055913975
dead_ends_normal_777 = 20136667624965
dead_ends_normal_778 = 11204193449872
dead_ends_normal_779 = 2005810195855
dead_ends_normal_780 = 4429395729602
dead_ends_normal_781 = 117581016317628
dead_ends_normal_782 = 190251471823024
dead_ends_normal_783 = 244801620518190
dead_ends_normal_784 = 265671767123840
dead_ends_normal_785 = 11730620428617
dead_ends_normal_786 = 137331216614709
dead_ends_normal_787 = 14761363030113
dead_ends_normal_788 = 25342239569335
dead_ends_normal_789 = 14635104925808
dead_ends_normal_790 = 3129213386693
dead_ends_normal_791 = 638726534273
dead_ends_normal_792 = 306903138331021
dead_ends_normal_793 = 66452543932762
dead_ends_normal_794 = 8968299618571
dead_ends_normal_795 = 192262257222889
dead_ends_normal_796 = 431532317201
dead_ends_normal_797 = 300742493226579
dead_ends_normal_798 = 23414197286233
dead_ends_normal_799 = 1811241063685
dead_ends_normal_800 = 7816229685333
dead_ends_normal_801 = 1057893619052
dead_ends_normal_802 = 140062303023359
dead_ends_normal_803 = 1585853052340
dead_ends_normal_804 = 298912314311610
dead_ends_normal_805 = 63851220332201
dead_ends_normal_806 = 213452202711859
dead_ends_normal_807 = 5558253773809
dead_ends_normal_808 = 241741170131858
dead_ends_normal_809 = 12685143807229
dead_ends_normal_810 = 1605451514031
dead_ends_normal_811 = 169143147515059
dead_ends_normal_812 = 157782409820293
dead_ends_normal_813 = 25055345723268
dead_ends_normal_814 = 165631089315657
dead_ends_normal_815 = 2799256338713
dead_ends_normal_816 = 298953223616995
dead_ends_normal_817 = 8996260117865
dead_ends_normal_818 = 2433100529824
dead_ends_normal_819 = 279561504122954
dead_ends_normal_820 = 12248506774
dead_ends_normal_821 = 109412212725769
dead_ends_normal_822 = 167701177810384
dead_ends_normal_823 = 29901322727937
dead_ends_normal_824 = 45562153018399
dead_ends_normal_825 = 69693096819183
dead_ends_normal_826 = 232482860326020
dead_ends_normal_827 = 29311990129259
dead_ends_normal_828 = 6559301106347
dead_ends_normal_829 = 179573136129508
dead_ends_normal_830 = 29794327544467
dead_ends_normal_831 = 266951345423809
dead_ends_normal_832 = 323382124162
dead_ends_normal_833 = 267002821326445
dead_ends_normal_834 = 2874245994873
dead_ends_normal_835 = 248271722127477
dead_ends_normal_836 = 2522641111680
dead_ends_normal_837 = 1606198736260
dead_ends_normal_838 = 32637318922048
dead_ends_normal_839 = 307601190629341
dead_ends_normal_840 = 11542227624685
dead_ends_normal_841 = 54432596418982
dead_ends_normal_842 = 162812320610482
dead_ends_normal_843 = 20651285920768
dead_ends_normal_844 = 31916611950
dead_ends_normal_845 = 99741442426013
dead_ends_normal_846 = 272401435910037
dead_ends_normal_847 = 23267189417231
dead_ends_normal_848 = 22693102393351
dead_ends_normal_849 = 26582172817139
dead_ends_normal_850 = 269791190927158
dead_ends_normal_851 = 125313000719205
dead_ends_normal_852 = 28108698013801
dead_ends_normal_853 = 89671273017457
dead_ends_normal_854 = 2011134187356
dead_ends_normal_855 = 231662175622249
dead_ends_normal_856 = 33462655510609
dead_ends_normal_857 = 279072769629647
dead_ends_normal_858 = 18381193424054
dead_ends_normal_859 = 226032137419687
dead_ends_normal_860 = 13548967715354
dead_ends_normal_861 = 11825271032717
dead_ends_normal_862 = 227342262329874
dead_ends_normal_863 = 2608752079274
dead_ends_normal_864 = 708299655710
dead_ends_normal_865 = 107282136729
dead_ends_normal_866 = 164133876763
dead_ends_normal_867 = 268253197230482
dead_ends_normal_868 = 30645774218789
dead_ends_normal_869 = 11398201428245
dead_ends_normal_870 = 28643560228372
dead_ends_normal_871 = 83971233119889
dead_ends_normal_872 = 226671492425916
dead_ends_normal_873 = 288662541932236
dead_ends_normal_874 = 61281916714485
dead_ends_normal_875 = 14247803815344
dead_ends_normal_876 = 24531221327230
dead_ends_normal_877 = 12785102132035
dead_ends_normal_878 = 14949291087566
dead_ends_normal_879 = 20137275124180
dead_ends_normal_880 = 1476578232234
dead_ends_normal_881 = 214341220319021
dead_ends_normal_882 = 6660909317916
dead_ends_normal_883 = 2072200131477
dead_ends_normal_884 = 268801597522691
dead_ends_normal_885 = 10723677311336
dead_ends_normal_886 = 2394221917749
dead_ends_normal_887 = 285073216512081
dead_ends_normal_888 = 1408841245217
dead_ends_normal_889 = 190361335312088
dead_ends_normal_890 = 303222950417063
dead_ends_normal_891 = 2681348617973
dead_ends_normal_892 = 2661420320325
dead_ends_normal_893 = 324592877312968
dead_ends_normal_894 = 8252154112597
dead_ends_normal_895 = 250451059714311
dead_ends_normal_896 = 271852392125324
dead_ends_normal_897 = 28981780218946
dead_ends_normal_898 = 15860250562924
dead_ends_normal_899 = 103321362027389
dead_ends_normal_900 = 281062071113476
dead_ends_normal_901 = 245812135819926
dead_ends_normal_902 = 7871466225543
dead_ends_normal_903 = 23919267626593
dead_ends_normal_904 = 254522946928040
dead_ends_normal_905 = 157531470217547
dead_ends_normal_906 = 2006136612224
dead_ends_normal_907 = 277222579328603
dead_ends_normal_908 = 18606653816587
dead_ends_normal_909 = 129651532530985
dead_ends_normal_910 = 17464912912685
dead_ends_normal_911 = 169082596032037
dead_ends_normal_912 = 241101447815351
dead_ends_normal_913 = 190842531132141
dead_ends_normal_914 = 84682288717444
dead_ends_normal_915 = 192151714420572
dead_ends_normal_916 = 6821103949900
dead_ends_normal_917 = 2845626219106
dead_ends_normal_918 = 200432246529198
dead_ends_normal_919 = 12389960322756
dead_ends_normal_920 = 14374298469260
dead_ends_normal_921 = 12961257793822
dead_ends_normal_922 = 305881103432005
dead_ends_normal_923 = 67302516725302
dead_ends_normal_924 = 38521915726670
dead_ends_normal_925 = 120322071510997
dead_ends_normal_926 = 267343076526400
dead_ends_normal_927 = 21866983420319
dead_ends_normal_928 = 11710302416595
dead_ends_normal_929 = 75981905813333
dead_ends_normal_930 = 312051229130373
dead_ends_normal_931 = 109141829119361
dead_ends_normal_932 = 81381347432337
dead_ends_normal_933 = 21175157959748
dead_ends_normal_934 = 63772880022450
dead_ends_normal_935 = 155052026110242
dead_ends_normal_936 = 134752575220590
dead_ends_normal_937 = 13998266876337
dead_ends_normal_938 = 93502958312598
dead_ends_normal_939 = 112182268813980
dead_ends_normal_940 = 68451893520110
dead_ends_normal_941 = 903583855698
dead_ends_normal_942 = 181052551128531
dead_ends_normal_943 = 7966166069097
dead_ends_normal_944 = 110441284018076
dead_ends_normal_945 = 20723166867726
dead_ends_normal_946 = 12304358412472
dead_ends_normal_947 = 326593139430742
dead_ends_normal_948 = 60562730117854
dead_ends_normal_949 = 40541621911145
dead_ends_normal_950 = 306542643613468
dead_ends_normal_951 = 107752978019394
dead_ends_normal_952 = 175731575413482
dead_ends_normal_953 = 262142350416776
dead_ends_normal_954 = 15742513523731
dead_ends_normal_955 = 241262747222335
dead_ends_normal_956 = 2236619318506
dead_ends_normal_957 = 295773019125137
dead_ends_normal_958 = 2641265478376
dead_ends_normal_959 = 87692801122650
dead_ends_normal_960 = 1921869428431
dead_ends_normal_961 = 11043135367055
dead_ends_normal_962 = 156073033327449
dead_ends_normal_963 = 2637132356862
dead_ends_normal_964 = 200101405420315
dead_ends_normal_965 = 78971261718516
dead_ends_normal_966 = 1512758075604
dead_ends_normal_967 = 28133275230022
dead_ends_normal_968 = 21855133741022
dead_ends_normal_969 = 218121597724717
dead_ends_normal_970 = 154712443418
dead_ends_normal_971 = 69042749119244
dead_ends_normal_972 = 5219369710224
dead_ends_normal_973 = 100631545121763
dead_ends_normal_974 = 152091202923893
dead_ends_normal_975 = 135181221823594
dead_ends_normal_976 = 8376403016835
dead_ends_normal_977 = 8692260243726
dead_ends_normal_978 = 21535325227024
dead_ends_normal_979 = 5659221925988
dead_ends_normal_980 = 228132428417150
dead_ends_normal_981 = 17477204312311
dead_ends_normal_982 = 50161877816657
dead_ends_normal_983 = 1325462555764
dead_ends_normal_984 = 204592277425069
dead_ends_normal_985 = 159181226432400
dead_ends_normal_986 = 98702120523050
dead_ends_normal_987 = 1973076517453
dead_ends_normal_988 = 151962641129179
dead_ends_normal_989 = 23727101683863
dead_ends_normal_990 = 26551814425115
dead_ends_normal_991 = 26808177354229
dead_ends_normal_992 = 9302622827523
dead_ends_normal_993 = 226932219532189
dead_ends_normal_994 = 196912474822039
dead_ends_normal_995 = 23592914415067
dead_ends_normal_996 = 28340548023960
dead_ends_normal_997 = 135192652616014
dead_ends_normal_998 = 271972625729077
dead_ends_normal_999 = 4001857721623
dead_ends_small_000 = 213362307911290
dead_ends_small_001 = 156672696329046
dead_ends_small_002 = 220732144623581
dead_ends_small_003 = 135122511124791
dead_ends_small_004 = 258592932231914
dead_ends_small_005 = 32671983412142
dead_ends_small_006 = 1904605124104
dead_ends_small_007 = 284572220010904
dead_ends_small_008 = 134271475824743
dead_ends_small_009 = 1026027948800
dead_ends_small_010 = 1663861927417
dead_ends_small_011 = 3309257715912
dead_ends_small_012 = 70911960314520
dead_ends_small_013 = 268856952774
dead_ends_small_014 = 215121563427468
dead_ends_small_015 = 308301663419050
dead_ends_small_016 = 51541434923428
dead_ends_small_017 = 243232190710306
dead_ends_small_018 = 12435845120026
dead_ends_small_019 = 27929114908166
dead_ends_small_020 = 205912265426016
dead_ends_small_021 = 25402245719938
dead_ends_small_022 = 11536923725569
dead_ends_small_023 = 49091317830519
dead_ends_small_024 = 29710178572188
dead_ends_small_025 = 27167481616353
dead_ends_small_026 = 1516109869497
dead_ends_small_027 = 128051995021605
dead_ends_small_028 = 233781839411064
dead_ends_small_029 = 16127291526994
dead_ends_small_030 = 22255810418022
dead_ends_small_031 = 10094305523376
dead_ends_small_032 = 270791077122050
dead_ends_small_033 = 18949241905264
dead_ends_small_034 = 40313208825006
dead_ends_small_035 = 158268323536
dead_ends_small_036 = 313541275314068
dead_ends_small_037 = 194922923429109
dead_ends_small_038 = 32359421129194
dead_ends_small_039 = 312541160012756
dead_ends_small_040 = 18403511626759
dead_ends_small_041 = 181273216131559
dead_ends_small_042 = 19577243727082
dead_ends_small_043 = 15639198723425
dead_ends_small_044 = 52462709824868
dead_ends_small_045 = 240633104410315
dead_ends_small_046 = 1952843237500
dead_ends_small_047 = 2582541889116
dead_ends_small_048 = 17635793719670
dead_ends_small_049 = 292198754622
dead_ends_small_050 = 1063117912203
dead_ends_small_051 = 298152645517200
dead_ends_small_052 = 1711097713711
dead_ends_small_053 = 1941568131295
dead_ends_small_054 = 1608091936286
dead_ends_small_055 = 152903155931892
dead_ends_small_056 = 259802071413531
dead_ends_small_057 = 2822235687896
dead_ends_small_058 = 74962468811152
dead_ends_small_059 = 24266723213037
dead_ends_small_060 = 14497189879710
dead_ends_small_061 = 1779219621736
dead_ends_small_062 = 84162887219021
dead_ends_small_063 = 22945434726948
dead_ends_small_064 = 1691727959770
dead_ends_small_065 = 1989325354089
dead_ends_small_066 = 118701726828557
dead_ends_small_067 = 283801410932604
dead_ends_small_068 = 188852275117776
dead_ends_small_069 = 36053142316205
dead_ends_small_070 = 137331085213395
dead_ends_small_071 = 127071734629470
dead_ends_small_072 = 27652275174011
dead_ends_small_073 = 1582836481555
dead_ends_small_074 = 30196465016256
dead_ends_small_075 = 10678816925378
dead_ends_small_076 = 151452268912847
dead_ends_small_077 = 2776893429
dead_ends_small_078 = 215661262224726
dead_ends_small_079 = 128871281016555
dead_ends_small_080 = 206983257918760
dead_ends_small_081 = 210651877514126
dead_ends_small_082 = 31407313187273
dead_ends_small_083 = 138567345024
dead_ends_small_084 = 112092464527813
dead_ends_small_085 = 149021021024346
dead_ends_small_086 = 28512281943816
dead_ends_small_087 = 235421318019435
dead_ends_small_088 = 292682433916346
dead_ends_small_089 = 12969254729077
dead_ends_small_090 = 1980425694896
dead_ends_small_091 = 175812503119794
dead_ends_small_092 = 30687276011670
dead_ends_small_093 = 191871371611031
dead_ends_small_094 = 929413720
dead_ends_small_095 = 63163174122763
dead_ends_small_096 = 5511744711530
dead_ends_small_097 = 160221729331198
dead_ends_small_098 = 197223095823559
dead_ends_small_099 = 78722185125696
dead_ends_big_000 = 14887277169226
dead_ends_big_001 = 295543266123315
dead_ends_big_002 = 140481264526553
dead_ends_big_003 = 142391375918378
dead_ends_big_004 = 5622953721453
dead_ends_big_005 = 185752614421590
dead_ends_big_006 = 227941250312230
dead_ends_big_007 = 113012855427978
dead_ends_big_008 = 79631780723806
dead_ends_big_009 = 124672659611388
dead_ends_big_010 = 10717325059321
dead_ends_big_011 = 6578154446152
dead_ends_big_012 = 3179126406010
dead_ends_big_013 = 3125546464589
dead_ends_big_014 = 184112141731413
dead_ends_big_015 = 158262334512405
dead_ends_big_016 = 15937676225254
dead_ends_big_017 = 242861374719762
dead_ends_big_018 = 11332133843737
dead_ends_big_019 = 173831510927786
dead_ends_big_020 = 214762225618288
dead_ends_big_021 = 327021386416544
dead_ends_big_022 = 1128275841840
dead_ends_big_023 = 2355821803309
dead_ends_big_024 = 24502520410856
dead_ends_big_025 = 20796166651919
dead_ends_big_026 = 140332333229153
dead_ends_big_027 = 30826202418184
dead_ends_big_028 = 241732866211112
dead_ends_big_029 = 47721562511180
dead_ends_big_030 = 213081308231555
dead_ends_big_031 = 25444976218330
dead_ends_big_032 = 36161860431399
dead_ends_big_033 = 177062100412517
dead_ends_big_034 = 287811562011478
dead_ends_big_035 = 13700584319959
dead_ends_big_036 = 56741028831522
dead_ends_big_037 = 146272130213236
dead_ends_big_038 = 302622507922142
dead_ends_big_039 = 236052398124006
dead_ends_big_040 = 267752637727292
dead_ends_big_041 = 88431337131715
dead_ends_big_042 = 323031255510680
dead_ends_big_043 = 233211841718926
dead_ends_big_044 = 18686518328684
dead_ends_big_045 = 9179183388118
dead_ends_big_046 = 257912042415982
dead_ends_big_047 = 61361122130493
dead_ends_big_048 = 215023020511891
dead_ends_big_049 = 81651268219004
dead_ends_big_050 = 6315285414627
dead_ends_big_051 = 150692864110710
dead_ends_big_052 = 2585326322521
dead_ends_big_053 = 24771040121004
dead_ends_big_054 = 3437144126277
dead_ends_big_055 = 254831364011809
dead_ends_big_056 = 30730311820125
dead_ends_big_057 = 274342850612264
dead_ends_big_058 = 14602497116524
dead_ends_big_059 = 16322910530479
dead_ends_big_060 = 95222451532050
dead_ends_big_061 = 16556165697189
dead_ends_big_062 = 1741345456831
dead_ends_big_063 = 144041948410683
dead_ends_big_064 = 137493184819854
dead_ends_big_065 = 179142912116150
dead_ends_big_066 = 239112482328531
dead_ends_big_067 = 1479292893260
dead_ends_big_068 = 27221399326282
dead_ends_big_069 = 101523021916941
dead_ends_big_070 = 14153217218443
dead_ends_big_071 = 217531246512805
dead_ends_big_072 = 209401646629417
dead_ends_big_073 = 292710301274
dead_ends_big_074 = 266231562924089
dead_ends_big_075 = 169911311128819
dead_ends_big_076 = 11735162517984
dead_ends_big_077 = 213272324625579
dead_ends_big_078 = 252251351926683
dead_ends_big_079 = 60453196131629
dead_ends_big_080 = 2890029090406
dead_ends_big_081 = 31661235019940
dead_ends_big_082 = 32343113118901
dead_ends_big_083 = 417723822850
dead_ends_big_084 = 1965855001821
dead_ends_big_085 = 232611785920832
dead_ends_big_086 = 135122693128465
dead_ends_big_087 = 24069543713261
dead_ends_big_088 = 127901939619436
dead_ends_big_089 = 115572830918
dead_ends_big_090 = 15998307628683
dead_ends_big_091 = 15119726229625
dead_ends_big_092 = 195492382531490
dead_ends_big_093 = 31936259161884
dead_ends_big_094 = 156302557019619
dead_ends_big_095 = 28344105576810
dead_ends_big_096 = 18785345828134
dead_ends_big_097 = 27161306731786
dead_ends_big_098 = 28589668424448
dead_ends_big_099 = 383987221152
