## pelita-createlayout -y 16 -x 32 -f 30 -s SEED > normal_XXX.layout
## pelita-createlayout -y 8 -x 16 -f 10 -s SEED > small_XXX.layout
## pelita-createlayout -y 32 -x 64 -f 60 -s SEED > big_XXX.layout
normal_000 = 304731394324160
normal_001 = 2626384616610
normal_002 = 29977242936329
normal_003 = 1616884073416
normal_004 = 643117810176
normal_005 = 85521248020703
normal_006 = 19104131831364
normal_007 = 1227363263167
normal_008 = 187763098019614
normal_009 = 305392778831788
normal_010 = 3208174496031
normal_011 = 1966022306702
normal_012 = 238782074020671
normal_013 = 17803161111201
normal_014 = 670940286740
normal_015 = 7663094918960
normal_016 = 116142309532517
normal_017 = 301808111227
normal_018 = 390479130234
normal_019 = 14507231459180
normal_020 = 291821253530003
normal_021 = 233445327959
normal_022 = 22184840010391
normal_023 = 28757395618055
normal_024 = 463094312932
normal_025 = 220732500112792
normal_026 = 14413315702763
normal_027 = 20506324330904
normal_028 = 16576943011545
normal_029 = 12348184347175
normal_030 = 171332689922981
normal_031 = 116541011819202
normal_032 = 28971884429590
normal_033 = 2270630479258
normal_034 = 25396855525599
normal_035 = 178311220119863
normal_036 = 155913232117505
normal_037 = 165982528529591
normal_038 = 132027842288
normal_039 = 151643037824063
normal_040 = 19484309748025
normal_041 = 155122499430429
normal_042 = 17669295736221
normal_043 = 110411235715302
normal_044 = 219002010111210
normal_045 = 24582113816906
normal_046 = 36143261721219
normal_047 = 276201364616443
normal_048 = 107262957221369
normal_049 = 169002435615865
normal_050 = 114581944714313
normal_051 = 186863108220317
normal_052 = 24401952217765
normal_053 = 20061788418413
normal_054 = 13312784427216
normal_055 = 260432407219636
normal_056 = 27966364916571
normal_057 = 211971253317201
normal_058 = 5420173616007
normal_059 = 170712416212127
normal_060 = 217391119125446
normal_061 = 196971926123868
normal_062 = 513307582097
normal_063 = 197532590431195
normal_064 = 26146155323967
normal_065 = 43752209829285
normal_066 = 312521711015947
normal_067 = 22219688125373
normal_068 = 43822053325332
normal_069 = 24136371231744
normal_070 = 261312047729330
normal_071 = 3811445724603
normal_072 = 3243830209961
normal_073 = 22294164742343
normal_074 = 2866681114139
normal_075 = 19702380422818
normal_076 = 13718302846759
normal_077 = 32133156174352
normal_078 = 213452327831596
normal_079 = 2906846159557
normal_080 = 41131890313111
normal_081 = 911483121395
normal_082 = 27594746730786
normal_083 = 92322933124504
normal_084 = 295841962916191
normal_085 = 203101496230829
normal_086 = 8441979524637
normal_087 = 9378471528144
normal_088 = 272423257211706
normal_089 = 14622834828631
normal_090 = 16792237322318
normal_091 = 1125067813631
normal_092 = 107043204421316
normal_093 = 74802053018715
normal_094 = 66291752830237
normal_095 = 1012758732128
normal_096 = 9306351016050
normal_097 = 97962249015628
normal_098 = 15725167105726
normal_099 = 126192706824933
normal_100 = 259022666926692
normal_101 = 201352524712348
normal_102 = 1457427665552
normal_103 = 310242598714162
normal_104 = 296861607019119
normal_105 = 23152731018179
normal_106 = 106632071515155
normal_107 = 24440992317645
normal_108 = 13722286664448
normal_109 = 154791647928424
normal_110 = 310162030511832
normal_111 = 310711762512117
normal_112 = 3058753618582
normal_113 = 28671822830730
normal_114 = 67121177224571
normal_115 = 124522273126062
normal_116 = 262761139410474
normal_117 = 30852198534451
normal_118 = 186391240423010
normal_119 = 102323108111324
normal_120 = 22158303634645
normal_121 = 177731410813721
normal_122 = 2346446787924
normal_123 = 290452325012848
normal_124 = 4419439321154
normal_125 = 177711969718150
normal_126 = 200952668510879
normal_127 = 30244140121601
normal_128 = 217232341415384
normal_129 = 59822363327689
normal_130 = 31703177755527
normal_131 = 257141765420358
normal_132 = 7768223421485
normal_133 = 32618339510245
normal_134 = 87701163316066
normal_135 = 2984233395543
normal_136 = 284892261827418
normal_137 = 31989171314705
normal_138 = 228931832930501
normal_139 = 26627219766317
normal_140 = 156212854023460
normal_141 = 315662503523474
normal_142 = 245742417020996
normal_143 = 144381571822532
normal_144 = 68743143019135
normal_145 = 11259208465427
normal_146 = 154881875517408
normal_147 = 30406225154029
normal_148 = 95541152423642
normal_149 = 32751308968684
normal_150 = 60602976232272
normal_151 = 69372286215753
normal_152 = 28498300344606
normal_153 = 125071801830451
normal_154 = 30117756921072
normal_155 = 11334153521543
normal_156 = 299862626412242
normal_157 = 161501102318226
normal_158 = 74368766286
normal_159 = 3214361196256
normal_160 = 6476892115040
normal_161 = 8084654531740
normal_162 = 1023084717768
normal_163 = 26317688815153
normal_164 = 3148791692462
normal_165 = 283472885428240
normal_166 = 260502658628018
normal_167 = 11066167012609
normal_168 = 258632537323931
normal_169 = 16985815730151
normal_170 = 2808520996754
normal_171 = 154831945813295
normal_172 = 4632643418902
normal_173 = 886485072553
normal_174 = 2202121721664
normal_175 = 227178475811
normal_176 = 30705203188807
normal_177 = 43212914014776
normal_178 = 6992648726449
normal_179 = 29445845511971
normal_180 = 1913250549365
normal_181 = 14026271184927
normal_182 = 13880565825725
normal_183 = 24439209095332
normal_184 = 264182207429222
normal_185 = 17192706212470
normal_186 = 413718807514
normal_187 = 19091199219856
normal_188 = 105091655932197
normal_189 = 16417148952610
normal_190 = 20894136407259
normal_191 = 18104455216402
normal_192 = 211531795366
normal_193 = 29468878329442
normal_194 = 8512823912838
normal_195 = 798631330361
normal_196 = 27681998916094
normal_197 = 323733032117271
normal_198 = 611675830740
normal_199 = 75181122128285
normal_200 = 122581461118160
normal_201 = 6709317808873
normal_202 = 8974313979152
normal_203 = 19774166410797
normal_204 = 243741498813512
normal_205 = 26052084826785
normal_206 = 14793067111771
normal_207 = 19805102583916
normal_208 = 233632156623672
normal_209 = 23496109037008
normal_210 = 45872561823120
normal_211 = 729014468945
normal_212 = 53431405125518
normal_213 = 1582146718389
normal_214 = 90789122280
normal_215 = 26557173313442
normal_216 = 21023290709746
normal_217 = 27535124512508
normal_218 = 1537771583638
normal_219 = 197672547616971
normal_220 = 301162929814464
normal_221 = 25679247013001
normal_222 = 241373109030655
normal_223 = 94393174510611
normal_224 = 16307309902993
normal_225 = 12932471930393
normal_226 = 317541928829935
normal_227 = 325652631820075
normal_228 = 6837385624063
normal_229 = 36953007616685
normal_230 = 218242901726710
normal_231 = 27475219766571
normal_232 = 18282131099616
normal_233 = 211652668411968
normal_234 = 24858227277972
normal_235 = 10719310522132
normal_236 = 12416297945403
normal_237 = 548574685836
normal_238 = 325641984328811
normal_239 = 5940218524213
normal_240 = 24619195521291
normal_241 = 177353272024417
normal_242 = 1425505213346
normal_243 = 91745923075
normal_244 = 118612859121216
normal_245 = 27170320106376
normal_246 = 67441145526094
normal_247 = 1636420477603
normal_248 = 2911424540256
normal_249 = 95771745219770
normal_250 = 928347159954
normal_251 = 119451521823713
normal_252 = 29628323141498
normal_253 = 184552908827407
normal_254 = 151852412316077
normal_255 = 76011000921037
normal_256 = 1574710207228
normal_257 = 77951065830459
normal_258 = 16172888613331
normal_259 = 34292137719581
normal_260 = 30860716825
normal_261 = 18725371926872
normal_262 = 271291987021568
normal_263 = 10326751026192
normal_264 = 297983323744
normal_265 = 1652126136190
normal_266 = 11074471511951
normal_267 = 2052061376367
normal_268 = 104382703425946
normal_269 = 151142116021567
normal_270 = 21768223058384
normal_271 = 8217290753189
normal_272 = 305161216823232
normal_273 = 53562731617123
normal_274 = 1986342328170
normal_275 = 28148477611531
normal_276 = 32262132657417
normal_277 = 87061883929924
normal_278 = 184641311012859
normal_279 = 29178377817225
normal_280 = 250612325725621
normal_281 = 272593102316083
normal_282 = 1917657918044
normal_283 = 120031943319885
normal_284 = 33392144711601
normal_285 = 17684799212215
normal_286 = 9268512112681
normal_287 = 332287302210
normal_288 = 1198730130400
normal_289 = 2045463735
normal_290 = 30349828621130
normal_291 = 162501458911353
normal_292 = 123681341128670
normal_293 = 15116766326235
normal_294 = 32213230330055
normal_295 = 24814299742205
normal_296 = 189103215223303
normal_297 = 138861690230323
normal_298 = 31424118527523
normal_299 = 17851520724136
normal_300 = 29112328819559
normal_301 = 283512998322357
normal_302 = 14459180343696
normal_303 = 164132406230
normal_304 = 1349727128855
normal_305 = 236911150526085
normal_306 = 27727135161620
normal_307 = 320791026414038
normal_308 = 2110069949388
normal_309 = 264982507422907
normal_310 = 30317341693
normal_311 = 17442594327482
normal_312 = 170862382828985
normal_313 = 10379162021925
normal_314 = 174982296113057
normal_315 = 3261986162814
normal_316 = 56862096017666
normal_317 = 26731319506646
normal_318 = 26779156074115
normal_319 = 306542567930
normal_320 = 2630910381275
normal_321 = 63703125420577
normal_322 = 152341912727766
normal_323 = 27931852015505
normal_324 = 10175255889974
normal_325 = 93191351828579
normal_326 = 18204298535891
normal_327 = 126281374917027
normal_328 = 275361252015877
normal_329 = 89862513413423
normal_330 = 15535885217498
normal_331 = 312601224231990
normal_332 = 29347684027657
normal_333 = 3473656430243
normal_334 = 151801665618637
normal_335 = 3182881401795
normal_336 = 18149397213050
normal_337 = 270181622916322
normal_338 = 3927363817657
normal_339 = 251211636732121
normal_340 = 235263009530400
normal_341 = 184133051515044
normal_342 = 132792417920569
normal_343 = 4166430410455
normal_344 = 17548162883152
normal_345 = 18785808732491
normal_346 = 61830241154
normal_347 = 219093125629057
normal_348 = 16418117517762
normal_349 = 12162367321807
normal_350 = 130343056231483
normal_351 = 314413026410492
normal_352 = 125092002418050
normal_353 = 21692327301654
normal_354 = 32391661328017
normal_355 = 3028065593226
normal_356 = 18197352317237
normal_357 = 23563253002803
normal_358 = 165743194129272
normal_359 = 140472887711704
normal_360 = 16402667730654
normal_361 = 102561232514071
normal_362 = 3722382931480
normal_363 = 29774775126141
normal_364 = 12218159604542
normal_365 = 2741516992603
normal_366 = 72942526124986
normal_367 = 23046224111059
normal_368 = 18793122817897
normal_369 = 1800490932744
normal_370 = 97381388719524
normal_371 = 12010583115753
normal_372 = 288102639219648
normal_373 = 22237151732094
normal_374 = 6055357220735
normal_375 = 12361531113578
normal_376 = 221643028031338
normal_377 = 50582245628438
normal_378 = 220123194026545
normal_379 = 2085130817033
normal_380 = 260621039429545
normal_381 = 18760255681462
normal_382 = 7437622010385
normal_383 = 105693162231830
normal_384 = 23812768215711
normal_385 = 12019998711914
normal_386 = 27727333531336
normal_387 = 9535888127457
normal_388 = 82532180114004
normal_389 = 9669285217957
normal_390 = 23323855720589
normal_391 = 21298431523982
normal_392 = 6182582515888
normal_393 = 542398428127
normal_394 = 29947267230190
normal_395 = 119912894021951
normal_396 = 327612153428433
normal_397 = 51992290113990
normal_398 = 215511876330504
normal_399 = 28391243896110
normal_400 = 239011673813542
normal_401 = 2891836525999
normal_402 = 261231329723041
normal_403 = 120771515426727
normal_404 = 230472706112423
normal_405 = 22890172413758
normal_406 = 9831364422782
normal_407 = 39311238711873
normal_408 = 34702396610925
normal_409 = 137611344820839
normal_410 = 57272502423643
normal_411 = 241162084218605
normal_412 = 310131307332117
normal_413 = 20427297647101
normal_414 = 290791354726607
normal_415 = 20921885910672
normal_416 = 1012293145376
normal_417 = 26994222524223
normal_418 = 21023250987276
normal_419 = 32003651013772
normal_420 = 2919782091162
normal_421 = 11062207185947
normal_422 = 6173487912295
normal_423 = 62801582220872
normal_424 = 176792486022821
normal_425 = 27402286515525
normal_426 = 22401573631965
normal_427 = 14947469917220
normal_428 = 63822696625913
normal_429 = 2975469722583
normal_430 = 269982732325747
normal_431 = 31440462710557
normal_432 = 305772447424819
normal_433 = 30270433921344
normal_434 = 9936264559343
normal_435 = 16214641524103
normal_436 = 3181774002369
normal_437 = 124411680715358
normal_438 = 68642303816373
normal_439 = 23222198526979
normal_440 = 2416615917712
normal_441 = 1632245049474
normal_442 = 310702433510773
normal_443 = 80941336313911
normal_444 = 15605438731915
normal_445 = 74572345828296
normal_446 = 3298433215133
normal_447 = 4705279696
normal_448 = 33812931825835
normal_449 = 18597138483323
normal_450 = 238258776815
normal_451 = 17267703425688
normal_452 = 315912063018186
normal_453 = 31652318855860
normal_454 = 11188425222501
normal_455 = 19230466427925
normal_456 = 75072960815765
normal_457 = 10116385125921
normal_458 = 83552178331602
normal_459 = 11281578424828
normal_460 = 135253167825127
normal_461 = 204862197314296
normal_462 = 306331244525385
normal_463 = 227192098511218
normal_464 = 198311424127771
normal_465 = 25368177116511
normal_466 = 103912485929007
normal_467 = 21108965317243
normal_468 = 299661153611573
normal_469 = 13903216348138
normal_470 = 1720824243344
normal_471 = 283073143212209
normal_472 = 7256727726054
normal_473 = 193095793083
normal_474 = 283562781410127
normal_475 = 22505278388615
normal_476 = 9189296596078
normal_477 = 14079131381803
normal_478 = 13538295176245
normal_479 = 31131287071238
normal_480 = 1573988234155
normal_481 = 278701536031833
normal_482 = 2601826029116
normal_483 = 314921585322036
normal_484 = 294122994731909
normal_485 = 26612560913565
normal_486 = 2723965821053
normal_487 = 317372775926208
normal_488 = 172191841630485
normal_489 = 60321288715795
normal_490 = 24181281405759
normal_491 = 23770321675003
normal_492 = 430592284485
normal_493 = 290303001915583
normal_494 = 146971333624018
normal_495 = 45082330616815
normal_496 = 34691304121345
normal_497 = 19677119311696
normal_498 = 131351284816241
normal_499 = 65671607819143
normal_500 = 145242324630562
normal_501 = 226341485330179
normal_502 = 28505300622619
normal_503 = 2107920592430
normal_504 = 221242304114208
normal_505 = 1679626638403
normal_506 = 226832411428783
normal_507 = 287331591630769
normal_508 = 15947172953419
normal_509 = 2662622398013
normal_510 = 685644437928
normal_511 = 16941156223143
normal_512 = 4236125219091
normal_513 = 11300204255626
normal_514 = 310821955215823
normal_515 = 43401528528351
normal_516 = 69762385314248
normal_517 = 230051713421628
normal_518 = 229932206113186
normal_519 = 231518717391
normal_520 = 228852831922555
normal_521 = 324831652118145
normal_522 = 29266592623010
normal_523 = 155256375962
normal_524 = 2420121843695
normal_525 = 162541729114137
normal_526 = 5351198432269
normal_527 = 21835642112376
normal_528 = 291063249723867
normal_529 = 2784842106945
normal_530 = 203421575022460
normal_531 = 729249318769
normal_532 = 5779285386712
normal_533 = 109631589911342
normal_534 = 2186131117761
normal_535 = 208561028323209
normal_536 = 20867302798659
normal_537 = 935411081691
normal_538 = 76521258217725
normal_539 = 22897278938323
normal_540 = 600836622870
normal_541 = 298192788015
normal_542 = 28837233993035
normal_543 = 26424109135662
normal_544 = 9397687926051
normal_545 = 224741590517764
normal_546 = 21783896414552
normal_547 = 9051181345407
normal_548 = 213011701518707
normal_549 = 6056327078807
normal_550 = 7629864324003
normal_551 = 132052049132213
normal_552 = 157482326125237
normal_553 = 2720388117130
normal_554 = 270941037410563
normal_555 = 219991066915966
normal_556 = 23415921129306
normal_557 = 27488619331795
normal_558 = 24671760329783
normal_559 = 155561283428179
normal_560 = 191511113424028
normal_561 = 137093269329334
normal_562 = 124201981618348
normal_563 = 301622711315420
normal_564 = 26637303049719
normal_565 = 235262598911409
normal_566 = 11177331019785
normal_567 = 134583021413428
normal_568 = 192810648088
normal_569 = 44432714930711
normal_570 = 158742550815809
normal_571 = 2361427887168
normal_572 = 725233754206
normal_573 = 3168131217226
normal_574 = 399942777123
normal_575 = 15051061429761
normal_576 = 8540110174791
normal_577 = 24612956516850
normal_578 = 7230309922890
normal_579 = 318431248510231
normal_580 = 3568124498688
normal_581 = 130562424822730
normal_582 = 28099887126995
normal_583 = 200543234820594
normal_584 = 23685136324112
normal_585 = 11035231288603
normal_586 = 299171426232698
normal_587 = 100342769612437
normal_588 = 224562982620211
normal_589 = 20127863422393
normal_590 = 23433226618445
normal_591 = 1978719254732
normal_592 = 4341307193707
normal_593 = 5018913212108
normal_594 = 4285207242745
normal_595 = 9158270865517
normal_596 = 934994194978
normal_597 = 232831988127912
normal_598 = 1667625009313
normal_599 = 279861070631476
normal_600 = 13201149374464
normal_601 = 132601442012790
normal_602 = 1147649031807
normal_603 = 317522757525642
normal_604 = 1660321475760
normal_605 = 178442315317385
normal_606 = 3805267431523
normal_607 = 13838638811182
normal_608 = 27507124982273
normal_609 = 126451699016671
normal_610 = 726883729828
normal_611 = 2703206618902
normal_612 = 24128942126918
normal_613 = 6670489810348
normal_614 = 20738292121996
normal_615 = 182422096311758
normal_616 = 8837580321415
normal_617 = 5176140344391
normal_618 = 17338237209417
normal_619 = 25485109613854
normal_620 = 149753160222436
normal_621 = 304051202222810
normal_622 = 3130176605258
normal_623 = 2117330993266
normal_624 = 18664357926196
normal_625 = 271091057332612
normal_626 = 30327275725302
normal_627 = 71933224816864
normal_628 = 1768075942226
normal_629 = 3485282812575
normal_630 = 26842366419754
normal_631 = 1846656596306
normal_632 = 181552177424
normal_633 = 87281793129455
normal_634 = 88572377411557
normal_635 = 31151643832202
normal_636 = 79612966524767
normal_637 = 109142815711230
normal_638 = 37292466516495
normal_639 = 326731695316612
normal_640 = 1858510216050
normal_641 = 84001843120477
normal_642 = 1293168526722
normal_643 = 120161781510721
normal_644 = 244121116919625
normal_645 = 779469885288
normal_646 = 54971310323987
normal_647 = 75572298422393
normal_648 = 6997931216821
normal_649 = 1302152382624
normal_650 = 8747618524439
normal_651 = 191391060618685
normal_652 = 31755343418744
normal_653 = 15737511625585
normal_654 = 5149929423633
normal_655 = 1850322735464
normal_656 = 31621834817924
normal_657 = 28248509910841
normal_658 = 122802819329671
normal_659 = 162072143115055
normal_660 = 209222874820686
normal_661 = 236752148511075
normal_662 = 201011674230124
normal_663 = 21986136031152
normal_664 = 226211135816638
normal_665 = 23454284726619
normal_666 = 18744153701688
normal_667 = 24872282142935
normal_668 = 739729759712
normal_669 = 281982050027495
normal_670 = 292692759412593
normal_671 = 4865101086
normal_672 = 18143185423466
normal_673 = 1488389029384
normal_674 = 142291158321320
normal_675 = 7451322522874
normal_676 = 14650127084
normal_677 = 5232732726176
normal_678 = 240992937112909
normal_679 = 3653634237
normal_680 = 27102221072555
normal_681 = 2894170111239
normal_682 = 2731314965070
normal_683 = 61012633812387
normal_684 = 307312432410445
normal_685 = 2862863715382
normal_686 = 134701638530830
normal_687 = 1995871924766
normal_688 = 13447215322000
normal_689 = 8487311114117
normal_690 = 70591345820546
normal_691 = 4230977027223
normal_692 = 30136292715155
normal_693 = 2483115693500
normal_694 = 13244105655508
normal_695 = 25841437914513
normal_696 = 287641493829227
normal_697 = 113173205428609
normal_698 = 247751288826059
normal_699 = 2269191153455
normal_700 = 193032238211444
normal_701 = 3097832558362
normal_702 = 30391112388360
normal_703 = 28360319041914
normal_704 = 214941716617465
normal_705 = 179612248732444
normal_706 = 3733213225831
normal_707 = 103243194826893
normal_708 = 29441429119021
normal_709 = 28687580112213
normal_710 = 317716766782
normal_711 = 137371592232442
normal_712 = 2311279878825
normal_713 = 24518736627838
normal_714 = 151521204420008
normal_715 = 22201221728846
normal_716 = 31261411531775
normal_717 = 300341288013793
normal_718 = 141261989331925
normal_719 = 22767885117664
normal_720 = 95922575532110
normal_721 = 269411283130699
normal_722 = 20231488124254
normal_723 = 220964255828
normal_724 = 141072955813790
normal_725 = 162132480330489
normal_726 = 13455153704215
normal_727 = 80803155514219
normal_728 = 1628720120580
normal_729 = 149881760216235
normal_730 = 2002132096182
normal_731 = 194492928329024
normal_732 = 13405265921573
normal_733 = 6629250534556
normal_734 = 327966184694
normal_735 = 13265228158143
normal_736 = 209648792252
normal_737 = 266452325725955
normal_738 = 11436570127492
normal_739 = 6105674526274
normal_740 = 45081784726006
normal_741 = 9724246626092
normal_742 = 4832134638614
normal_743 = 201401062515822
normal_744 = 151152749131057
normal_745 = 211122630331299
normal_746 = 585122672922
normal_747 = 209551261914962
normal_748 = 72341327121592
normal_749 = 8510674516767
normal_750 = 3014868563976
normal_751 = 310611752529945
normal_752 = 1912124321638
normal_753 = 60521371317262
normal_754 = 13011317814861
normal_755 = 70793070119047
normal_756 = 149523178427012
normal_757 = 45751256512834
normal_758 = 231771990011267
normal_759 = 10708132068279
normal_760 = 296811728029208
normal_761 = 1453745883932
normal_762 = 171791292125178
normal_763 = 25482051230534
normal_764 = 19621240219028
normal_765 = 87983097523428
normal_766 = 44911337617144
normal_767 = 13610122352381
normal_768 = 304551347926605
normal_769 = 4591631015364
normal_770 = 106973028111931
normal_771 = 19009498731726
normal_772 = 220991938727781
normal_773 = 3900432831245
normal_774 = 21196920916956
normal_775 = 19653255202807
normal_776 = 68782623724207
normal_777 = 1088091076969
normal_778 = 54251496812169
normal_779 = 228031621314889
normal_780 = 16121733016138
normal_781 = 5163278655556
normal_782 = 3432868319998
normal_783 = 307202058327933
normal_784 = 2051840517900
normal_785 = 4201710825291
normal_786 = 20243222674468
normal_787 = 2930043096582
normal_788 = 10953975931300
normal_789 = 2710018979814
normal_790 = 16530385026106
normal_791 = 170721351022094
normal_792 = 16083846816417
normal_793 = 319601341313216
normal_794 = 31541905021894
normal_795 = 17986160323050
normal_796 = 147152802029854
normal_797 = 621092517035
normal_798 = 101682898312164
normal_799 = 248711260115502
normal_800 = 2527231587440
normal_801 = 9601667811027
normal_802 = 239941080829998
normal_803 = 119342675518344
normal_804 = 31171198385121
normal_805 = 2317822391384
normal_806 = 233871962017221
normal_807 = 239082020424222
normal_808 = 20204573731574
normal_809 = 309452705127988
normal_810 = 313292599628546
normal_811 = 1791735613059
normal_812 = 138455837341
normal_813 = 228902455126941
normal_814 = 174363192431338
normal_815 = 182682038714459
normal_816 = 174742479210979
normal_817 = 774492213735
normal_818 = 5907273665686
normal_819 = 1461028987493
normal_820 = 319621828615218
normal_821 = 221472500327747
normal_822 = 128562774323208
normal_823 = 312322600727248
normal_824 = 18733515124201
normal_825 = 3554566520941
normal_826 = 139463009428217
normal_827 = 2101879230030
normal_828 = 208612554329579
normal_829 = 153051779912150
normal_830 = 267691336222148
normal_831 = 1282815516089
normal_832 = 146942121318665
normal_833 = 32126309335600
normal_834 = 22619169913530
normal_835 = 25889277215950
normal_836 = 222031533028141
normal_837 = 87142486518194
normal_838 = 38112214924750
normal_839 = 277671148718588
normal_840 = 942333014283
normal_841 = 2871285411416
normal_842 = 2630519351292
normal_843 = 189402261423391
normal_844 = 30028597918751
normal_845 = 13096579230414
normal_846 = 157961906726183
normal_847 = 47962693720919
normal_848 = 24653123230477
normal_849 = 8469218954168
normal_850 = 138851418719413
normal_851 = 9298267256176
normal_852 = 9272847624915
normal_853 = 19192494311296
normal_854 = 51212067817743
normal_855 = 11639120519037
normal_856 = 260152584232679
normal_857 = 11912633727616
normal_858 = 383089612457
normal_859 = 89022121417375
normal_860 = 12206218215219
normal_861 = 146077511149
normal_862 = 16554827125904
normal_863 = 1713774808980
normal_864 = 26168104532945
normal_865 = 9325192726573
normal_866 = 326112336919133
normal_867 = 106013036914
normal_868 = 113082497624469
normal_869 = 230811798520932
normal_870 = 139211903928239
normal_871 = 308923065930098
normal_872 = 2223552817899
normal_873 = 14204266692642
normal_874 = 40311789220312
normal_875 = 20672647825283
normal_876 = 129632929725163
normal_877 = 22201250564677
normal_878 = 1422210220277
normal_879 = 286812641717092
normal_880 = 1921755282973
normal_881 = 39561773620423
normal_882 = 128701325219890
normal_883 = 163522929725509
normal_884 = 2150587893582
normal_885 = 27905839731464
normal_886 = 14102930716835
normal_887 = 266842451017803
normal_888 = 184272957016842
normal_889 = 29378132272132
normal_890 = 119852154520941
normal_891 = 2543299111224
normal_892 = 31793172981787
normal_893 = 662817801164
normal_894 = 15384239126573
normal_895 = 213135115828
normal_896 = 62221464817217
normal_897 = 244781084715044
normal_898 = 16675685324705
normal_899 = 13175219711979
normal_900 = 201541873329549
normal_901 = 259881647727621
normal_902 = 26338195806715
normal_903 = 289842877612800
normal_904 = 2526474319848
normal_905 = 71572778631682
normal_906 = 184451464018047
normal_907 = 146772259528504
normal_908 = 589752066061
normal_909 = 6201899527160
normal_910 = 157491344421164
normal_911 = 430256049973
normal_912 = 97631453132577
normal_913 = 267361617815050
normal_914 = 190052181920233
normal_915 = 24361890021480
normal_916 = 30641205014522
normal_917 = 245131165719485
normal_918 = 125141112509
normal_919 = 3427773914654
normal_920 = 313122772610149
normal_921 = 306741850719985
normal_922 = 22641217083315
normal_923 = 14585323889861
normal_924 = 1968188655306
normal_925 = 1195857803458
normal_926 = 149812225217645
normal_927 = 123942038929176
normal_928 = 197283202830946
normal_929 = 4591210751232
normal_930 = 15100145876419
normal_931 = 75252995030896
normal_932 = 21631457319918
normal_933 = 245572132316326
normal_934 = 29019426417625
normal_935 = 16164774716680
normal_936 = 242481808429375
normal_937 = 24286206243750
normal_938 = 4113684013882
normal_939 = 257823054315580
normal_940 = 236941371732124
normal_941 = 2583721495653
normal_942 = 259152630318272
normal_943 = 20850605621087
normal_944 = 230182893223032
normal_945 = 151241416332214
normal_946 = 79732171812594
normal_947 = 99511875529942
normal_948 = 32692977220677
normal_949 = 72633017032396
normal_950 = 164951794813373
normal_951 = 261442007928257
normal_952 = 83841128622230
normal_953 = 30953127913362
normal_954 = 297171907915947
normal_955 = 578622491500
normal_956 = 66611653816570
normal_957 = 120321806127271
normal_958 = 28110141467642
normal_959 = 175231425025953
normal_960 = 190531630523236
normal_961 = 15339275966280
normal_962 = 14984280238229
normal_963 = 39242748718485
normal_964 = 231561933024228
normal_965 = 34412706913608
normal_966 = 222742253119910
normal_967 = 318851857931034
normal_968 = 186583154519637
normal_969 = 180403054226610
normal_970 = 25754922920981
normal_971 = 202351664019564
normal_972 = 325491342717509
normal_973 = 157061033310237
normal_974 = 13652155536469
normal_975 = 52622582221994
normal_976 = 316451220219636
normal_977 = 164941840228532
normal_978 = 66681664023123
normal_979 = 151151749831447
normal_980 = 147871134728090
normal_981 = 132582099421229
normal_982 = 21867635412574
normal_983 = 2645292942394
normal_984 = 25719106089382
normal_985 = 31101675923532
normal_986 = 186361666331176
normal_987 = 106231318810921
normal_988 = 318821923423142
normal_989 = 164222502311297
normal_990 = 2059973116071
normal_991 = 5466233664179
normal_992 = 324262059517356
normal_993 = 19008115944711
normal_994 = 7098557324221
normal_995 = 7204192421405
normal_996 = 13468231188596
normal_997 = 2695992731264
normal_998 = 318221670812981
normal_999 = 72433067126153
small_000 = 172472863719207
small_001 = 249191518631572
small_002 = 70311025630555
small_003 = 223112381531469
small_004 = 22116147109505
small_005 = 22406181865883
small_006 = 128171418020592
small_007 = 8063106303410
small_008 = 832165728714
small_009 = 241793046920610
small_010 = 12942759118853
small_011 = 832449313102
small_012 = 10711742032179
small_013 = 200576350871
small_014 = 23001866012054
small_015 = 223313218115922
small_016 = 26762630123362
small_017 = 164602999719271
small_018 = 13356985213143
small_019 = 2356085551725
small_020 = 228991575827561
small_021 = 62811912627
small_022 = 82542855832064
small_023 = 175023108624352
small_024 = 3494225313907
small_025 = 144081408612644
small_026 = 182722175418140
small_027 = 44443088428233
small_028 = 58552467217712
small_029 = 11952448819066
small_030 = 32427153627898
small_031 = 35082097620898
small_032 = 278021985332659
small_033 = 7320318157095
small_034 = 137822970118370
small_035 = 32706205704931
small_036 = 2688612079425
small_037 = 207712090823139
small_038 = 506318546887
small_039 = 72433256623712
small_040 = 73312905225607
small_041 = 56582868322014
small_042 = 22220258676123
small_043 = 157452064528954
small_044 = 134461633019239
small_045 = 143151246724045
small_046 = 5497227527560
small_047 = 7730197747083
small_048 = 8044508720049
small_049 = 162413240011437
small_050 = 177483188821903
small_051 = 19769355932369
small_052 = 27084295604258
small_053 = 246143265215797
small_054 = 87562282417975
small_055 = 43702667515536
small_056 = 28981207846743
small_057 = 229452741532433
small_058 = 259611197910361
small_059 = 311262400120891
small_060 = 311562398714347
small_061 = 8168985513493
small_062 = 195093176112584
small_063 = 2405115317159
small_064 = 27670462215453
small_065 = 203152815723751
small_066 = 296512087717769
small_067 = 30879559716187
small_068 = 1314514013766
small_069 = 5766683519901
small_070 = 140132546827965
small_071 = 265542736628749
small_072 = 21448193379129
small_073 = 187541547224306
small_074 = 30531843832508
small_075 = 19013295179378
small_076 = 268272562032592
small_077 = 261832680326247
small_078 = 25626813716197
small_079 = 18212196684553
small_080 = 464051830837
small_081 = 14314803421608
small_082 = 49402789921790
small_083 = 32112468727207
small_084 = 326001054521207
small_085 = 298041703717742
small_086 = 275131553427491
small_087 = 39792346212394
small_088 = 3228099566801
small_089 = 13526567719830
small_090 = 26282038017494
small_091 = 6258524227859
small_092 = 179452121125258
small_093 = 4508247419068
small_094 = 1601674114839
small_095 = 158651119323225
small_096 = 62642616711086
small_097 = 91802533214482
small_098 = 193962641010614
small_099 = 9023018627368
big_000 = 3165149776119
big_001 = 1532328601858
big_002 = 76543186920978
big_003 = 327291428114641
big_004 = 106132370213429
big_005 = 284232685917245
big_006 = 27579140594763
big_007 = 278771020821542
big_008 = 23027601118251
big_009 = 7593308235925
big_010 = 21786195012248
big_011 = 5119166438147
big_012 = 22698262474384
big_013 = 3445827024296
big_014 = 29946186419158
big_015 = 1901535126649
big_016 = 3678183921149
big_017 = 219671572729212
big_018 = 312033256522792
big_019 = 5654225312217
big_020 = 4722458020189
big_021 = 258812931632090
big_022 = 29111116191569
big_023 = 1810996823290
big_024 = 111422405828196
big_025 = 121991516527252
big_026 = 35857931995
big_027 = 214431696725661
big_028 = 315901711725490
big_029 = 174644883671
big_030 = 8772314229408
big_031 = 5089214159253
big_032 = 259622692518263
big_033 = 278972897410149
big_034 = 144803040214135
big_035 = 78082049420312
big_036 = 80102955225085
big_037 = 350081227510
big_038 = 315961346832112
big_039 = 190532523014539
big_040 = 20419310736002
big_041 = 19200684023123
big_042 = 10838109691956
big_043 = 203541451816326
big_044 = 776342329286
big_045 = 159521311212145
big_046 = 181221623724420
big_047 = 20153281463698
big_048 = 27687802420412
big_049 = 22784990124235
big_050 = 222152407532551
big_051 = 202212220419744
big_052 = 3018752986341
big_053 = 6213113023080
big_054 = 2364112515181
big_055 = 98521624011306
big_056 = 125081946417603
big_057 = 831639522210
big_058 = 240412521925709
big_059 = 240292993410048
big_060 = 21966666129469
big_061 = 271792818810739
big_062 = 222072329530952
big_063 = 105291374510621
big_064 = 5840853811974
big_065 = 135721724915776
big_066 = 193111028015520
big_067 = 169193228532579
big_068 = 2734170111153
big_069 = 247511820911378
big_070 = 153071291231817
big_071 = 495589016814
big_072 = 90842545230476
big_073 = 22184314384509
big_074 = 68442514732694
big_075 = 239201535420842
big_076 = 1930399806000
big_077 = 2895877994
big_078 = 938998325389
big_079 = 295771731818627
big_080 = 110152633024093
big_081 = 1435148304508
big_082 = 6394174110934
big_083 = 13174194377447
big_084 = 253643001025388
big_085 = 465766804353
big_086 = 27696246888657
big_087 = 249851038513906
big_088 = 138352562818644
big_089 = 1518223975280
big_090 = 31196212143838
big_091 = 27505155224155
big_092 = 18198566718743
big_093 = 646380614203
big_094 = 286932008624345
big_095 = 29299274298175
big_096 = 71191018727280
big_097 = 21178200369624
big_098 = 24409229027168
big_099 = 262692115916817
