const N: usize = 624;
pub static STATE_SEEDED_BY_U32: [u32; N] = [
305_419_896,
775_181_657,
499_207_455,
1_600_259_134,
3_349_832_671,
2_158_895_569,
3_851_567_941,
933_167_269,
2_845_216_289,
560_713_432,
2_837_590_850,
1_856_731_211,
4_010_544_958,
3_935_610_910,
4_016_625_791,
3_415_983_355,
3_013_963_240,
561_813_347,
3_403_724_065,
2_542_053_501,
4_110_119_215,
3_740_807_793,
1_141_434_640,
666_176_716,
4_158_339_220,
1_525_097_132,
2_105_164_635,
3_200_105_629,
119_898_583,
623_462_640,
4_293_015_246,
4_281_226_240,
139_575_375,
2_656_314_956,
1_943_329_512,
3_833_597_712,
471_604_643,
3_060_329_588,
1_563_062_452,
3_909_244_048,
2_167_605_543,
621_439_170,
3_833_145_012,
1_015_362_910,
1_202_674_754,
3_932_438_940,
326_377,
3_567_038_236,
2_573_315_691,
3_669_950_622,
3_304_735_523,
4_203_256_787,
4_126_656_836,
443_181_112,
3_611_891_278,
618_660_248,
2_556_623_152,
4_274_393_843,
1_222_109_418,
3_410_077_682,
2_539_535_185,
3_375_485_692,
1_670_100_441,
592_926_327,
1_073_466_419,
402_905_952,
160_165_154,
2_047_459_501,
849_940_512,
1_731_493_093,
1_757_891_130,
3_908_492_430,
2_303_162_601,
3_679_811_584,
3_523_671_161,
3_169_435_245,
2_821_359_895,
3_082_244_758,
1_217_448_114,
493_615_598,
2_715_547_958,
1_418_864_085,
213_082_358,
1_885_529_953,
410_495_284,
1_093_572_057,
3_732_518_542,
1_653_701_368,
654_558_613,
2_890_707_234,
1_558_970_874,
3_892_910_946,
384_153_249,
3_787_732_706,
2_146_373_667,
836_865_993,
510_610_349,
2_669_899_938,
1_419_841_410,
1_164_786_194,
1_924_207_843,
3_996_659_599,
1_785_769_634,
3_596_558_774,
3_297_061_329,
2_292_769_347,
3_883_732_239,
2_879_754_791,
4_002_117_125,
2_170_078_923,
3_320_250_043,
1_232_795_399,
350_202_830,
2_312_242_871,
1_348_895_451,
544_098_933,
915_340_701,
929_961_062,
1_579_328_180,
2_075_135_712,
1_486_047_293,
224_893_989,
2_641_586_195,
3_853_527_088,
2_171_086_747,
1_819_771_098,
2_836_924_901,
1_293_518_754,
2_384_314_063,
2_960_325_730,
2_366_435_938,
3_027_304_547,
2_557_480_905,
792_125_084,
3_825_946_642,
1_657_188_412,
3_663_670_681,
1_311_402_059,
2_593_177_532,
3_622_458_497,
3_191_531_990,
1_764_537_649,
2_682_924_158,
4_036_356_475,
660_493_544,
905_947_161,
1_132_573_551,
1_530_112_249,
3_751_174_764,
906_706_272,
2_212_992_886,
244_831_579,
1_016_193_151,
2_922_023_348,
108_313_448,
70_293_667,
2_572_186_603,
35_941_514,
2_251_992_336,
2_940_398_265,
1_143_058_279,
3_153_185_247,
1_282_861_523,
3_402_211_965,
2_197_064_282,
1_894_493_533,
977_641_970,
3_334_563_617,
342_680_338,
569_915_587,
245_612_697,
953_933_320,
2_328_420_820,
3_069_616_155,
396_987_275,
2_254_336_390,
1_486_777_796,
3_684_875_370,
820_479_775,
4_169_197_294,
1_391_128_885,
4_197_580_345,
3_797_702_552,
2_190_312_414,
2_825_503_364,
3_833_427_351,
4_034_369_566,
1_147_242_796,
3_911_136_381,
1_138_304_115,
273_310_648,
2_529_087_575,
622_374_729,
1_871_329_678,
3_779_018_029,
3_388_129_769,
2_616_376_342,
32_958_633,
2_441_821_299,
1_113_477_724,
634_733_689,
4_195_861_894,
3_870_825_283,
1_274_544_395,
4_037_854_142,
2_132_041_566,
3_115_087_945,
2_071_501_158,
3_866_994_035,
4_079_695_361,
1_644_257_692,
1_326_680_260,
2_152_293_261,
4_028_944_192,
1_615_176_005,
1_470_235_819,
537_973_226,
475_991_083,
2_284_835_025,
191_057_690,
3_308_855_326,
2_122_592_590,
1_437_842_441,
2_210_494_471,
3_903_981_529,
1_130_808_291,
1_233_992_460,
2_997_699_076,
2_363_114_306,
920_242_469,
1_284_778_367,
3_407_531_421,
3_236_867_646,
1_494_508_538,
2_926_167_537,
1_481_581_770,
3_614_910_467,
3_731_540_205,
3_425_346_772,
2_498_435_266,
1_044_350_128,
1_843_497_569,
1_437_137_106,
177_739_570,
1_288_235_438,
136_043_008,
279_380_726,
3_476_279_813,
3_238_073_174,
471_342_722,
2_875_563_076,
3_449_953_945,
2_978_774_462,
4_225_447_977,
4_021_396_368,
514_077_950,
2_450_970_422,
2_929_310_853,
1_144_824_133,
1_997_866_199,
2_763_747_186,
2_561_009_717,
2_419_789_241,
3_317_857_998,
254_983_401,
2_625_386_998,
3_182_588_494,
2_259_010_823,
1_425_631_493,
2_394_264_481,
1_192_917_853,
1_761_273_947,
63_690_386,
188_598_955,
797_145_481,
967_329_056,
809_592_500,
3_366_967_833,
936_310_616,
2_859_314_895,
862_760_185,
960_528_470,
3_850_021_128,
1_898_485_106,
4_146_233_979,
699_904_629,
19_727_943,
2_937_092_642,
3_116_060_608,
2_330_151_595,
3_309_299_407,
1_682_783_135,
816_977_018,
2_324_520_775,
145_065_055,
2_948_403_618,
2_137_429_320,
173_799_414,
3_719_658_296,
3_660_132_978,
727_081_153,
1_679_980_114,
858_790_637,
2_833_151_408,
4_238_258_794,
3_304_428_958,
1_967_131_939,
1_027_236_253,
1_301_317_925,
3_815_137_385,
3_689_071_880,
590_848_398,
4_249_467_966,
1_165_945_418,
1_652_659_153,
4_293_501_515,
3_472_723_876,
3_178_958_112,
1_333_879_208,
2_465_069_548,
2_418_407_974,
953_480_565,
1_972_598_123,
988_352_021,
890_162_317,
3_995_675_110,
3_203_143_071,
2_113_965_368,
3_931_781_573,
3_673_014_887,
496_055_998,
130_566_209,
2_792_770_545,
2_465_596_204,
553_967_732,
3_057_034_003,
3_259_592_709,
2_350_279_087,
589_318_035,
453_962_066,
2_700_931_246,
88_801_585,
4_002_525_867,
3_668_927_903,
3_151_467_492,
2_373_808_407,
3_885_292_451,
2_292_402_043,
1_241_117_977,
3_345_976_277,
2_075_243_212,
1_164_329_280,
1_326_090_501,
1_100_428_277,
656_479_398,
3_164_863_713,
3_711_779_315,
520_385_813,
2_935_844_783,
3_028_002_216,
2_685_818_746,
568_835_009,
4_063_124_879,
4_214_150_567,
827_002_656,
2_274_695_437,
1_269_099_353,
2_842_358_567,
1_431_550_985,
4_259_412_121,
397_738_036,
686_877_175,
2_919_399_143,
287_809_230,
943_711_932,
47_490_467,
905_876_935,
2_550_765_564,
1_846_666_928,
4_233_870_928,
3_780_215_611,
3_135_880_853,
3_210_215_953,
2_841_247_230,
995_168_748,
3_607_584_669,
224_807_128,
608_065_211,
3_961_474_123,
1_579_393_517,
858_402_722,
1_754_300_017,
1_237_046_200,
1_903_659_654,
2_063_394_765,
1_147_642_119,
1_631_108_842,
368_842_564,
3_888_419_682,
2_534_674_388,
238_929_662,
1_188_000_199,
2_552_552_112,
3_530_656_717,
2_235_525_082,
2_004_783_565,
3_985_224_466,
2_040_447_052,
2_930_119_929,
1_067_293_600,
852_953_018,
3_490_617_341,
889_906_898,
2_861_659_255,
2_917_699_783,
597_527_640,
1_403_746_392,
2_625_445_310,
3_530_184_910,
3_608_526_724,
2_948_911_335,
4_273_207_550,
1_479_254_647,
1_549_942_837,
3_096_128_044,
3_619_439_567,
3_357_732_134,
3_199_426_116,
1_445_046_602,
1_139_666_756,
3_368_965_351,
655_459_235,
651_176_959,
2_141_574_220,
1_696_921_875,
408_872_909,
974_727_829,
1_774_881_662,
2_248_737_233,
3_293_357_302,
1_429_680_993,
283_485_849,
2_867_961_111,
3_858_118_660,
4_199_603_071,
1_472_198_057,
4_039_824_646,
2_066_266_552,
2_189_707_453,
3_663_195_164,
3_135_619_325,
2_347_146_590,
3_115_733_776,
3_034_671_583,
530_647_799,
707_298_362,
1_716_860_586,
2_626_491_968,
3_093_371_860,
3_239_019_321,
2_263_798_190,
1_445_054_121,
1_564_166_678,
1_034_652_642,
1_303_913_466,
348_423_896,
765_119_754,
2_836_611_269,
3_149_139_799,
2_979_105_630,
2_441_361_698,
1_000_123_255,
1_087_592_139,
1_146_706_315,
1_928_408_908,
848_486_460,
4_288_058_760,
658_334_900,
118_034_658,
1_858_772_233,
3_476_110_856,
1_861_115_704,
4_220_523_615,
3_108_062_767,
3_968_452_261,
2_218_014_563,
2_313_405_483,
4_092_942_100,
2_701_634_811,
1_785_168_166,
1_527_043_405,
1_679_938_791,
1_989_285_546,
3_094_443_620,
3_253_358_124,
3_700_490_618,
3_041_810_349,
2_929_606_908,
2_217_317_416,
702_017_669,
3_247_182_701,
1_118_538_331,
3_677_208_952,
603_269_758,
3_035_181_998,
643_592_405,
2_360_181_507,
1_553_414_752,
4_203_672_385,
3_647_098_119,
706_447_506,
2_901_476_761,
3_260_295_975,
340_216_629,
2_446_527_211,
293_142_768,
3_972_911_284,
2_061_912_376,
3_331_942_019,
1_071_641_223,
2_715_152_459,
3_036_536_790,
3_552_429_230,
1_960_456_012,
2_759_843_949,
1_285_027_032,
3_354_049_707,
2_267_699_287,
1_129_142_425,
2_115_325_449,
2_808_222_522,
2_894_237_483,
608_071_233,
627_657_402,
2_661_156_728,
3_534_700_345,
445_644_282,
4_086_300_603,
3_316_735_410,
636_793_328,
173_254_092,
1_867_421_593,
1_045_047_574,
2_866_347_469,
3_424_185_291,
2_927_300_617,
3_329_243_513,
1_667_168_581,
2_293_874_168,
29_933_511,
1_430_661_801,
1_008_385_647,
260_016_883,
2_941_443_848,
3_595_852_572,
1_172_606_054,
757_040_591,
2_830_406_616,
894_697_776,
1_192_700_447,
1_082_109_446,
2_092_067_316,
4_006_276_315,
1_756_826_475,
1_295_596_806,
3_094_271_224,
1_586_090_712,
1_579_504_340,
1_038_134_593,
3_475_187_166,
3_442_227_051,
4_293_953_091,
1_568_487_804,
882_283_918,
1_414_791_492,
1_588_948_856,
2_391_522_813,
3_418_910_428,
3_313_637_181,
1_433_754_553,
2_808_785_372,
1_863_242_971,
2_327_357_000,
1_339_897_721,
155_065_504,
724_757_865,
369_352_119,
86_927_998,
4_089_410_562,
933_515_186,
676_836_744,
829_974_775,
124_689_091,
2_664_066_112,
3_348_761_180,
2_347_495_630,
495_398_608,
101_894_757,
2_558_322_991,
1_582_044_696,
310_844_213,
3_075_480_386,
4_025_483_930,
3_108_235_704,
1_274_397_374,
1_684_475_576,
915_984_987,
2_002_432_838,
2_074_786_915,
2_816_132_875,
2_333_301_231,
2_872_922_596,
2_773_444_642,
267_204_357,
3_626_722_399,
274_192_051,
3_614_605_831,
2_245_882_365,
72_905_477,
1_301_680_228,
4_189_947_717,
806_672_139,
2_761_604_293,
3_716_414_450,
];
pub static STATE_SEEDED_BY_SLICE: [u32; N] = [
2_147_483_648,
1_827_812_183,
1_371_430_253,
3_559_376_401,
4_152_304_030,
3_484_546_413,
904_688_886,
2_640_105_624,
3_033_298_696,
3_386_595_201,
369_478_181,
2_269_089_429,
618_892_536,
1_404_079_710,
2_891_471_128,
2_871_169_702,
1_020_385_029,
3_311_824_836,
923_090_660,
1_921_041_923,
1_544_466_474,
685_797_265,
2_465_597_578,
2_346_973_074,
630_894_856,
665_182_002,
769_175_936,
3_017_123_521,
3_508_859_727,
1_803_296_144,
2_059_566_241,
4_053_644_259,
3_993_140_148,
741_891_261,
54_278_865,
20_043_431,
2_445_648_452,
1_044_381_999,
1_773_042_707,
2_768_959_228,
1_818_875_112,
2_035_786_986,
3_458_871_676,
4_190_322_778,
1_552_412_821,
3_743_407_409,
921_020_090,
3_028_219_647,
1_811_282_874,
458_436_201,
2_261_805_142,
3_540_504_881,
55_523_394,
3_406_035_835,
3_643_554_219,
160_478_601,
3_131_812_209,
1_750_246_847,
310_524_801,
538_838_761,
4_097_216_171,
1_424_467_795,
1_736_964_303,
3_924_877_158,
4_050_066_274,
1_284_818_847,
997_608_279,
1_743_645_731,
3_861_638_089,
1_979_190_831,
331_968_179,
67_771_207,
937_697_508,
3_340_056_593,
752_755_706,
1_581_536_688,
2_292_813_118,
822_270_257,
3_518_209_714,
3_540_339_067,
1_356_302_093,
564_364_160,
3_439_306_709,
4_156_257_291,
2_902_329_296,
2_676_847_202,
199_377_087,
2_700_614_214,
4_256_495_779,
1_042_379_751,
1_902_843_850,
541_663_347,
1_105_719_791,
2_055_488_122,
1_772_382_387,
1_590_461_887,
1_096_731_286,
4_039_442_187,
1_175_370_089,
1_659_062_698,
53_134_572,
2_821_322_629,
3_865_246_561,
1_928_684_207,
2_238_726_924,
3_291_877_865,
2_486_983_120,
2_591_476_417,
2_633_030_347,
4_263_927_136,
3_370_274_455,
3_018_969_306,
3_342_536_519,
1_048_809_092,
3_887_576_647,
1_798_999_130,
1_882_276_042,
2_314_104_910,
3_303_817_434,
2_251_178_951,
1_354_109_516,
2_944_211_425,
542_518_603,
3_545_156_308,
292_048_272,
1_667_455_762,
1_824_881_537,
2_291_719_689,
2_601_744_913,
1_475_382_386,
2_151_236_187,
3_551_355_316,
207_179_492,
4_025_262_836,
4_201_541_508,
4_185_568_575,
1_371_095_840,
2_533_214_650,
750_598_898,
3_336_127_010,
1_112_746_635,
2_168_833_184,
1_866_663_264,
1_008_882_524,
705_705_152,
434_584_641,
3_720_585_473,
1_359_539_617,
1_186_019_465,
2_997_504_282,
3_279_906_530,
4_174_236_237,
1_111_392_757,
1_874_728_325,
3_994_133_610,
855_552_173,
1_490_712_571,
770_322_226,
3_509_743_848,
3_097_776_221,
1_669_989_606,
2_981_948_555,
3_420_675_648,
763_522_569,
1_854_726_402,
1_446_282_084,
4_210_797_998,
3_497_860_296,
1_500_567_652,
4_170_419_592,
375_681_337,
1_685_467_682,
3_252_917_671,
204_735_328,
725_724_149,
86_204_629,
3_407_749_819,
1_497_038_849,
1_240_663_743,
1_497_563_373,
330_463_645,
678_281_313,
555_587_055,
3_420_977_290,
3_864_978_040,
2_598_258_963,
88_433_849,
706_471_606,
2_204_253_466,
1_207_243_547,
479_433_004,
2_525_229_949,
3_011_716_495,
3_622_461_821,
2_931_310_287,
994_916_916,
3_209_595_751,
3_887_340_275,
1_441_571_561,
2_496_624_432,
3_592_967_859,
2_170_622_192,
3_964_102_663,
1_750_936_864,
4_286_251_765,
2_410_873_793,
4_056_435_468,
3_778_832_465,
3_568_403_537,
3_195_560_039,
2_447_945_345,
2_289_664_522,
3_125_246_309,
3_254_932_065,
3_412_281_324,
1_070_323_682,
1_454_196_965,
1_242_606_593,
2_025_763_526,
2_480_282_382,
1_785_523_412,
1_678_120_983,
3_466_302_448,
913_688_339,
2_335_682_621,
2_870_884_017,
3_943_203_012,
3_376_940_353,
821_708_821,
5_329_814,
2_050_965_739,
4_012_960_695,
4_026_282_590,
848_005_093,
2_090_115_245,
1_732_838_459,
1_701_934_203,
2_618_985_574,
2_392_637_351,
3_610_308_264,
1_162_509_741,
3_772_926_898,
4_026_399_774,
2_801_305_136,
2_182_020_938,
2_540_720_293,
4_177_612_013,
3_758_227_323,
2_141_839_466,
3_457_019_126,
690_868_322,
598_123_635,
4_220_136_616,
2_063_722_767,
534_543_515,
3_995_640_444,
3_697_772_838,
605_496_025,
194_542_699,
4_283_492_525,
3_414_550_867,
2_944_993_929,
3_138_370_086,
2_273_260_021,
1_368_435_547,
328_762_456,
2_810_028_600,
3_571_321_502,
1_782_649_452,
4_008_389_438,
3_374_096_016,
2_070_297_302,
3_548_106_024,
406_229_528,
420_474_145,
1_345_435_476,
1_454_548_380,
2_158_312_864,
1_379_619_651,
1_353_546_123,
3_811_653_577,
882_683_258,
2_752_377_205,
3_614_226_931,
1_500_298_293,
2_610_950_419,
1_253_921_430,
2_107_280_447,
2_276_719_522,
1_296_486_334,
3_787_958_895,
3_076_802_280,
1_113_584_194,
1_511_963_190,
4_162_049_235,
3_993_023_547,
3_616_161_164,
1_305_747_926,
3_972_166_487,
1_967_370_814,
920_085_398,
3_066_264_196,
3_270_634_177,
116_308_049,
3_500_602_755,
2_095_466_291,
374_997_835,
4_013_819_058,
294_797_265,
2_531_304_952,
1_915_167_960,
667_114_423,
33_740_368,
2_659_595_205,
1_992_038_463,
1_788_663_246,
1_032_288_339,
2_725_176_344,
965_149_701,
2_340_916_620,
2_880_875_099,
90_563_045,
550_093_497,
2_205_859_613,
4_113_574_329,
2_611_773_242,
6_224_964,
2_216_769_577,
2_724_275_975,
1_825_208_654,
1_095_989_352,
1_353_654_145,
4_130_469_231,
2_872_700_633,
3_968_090_132,
3_983_530_071,
3_891_778_552,
253_511_543,
3_451_123_488,
1_858_275_584,
2_348_219_340,
4_164_791_526,
1_546_492_002,
2_318_605_776,
1_965_910_834,
4_016_688_232,
1_661_025_458,
2_551_621_891,
2_559_017_942,
2_999_442_539,
2_626_132_036,
3_855_956_683,
889_284_004,
4_228_792_998,
2_508_936_804,
2_464_411_834,
3_126_525_029,
1_845_662_917,
1_099_875_911,
230_942_152,
1_316_977_638,
4_287_590_380,
3_960_960_001,
2_035_696_777,
2_084_606_597,
4_185_117_397,
272_555_796,
1_438_814_277,
3_792_058_704,
2_373_818_687,
328_461_098,
1_933_025_545,
478_993_165,
2_186_693_443,
2_504_363_491,
2_844_647_904,
4_178_236_473,
174_820_621,
3_894_751_753,
3_928_736_686,
691_843_130,
3_709_350_628,
2_757_608_178,
1_391_782_179,
1_043_240_547,
2_220_523_142,
2_016_183_159,
2_906_513_762,
3_465_827_756,
3_911_890_461,
2_425_950_392,
948_237_040,
3_362_307_558,
826_526_964,
1_022_776_727,
1_602_110_624,
495_555_482,
3_374_275_041,
1_251_359_676,
1_255_187_341,
2_187_964_004,
2_260_892_791,
2_998_084_135,
1_359_605_011,
1_974_780_261,
150_018_524,
729_982_456,
538_716_187,
2_451_949_310,
1_404_163_987,
323_166_556,
3_575_751_708,
912_151_627,
1_062_492_739,
136_196_234,
1_525_463_811,
3_934_317_698,
4_059_639_798,
1_714_397_141,
3_799_270_074,
3_933_323_871,
1_950_899_325,
2_202_877_835,
512_028_145,
121_304_123,
1_747_320_652,
4_025_527_049,
3_203_512_622,
370_863_179,
1_383_153_679,
338_573_713,
843_668_046,
3_786_076_594,
3_761_568_863,
1_943_691_400,
4_239_756_727,
2_866_888_284,
927_687_523,
2_835_168_303,
3_639_022_486,
4_177_667_412,
2_454_774_443,
3_330_293_413,
1_073_705_099,
489_962_519,
2_122_918_676,
3_091_912_613,
2_087_072_392,
2_474_785_306,
4_196_422_017,
1_950_304_138,
1_417_647_053,
3_170_449_575,
2_871_308_877,
2_834_888_397,
2_515_213_887,
706_488_188,
2_765_291_661,
3_342_253_292,
946_613_144,
2_657_539_519,
1_870_033_541,
2_568_978_334,
2_381_242_604,
2_390_291_123,
1_426_830_313,
1_033_183_417,
1_865_206_616,
3_909_956_281,
3_229_647_106,
567_876_042,
2_632_601_739,
1_787_091_399,
1_136_358_267,
1_707_922_556,
3_600_383_805,
83_493_536,
3_720_481_151,
1_860_566_046,
1_457_764_290,
1_087_693_608,
2_574_737_982,
3_472_233_887,
1_946_429_651,
657_205_714,
1_561_347_349,
3_458_704_973,
658_970_395,
2_666_292_445,
4_010_435_611,
2_923_502_084,
2_919_668_932,
1_447_403_386,
272_213_229,
2_379_902_797,
856_095_986,
390_957_008,
316_624_381,
37_938_916,
1_312_588_871,
3_443_811_924,
3_563_720_170,
681_138_701,
3_713_652_810,
1_229_426_900,
45_899_309,
3_319_920_329,
3_184_643_346,
1_733_808_374,
3_218_014_532,
4_131_837_143,
2_708_745_467,
1_925_606_777,
1_070_300_412,
1_857_066_639,
231_709_688,
89_357_594,
2_807_557_743,
4_246_955_725,
2_648_639_203,
4_014_481_964,
3_609_309_784,
3_413_370_774,
3_362_710_738,
4_117_303_240,
2_975_382_313,
4_244_728_709,
676_814_731,
1_401_643_182,
4_193_290_992,
1_880_982_784,
3_412_352_641,
432_923_266,
3_204_217_730,
3_640_767_186,
2_748_687_591,
3_238_328_348,
1_816_348_975,
3_454_683_239,
1_788_280_760,
2_390_076_397,
583_783_115,
749_971_462,
2_070_386_333,
3_684_914_363,
2_505_473_379,
3_781_484_919,
3_251_603_932,
1_061_410_633,
2_657_465_574,
1_047_386_942,
598_203_491,
3_802_852_895,
3_892_183_081,
650_367_471,
1_888_164_348,
3_790_664_944,
3_285_152_048,
1_772_040_010,
2_779_620_173,
262_034_140,
4_011_996_451,
172_805_695,
3_112_617_504,
3_698_026_131,
2_749_738_982,
1_338_645_063,
2_883_589_338,
1_171_912_066,
1_463_032_348,
2_303_251_030,
1_690_714_656,
87_045_526,
3_931_593_098,
1_973_669_665,
2_196_833_368,
3_131_780_013,
2_099_423_072,
3_143_196_216,
2_732_157_577,
3_060_002_362,
3_279_855_788,
2_424_755_944,
3_186_596_011,
892_164_315,
1_948_474_334,
1_752_877_034,
3_954_052_922,
2_895_910_728,
2_605_843_797,
41_504_255,
2_282_306_723,
2_818_684_947,
2_301_112_141,
125_160_123,
16_831_279,
2_001_639_563,
2_988_100_720,
2_804_013_521,
1_917_204_704,
2_217_119_131,
747_297_802,
57_526_359,
1_150_692_435,
1_127_421_285,
1_638_007_393,
2_357_393_576,
1_363_062_508,
112_227_006,
1_305_326_547,
2_699_963_315,
3_027_707_384,
2_567_899_981,
539_524_824,
1_322_391_149,
4_115_045_373,
2_610_809_222,
1_511_354_791,
1_747_171_732,
2_430_429_081,
2_427_698_197,
668_479_568,
1_616_806_017,
77_518_867,
];
pub static TEST_OUTPUT: [u32; 1000] = [
1_067_595_299,
955_945_823,
477_289_528,
4_107_218_783,
4_228_976_476,
3_344_332_714,
3_355_579_695,
227_628_506,
810_200_273,
2_591_290_167,
2_560_260_675,
3_242_736_208,
646_746_669,
1_479_517_882,
4_245_472_273,
1_143_372_638,
3_863_670_494,
3_221_021_970,
1_773_610_557,
1_138_697_238,
1_421_897_700,
1_269_916_527,
2_859_934_041,
1_764_463_362,
3_874_892_047,
3_965_319_921,
72_549_643,
2_383_988_930,
2_600_218_693,
3_237_492_380,
2_792_901_476,
725_331_109,
605_841_842,
271_258_942,
715_137_098,
3_297_999_536,
1_322_965_544,
4_229_579_109,
1_395_091_102,
3_735_697_720,
2_101_727_825,
3_730_287_744,
2_950_434_330,
1_661_921_839,
2_895_579_582,
2_370_511_479,
1_004_092_106,
2_247_096_681,
2_111_242_379,
3_237_345_263,
4_082_424_759,
219_785_033,
2_454_039_889,
3_709_582_971,
835_606_218,
2_411_949_883,
2_735_205_030,
756_421_180,
2_175_209_704,
1_873_865_952,
2_762_534_237,
4_161_807_854,
3_351_099_340,
181_129_879,
3_269_891_896,
776_029_799,
2_218_161_979,
3_001_745_796,
1_866_825_872,
2_133_627_728,
34_862_734,
1_191_934_573,
3_102_311_354,
2_916_517_763,
1_012_402_762,
2_184_831_317,
4_257_399_449,
2_899_497_138,
3_818_095_062,
3_030_756_734,
1_282_161_629,
420_003_642,
2_326_421_477,
2_741_455_717,
1_278_020_671,
3_744_179_621,
271_777_016,
2_626_330_018,
2_560_563_991,
3_055_977_700,
4_233_527_566,
1_228_397_661,
3_595_579_322,
1_077_915_006,
2_395_931_898,
1_851_927_286,
3_013_683_506,
1_999_971_931,
3_006_888_962,
1_049_781_534,
1_488_758_959,
3_491_776_230,
104_418_065,
2_448_267_297,
3_075_614_115,
3_872_332_600,
891_912_190,
3_936_547_759,
2_269_180_963,
2_633_455_084,
1_047_636_807,
2_604_612_377,
2_709_305_729,
1_952_216_715,
207_593_580,
2_849_898_034,
670_771_757,
2_210_471_108,
467_711_165,
263_046_873,
3_569_667_915,
1_042_291_111,
3_863_517_079,
1_464_270_005,
2_758_321_352,
3_790_799_816,
2_301_278_724,
3_106_281_430,
7_974_801,
2_792_461_636,
555_991_332,
621_766_759,
1_322_453_093,
853_629_228,
686_962_251,
1_455_120_532,
957_753_161,
1_802_033_300,
1_021_534_190,
3_486_047_311,
1_902_128_914,
3_701_138_056,
4_176_424_663,
1_795_608_698,
560_858_864,
3_737_752_754,
3_141_170_998,
1_553_553_385,
3_367_807_274,
711_546_358,
2_475_125_503,
262_969_859,
251_416_325,
2_980_076_994,
1_806_565_895,
969_527_843,
3_529_327_173,
2_736_343_040,
2_987_196_734,
1_649_016_367,
2_206_175_811,
3_048_174_801,
3_662_503_553,
3_138_851_612,
2_660_143_804,
1_663_017_612,
1_816_683_231,
411_916_003,
3_887_461_314,
2_347_044_079,
1_015_311_755,
1_203_592_432,
2_170_947_766,
2_569_420_716,
813_872_093,
1_105_387_678,
1_431_142_475,
220_570_551,
4_243_632_715,
4_179_591_855,
2_607_469_131,
3_090_613_241,
282_341_803,
1_734_241_730,
1_391_822_177,
1_001_254_810,
827_927_915,
1_886_687_171,
3_935_097_347,
2_631_788_714,
3_905_163_266,
110_554_195,
2_447_955_646,
3_717_202_975,
3_304_793_075,
3_739_614_479,
3_059_127_468,
953_919_171,
2_590_123_714,
1_132_511_021,
3_795_593_679,
2_788_030_429,
982_155_079,
3_472_349_556,
859_942_552,
2_681_007_391,
2_299_624_053,
647_443_547,
233_600_422,
608_168_955,
3_689_327_453,
1_849_778_220,
1_608_438_222,
3_968_158_357,
2_692_977_776,
2_851_872_572,
246_750_393,
3_582_818_628,
3_329_652_309,
4_036_366_910,
1_012_970_930,
950_780_808,
3_959_768_744,
2_538_550_045,
191_422_718,
2_658_142_375,
3_276_369_011,
2_927_737_484,
1_234_200_027,
1_920_815_603,
3_536_074_689,
1_535_612_501,
2_184_142_071,
3_276_955_054,
428_488_088,
2_378_411_984,
4_059_769_550,
3_913_744_741,
2_732_139_246,
64_369_859,
3_755_670_074,
842_839_565,
2_819_894_466,
2_414_718_973,
1_010_060_670,
1_839_715_346,
2_410_311_136,
152_774_329,
3_485_009_480,
4_102_101_512,
2_852_724_304,
879_944_024,
1_785_007_662,
2_748_284_463,
1_354_768_064,
3_267_784_736,
2_269_127_717,
3_001_240_761,
3_179_796_763,
895_723_219,
865_924_942,
4_291_570_937,
89_355_264,
1_471_026_971,
4_114_180_745,
3_201_939_751,
2_867_476_999,
2_460_866_060,
3_603_874_571,
2_238_880_432,
3_308_416_168,
2_072_246_611,
2_755_653_839,
3_773_737_248,
1_709_066_580,
4_282_731_467,
2_746_170_170,
2_832_568_330,
433_439_009,
3_175_778_732,
26_248_366,
2_551_382_801,
183_214_346,
3_893_339_516,
1_928_168_445,
1_337_157_619,
3_429_096_554,
3_275_170_900,
1_782_047_316,
4_264_403_756,
1_876_594_403,
4_289_659_572,
3_223_834_894,
1_728_705_513,
4_068_244_734,
2_867_840_287,
1_147_798_696,
302_879_820,
1_730_407_747,
1_923_824_407,
1_180_597_908,
1_569_786_639,
198_796_327,
560_793_173,
2_107_345_620,
2_705_990_316,
3_448_772_106,
3_678_374_155,
758_635_715,
884_524_671,
486_356_516,
1_774_865_603,
3_881_226_226,
2_635_213_607,
1_181_121_587,
1_508_809_820,
3_178_988_241,
1_594_193_633,
1_235_154_121,
326_117_244,
2_304_031_425,
937_054_774,
2_687_415_945,
3_192_389_340,
2_003_740_439,
1_823_766_188,
2_759_543_402,
10_067_710,
1_533_252_662,
4_132_494_984,
82_378_136,
420_615_890,
3_467_563_163,
541_562_091,
3_535_949_864,
2_277_319_197,
3_330_822_853,
3_215_654_174,
4_113_831_979,
4_204_996_991,
2_162_248_333,
3_255_093_522,
2_219_088_909,
2_978_279_037,
255_818_579,
2_859_348_628,
3_097_280_311,
2_569_721_123,
1_861_951_120,
2_907_080_079,
2_719_467_166,
998_319_094,
2_521_935_127,
2_404_125_338,
259_456_032,
2_086_860_995,
1_839_848_496,
1_893_547_357,
2_527_997_525,
1_489_393_124,
2_860_855_349,
76_448_234,
2_264_934_035,
744_914_583,
2_586_791_259,
1_385_380_501,
66_529_922,
1_819_103_258,
1_899_300_332,
2_098_173_828,
1_793_831_094,
276_463_159,
360_132_945,
4_178_212_058,
595_015_228,
177_071_838,
2_800_080_290,
1_573_557_746,
1_548_998_935,
378_454_223,
1_460_534_296,
1_116_274_283,
3_112_385_063,
3_709_761_796,
827_999_348,
3_580_042_847,
1_913_901_014,
614_021_289,
4_278_528_023,
1_905_177_404,
45_407_939,
3_298_183_234,
1_184_848_810,
3_644_926_330,
3_923_635_459,
1_627_046_213,
3_677_876_759,
969_772_772,
1_160_524_753,
1_522_441_192,
452_369_933,
1_527_502_551,
832_490_847,
1_003_299_676,
1_071_381_111,
2_891_255_476,
973_747_308,
4_086_897_108,
1_847_554_542,
3_895_651_598,
2_227_820_339,
1_621_250_941,
2_881_344_691,
3_583_565_821,
3_510_404_498,
849_362_119,
862_871_471,
797_858_058,
2_867_774_932,
2_821_282_612,
3_272_403_146,
3_997_979_905,
209_178_708,
1_805_135_652,
6_783_381,
2_823_361_423,
792_580_494,
4_263_749_770,
776_439_581,
3_798_193_823,
2_853_444_094,
2_729_507_474,
1_071_873_341,
1_329_010_206,
1_289_336_450,
3_327_680_758,
2_011_491_779,
80_157_208,
922_428_856,
1_158_943_220,
1_667_230_961,
2_461_022_820,
2_608_845_159,
387_516_115,
3_345_351_910,
1_495_629_111,
4_098_154_157,
3_156_649_613,
3_525_698_599,
4_134_908_037,
446_713_264,
2_137_537_399,
3_617_403_512,
813_966_752,
1_157_943_946,
3_734_692_965,
1_680_301_658,
3_180_398_473,
3_509_854_711,
2_228_114_612,
1_008_102_291,
486_805_123,
863_791_847,
3_189_125_290,
1_050_308_116,
3_777_341_526,
4_291_726_501,
844_061_465,
1_347_461_791,
2_826_481_581,
745_465_012,
2_055_805_750,
4_260_209_475,
2_386_693_097,
2_980_646_741,
447_229_436,
2_077_782_664,
1_232_942_813,
4_023_002_732,
1_399_011_509,
3_140_569_849,
2_579_909_222,
3_794_857_471,
900_758_066,
2_887_199_683,
1_720_257_997,
3_367_494_931,
2_668_921_229,
955_539_029,
3_818_726_432,
1_105_704_962,
3_889_207_255,
2_277_369_307,
2_746_484_505,
1_761_846_513,
2_413_916_784,
2_685_127_085,
4_240_257_943,
1_166_726_899,
4_215_215_715,
3_082_092_067,
3_960_461_946,
1_663_304_043,
2_087_473_241,
4_162_589_986,
2_507_310_778,
1_579_665_506,
767_234_210,
970_676_017,
492_207_530,
1_441_679_602,
1_314_785_090,
3_262_202_570,
3_417_091_742,
1_561_989_210,
3_011_406_780,
1_146_609_202,
3_262_321_040,
1_374_872_171,
1_634_688_712,
1_280_458_888,
2_230_023_982,
419_323_804,
3_262_899_800,
39_783_310,
1_641_619_040,
1_700_368_658,
2_207_946_628,
2_571_300_939,
2_424_079_766,
780_290_914,
2_715_195_096,
3_390_957_695,
163_151_474,
2_309_534_542,
1_860_018_424,
555_755_123,
280_320_104,
1_604_831_083,
2_713_022_383,
1_728_987_441,
3_639_955_502,
623_065_489,
3_828_630_947,
4_275_479_050,
3_516_347_383,
2_343_951_195,
2_430_677_756,
635_534_992,
3_868_699_749,
808_442_435,
3_070_644_069,
4_282_166_003,
2_093_181_383,
2_023_555_632,
1_568_662_086,
3_422_372_620,
4_134_522_350,
3_016_979_543,
3_259_320_234,
2_888_030_729,
3_185_253_876,
4_258_779_643,
1_267_304_371,
1_022_517_473,
815_943_045,
929_020_012,
2_995_251_018,
3_371_283_296,
3_608_029_049,
2_018_485_115,
122_123_397,
2_810_669_150,
1_411_365_618,
1_238_391_329,
1_186_786_476,
3_155_969_091,
2_242_941_310,
1_765_554_882,
279_121_160,
4_279_838_515,
1_641_578_514,
3_796_324_015,
13_351_065,
103_516_986,
1_609_694_427,
551_411_743,
2_493_771_609,
1_316_337_047,
3_932_650_856,
4_189_700_203,
463_397_996,
2_937_735_066,
1_855_616_529,
2_626_847_990,
55_091_862,
3_823_351_211,
753_448_970,
4_045_045_500,
1_274_127_772,
1_124_182_256,
92_039_808,
2_126_345_552,
425_973_257,
386_287_896,
2_589_870_191,
1_987_762_798,
4_084_826_973,
2_172_456_685,
3_366_583_455,
3_602_966_653,
2_378_803_535,
2_901_764_433,
3_716_929_006,
3_710_159_000,
2_653_449_155,
3_469_742_630,
3_096_444_476,
3_932_564_653,
2_595_257_433,
318_974_657,
3_146_202_484,
853_571_438,
144_400_272,
3_768_408_841,
782_634_401,
2_161_109_003,
570_039_522,
1_886_241_521,
14_249_488,
2_230_804_228,
1_604_941_699,
3_928_713_335,
3_921_942_509,
2_155_806_892,
134_366_254,
430_507_376,
1_924_011_722,
276_713_377,
196_481_886,
3_614_810_992,
1_610_021_185,
1_785_757_066,
851_346_168,
3_761_148_643,
2_918_835_642,
3_364_422_385,
3_012_284_466,
3_735_958_851,
2_643_153_892,
3_778_608_231,
1_164_289_832,
205_853_021,
2_876_112_231,
3_503_398_282,
3_078_397_001,
3_472_037_921,
1_748_894_853,
2_740_861_475,
316_056_182,
1_660_426_908,
168_885_906,
956_005_527,
3_984_354_789,
566_521_563,
1_001_109_523,
1_216_710_575,
2_952_284_757,
3_834_433_081,
3_842_608_301,
2_467_352_408,
3_974_441_264,
3_256_601_745,
1_409_353_924,
1_329_904_859,
2_307_560_293,
3_125_217_879,
3_622_920_184,
3_832_785_684,
3_882_365_951,
2_308_537_115,
2_659_155_028,
1_450_441_945,
3_532_257_603,
3_186_324_194,
1_225_603_425,
1_124_246_549,
175_808_705,
3_009_142_319,
2_796_710_159,
3_651_990_107,
160_762_750,
1_902_254_979,
1_698_648_476,
1_134_980_669,
497_144_426,
3_302_689_335,
4_057_485_630,
3_603_530_763,
4_087_252_587,
427_812_652,
286_876_201,
823_134_128,
1_627_554_964,
3_745_564_327,
2_589_226_092,
4_202_024_494,
62_878_473,
3_275_585_894,
3_987_124_064,
2_791_777_159,
1_916_869_511,
2_585_861_905,
1_375_038_919,
1_403_421_920,
60_249_114,
3_811_870_450,
3_021_498_009,
2_612_993_202,
528_933_105,
2_757_361_321,
3_341_402_964,
2_621_861_700,
273_128_190,
4_015_252_178,
3_094_781_002,
1_621_621_288,
2_337_611_177,
1_796_718_448,
1_258_965_619,
4_241_913_140,
2_138_560_392,
3_022_190_223,
4_174_180_924,
450_094_611,
3_274_724_580,
617_150_026,
2_704_660_665,
1_469_700_689,
1_341_616_587,
356_715_071,
1_188_789_960,
2_278_869_135,
1_766_569_160,
2_795_896_635,
57_824_704,
2_893_496_380,
1_235_723_989,
1_630_694_347,
3_927_960_522,
428_891_364,
1_814_070_806,
2_287_999_787,
4_125_941_184,
3_968_103_889,
3_548_724_050,
1_025_597_707,
1_404_281_500,
2_002_212_197,
92_429_143,
2_313_943_944,
2_403_086_080,
3_006_180_634,
3_561_981_764,
1_671_860_914,
1_768_520_622,
1_803_542_985,
844_848_113,
3_006_139_921,
1_410_888_995,
1_157_749_833,
2_125_704_913,
1_789_979_528,
1_799_263_423,
741_157_179,
2_405_862_309,
767_040_434,
2_655_241_390,
3_663_420_179,
2_172_009_096,
2_511_931_187,
1_680_542_666,
231_857_466,
1_154_981_000,
157_168_255,
1_454_112_128,
3_505_872_099,
1_929_775_046,
2_309_422_350,
2_143_329_496,
2_960_716_902,
407_610_648,
2_938_108_129,
2_581_749_599,
538_837_155,
2_342_628_867,
430_543_915,
740_188_568,
1_937_713_272,
3_315_215_132,
2_085_587_024,
4_030_765_687,
766_054_429,
3_517_641_839,
689_721_775,
1_294_158_986,
1_753_287_754,
4_202_601_348,
1_974_852_792,
33_459_103,
3_568_087_535,
3_144_677_435,
1_686_130_825,
4_134_943_013,
3_005_738_435,
3_599_293_386,
426_570_142,
754_104_406,
3_660_892_564,
1_964_545_167,
829_466_833,
821_587_464,
1_746_693_036,
1_006_492_428,
1_595_312_919,
1_256_599_985,
1_024_482_560,
1_897_312_280,
2_902_903_201,
691_790_057,
1_037_515_867,
3_176_831_208,
1_968_401_055,
2_173_506_824,
1_089_055_278,
1_748_401_123,
2_941_380_082,
968_412_354,
1_818_753_861,
2_973_200_866,
3_875_951_774,
1_119_354_008,
3_988_604_139,
1_647_155_589,
2_232_450_826,
3_486_058_011,
3_655_784_043,
3_759_258_462,
847_163_678,
1_082_052_057,
989_516_446,
2_871_541_755,
3_196_311_070,
3_929_963_078,
658_187_585,
3_664_944_641,
2_175_149_170,
2_203_709_147,
2_756_014_689,
2_456_473_919,
3_890_267_390,
1_293_787_864,
2_830_347_984,
3_059_280_931,
4_158_802_520,
1_561_677_400,
2_586_570_938,
783_570_352,
1_355_506_163,
31_495_586,
3_789_437_343,
3_340_549_429,
2_092_501_630,
896_419_368,
671_715_824,
3_530_450_081,
3_603_554_138,
1_055_991_716,
3_442_308_219,
1_499_434_728,
3_130_288_473,
3_639_507_000,
17_769_680,
2_259_741_420,
487_032_199,
4_227_143_402,
3_693_771_256,
1_880_482_820,
3_924_810_796,
381_462_353,
4_017_855_991,
2_452_034_943,
2_736_680_833,
2_209_866_385,
2_128_986_379,
437_874_044,
595_759_426,
641_721_026,
1_636_065_708,
3_899_136_933,
629_879_088,
3_591_174_506,
351_984_326,
2_638_783_544,
2_348_444_281,
2_341_604_660,
2_123_933_692,
143_443_325,
1_525_942_256,
364_660_499,
599_149_312,
939_093_251,
1_523_003_209,
106_601_097,
376_589_484,
1_346_282_236,
1_297_387_043,
764_598_052,
3_741_218_111,
933_457_002,
1_886_424_424,
3_219_631_016,
525_405_256,
3_014_235_619,
323_149_677,
2_038_881_721,
4_100_129_043,
2_851_715_101,
2_984_028_078,
1_888_574_695,
2_014_194_741,
3_515_193_880,
4_180_573_530,
3_461_824_363,
2_641_995_497,
3_179_230_245,
2_902_294_983,
2_217_320_456,
4_040_852_155,
1_784_656_905,
3_311_906_931,
87_498_458,
2_752_971_818,
2_635_474_297,
2_831_215_366,
3_682_231_106,
2_920_043_893,
3_772_929_704,
2_816_374_944,
309_949_752,
2_383_758_854,
154_870_719,
385_111_597,
1_191_604_312,
1_840_700_563,
872_191_186,
2_925_548_701,
1_310_412_747,
2_102_066_999,
1_504_727_249,
3_574_298_750,
1_191_230_036,
3_330_575_266,
3_180_292_097,
3_539_347_721,
681_369_118,
3_305_125_752,
3_648_233_597,
950_049_240,
4_173_257_693,
1_760_124_957,
512_151_405,
681_175_196,
580_563_018,
1_169_662_867,
4_015_033_554,
2_687_781_101,
699_691_603,
2_673_494_188,
1_137_221_356,
123_599_888,
472_658_308,
1_053_598_179,
1_012_713_758,
3_481_064_843,
3_759_461_013,
3_981_457_956,
3_830_587_662,
1_877_191_791,
3_650_996_736,
988_064_871,
3_515_461_600,
4_089_077_232,
2_225_147_448,
1_249_609_188,
2_643_151_863,
3_896_204_135,
2_416_995_901,
1_397_735_321,
3_460_025_646,
];