zig/lib/std/fmt/errol/enum3.zig

882 lines
26 KiB
Zig

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),
};