From 10178960e11a0fde68eae2ad867f94e80b74533b Mon Sep 17 00:00:00 2001 From: Nathan Whitaker Date: Wed, 1 Nov 2023 14:06:40 -0700 Subject: [PATCH] Fmt --- runtime/src/output.rs | 777 +++++++++++++++++++++--------------------- 1 file changed, 388 insertions(+), 389 deletions(-) diff --git a/runtime/src/output.rs b/runtime/src/output.rs index 60b0abd785..6b2e18a1f2 100644 --- a/runtime/src/output.rs +++ b/runtime/src/output.rs @@ -1,4 +1,3 @@ - //! Autogenerated bag thresholds. //! //! Generated on 2023-10-20T17:44:22.131779+00:00 @@ -19,200 +18,200 @@ pub const CONSTANT_RATIO: f64 = 1.2497227245028870; /// Upper thresholds delimiting the bag list. pub const THRESHOLDS: [u64; 198] = [ - 1, - 2, - 3, - 4, - 5, - 6, - 7, - 9, - 11, - 14, - 17, - 21, - 26, - 32, - 40, - 50, - 62, - 77, - 96, - 120, - 150, - 187, - 234, - 292, - 365, - 456, - 570, - 712, - 890, - 1_112, - 1_390, - 1_737, - 2_171, - 2_713, - 3_390, - 4_237, - 5_295, - 6_617, - 8_269, - 10_334, - 12_915, - 16_140, - 20_171, - 25_208, - 31_503, - 39_370, - 49_202, - 61_489, - 76_844, - 96_034, - 120_016, - 149_987, - 187_442, - 234_251, - 292_749, - 365_855, - 457_217, - 571_394, - 714_084, - 892_407, - 1_115_261, - 1_393_767, - 1_741_822, - 2_176_795, - 2_720_390, - 3_399_733, - 4_248_724, - 5_309_727, - 6_635_686, - 8_292_768, - 10_363_661, - 12_951_703, - 16_186_038, - 20_228_060, - 25_279_466, - 31_592_323, - 39_481_644, - 49_341_108, - 61_662_704, - 77_061_282, - 96_305_235, - 120_354_841, - 150_410_180, - 187_971_020, - 234_911_655, - 293_574_434, - 366_886_642, - 458_506_574, - 573_006_085, - 716_098_726, - 894_924_851, - 1_118_407_923, - 1_397_699_797, - 1_746_737_198, - 2_182_937_170, - 2_728_066_188, - 3_409_326_309, - 4_260_712_564, - 5_324_709_314, - 6_654_410_231, - 8_316_167_684, - 10_392_903_735, - 12_988_247_971, - 16_231_708_641, - 20_285_135_146, - 25_350_794_362, - 31_681_463_798, - 39_593_045_254, - 49_480_328_386, - 61_836_690_800, - 77_278_717_701, - 96_576_969_631, - 120_694_433_611, - 150_834_576_405, - 188_501_397_774, - 235_574_480_399, - 294_402_781_468, - 367_921_846_157, - 459_800_291_983, - 574_622_873_624, - 718_119_263_187, - 897_449_962_108, - 1_121_563_611_751, - 1_401_643_532_581, - 1_751_665_774_319, - 2_189_096_523_900, - 2_735_763_672_048, - 3_418_946_029_828, - 4_272_734_547_325, - 5_339_733_459_561, - 6_673_186_247_202, - 8_339_632_497_968, - 10_422_228_246_713, - 13_024_895_479_873, - 16_277_507_865_472, - 20_342_371_477_755, - 25_422_323_906_030, - 31_770_855_895_039, - 39_704_760_588_937, - 49_619_941_578_941, - 62_011_168_579_708, - 77_496_766_547_041, - 96_849_470_229_332, - 121_034_983_801_662, - 151_260_169_716_776, - 189_033_271_407_218, - 236_239_174_964_722, - 295_233_465_371_227, - 368_959_970_708_159, - 461_097_659_825_906, - 576_244_223_699_537, - 720_145_501_220_837, - 899_982_197_824_202, - 1_124_728_204_268_958, - 1_405_598_395_764_242, - 1_756_608_256_711_376, - 2_195_273_256_461_608, - 2_743_482_875_093_526, - 3_428_592_893_288_895, - 4_284_790_451_812_234, - 5_354_799_997_362_741, - 6_692_015_241_872_217, - 8_363_163_520_487_393, - 10_451_635_500_286_660, - 13_061_646_392_929_340, - 16_323_436_316_664_962, - 20_399_769_306_911_908, - 25_494_055_277_464_320, - 31_860_500_219_979_916, - 39_816_791_138_938_128, - 49_759_948_703_116_168, - 62_186_138_664_382_240, - 77_715_430_637_966_096, - 97_122_739_712_794_128, - 121_376_494_885_057_824, - 151_686_963_878_365_184, - 189_566_645_769_641_536, - 236_905_745_026_110_112, - 296_066_493_124_416_576, - 370_001_024_421_461_120, - 462_398_688_308_847_616, - 577_870_148_559_894_272, - 722_177_456_467_159_168, - 902_521_578_470_703_232, - 1_127_901_725_969_053_440, - 1_409_564_417_949_554_176, - 1_761_564_684_762_243_072, - 2_201_467_417_229_139_712, - 2_751_223_858_563_934_208, - 3_438_266_976_241_865_216, - 4_296_880_373_117_286_912, - 5_369_909_046_755_117_056, - 6_710_897_364_243_506_176, - 8_386_760_937_901_637_632, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 9, + 11, + 14, + 17, + 21, + 26, + 32, + 40, + 50, + 62, + 77, + 96, + 120, + 150, + 187, + 234, + 292, + 365, + 456, + 570, + 712, + 890, + 1_112, + 1_390, + 1_737, + 2_171, + 2_713, + 3_390, + 4_237, + 5_295, + 6_617, + 8_269, + 10_334, + 12_915, + 16_140, + 20_171, + 25_208, + 31_503, + 39_370, + 49_202, + 61_489, + 76_844, + 96_034, + 120_016, + 149_987, + 187_442, + 234_251, + 292_749, + 365_855, + 457_217, + 571_394, + 714_084, + 892_407, + 1_115_261, + 1_393_767, + 1_741_822, + 2_176_795, + 2_720_390, + 3_399_733, + 4_248_724, + 5_309_727, + 6_635_686, + 8_292_768, + 10_363_661, + 12_951_703, + 16_186_038, + 20_228_060, + 25_279_466, + 31_592_323, + 39_481_644, + 49_341_108, + 61_662_704, + 77_061_282, + 96_305_235, + 120_354_841, + 150_410_180, + 187_971_020, + 234_911_655, + 293_574_434, + 366_886_642, + 458_506_574, + 573_006_085, + 716_098_726, + 894_924_851, + 1_118_407_923, + 1_397_699_797, + 1_746_737_198, + 2_182_937_170, + 2_728_066_188, + 3_409_326_309, + 4_260_712_564, + 5_324_709_314, + 6_654_410_231, + 8_316_167_684, + 10_392_903_735, + 12_988_247_971, + 16_231_708_641, + 20_285_135_146, + 25_350_794_362, + 31_681_463_798, + 39_593_045_254, + 49_480_328_386, + 61_836_690_800, + 77_278_717_701, + 96_576_969_631, + 120_694_433_611, + 150_834_576_405, + 188_501_397_774, + 235_574_480_399, + 294_402_781_468, + 367_921_846_157, + 459_800_291_983, + 574_622_873_624, + 718_119_263_187, + 897_449_962_108, + 1_121_563_611_751, + 1_401_643_532_581, + 1_751_665_774_319, + 2_189_096_523_900, + 2_735_763_672_048, + 3_418_946_029_828, + 4_272_734_547_325, + 5_339_733_459_561, + 6_673_186_247_202, + 8_339_632_497_968, + 10_422_228_246_713, + 13_024_895_479_873, + 16_277_507_865_472, + 20_342_371_477_755, + 25_422_323_906_030, + 31_770_855_895_039, + 39_704_760_588_937, + 49_619_941_578_941, + 62_011_168_579_708, + 77_496_766_547_041, + 96_849_470_229_332, + 121_034_983_801_662, + 151_260_169_716_776, + 189_033_271_407_218, + 236_239_174_964_722, + 295_233_465_371_227, + 368_959_970_708_159, + 461_097_659_825_906, + 576_244_223_699_537, + 720_145_501_220_837, + 899_982_197_824_202, + 1_124_728_204_268_958, + 1_405_598_395_764_242, + 1_756_608_256_711_376, + 2_195_273_256_461_608, + 2_743_482_875_093_526, + 3_428_592_893_288_895, + 4_284_790_451_812_234, + 5_354_799_997_362_741, + 6_692_015_241_872_217, + 8_363_163_520_487_393, + 10_451_635_500_286_660, + 13_061_646_392_929_340, + 16_323_436_316_664_962, + 20_399_769_306_911_908, + 25_494_055_277_464_320, + 31_860_500_219_979_916, + 39_816_791_138_938_128, + 49_759_948_703_116_168, + 62_186_138_664_382_240, + 77_715_430_637_966_096, + 97_122_739_712_794_128, + 121_376_494_885_057_824, + 151_686_963_878_365_184, + 189_566_645_769_641_536, + 236_905_745_026_110_112, + 296_066_493_124_416_576, + 370_001_024_421_461_120, + 462_398_688_308_847_616, + 577_870_148_559_894_272, + 722_177_456_467_159_168, + 902_521_578_470_703_232, + 1_127_901_725_969_053_440, + 1_409_564_417_949_554_176, + 1_761_564_684_762_243_072, + 2_201_467_417_229_139_712, + 2_751_223_858_563_934_208, + 3_438_266_976_241_865_216, + 4_296_880_373_117_286_912, + 5_369_909_046_755_117_056, + 6_710_897_364_243_506_176, + 8_386_760_937_901_637_632, 10_481_125_729_068_822_528, 13_098_501_001_989_197_824, 16_369_494_359_109_736_448, @@ -221,200 +220,200 @@ pub const THRESHOLDS: [u64; 198] = [ /// Upper thresholds delimiting the bag list. pub const THRESHOLDS_BALANCES: [u128; 198] = [ - 1, - 2, - 3, - 4, - 5, - 6, - 7, - 9, - 11, - 14, - 17, - 21, - 26, - 32, - 40, - 50, - 62, - 77, - 96, - 120, - 150, - 187, - 234, - 292, - 365, - 456, - 570, - 712, - 890, - 1_112, - 1_390, - 1_737, - 2_171, - 2_713, - 3_390, - 4_237, - 5_295, - 6_617, - 8_269, - 10_334, - 12_915, - 16_140, - 20_171, - 25_208, - 31_503, - 39_370, - 49_202, - 61_489, - 76_844, - 96_034, - 120_016, - 149_987, - 187_442, - 234_251, - 292_749, - 365_855, - 457_217, - 571_394, - 714_084, - 892_407, - 1_115_261, - 1_393_767, - 1_741_822, - 2_176_795, - 2_720_390, - 3_399_733, - 4_248_724, - 5_309_727, - 6_635_686, - 8_292_768, - 10_363_661, - 12_951_703, - 16_186_038, - 20_228_060, - 25_279_466, - 31_592_323, - 39_481_644, - 49_341_108, - 61_662_704, - 77_061_282, - 96_305_235, - 120_354_841, - 150_410_180, - 187_971_020, - 234_911_655, - 293_574_434, - 366_886_642, - 458_506_574, - 573_006_085, - 716_098_726, - 894_924_851, - 1_118_407_923, - 1_397_699_797, - 1_746_737_198, - 2_182_937_170, - 2_728_066_188, - 3_409_326_309, - 4_260_712_564, - 5_324_709_314, - 6_654_410_231, - 8_316_167_684, - 10_392_903_735, - 12_988_247_971, - 16_231_708_641, - 20_285_135_146, - 25_350_794_362, - 31_681_463_798, - 39_593_045_254, - 49_480_328_386, - 61_836_690_800, - 77_278_717_701, - 96_576_969_631, - 120_694_433_611, - 150_834_576_405, - 188_501_397_774, - 235_574_480_399, - 294_402_781_468, - 367_921_846_157, - 459_800_291_983, - 574_622_873_624, - 718_119_263_187, - 897_449_962_108, - 1_121_563_611_751, - 1_401_643_532_581, - 1_751_665_774_319, - 2_189_096_523_900, - 2_735_763_672_048, - 3_418_946_029_828, - 4_272_734_547_325, - 5_339_733_459_561, - 6_673_186_247_202, - 8_339_632_497_968, - 10_422_228_246_713, - 13_024_895_479_873, - 16_277_507_865_472, - 20_342_371_477_755, - 25_422_323_906_030, - 31_770_855_895_039, - 39_704_760_588_937, - 49_619_941_578_941, - 62_011_168_579_708, - 77_496_766_547_041, - 96_849_470_229_332, - 121_034_983_801_662, - 151_260_169_716_776, - 189_033_271_407_218, - 236_239_174_964_722, - 295_233_465_371_227, - 368_959_970_708_159, - 461_097_659_825_906, - 576_244_223_699_537, - 720_145_501_220_837, - 899_982_197_824_202, - 1_124_728_204_268_958, - 1_405_598_395_764_242, - 1_756_608_256_711_376, - 2_195_273_256_461_608, - 2_743_482_875_093_526, - 3_428_592_893_288_895, - 4_284_790_451_812_234, - 5_354_799_997_362_741, - 6_692_015_241_872_217, - 8_363_163_520_487_393, - 10_451_635_500_286_660, - 13_061_646_392_929_340, - 16_323_436_316_664_962, - 20_399_769_306_911_908, - 25_494_055_277_464_320, - 31_860_500_219_979_916, - 39_816_791_138_938_128, - 49_759_948_703_116_168, - 62_186_138_664_382_240, - 77_715_430_637_966_096, - 97_122_739_712_794_128, - 121_376_494_885_057_824, - 151_686_963_878_365_184, - 189_566_645_769_641_536, - 236_905_745_026_110_112, - 296_066_493_124_416_576, - 370_001_024_421_461_120, - 462_398_688_308_847_616, - 577_870_148_559_894_272, - 722_177_456_467_159_168, - 902_521_578_470_703_232, - 1_127_901_725_969_053_440, - 1_409_564_417_949_554_176, - 1_761_564_684_762_243_072, - 2_201_467_417_229_139_712, - 2_751_223_858_563_934_208, - 3_438_266_976_241_865_216, - 4_296_880_373_117_286_912, - 5_369_909_046_755_117_056, - 6_710_897_364_243_506_176, - 8_386_760_937_901_637_632, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 9, + 11, + 14, + 17, + 21, + 26, + 32, + 40, + 50, + 62, + 77, + 96, + 120, + 150, + 187, + 234, + 292, + 365, + 456, + 570, + 712, + 890, + 1_112, + 1_390, + 1_737, + 2_171, + 2_713, + 3_390, + 4_237, + 5_295, + 6_617, + 8_269, + 10_334, + 12_915, + 16_140, + 20_171, + 25_208, + 31_503, + 39_370, + 49_202, + 61_489, + 76_844, + 96_034, + 120_016, + 149_987, + 187_442, + 234_251, + 292_749, + 365_855, + 457_217, + 571_394, + 714_084, + 892_407, + 1_115_261, + 1_393_767, + 1_741_822, + 2_176_795, + 2_720_390, + 3_399_733, + 4_248_724, + 5_309_727, + 6_635_686, + 8_292_768, + 10_363_661, + 12_951_703, + 16_186_038, + 20_228_060, + 25_279_466, + 31_592_323, + 39_481_644, + 49_341_108, + 61_662_704, + 77_061_282, + 96_305_235, + 120_354_841, + 150_410_180, + 187_971_020, + 234_911_655, + 293_574_434, + 366_886_642, + 458_506_574, + 573_006_085, + 716_098_726, + 894_924_851, + 1_118_407_923, + 1_397_699_797, + 1_746_737_198, + 2_182_937_170, + 2_728_066_188, + 3_409_326_309, + 4_260_712_564, + 5_324_709_314, + 6_654_410_231, + 8_316_167_684, + 10_392_903_735, + 12_988_247_971, + 16_231_708_641, + 20_285_135_146, + 25_350_794_362, + 31_681_463_798, + 39_593_045_254, + 49_480_328_386, + 61_836_690_800, + 77_278_717_701, + 96_576_969_631, + 120_694_433_611, + 150_834_576_405, + 188_501_397_774, + 235_574_480_399, + 294_402_781_468, + 367_921_846_157, + 459_800_291_983, + 574_622_873_624, + 718_119_263_187, + 897_449_962_108, + 1_121_563_611_751, + 1_401_643_532_581, + 1_751_665_774_319, + 2_189_096_523_900, + 2_735_763_672_048, + 3_418_946_029_828, + 4_272_734_547_325, + 5_339_733_459_561, + 6_673_186_247_202, + 8_339_632_497_968, + 10_422_228_246_713, + 13_024_895_479_873, + 16_277_507_865_472, + 20_342_371_477_755, + 25_422_323_906_030, + 31_770_855_895_039, + 39_704_760_588_937, + 49_619_941_578_941, + 62_011_168_579_708, + 77_496_766_547_041, + 96_849_470_229_332, + 121_034_983_801_662, + 151_260_169_716_776, + 189_033_271_407_218, + 236_239_174_964_722, + 295_233_465_371_227, + 368_959_970_708_159, + 461_097_659_825_906, + 576_244_223_699_537, + 720_145_501_220_837, + 899_982_197_824_202, + 1_124_728_204_268_958, + 1_405_598_395_764_242, + 1_756_608_256_711_376, + 2_195_273_256_461_608, + 2_743_482_875_093_526, + 3_428_592_893_288_895, + 4_284_790_451_812_234, + 5_354_799_997_362_741, + 6_692_015_241_872_217, + 8_363_163_520_487_393, + 10_451_635_500_286_660, + 13_061_646_392_929_340, + 16_323_436_316_664_962, + 20_399_769_306_911_908, + 25_494_055_277_464_320, + 31_860_500_219_979_916, + 39_816_791_138_938_128, + 49_759_948_703_116_168, + 62_186_138_664_382_240, + 77_715_430_637_966_096, + 97_122_739_712_794_128, + 121_376_494_885_057_824, + 151_686_963_878_365_184, + 189_566_645_769_641_536, + 236_905_745_026_110_112, + 296_066_493_124_416_576, + 370_001_024_421_461_120, + 462_398_688_308_847_616, + 577_870_148_559_894_272, + 722_177_456_467_159_168, + 902_521_578_470_703_232, + 1_127_901_725_969_053_440, + 1_409_564_417_949_554_176, + 1_761_564_684_762_243_072, + 2_201_467_417_229_139_712, + 2_751_223_858_563_934_208, + 3_438_266_976_241_865_216, + 4_296_880_373_117_286_912, + 5_369_909_046_755_117_056, + 6_710_897_364_243_506_176, + 8_386_760_937_901_637_632, 10_481_125_729_068_822_528, 13_098_501_001_989_197_824, 16_369_494_359_109_736_448,