1 files changed, 881 insertions, 0 deletions
diff --git a/lib/std/fmt/errol/enum3.zig b/lib/std/fmt/errol/enum3.zig
new file mode 100644
index 0000000000..c27753483d
--- /dev/null
+++ b/lib/std/fmt/errol/enum3.zig
@@ -0,0 +1,881 @@
+pub const enum3 = [_]u64{
+    0x4e2e2785c3a2a20b,
+    0x240a28877a09a4e1,
+    0x728fca36c06cf106,
+    0x1016b100e18e5c17,
+    0x3159190e30e46c1d,
+    0x64312a13daa46fe4,
+    0x7c41926c7a7122ba,
+    0x08667a3c8dc4bc9c,
+    0x18dde996371c6060,
+    0x297c2c31a31998ae,
+    0x368b870de5d93270,
+    0x57d561def4a9ee32,
+    0x6d275d226331d03a,
+    0x76703d7cb98edc59,
+    0x7ec490abad057752,
+    0x037be9d5a60850b5,
+    0x0c63165633977bca,
+    0x14a048cb468bc209,
+    0x20dc29bc6879dfcd,
+    0x2643dc6227de9148,
+    0x2d64f14348a4c5db,
+    0x341eef5e1f90ac35,
+    0x4931159a8bd8a240,
+    0x503ca9bade45b94a,
+    0x5c1af5b5378aa2e5,
+    0x6b4ef9beaa7aa584,
+    0x6ef1c382c3819a0a,
+    0x754fe46e378bf133,
+    0x7ace779fddf21622,
+    0x7df22815078cb97b,
+    0x7f33c8eeb77b8d05,
+    0x011b7aa3d73f6658,
+    0x06ceb7f2c53db97f,
+    0x0b8f3d82e9356287,
+    0x0e304273b18918b0,
+    0x139fb24e492936f6,
+    0x176090684f5fe997,
+    0x1e3035e7b5183922,
+    0x220ce77c2b3328fc,
+    0x246441ed79830182,
+    0x279b5cd8bbdd8770,
+    0x2cc7c3fba45c1272,
+    0x3081eab25ad0fcf7,
+    0x329f5a18504dfaac,
+    0x347eef5e1f90ac35,
+    0x3a978cfcab31064c,
+    0x4baa32ac316fb3ab,
+    0x4eb9a2c2a34ac2f9,
+    0x522f6a5025e71a61,
+    0x5935ede8cce30845,
+    0x5f9aeac2d1ea2695,
+    0x6820ee7811241ad3,
+    0x6c06c9e14b7c22c3,
+    0x6e5a2fbffdb7580c,
+    0x71160cf8f38b0465,
+    0x738a37935f3b71c9,
+    0x756fe46e378bf133,
+    0x7856d2aa2fc5f2b5,
+    0x7bd3b063946e10ae,
+    0x7d8220e1772428d7,
+    0x7e222815078cb97b,
+    0x7ef5bc471d5456c7,
+    0x7fb82baa4ae611dc,
+    0x00bb7aa3d73f6658,
+    0x0190a0f3c55062c5,
+    0x05898e3445512a6e,
+    0x07bfe89cf1bd76ac,
+    0x08dfa7ebe304ee3e,
+    0x0c43165633977bca,
+    0x0e104273b18918b0,
+    0x0fd6ba8608faa6a9,
+    0x10b4139a6b17b224,
+    0x1466cc4fc92a0fa6,
+    0x162ba6008389068a,
+    0x1804116d591ef1fb,
+    0x1c513770474911bd,
+    0x1e7035e7b5183923,
+    0x2114dab846e19e25,
+    0x222ce77c2b3328fc,
+    0x244441ed79830182,
+    0x249b23b50fc204db,
+    0x278aacfcb88c92d6,
+    0x289d52af46e5fa6a,
+    0x2bdec922478c0421,
+    0x2d44f14348a4c5dc,
+    0x2f0c1249e96b6d8d,
+    0x30addc7e975c5045,
+    0x322aedaa0fc32ac8,
+    0x33deef5e1f90ac34,
+    0x343eef5e1f90ac35,
+    0x35ef1de1f7f14439,
+    0x3854faba79ea92ec,
+    0x47f52d02c7e14af7,
+    0x4a6bb6979ae39c49,
+    0x4c85564fb098c955,
+    0x4e80fde34c996086,
+    0x4ed9a2c2a34ac2f9,
+    0x51a3274280201a89,
+    0x574fe0403124a00e,
+    0x581561def4a9ee31,
+    0x5b55ed1f039cebff,
+    0x5e2780695036a679,
+    0x624be064a3fb2725,
+    0x674dcfee6690ffc6,
+    0x6a6cc08102f0da5b,
+    0x6be6c9e14b7c22c4,
+    0x6ce75d226331d03a,
+    0x6d5b9445072f4374,
+    0x6e927edd0dbb8c09,
+    0x71060cf8f38b0465,
+    0x71b1d7cb7eae05d9,
+    0x72fba10d818fdafd,
+    0x739a37935f3b71c9,
+    0x755fe46e378bf133,
+    0x76603d7cb98edc59,
+    0x78447e17e7814ce7,
+    0x799d696737fe68c7,
+    0x7ade779fddf21622,
+    0x7c1c283ffc61c87d,
+    0x7d1a85c6f7fba05d,
+    0x7da220e1772428d7,
+    0x7e022815078cb97b,
+    0x7e9a9b45a91f1700,
+    0x7ee3c8eeb77b8d05,
+    0x7f13c8eeb77b8d05,
+    0x7f6594223f5654bf,
+    0x7fd82baa4ae611dc,
+    0x002d243f646eaf51,
+    0x00f5d15b26b80e30,
+    0x0180a0f3c55062c5,
+    0x01f393b456eef178,
+    0x05798e3445512a6e,
+    0x06afdadafcacdf85,
+    0x06e8b03fd6894b66,
+    0x07cfe89cf1bd76ac,
+    0x08ac25584881552a,
+    0x097822507db6a8fd,
+    0x0c27b35936d56e28,
+    0x0c53165633977bca,
+    0x0c8e9eddbbb259b4,
+    0x0e204273b18918b0,
+    0x0f1d16d6d4b89689,
+    0x0fe6ba8608faa6a9,
+    0x105f48347c60a1be,
+    0x13627383c5456c5e,
+    0x13f93bb1e72a2033,
+    0x148048cb468bc208,
+    0x1514c0b3a63c1444,
+    0x175090684f5fe997,
+    0x17e4116d591ef1fb,
+    0x18cde996371c6060,
+    0x19aa2cf604c30d3f,
+    0x1d2b1ad9101b1bfd,
+    0x1e5035e7b5183923,
+    0x1fe5a79c4e71d028,
+    0x20ec29bc6879dfcd,
+    0x218ce77c2b3328fb,
+    0x221ce77c2b3328fc,
+    0x233f346f9ed36b89,
+    0x243441ed79830182,
+    0x245441ed79830182,
+    0x247441ed79830182,
+    0x2541e4ee41180c0a,
+    0x277aacfcb88c92d6,
+    0x279aacfcb88c92d6,
+    0x27cbb4c6bd8601bd,
+    0x28c04a616046e074,
+    0x2a4eeff57768f88c,
+    0x2c2379f099a86227,
+    0x2d04f14348a4c5db,
+    0x2d54f14348a4c5dc,
+    0x2d6a8c931c19b77a,
+    0x2fa387cf9cb4ad4e,
+    0x308ddc7e975c5046,
+    0x3149190e30e46c1d,
+    0x318d2ec75df6ba2a,
+    0x32548050091c3c24,
+    0x33beef5e1f90ac34,
+    0x33feef5e1f90ac35,
+    0x342eef5e1f90ac35,
+    0x345eef5e1f90ac35,
+    0x35108621c4199208,
+    0x366b870de5d93270,
+    0x375b20c2f4f8d4a0,
+    0x3864faba79ea92ec,
+    0x3aa78cfcab31064c,
+    0x4919d9577de925d5,
+    0x49ccadd6dd730c96,
+    0x4b9a32ac316fb3ab,
+    0x4bba32ac316fb3ab,
+    0x4cff20b1a0d7f626,
+    0x4e3e2785c3a2a20b,
+    0x4ea9a2c2a34ac2f9,
+    0x4ec9a2c2a34ac2f9,
+    0x4f28750ea732fdae,
+    0x513843e10734fa57,
+    0x51e71760b3c0bc13,
+    0x55693ba3249a8511,
+    0x57763ae2caed4528,
+    0x57f561def4a9ee32,
+    0x584561def4a9ee31,
+    0x5b45ed1f039cebfe,
+    0x5bfaf5b5378aa2e5,
+    0x5c6cf45d333da323,
+    0x5e64ec8fd70420c7,
+    0x6009813653f62db7,
+    0x64112a13daa46fe4,
+    0x672dcfee6690ffc6,
+    0x677a77581053543b,
+    0x699873e3758bc6b3,
+    0x6b3ef9beaa7aa584,
+    0x6b7b86d8c3df7cd1,
+    0x6bf6c9e14b7c22c3,
+    0x6c16c9e14b7c22c3,
+    0x6d075d226331d03a,
+    0x6d5a3bdac4f00f33,
+    0x6e4a2fbffdb7580c,
+    0x6e927edd0dbb8c08,
+    0x6ee1c382c3819a0a,
+    0x70f60cf8f38b0465,
+    0x7114390c68b888ce,
+    0x714fb4840532a9e5,
+    0x727fca36c06cf106,
+    0x72eba10d818fdafd,
+    0x737a37935f3b71c9,
+    0x73972852443155ae,
+    0x754fe46e378bf132,
+    0x755fe46e378bf132,
+    0x756fe46e378bf132,
+    0x76603d7cb98edc58,
+    0x76703d7cb98edc58,
+    0x782f7c6a9ad432a1,
+    0x78547e17e7814ce7,
+    0x7964066d88c7cab8,
+    0x7ace779fddf21621,
+    0x7ade779fddf21621,
+    0x7bc3b063946e10ae,
+    0x7c0c283ffc61c87d,
+    0x7c31926c7a7122ba,
+    0x7d0a85c6f7fba05d,
+    0x7d52a5daf9226f04,
+    0x7d9220e1772428d7,
+    0x7db220e1772428d7,
+    0x7dfe5aceedf1c1f1,
+    0x7e122815078cb97b,
+    0x7e8a9b45a91f1700,
+    0x7eb6202598194bee,
+    0x7ec6202598194bee,
+    0x7ef3c8eeb77b8d05,
+    0x7f03c8eeb77b8d05,
+    0x7f23c8eeb77b8d05,
+    0x7f5594223f5654bf,
+    0x7f9914e03c9260ee,
+    0x7fc82baa4ae611dc,
+    0x7fefffffffffffff,
+    0x001d243f646eaf51,
+    0x00ab7aa3d73f6658,
+    0x00cb7aa3d73f6658,
+    0x010b7aa3d73f6658,
+    0x012b7aa3d73f6658,
+    0x0180a0f3c55062c6,
+    0x0190a0f3c55062c6,
+    0x03719f08ccdccfe5,
+    0x03dc25ba6a45de02,
+    0x05798e3445512a6f,
+    0x05898e3445512a6f,
+    0x06bfdadafcacdf85,
+    0x06cfdadafcacdf85,
+    0x06f8b03fd6894b66,
+    0x07c1707c02068785,
+    0x08567a3c8dc4bc9c,
+    0x089c25584881552a,
+    0x08dfa7ebe304ee3d,
+    0x096822507db6a8fd,
+    0x09e41934d77659be,
+    0x0c27b35936d56e27,
+    0x0c43165633977bc9,
+    0x0c53165633977bc9,
+    0x0c63165633977bc9,
+    0x0c7e9eddbbb259b4,
+    0x0c9e9eddbbb259b4,
+    0x0e104273b18918b1,
+    0x0e204273b18918b1,
+    0x0e304273b18918b1,
+    0x0fd6ba8608faa6a8,
+    0x0fe6ba8608faa6a8,
+    0x1006b100e18e5c17,
+    0x104f48347c60a1be,
+    0x10a4139a6b17b224,
+    0x12cb91d317c8ebe9,
+    0x138fb24e492936f6,
+    0x13afb24e492936f6,
+    0x14093bb1e72a2033,
+    0x1476cc4fc92a0fa6,
+    0x149048cb468bc209,
+    0x1504c0b3a63c1444,
+    0x161ba6008389068a,
+    0x168cfab1a09b49c4,
+    0x175090684f5fe998,
+    0x176090684f5fe998,
+    0x17f4116d591ef1fb,
+    0x18a710b7a2ef18b7,
+    0x18d99fccca44882a,
+    0x199a2cf604c30d3f,
+    0x1b5ebddc6593c857,
+    0x1d1b1ad9101b1bfd,
+    0x1d3b1ad9101b1bfd,
+    0x1e4035e7b5183923,
+    0x1e6035e7b5183923,
+    0x1fd5a79c4e71d028,
+    0x20cc29bc6879dfcd,
+    0x20e8823a57adbef8,
+    0x2104dab846e19e25,
+    0x2124dab846e19e25,
+    0x220ce77c2b3328fb,
+    0x221ce77c2b3328fb,
+    0x222ce77c2b3328fb,
+    0x229197b290631476,
+    0x240a28877a09a4e0,
+    0x243441ed79830181,
+    0x244441ed79830181,
+    0x245441ed79830181,
+    0x246441ed79830181,
+    0x247441ed79830181,
+    0x248b23b50fc204db,
+    0x24ab23b50fc204db,
+    0x2633dc6227de9148,
+    0x2653dc6227de9148,
+    0x277aacfcb88c92d7,
+    0x278aacfcb88c92d7,
+    0x279aacfcb88c92d7,
+    0x27bbb4c6bd8601bd,
+    0x289d52af46e5fa69,
+    0x28b04a616046e074,
+    0x28d04a616046e074,
+    0x2a3eeff57768f88c,
+    0x2b8e3a0aeed7be19,
+    0x2beec922478c0421,
+    0x2cc7c3fba45c1271,
+    0x2cf4f14348a4c5db,
+    0x2d44f14348a4c5db,
+    0x2d54f14348a4c5db,
+    0x2d5a8c931c19b77a,
+    0x2d64f14348a4c5dc,
+    0x2efc1249e96b6d8d,
+    0x2f0f6b23cfe98807,
+    0x2fe91b9de4d5cf31,
+    0x308ddc7e975c5045,
+    0x309ddc7e975c5045,
+    0x30bddc7e975c5045,
+    0x3150ed9bd6bfd003,
+    0x317d2ec75df6ba2a,
+    0x321aedaa0fc32ac8,
+    0x32448050091c3c24,
+    0x328f5a18504dfaac,
+    0x3336dca59d035820,
+    0x33ceef5e1f90ac34,
+    0x33eeef5e1f90ac35,
+    0x340eef5e1f90ac35,
+    0x34228f9edfbd3420,
+    0x34328f9edfbd3420,
+    0x344eef5e1f90ac35,
+    0x346eef5e1f90ac35,
+    0x35008621c4199208,
+    0x35e0ac2e7f90b8a3,
+    0x361dde4a4ab13e09,
+    0x367b870de5d93270,
+    0x375b20c2f4f8d49f,
+    0x37f25d342b1e33e5,
+    0x3854faba79ea92ed,
+    0x3864faba79ea92ed,
+    0x3a978cfcab31064d,
+    0x3aa78cfcab31064d,
+    0x490cd230a7ff47c3,
+    0x4929d9577de925d5,
+    0x4939d9577de925d5,
+    0x49dcadd6dd730c96,
+    0x4a7bb6979ae39c49,
+    0x4b9a32ac316fb3ac,
+    0x4baa32ac316fb3ac,
+    0x4bba32ac316fb3ac,
+    0x4cef20b1a0d7f626,
+    0x4e2e2785c3a2a20a,
+    0x4e3e2785c3a2a20a,
+    0x4e6454b1aef62c8d,
+    0x4e90fde34c996086,
+    0x4ea9a2c2a34ac2fa,
+    0x4eb9a2c2a34ac2fa,
+    0x4ec9a2c2a34ac2fa,
+    0x4ed9a2c2a34ac2fa,
+    0x4f38750ea732fdae,
+    0x504ca9bade45b94a,
+    0x514843e10734fa57,
+    0x51b3274280201a89,
+    0x521f6a5025e71a61,
+    0x52c6a47d4e7ec633,
+    0x55793ba3249a8511,
+    0x575fe0403124a00e,
+    0x57863ae2caed4528,
+    0x57e561def4a9ee32,
+    0x580561def4a9ee31,
+    0x582561def4a9ee31,
+    0x585561def4a9ee31,
+    0x59d0dd8f2788d699,
+    0x5b55ed1f039cebfe,
+    0x5beaf5b5378aa2e5,
+    0x5c0af5b5378aa2e5,
+    0x5c4ef3052ef0a361,
+    0x5e1780695036a679,
+    0x5e54ec8fd70420c7,
+    0x5e6b5e2f86026f05,
+    0x5faaeac2d1ea2695,
+    0x611260322d04d50b,
+    0x625be064a3fb2725,
+    0x64212a13daa46fe4,
+    0x671dcfee6690ffc6,
+    0x673dcfee6690ffc6,
+    0x675dcfee6690ffc6,
+    0x678a77581053543b,
+    0x682d3683fa3d1ee0,
+    0x699cb490951e8515,
+    0x6b3ef9beaa7aa583,
+    0x6b4ef9beaa7aa583,
+    0x6b7896beb0c66eb9,
+    0x6bdf20938e7414bb,
+    0x6bef20938e7414bb,
+    0x6bf6c9e14b7c22c4,
+    0x6c06c9e14b7c22c4,
+    0x6c16c9e14b7c22c4,
+    0x6cf75d226331d03a,
+    0x6d175d226331d03a,
+    0x6d4b9445072f4374,
+};
+
+const Slab = struct {
+    str: []const u8,
+    exp: i32,
+};
+
+fn slab(str: []const u8, exp: i32) Slab {
+    return Slab{
+        .str = str,
+        .exp = exp,
+    };
+}
+
+pub const enum3_data = [_]Slab{
+    slab("40648030339495312", 69),
+    slab("4498645355592131", -134),
+    slab("678321594594593", 244),
+    slab("36539702510912277", -230),
+    slab("56819570380646536", -70),
+    slab("42452693975546964", 175),
+    slab("34248868699178663", 291),
+    slab("34037810581283983", -267),
+    slab("67135881167178176", -188),
+    slab("74973710847373845", -108),
+    slab("60272377639347644", -45),
+    slab("1316415380484425", 116),
+    slab("64433314612521525", 218),
+    slab("31961502891542243", 263),
+    slab("4407140524515149", 303),
+    slab("69928982131052126", -291),
+    slab("5331838923808276", -248),
+    slab("24766435002945523", -208),
+    slab("21509066976048781", -149),
+    slab("2347200170470694", -123),
+    slab("51404180294474556", -89),
+    slab("12320586499023201", -56),
+    slab("38099461575161174", 45),
+    slab("3318949537676913", 79),
+    slab("48988560059074597", 136),
+    slab("7955843973866726", 209),
+    slab("2630089515909384", 227),
+    slab("11971601492124911", 258),
+    slab("35394816534699092", 284),
+    slab("47497368114750945", 299),
+    slab("54271187548763685", 305),
+    slab("2504414972009504", -302),
+    slab("69316187906522606", -275),
+    slab("53263359599109627", -252),
+    slab("24384437085962037", -239),
+    slab("3677854139813342", -213),
+    slab("44318030915155535", -195),
+    slab("28150140033551147", -162),
+    slab("1157373742186464", -143),
+    slab("2229658838863212", -132),
+    slab("67817280930489786", -117),
+    slab("56966478488538934", -92),
+    slab("49514357246452655", -74),
+    slab("74426102121433776", -64),
+    slab("78851753593748485", -55),
+    slab("19024128529074359", -25),
+    slab("32118580932839778", 57),
+    slab("17693166778887419", 72),
+    slab("78117757194253536", 88),
+    slab("56627018760181905", 122),
+    slab("35243988108650928", 153),
+    slab("38624526316654214", 194),
+    slab("2397422026462446", 213),
+    slab("37862966954556723", 224),
+    slab("56089100059334965", 237),
+    slab("3666156212014994", 249),
+    slab("47886405968499643", 258),
+    slab("48228872759189434", 272),
+    slab("29980574575739863", 289),
+    slab("37049827284413546", 297),
+    slab("37997894491800756", 300),
+    slab("37263572163337027", 304),
+    slab("16973149506391291", 308),
+    slab("391314839376485", -304),
+    slab("38797447671091856", -300),
+    slab("54994366114768736", -281),
+    slab("23593494977819109", -270),
+    slab("61359116592542813", -265),
+    slab("1332959730952069", -248),
+    slab("6096109271490509", -240),
+    slab("22874741188249992", -231),
+    slab("33104948806015703", -227),
+    slab("21670630627577332", -209),
+    slab("70547825868713855", -201),
+    slab("54981742371928845", -192),
+    slab("27843818440071113", -171),
+    slab("4504022405368184", -161),
+    slab("2548351460621656", -148),
+    slab("4629494968745856", -143),
+    slab("557414709715803", -133),
+    slab("23897004381644022", -131),
+    slab("33057350728075958", -117),
+    slab("47628822744182433", -112),
+    slab("22520091703825729", -96),
+    slab("1285104507361864", -89),
+    slab("46239793787746783", -81),
+    slab("330095714976351", -73),
+    slab("4994144928421182", -66),
+    slab("77003665618895", -58),
+    slab("49282345996092803", -56),
+    slab("66534156679273626", -48),
+    slab("24661175471861008", -36),
+    slab("45035996273704964", 39),
+    slab("32402369146794532", 51),
+    slab("42859354584576066", 61),
+    slab("1465909318208761", 71),
+    slab("70772667115549675", 72),
+    slab("18604316837693468", 86),
+    slab("38329392744333992", 113),
+    slab("21062646087750798", 117),
+    slab("972708181182949", 132),
+    slab("36683053719290777", 146),
+    slab("32106017483029628", 166),
+    slab("41508952543121158", 190),
+    slab("45072812455233127", 205),
+    slab("59935550661561155", 212),
+    slab("40270821632825953", 217),
+    slab("60846862848160256", 219),
+    slab("42788225889846894", 225),
+    slab("28044550029667482", 237),
+    slab("46475406389115295", 240),
+    slab("7546114860200514", 246),
+    slab("7332312424029988", 249),
+    slab("23943202984249821", 258),
+    slab("15980751445771122", 263),
+    slab("21652206566352648", 272),
+    slab("65171333649148234", 278),
+    slab("70789633069398184", 284),
+    slab("68600253110025576", 290),
+    slab("4234784709771466", 295),
+    slab("14819930913765419", 298),
+    slab("9499473622950189", 299),
+    slab("71272819274635585", 302),
+    slab("16959746108988652", 304),
+    slab("13567796887190921", 305),
+    slab("4735325513114182", 306),
+    slab("67892598025565165", 308),
+    slab("81052743999542975", -307),
+    slab("4971131903427841", -303),
+    slab("19398723835545928", -300),
+    slab("29232758945460627", -298),
+    slab("27497183057384368", -281),
+    slab("17970091719480621", -275),
+    slab("22283747288943228", -274),
+    slab("47186989955638217", -270),
+    slab("6819439187504402", -266),
+    slab("47902021250710456", -262),
+    slab("41378294570975613", -249),
+    slab("2665919461904138", -248),
+    slab("3421423777071132", -247),
+    slab("12192218542981019", -239),
+    slab("7147520638007367", -235),
+    slab("45749482376499984", -231),
+    slab("80596937390013985", -229),
+    slab("26761990828289327", -214),
+    slab("18738512510673039", -211),
+    slab("619160875073638", -209),
+    slab("403997300048931", -206),
+    slab("22159015457577768", -195),
+    slab("13745435592982211", -192),
+    slab("33567940583589088", -188),
+    slab("4812711195250522", -184),
+    slab("3591036630219558", -167),
+    slab("1126005601342046", -161),
+    slab("5047135806497922", -154),
+    slab("43018133952097563", -149),
+    slab("45209911804158747", -146),
+    slab("2314747484372928", -143),
+    slab("65509428048152994", -138),
+    slab("2787073548579015", -133),
+    slab("1114829419431606", -132),
+    slab("4459317677726424", -132),
+    slab("32269008655522087", -128),
+    slab("16528675364037979", -117),
+    slab("66114701456151916", -117),
+    slab("54934856534126976", -116),
+    slab("21168365664081082", -111),
+    slab("67445733463759384", -104),
+    slab("45590931008842566", -95),
+    slab("8031903171011649", -91),
+    slab("2570209014723728", -89),
+    slab("6516605505584466", -89),
+    slab("32943123175907307", -78),
+    slab("82523928744087755", -74),
+    slab("28409785190323268", -70),
+    slab("52853886779813977", -69),
+    slab("30417302377115577", -65),
+    slab("1925091640472375", -58),
+    slab("30801466247558002", -57),
+    slab("24641172998046401", -56),
+    slab("19712938398437121", -55),
+    slab("43129529027318865", -52),
+    slab("15068094409836911", -45),
+    slab("48658418478920193", -41),
+    slab("49322350943722016", -36),
+    slab("38048257058148717", -25),
+    slab("14411294198511291", 45),
+    slab("32745697577386472", 48),
+    slab("16059290466419889", 57),
+    slab("64237161865679556", 57),
+    slab("8003248329710242", 63),
+    slab("81296060678990625", 69),
+    slab("8846583389443709", 71),
+    slab("35386333557774838", 72),
+    slab("21606114462319112", 74),
+    slab("18413733104063271", 84),
+    slab("35887030159858487", 87),
+    slab("2825769263311679", 104),
+    slab("2138446062528161", 114),
+    slab("52656615219377", 116),
+    slab("16850116870200639", 118),
+    slab("48635409059147446", 132),
+    slab("12247140014768649", 136),
+    slab("16836228873919609", 138),
+    slab("5225574770881846", 147),
+    slab("42745323906998127", 155),
+    slab("10613173493886741", 175),
+    slab("10377238135780289", 190),
+    slab("29480080280199528", 191),
+    slab("4679330956996797", 201),
+    slab("3977921986933363", 209),
+    slab("56560320317673966", 210),
+    slab("1198711013231223", 213),
+    slab("4794844052924892", 213),
+    slab("16108328653130381", 218),
+    slab("57878622568856074", 219),
+    slab("18931483477278361", 224),
+    slab("4278822588984689", 225),
+    slab("1315044757954692", 227),
+    slab("14022275014833741", 237),
+    slab("5143975308105889", 237),
+    slab("64517311884236306", 238),
+    slab("3391607972972965", 244),
+    slab("3773057430100257", 246),
+    slab("1833078106007497", 249),
+    slab("64766168833734675", 249),
+    slab("1197160149212491", 258),
+    slab("2394320298424982", 258),
+    slab("4788640596849964", 258),
+    slab("1598075144577112", 263),
+    slab("3196150289154224", 263),
+    slab("83169412421960475", 271),
+    slab("43304413132705296", 272),
+    slab("5546524276967009", 277),
+    slab("3539481653469909", 284),
+    slab("7078963306939818", 284),
+    slab("14990287287869931", 289),
+    slab("34300126555012788", 290),
+    slab("17124434349589332", 291),
+    slab("2117392354885733", 295),
+    slab("47639264836707725", 296),
+    slab("7409965456882709", 297),
+    slab("29639861827530837", 298),
+    slab("79407577493590275", 299),
+    slab("18998947245900378", 300),
+    slab("35636409637317792", 302),
+    slab("23707742595255608", 303),
+    slab("47415485190511216", 303),
+    slab("33919492217977303", 304),
+    slab("6783898443595461", 304),
+    slab("27135593774381842", 305),
+    slab("2367662756557091", 306),
+    slab("44032152438472327", 307),
+    slab("33946299012782582", 308),
+    slab("17976931348623157", 309),
+    slab("40526371999771488", -307),
+    slab("1956574196882425", -304),
+    slab("78262967875297", -304),
+    slab("1252207486004752", -302),
+    slab("5008829944019008", -302),
+    slab("1939872383554593", -300),
+    slab("3879744767109186", -300),
+    slab("44144884605471774", -291),
+    slab("45129663866844427", -289),
+    slab("2749718305738437", -281),
+    slab("5499436611476874", -281),
+    slab("35940183438961242", -275),
+    slab("71880366877922484", -275),
+    slab("44567494577886457", -274),
+    slab("25789638850173173", -270),
+    slab("17018905290641991", -267),
+    slab("3409719593752201", -266),
+    slab("6135911659254281", -265),
+    slab("23951010625355228", -262),
+    slab("51061856989121905", -260),
+    slab("4137829457097561", -249),
+    slab("13329597309520689", -248),
+    slab("26659194619041378", -248),
+    slab("53318389238082755", -248),
+    slab("1710711888535566", -247),
+    slab("6842847554142264", -247),
+    slab("609610927149051", -240),
+    slab("1219221854298102", -239),
+    slab("2438443708596204", -239),
+    slab("2287474118824999", -231),
+    slab("4574948237649998", -231),
+    slab("18269851255456139", -230),
+    slab("40298468695006992", -229),
+    slab("16552474403007851", -227),
+    slab("39050270537318193", -217),
+    slab("1838927069906671", -213),
+    slab("7355708279626684", -213),
+    slab("37477025021346077", -211),
+    slab("43341261255154663", -209),
+    slab("12383217501472761", -208),
+    slab("2019986500244655", -206),
+    slab("35273912934356928", -201),
+    slab("47323883490786093", -199),
+    slab("2215901545757777", -195),
+    slab("4431803091515554", -195),
+    slab("27490871185964422", -192),
+    slab("64710073234908765", -189),
+    slab("57511323531737074", -188),
+    slab("2406355597625261", -184),
+    slab("75862936714499446", -176),
+    slab("1795518315109779", -167),
+    slab("7182073260439116", -167),
+    slab("563002800671023", -162),
+    slab("2252011202684092", -161),
+    slab("2523567903248961", -154),
+    slab("10754533488024391", -149),
+    slab("37436263604934127", -149),
+    slab("1274175730310828", -148),
+    slab("5096702921243312", -148),
+    slab("11573737421864639", -143),
+    slab("23147474843729279", -143),
+    slab("46294949687458557", -143),
+    slab("36067106647774144", -141),
+    slab("44986453555921307", -134),
+    slab("27870735485790148", -133),
+    slab("55741470971580295", -133),
+    slab("11148294194316059", -132),
+    slab("22296588388632118", -132),
+    slab("44593176777264236", -132),
+    slab("11948502190822011", -131),
+    slab("47794008763288043", -131),
+    slab("1173600085235347", -123),
+    slab("4694400340941388", -123),
+    slab("1652867536403798", -117),
+    slab("3305735072807596", -117),
+    slab("6611470145615192", -117),
+    slab("27467428267063488", -116),
+    slab("4762882274418243", -112),
+    slab("10584182832040541", -111),
+    slab("42336731328162165", -111),
+    slab("33722866731879692", -104),
+    slab("69097540994131414", -98),
+    slab("45040183407651457", -96),
+    slab("5696647848853893", -92),
+    slab("40159515855058247", -91),
+    slab("12851045073618639", -89),
+    slab("25702090147237278", -89),
+    slab("3258302752792233", -89),
+    slab("5140418029447456", -89),
+    slab("23119896893873391", -81),
+    slab("51753157237874753", -81),
+    slab("67761208324172855", -77),
+    slab("8252392874408775", -74),
+    slab("1650478574881755", -73),
+    slab("660191429952702", -73),
+    slab("3832399419240467", -70),
+    slab("26426943389906988", -69),
+    slab("2497072464210591", -66),
+    slab("15208651188557789", -65),
+    slab("37213051060716888", -64),
+    slab("55574205388093594", -61),
+    slab("385018328094475", -58),
+    slab("15400733123779001", -57),
+    slab("61602932495116004", -57),
+    slab("14784703798827841", -56),
+    slab("29569407597655683", -56),
+    slab("9856469199218561", -56),
+    slab("39425876796874242", -55),
+    slab("21564764513659432", -52),
+    slab("35649516398744314", -48),
+    slab("51091836539008967", -47),
+    slab("30136188819673822", -45),
+    slab("4865841847892019", -41),
+    slab("33729482964455627", -38),
+    slab("2466117547186101", -36),
+    slab("4932235094372202", -36),
+    slab("1902412852907436", -25),
+    slab("3804825705814872", -25),
+    slab("80341375308088225", 44),
+    slab("28822588397022582", 45),
+    slab("57645176794045164", 45),
+    slab("65491395154772944", 48),
+    slab("64804738293589064", 51),
+    slab("1605929046641989", 57),
+    slab("3211858093283978", 57),
+    slab("6423716186567956", 57),
+    slab("4001624164855121", 63),
+    slab("4064803033949531", 69),
+    slab("8129606067899062", 69),
+    slab("4384946084578497", 70),
+    slab("2931818636417522", 71),
+    slab("884658338944371", 71),
+    slab("1769316677888742", 72),
+    slab("3538633355777484", 72),
+    slab("7077266711554968", 72),
+    slab("43212228924638223", 74),
+    slab("6637899075353826", 79),
+    slab("36827466208126543", 84),
+    slab("37208633675386937", 86),
+    slab("39058878597126768", 88),
+    slab("57654578150150385", 91),
+    slab("5651538526623358", 104),
+    slab("76658785488667984", 113),
+    slab("4276892125056322", 114),
+    slab("263283076096885", 116),
+    slab("10531323043875399", 117),
+    slab("42125292175501597", 117),
+    slab("33700233740401277", 118),
+    slab("44596066840334405", 125),
+    slab("9727081811829489", 132),
+    slab("61235700073843246", 135),
+    slab("24494280029537298", 136),
+    slab("4499029632233837", 137),
+    slab("18341526859645389", 146),
+    slab("2612787385440923", 147),
+    slab("6834859331393543", 147),
+    slab("70487976217301855", 153),
+    slab("40366692112133834", 160),
+    slab("64212034966059256", 166),
+    slab("21226346987773482", 175),
+    slab("51886190678901447", 189),
+    slab("20754476271560579", 190),
+    slab("83017905086242315", 190),
+    slab("58960160560399056", 191),
+    slab("66641177824100826", 194),
+    slab("5493127645170153", 201),
+    slab("39779219869333628", 209),
+    slab("79558439738667255", 209),
+    slab("50523702331566894", 210),
+    slab("40933393326155808", 212),
+    slab("81866786652311615", 212),
+    slab("11987110132312231", 213),
+    slab("23974220264624462", 213),
+    slab("47948440529248924", 213),
+    slab("8054164326565191", 217),
+    slab("32216657306260762", 218),
+    slab("30423431424080128", 219),
+};