# pelita-createlayout  -y 8 -x 16 -f 10 -s SEED > small_XXX.layout 
# pelita-createlayout -y 16 -x 32 -f 30 -s SEED > normal_XXX.layout
# pelita-createlayout -y 32 -x 64 -f 60 -s SEED > big_XXX.layout
# List of seeds:
big_001 = 3622349122524
big_002 = 27089184616978
big_003 = 14211581130055
big_004 = 28010223631888
big_005 = 5541304224874
big_006 = 5015125367377
big_007 = 267682849313903
big_008 = 107182779315261
big_009 = 207282326016217
big_010 = 10172207789241
big_011 = 20422795716510
big_012 = 6511205847205
big_013 = 28724289623420
big_014 = 157602190627425
big_015 = 3088019286843
big_016 = 189631503328047
big_017 = 293593050312583
big_018 = 10028255443518
big_019 = 2365757698971
big_020 = 26546280413909
big_021 = 12877306438920
big_022 = 131282675022634
big_023 = 12459125444550
big_024 = 301011386119522
big_025 = 7848251812194
big_026 = 167621518812170
big_027 = 636758744019
big_028 = 176171353322266
big_029 = 28547852528979
big_030 = 2209698184751
big_031 = 58132555322503
big_032 = 123091551218228
big_033 = 21025302328664
big_034 = 2419677421262
big_035 = 295972499626083
big_036 = 92623151112300
big_037 = 61782625117307
big_038 = 33823266429162
big_039 = 23028106887691
big_040 = 266902818316178
big_041 = 299281494313910
big_042 = 23349919913617
big_043 = 124121200929134
big_044 = 14651269856802
big_045 = 33762393231566
big_046 = 242492475718935
big_047 = 131604967650
big_048 = 19226758319026
big_049 = 20549593713996
big_050 = 30891488817059
big_051 = 314701601514855
big_052 = 19212233615494
big_053 = 7550156094321
big_054 = 224302291428777
big_055 = 12396210817177
big_056 = 200073192014795
big_057 = 239494285777
big_058 = 274332750727969
big_059 = 185912051928639
big_060 = 80021392119459
big_061 = 124998112249
big_062 = 3010624812185
big_063 = 27194154251766
big_064 = 5089125669757
big_065 = 2230895632677
big_066 = 184002447723074
big_067 = 306261286529972
big_068 = 297512350532500
big_069 = 250341616832194
big_070 = 230471321712122
big_071 = 307411833028155
big_072 = 75012538028897
big_073 = 31610181197
big_074 = 86361734722827
big_075 = 8984277114958
big_076 = 141611172329955
big_077 = 19838141955015
big_078 = 90222499624811
big_079 = 323352997730454
big_080 = 6416321957665
big_081 = 200901199124507
big_082 = 300141770715648
big_083 = 121712437423280
big_084 = 2239891982172
big_085 = 79273171223254
big_086 = 210901087624494
big_087 = 133462521913876
big_088 = 53151724222358
big_089 = 3176353126093
big_090 = 19296442615472
big_091 = 78736945701
big_092 = 16747508022995
big_093 = 25805276525206
big_094 = 104402730026172
big_095 = 284142826429699
big_096 = 40111941224253
big_097 = 1934571113987
big_098 = 142332200210201
big_099 = 1782526446002
big_100 = 26162297899147
normal_001 = 26117222724368
normal_002 = 29216629929143
normal_003 = 70011097518409
normal_004 = 15141731014033
normal_005 = 219023047616293
normal_006 = 1018761231155
normal_007 = 145781347010803
normal_008 = 146702466817751
normal_009 = 26125281633067
normal_010 = 44012588614575
normal_011 = 25314171129328
normal_012 = 30362857920519
normal_013 = 13449855330199
normal_014 = 244623001022387
normal_015 = 269842423832271
normal_016 = 26002283284913
normal_017 = 95963221612665
normal_018 = 1596931867671
normal_019 = 1180784137990
normal_020 = 101062750327064
normal_021 = 2221522563274
normal_022 = 2089637919791
normal_023 = 6570911119120
normal_024 = 28283312349360
normal_025 = 7674828729031
normal_026 = 191731158030581
normal_027 = 11022175949729
normal_028 = 61662272218672
normal_029 = 152502924628529
normal_030 = 56592473129115
normal_031 = 298762295213853
normal_032 = 11661984611902
normal_033 = 213401718713733
normal_034 = 60882058724507
normal_035 = 3013867076243
normal_036 = 117341976522501
normal_037 = 148482789327713
normal_038 = 20751190973512
normal_039 = 27225212420412
normal_040 = 25631198554895
normal_041 = 240972876424430
normal_042 = 1203726514180
normal_043 = 4379552532217
normal_044 = 140771544427007
normal_045 = 141162330513373
normal_046 = 11679146533354
normal_047 = 201102517520334
normal_048 = 217152816221560
normal_049 = 113511739819742
normal_050 = 1146241638210
normal_051 = 91701920126723
normal_052 = 175073235829411
normal_053 = 11768264932157
normal_054 = 20818771830129
normal_055 = 154361916128111
normal_056 = 2031022177830
normal_057 = 32674444427067
normal_058 = 27072281225715
normal_059 = 258021563124309
normal_060 = 205492886421775
normal_061 = 5940258458173
normal_062 = 44132354919915
normal_063 = 227483255212994
normal_064 = 322502407520343
normal_065 = 137711628610907
normal_066 = 207673079030187
normal_067 = 114222879113828
normal_068 = 22251155211578
normal_069 = 29147204224390
normal_070 = 111202461120954
normal_071 = 1830798829031
normal_072 = 13827606727168
normal_073 = 280843074721454
normal_074 = 14714131299098
normal_075 = 3023181019580
normal_076 = 55362895226882
normal_077 = 120772712729924
normal_078 = 260002361323539
normal_079 = 25380454021623
normal_080 = 206973206127273
normal_081 = 25211565531578
normal_082 = 305042540526242
normal_083 = 25521779915910
normal_084 = 1567911910307
normal_085 = 28442869011349
normal_086 = 6406152829571
normal_087 = 24174364727393
normal_088 = 88152526927196
normal_089 = 1537756059985
normal_090 = 262772860612112
normal_091 = 17196107323327
normal_092 = 31644216756
normal_093 = 21136324993561
normal_094 = 27342487730402
normal_095 = 262983005729243
normal_096 = 70991216212870
normal_097 = 477148849215
normal_098 = 192632173515281
normal_099 = 6274417728892
normal_100 = 125831166024723
small_001 = 26845273215939
small_002 = 136002573014914
small_003 = 196482219617855
small_004 = 107502920520340
small_005 = 27787199128797
small_006 = 16104864425309
small_007 = 15124127126830
small_008 = 115931795724888
small_009 = 196342627723906
small_010 = 2648068494438
small_011 = 13821314369620
small_012 = 91171603719032
small_013 = 22875531921099
small_014 = 118251500422832
small_015 = 245861756829188
small_016 = 2192833488218
small_017 = 1832326496711
small_018 = 55941714127504
small_019 = 166612899941
small_020 = 29044879714490
small_021 = 119593252123515
small_022 = 494625998355
small_023 = 25346878021040
small_024 = 13051713523338
small_025 = 200592123016015
small_026 = 24417275641970
small_027 = 25702302804936
small_028 = 46971561719217
small_029 = 317242850032255
small_030 = 7739195677790
small_031 = 47102985824467
small_032 = 15882108595190
small_033 = 1548257392761
small_034 = 18380148569371
small_035 = 26628327215384
small_036 = 305691707418589
small_037 = 184381099325971
small_038 = 300501267118823
small_039 = 2588593732360
small_040 = 7471842031562
small_041 = 219273062613808
small_042 = 10356248218406
small_043 = 298651438512530
small_044 = 26552385513099
small_045 = 242512599511699
small_046 = 299851976415744
small_047 = 141692133213591
small_048 = 709626915780
small_049 = 244301980915241
small_050 = 16464322616963
small_051 = 2491353654766
small_052 = 1904076584101
small_053 = 275471353917111
small_054 = 293291539110703
small_055 = 280991429821084
small_056 = 194751335824014
small_057 = 149842742728388
small_058 = 28966311547803
small_059 = 215461217731946
small_060 = 140441844122755
small_061 = 184592617519912
small_062 = 11156166322528
small_063 = 293251269319447
small_064 = 31846754712965
small_065 = 327511424729921
small_066 = 255512742585
small_067 = 277711064825395
small_068 = 10949524230896
small_069 = 6651227498115
small_070 = 174701896314513
small_071 = 31881731425834
small_072 = 30541841512225
small_073 = 12115356720279
small_074 = 174191421229093
small_075 = 102313187623041
small_076 = 1248324396751
small_077 = 15735208796066
small_078 = 171261190914953
small_079 = 245821360227354
small_080 = 6510969016209
small_081 = 249862066924985
small_082 = 3104698621751
small_083 = 1412599821329
small_084 = 1005288579917
small_085 = 833233103947
small_086 = 18709453225222
small_087 = 27960209118799
small_088 = 1285292243535
small_089 = 15444243045048
small_090 = 126722275311255
small_091 = 8901857925835
small_092 = 8498547625809
small_093 = 38741424516123
small_094 = 30718182252082
small_095 = 554297222801
small_096 = 498219477491
small_097 = 6447609117888
small_098 = 44801100321627
small_099 = 268382418015566
small_100 = 3920215779981
