pub(crate) const CONST_BITS: u64 = 65536;
pub(crate) const LN2_SIG: [u64; 1024] = [
0x5239eb601136ca47,
0x2f3fa6b82b661a11,
0x9e19e287b872501c,
0x1d4aa7989e734748,
0x5bb17e97f88f78b0,
0x6101359f3e86aa6c,
0x7ea4758bde737493,
0xccf0620d22ab60c4,
0x91ae7958306c6bbf,
0x193e04404c468a70,
0x805eb66074ce5a13,
0x9f0fc16ab45a6851,
0xa87599fd23af449f,
0xe395c88bdea68165,
0xef95fc1fae9c07e3,
0xc35a785240bda4db,
0x4528c0e0e09339db,
0x0a955d7b1b36a4e7,
0x1135b46d0b3b1da4,
0x96effa622b27df7d,
0x0f4d606dc5152652,
0x5a0bda1c1ee2265f,
0xe8d2787eae95202e,
0xafb1cf91c4db54bd,
0xb58cf248d7bddb1b,
0xde9565530a58d28b,
0xdaa65e90f2f641c1,
0x6f32e0652790612a,
0x10a41ab2f7c44094,
0x9e5185eb8a3af438,
0xe3ce483083d1e39c,
0xe216340a8beb7a85,
0x1138819c211cd1d9,
0xdbe51fedfdd3f30a,
0x700fde8cd7f7f8fd,
0x39e2fffe238e1a34,
0x82fe508c173251a8,
0x4653f3aa13844b4c,
0x0b60752a710e4419,
0xeb933586c00af4cb,
0xc6598f77eca870e3,
0xa2d87cb810d56b17,
0x94e9a56b9a0d0cd3,
0xebeb7a945640bfd4,
0x7d109598d7dfc308,
0x450babd1803af26e,
0xd2b590eb166d6865,
0x9bc487fb4ec92c43,
0x4b254f6eff4b75e7,
0xe6c7f6ff0debefc8,
0x6fc785847989616b,
0xa23a6b996017cebc,
0xce22d92faa4f2de6,
0x933e80573c7abbab,
0x3b3566b43afacd67,
0xed8a7a54d387ded7,
0x9bd7996c992c0a8c,
0x52e9a7bd7cefe811,
0x5cd54e10e994513c,
0x37e44fb99f7eb097,
0xfea7d75669772bd1,
0xe290baef854eea08,
0xc322dd77ad0ae4bc,
0x8fa5862c75f94913,
0x3f64bc197f7d79ad,
0x535152df6dcb593d,
0x747f609e081281fb,
0x08cbabfdb08cf9d5,
0x318078534edc396e,
0x9beac83bfeeab2fd,
0x7af50dbfafa390bf,
0xb5465263dd17db17,
0xfadf9e8559e359bc,
0x4f5dad4e3a57568d,
0xe0dd262fbdbd4c90,
0x122ff07902b5a102,
0x9e9fbbef5becde51,
0xc97434e3b23a5f3f,
0x9f5522a1b53650f9,
0x1f45c2e96a8eb539,
0x134b2fd9aa61ceeb,
0xebd4a91176d5e9b9,
0xfd47c5fae6ce091b,
0x56d5781cea87b8b9,
0xa020030d5d061fd4,
0xe8c6cdff357853be,
0x2adaab72b0d3348d,
0xf95cf02c71cba80e,
0xecf1c065d9b2c0e5,
0x1925d5eee17d7c99,
0xd8e9b1abf15b5ea0,
0xe4fd45a93f0ef3f5,
0x3939bbd86f6f7743,
0x2870e3f591dfcc90,
0xddd65b8594323192,
0xaafef69162d1b0cb,
0x19905333ce549a45,
0x2b238f8df267f731,
0xe7a5f657c1bb616d,
0x36de9869941854eb,
0x89769d29a5bdb7d8,
0x13dd3c3e6b52df8d,
0x5cf8d959157ec6a6,
0xc84f8df5fb1a48aa,
0xaa8b05774f254602,
0x7caed67c5a684a61,
0x4b2cedc564bada31,
0xef9c41d8870a5f3b,
0x91afa6e6492c493b,
0x2f803f2bce923487,
0xec263e8403e79531,
0x40520cb93593ce9a,
0xe10a3734f17acfee,
0xe27bc80d202676e5,
0xda3417564d22a400,
0x7a03d64a2cba4840,
0x89f34c7c8e49ad0c,
0x4b4efa9726ac1ff8,
0x2560c1067acd8d8d,
0x2b865da1d50aecf2,
0x5b1a545734b4751a,
0xb4bb835c7c9bdf5b,
0xcc938a7f9154da08,
0x31044d8c636d7719,
0x38a8d6106580b596,
0x9480146c9fb66eac,
0xea9d81c7aef9c9c3,
0xf358a0d37dbc9e6d,
0x93c71139a616ada2,
0xd723ac649ab8bf0c,
0xdd66b0bbb17820d7,
0x84121dcd4cb69d6f,
0x71bff73d2864c90b,
0x9cd33e6c56af1e58,
0xe2a29a164a8caeb0,
0x3b9b686886436d4a,
0xf06dcb4d3b471bc3,
0x457900e2094b4a34,
0x39ff8060224e2f1f,
0x340f4723ee92f041,
0x09bda8e19173d7fa,
0xbb685a7511ebd3ec,
0x0ec6704480cb14ea,
0x7467478c0bac2004,
0x4079b5a80638dd4f,
0xc19dfa9a6023b4e3,
0x07b19944cf80c09c,
0x57ae21a6fc2066ee,
0x78ea9af5fa14a50a,
0x6dd1f8bb7cc26d32,
0x46dd821340ad76cd,
0xa227d50dc955d731,
0x8457f23f08ace644,
0x5ce7d49715f3a1f1,
0x716433aeca5495b4,
0x25e8ba6eb9d0fc37,
0xa1267d596b555e89,
0xbfa75c0082176cc0,
0x5f3f02cfb81225a8,
0x603a65140aa0e6e5,
0xa66ba27c049e9b20,
0xc12f380ba3c3c955,
0x8c03ebd1b5a46d4a,
0xb21b23cb7c15b913,
0xd657affa57dee7f1,
0x445bccc60329bdf0,
0xfd2bac6e00c4de78,
0x0192546d46c52d5d,
0x8cb0f5f6d0be15f6,
0x266a25f318964513,
0x9884805a478d1589,
0x9fb77428ae1d7538,
0x3167a8145747a2cf,
0x8c893059a5a39a11,
0x8f89fd5a3847399c,
0xfbe10d6a6d335f6d,
0xcb1de1061286be0e,
0xf781ac7f3fbeca8a,
0x8f83e0a590b6dd06,
0xf1fedd9f261b2f70,
0x6af0478192f6f657,
0xcc3a295bbc69298f,
0xb0cb22a9961fef04,
0x0dc315f8877792ab,
0xd99fc6ccc31e00ec,
0xfb6e7df0a2eab318,
0x3c35b29a6138a325,
0xf3542f0606a0150e,
0xd80f8d2d279510e9,
0x810ed2eb042afff3,
0xb2cfe37e169b3b27,
0x3d5774a745fbceb8,
0x7ae7d9b6d251a69b,
0xebda33ddf0a60888,
0x132dafa2120a0e22,
0x48fdba247138da57,
0x093f0fff1c8d4e53,
0x7bba37b4ebcb2a87,
0xb67d937e8af2d4ba,
0x38f02c60cd21ea4e,
0x54c26937569f2323,
0x4d617a93e839ed4e,
0xcc87998388fc634b,
0x596e252177aeab50,
0x7ed3a15dcd629197,
0xb5762ac3acd0503f,
0xcd62a40f192eb12f,
0x31d95808d2cf9af8,
0x048830010992835b,
0xc918777ed20575d2,
0xabae82f47f0dd43c,
0x9e522923af7b6e8b,
0xbdfa01628857b75d,
0x38613287cf9b426f,
0x5760ddeb4c3bb17f,
0xc4c68eba19fc2cd6,
0x40303cf8af08fd70,
0x152a8bc076c133ab,
0xf36af8ac0ecf9539,
0x2cf6a13cd9d4995a,
0x9264d16f09a89e91,
0x5689c6402186d040,
0xbeea18231c159186,
0x3ce43fd5bd8167b5,
0x93448d78260e0047,
0x2d574bd21093e58f,
0x4aec1fe6be4b1c34,
0x05e6763223e75105,
0x1936327dba03a3e3,
0xfed6a54e26aff356,
0xa33b0975918cd26e,
0x42c663182f627fa6,
0x9364d24a0c8e6dde,
0x4cb8f42da7f09a63,
0x2c9f03a972a6b078,
0xa66d1061b2081fcc,
0xd5f5e2970dadf478,
0x648f78f0bce5ccc7,
0x66805a5657880d76,
0x0234deb377b98c8b,
0x2949f1a95f3f3ad2,
0x20b03d99a2a05bab,
0xd003a7a3eaa6285d,
0x17e38420348c4b72,
0x277a73883ddd831e,
0xccdd4a90fc35e549,
0xfc7f21aa64087587,
0x5f04b3d552b7e7b0,
0x9504632c382daabf,
0x5f9f1eeb4b9f2020,
0x1bda810b81a862b2,
0x8b738629df652641,
0x18caee8310695c4e,
0xcd19efae5d3e56e0,
0x53669f1063ee9bc3,
0x277cbee66b6155f8,
0xb8044c212424cbe4,
0x1c0f0b20b3e1eaf9,
0x3bbfd3b32a10e4a1,
0xf687632a3e9fa152,
0x18ddcd79dc4d3d36,
0xaf8b31b6443b872a,
0xa15d72e5a68d4ba2,
0xf99cce6f73afec68,
0x48cd14655acf6e16,
0x91673273ed3c198b,
0x107b805be8bd7121,
0x53953e3b57ddad76,
0x78a58f20c9bc80a2,
0x1afefe8f8cfb1515,
0x86c994618cab1182,
0xec82e0f2055482ee,
0x6dca470a80ba1d29,
0x6c5eebc1320ef4f0,
0x633a251ba8bf05f9,
0x31ac03ee52d8a20e,
0x97a17c861ceda257,
0x8d2c2617154562d2,
0x3e31de2a4d9777cf,
0xcc9dad360960ff8e,
0x8bff70a8dbc57dd4,
0x5bccde496c68ec6a,
0x5e10b34c792b9ca5,
0xc8e69f94b272d620,
0x0cb799b0fefde03b,
0x55e6bc9b19cbd3dd,
0x657354fae67b9629,
0xbd57248afa7486c7,
0x9292dc9192e8811b,
0xa1310bf3ce5aabde,
0xb25017a374cbda26,
0x43704fef7d261ca2,
0x83942af3850ca13c,
0xc90d07e1ac90e386,
0xdb28f8d1914ce2bf,
0xda647f934c1649aa,
0x6fa3fd6d35c41a4b,
0xa738ff840b7fced3,
0xdf213ef9683feb19,
0x3c8b51a1f590588f,
0x7bdc1658a576e343,
0x8c9ca2736c8f8b6d,
0xb43e4a062ba5466c,
0xaf371cdda8b13efc,
0x7db8f42b26e0124e,
0x1cd6d4aed5714bab,
0x1d03dc81f3cb651e,
0xc0eba25e5d3afc8d,
0x3a3853222c9395a2,
0x2019fe716a6255b2,
0xc26430fdf4540125,
0xf52df4a5da2443d8,
0x955e35dab7adf91d,
0x80f24986ad4cb5b2,
0x10b8730da1d72535,
0xdc66c510d008ac9b,
0x2379964e1eb74359,
0xd6afb1aee9a6f82b,
0x2b5b1866f7e70ccf,
0xb672bf075c73f881,
0xa06f7540295b2a84,
0x95c1288128d192d0,
0x726379d021310de5,
0x8b8451eef89c7837,
0x0819eee317a9db7a,
0x848703b36238002a,
0x354d55828f865f0c,
0xd613dc4fc427af24,
0x501b179ac0d57074,
0xd8cd8af148fa74c6,
0xc1fe50c40932476b,
0x4ef1f579316126da,
0x664bb6136bcd2eba,
0xb1a51bcf7beea721,
0x1f604ca8ada45a6c,
0x0ab8d771f21960cd,
0x1ec356dc07f85f17,
0x30935c5cceac4ead,
0x0be4a9acbc6b6810,
0x044615f524675942,
0x754eb7b81cdb2125,
0xc7321c4a6e701584,
0x72bd1f366d9c1892,
0xcee5c2b027c47322,
0x7fecf5d2b3e1d71a,
0x15500ae5947cfa35,
0x0dde734f91a833c4,
0xc4b1d3859f29bd00,
0x953a4ebc0c590c1a,
0xc63a3a7d2f765045,
0xb7808a159167fecf,
0xf714c21d2027dc82,
0x065b21a47f34a10f,
0xee209a71689c8029,
0x086e31f43e1bab72,
0xc1bd254baa74fc19,
0xdacb22b2ef511fb4,
0x8832f51921e52150,
0x205de717eb15dd87,
0xc8311969549c1f57,
0x5c3dde63115c6920,
0xaace6d88b6bf142d,
0xbf805af8be96181c,
0xb2711d6f1d0368c5,
0x07d068edc7d26064,
0x00e0fbba1d7ade36,
0x4f7c26c1ceacaa15,
0xfd42db247e206db8,
0x423b62964d64c74d,
0xd40eaeb0c3ac638a,
0xba1880b1fa1ac95d,
0xe74920cbbe7c8863,
0xd1f1c3bf22e61c70,
0xb8158a62f5fe3ad9,
0x35be9741a1f7a8f0,
0x4784ecc87f8344a9,
0x78d159de8abffccf,
0x69f508be90cd97c2,
0xce3174fce987ac60,
0x17410041f7b694f9,
0x35a431ff53f8892c,
0xf68d0804df933c08,
0xfdf14c768c63fecc,
0x686e44c880b7cf87,
0xfc3685bbf4ce4247,
0x4f3576e1b1198263,
0xe6db8da5a20f6444,
0x82a34f6106d64768,
0x14ded928517991ac,
0xb5fb3f0d846d3c45,
0x1e13b00da5e56733,
0xf22f203c724a17bb,
0xa97eed35c3041f09,
0x80ab31b68f463422,
0x0c1cf5950589d822,
0x8158f19ea59a57a0,
0x6a2d5c127e0197fa,
0xdce8255216fb9d35,
0x936be48ea57795ea,
0xd6c8467b0290e7f5,
0xdc76d63b28711b95,
0x8095bbd3ebcfa154,
0x5511827e409c25df,
0x899783af1412bdaf,
0x1bea1e4e23c315bb,
0x1e5528fb798a4871,
0xc387dc2e50c9426e,
0xc6e52fdc580bd9d9,
0x937a068ae2a9e732,
0x414f899d89756ce5,
0x3e9799f772e25856,
0x300009347f3bcaa4,
0x4d4357883b4b36ea,
0x495bdf8d58a2f7cc,
0x7a168efc2afe50f0,
0xca769894a63f17ed,
0x7605b8923ab91476,
0x18907e14ebd585a8,
0x0b1ef012238e44c1,
0xc575ad3a02c071c2,
0x20cd7a780b72ef8d,
0x92793a011ad504f0,
0xa3517ec6e7bd243d,
0x5a6c4bbb087fc582,
0x2329f87f65920a6a,
0x3d29e8af5c170ed5,
0xb212b883e7e7b20b,
0xb4aa5539967d8e62,
0x2354bc92bee670d1,
0x77b06fad497722d0,
0x3ce12c5663774abf,
0x12015924fb68b04e,
0xd3d013f8dc93bb76,
0xeab947bbd0e2d500,
0x074bd02205502036,
0x70010640327b1b01,
0x980311ac3e345bb7,
0xc7b2ee673c57e769,
0xda6e35e65cc8192a,
0xac43061f960fbab8,
0x289a72fd69a03897,
0x090ac57f886038ab,
0x1208a327372742d9,
0xdf9431e4500ceb48,
0x9dddc038fc3669b9,
0xe4afe767ba20f957,
0xa9f851836551360b,
0x4b030e4f4feb08fe,
0xf684bdb838b17380,
0x878476d67062f046,
0xe0f6d9bc94d4ab71,
0xb0415ef1d9f21e98,
0x17eee8274d074a1b,
0xb3f0fc40271fe3b8,
0x347889a55571b3de,
0x0941ad5eb3dde4ba,
0x233c1698f79343d4,
0xe6225a4ea527a2c5,
0x697c26596a943f89,
0x87381b4419d99984,
0x5e662e6ff32b9ddd,
0xbfeda8f594fd6e48,
0x8aa1165a280501b3,
0xeccb3563bdc9bd79,
0xa4a966b206d3cf0c,
0x0d0b4a2f55a03deb,
0x2824542427d18f27,
0x17697b1a3b0856bb,
0x6001233d8794445f,
0x5f549a7cf751c26c,
0x5ce523fd0018f6c7,
0xa00af160b260ca70,
0x8cfdf04e8cfc48a5,
0xc6b78a3b2d3fa543,
0xa6afb516641abdc8,
0x1c544687db9ac813,
0x00f8ac78a4aadb1e,
0x6263477b3d005968,
0xeac4adf7e27f0d5a,
0x504efed0c70fa55b,
0x3321064cc1ad8d79,
0x5355fd3522f374e9,
0x5fa9845779117a88,
0xe43c0f46c70e7c13,
0x13031ebf3cf55928,
0xae089e3dc9248d94,
0x0ecc76de33871d91,
0xeb52e9d77c431630,
0x24affb209610072a,
0xb899b721a7d09249,
0x6e81ff602c17fc9d,
0xea618df00294ef05,
0x24af16b3fe205ae2,
0xe623a8aecb5f1450,
0x92028d9248b830f0,
0xa64e46c3954bf193,
0x74385ba97c80d781,
0xa3c03222c4a137bd,
0x708754b44c9b9947,
0xe0ac4faef461a47c,
0x924b1eaf0d6f718c,
0x88cf9e925529f48a,
0x20af04f1cbf5c200,
0xd425782eab58e0de,
0x104e0848f7523334,
0x462a0424be6516f7,
0x293eb35f0c17c616,
0xf02fd92293600363,
0x95950b70d1ae8b11,
0x1175da813a814c48,
0x452dccb132fde409,
0xbf8575cf715b71c5,
0xe35dff88651fbb15,
0x6a488ecf1b7f6185,
0x11fd8f7755ac30da,
0xd4fb5863240017ff,
0xde4b3774004db1f3,
0x25610ed3e0e71aef,
0xf444c80eeb776457,
0x7fae489a5b43084d,
0x5ad5f953b125a9b7,
0xf5fea5baf8cadfb7,
0x9e3b2a1f48961e49,
0x321e157fd4d806a3,
0xf976a0742cb9822a,
0xddb5769ffda69bc6,
0xf76cbe8b3db822c0,
0x23cc49cb2509192e,
0xa0ffef2988c32f65,
0x1a2c67699502c366,
0x31e541ea66f5c4ab,
0x1c8647d88a79e758,
0xf95faaf742701bee,
0x7eaed29fc4b66879,
0x23e4b80c40c1174f,
0xbd088bf29bb469d2,
0xac406ef8b4bdc41d,
0xbbc74333d91b1322,
0x53a09ff2067d4fbd,
0xd5f12bd844003280,
0x36f878613ed1988e,
0xbc591d7ca3046b99,
0x321b01b8124a56af,
0x01676ac4638b1891,
0xe24bd0a8926f63d5,
0xd857af3096b73957,
0x8ecad49324371579,
0x7a73885426dea481,
0x0ee4b7646ea71f40,
0xd4153a86f3121911,
0xc931c93531412c64,
0xc16b5c79bb6f43ce,
0xad3657661de36db9,
0x59a13be4b84d0bdc,
0xa76cc36cbad44ac2,
0xb2e0a6724e7c9f6f,
0x512eb743546cf372,
0x479835dbc84e3757,
0x304744f48b1f9472,
0x4e87142faf194efe,
0x085166d8a03ba013,
0xeed15c1853cc7801,
0x3eadafdf9437fb6b,
0x5ec63bca48c57847,
0xbaf16aa539752f84,
0x8fa89c4d2bee8f26,
0x84d0703fc9b346d2,
0x1d838322ae3af980,
0x76ad3ae19b172964,
0xc75c33b6322187c3,
0x2f9cedca29b23c93,
0xde244bf8434cea9f,
0x3ff2790caf190cac,
0x9a19107421058fa6,
0x282302c68619f325,
0x70dcb3ae8418a628,
0x7bb1ea6b3c485412,
0xccaf86d03a30e360,
0x393fb80f75d078a3,
0x05fecef87e65b037,
0x87ed393f8ff9bb07,
0x9d4fca8c60aff6a8,
0xac9d6a48c81b0d75,
0x14c26ef2ea025684,
0x330a394360c1d83d,
0x530ecc68bb837cd0,
0x1771fcb634afeda9,
0x48b47ad418df5268,
0x05a457eba920581f,
0x8955a344869fd9f1,
0x940bedfa10e693fb,
0x6496e00e3648b6bf,
0x01ec05a1334597af,
0x56f936c363be7135,
0xd3dec760ecc1eeb7,
0x412b533a9ad63e28,
0xf072bb8be511a7e8,
0xd2c0fd18e61e782d,
0xea1df0fd889fdf05,
0xdc8b1ccc4f2a8091,
0xa3657199cd1f0086,
0x1a09b3cd4f702e93,
0x2951ad98bb991cde,
0xe2f455aef8a032e9,
0xcbdbd743fab4e700,
0xf46c5b7ac56182be,
0x9d928e1e810200c7,
0x6f9ff891794bce3f,
0xf52f3d0a435f2318,
0x5f0fafdf232aa786,
0xd6a6569678f423c0,
0x33f89acc5fbf2e81,
0xce016d5876f7fd61,
0x257fff0c7b9d8e6b,
0xa448516043b72ea3,
0x9f611bf430f88482,
0xada1b6dbb54c2fc7,
0x2c6a003094fb7003,
0x8236e76bb77e2882,
0xb96e8586c8bc30f8,
0x7ad88153f9197ea0,
0xa16967e3ec50b037,
0x81b0d4fc5b51a7e5,
0x5798f4abe75b7ce9,
0xa59d3da4cbedc47b,
0xc72517c5a999df3d,
0xa92f2a86c8f57e20,
0x852674ba8aaa5703,
0xcfa121051d16dd79,
0xb3b04ce27377eaaa,
0xe1c496db3214339b,
0xcbe3b9494fa8dc54,
0xb7e418b7d1e4fcf1,
0x259a13d6e3e52ec8,
0x9ca963a1e0f72cb6,
0xd3ea6523ba5b9803,
0xeec391d6881a0dc4,
0x22a55d8d0afa46cd,
0x0bf7e1488b57ee58,
0x97bb3063fab3122d,
0x70b69e4c61b715d8,
0x085e8f778c24d2ce,
0x4f95518e85c4710c,
0xc93aefe60f539c86,
0xd5140510dcb924c1,
0x814a7e886a72643b,
0x4e5c8f91d544c989,
0xe8b45db0975f0bdf,
0x77f4b304961f5822,
0x25789b0b07450d41,
0xba834173142b53fd,
0xe17946dfafe1c52c,
0x313260eda6004216,
0x921d51ffb02831a6,
0xa6f972c2f06ba8d4,
0xd9c4ef8fcd34f8b4,
0xe3ed7f4bb3ed1887,
0x23245a9edb3ac225,
0x34e14d3cc3b34f47,
0x3fa001753fde36b8,
0x717ff1c7edd3c810,
0x57f5b43786250edc,
0x4db83c22a3891b37,
0xf109cf8b7caa505d,
0x59b97d529a9860dd,
0x41a3433423980558,
0xe0b3d670ac712338,
0xa544ab77907c6a64,
0xa0dd883c2b04532b,
0xb9c1d83fbbf59224,
0x1591dad6f6e8647c,
0x598f5e655e163cab,
0x06a14e9d85949af3,
0xd447dfa2110dc089,
0x7de0ca84dc4336e0,
0x1f375627aa36b8f2,
0xf25bd5fc8e8eac20,
0xe75820360a5429d9,
0x3de06922b8aabf3f,
0xfdb1cc86754bd032,
0x15f0768d8e8bfc8b,
0x651fec8951ef24cd,
0xdd34515ad0219648,
0x0c6a27c009cba92f,
0xfe523cf59f15d57e,
0x2ea48d7de9504546,
0x92c9918e5f2322e2,
0x5ab43fed286d8ac9,
0x978dcc2c0ee3b60d,
0x2ad84562a478e08a,
0xadef783b74a76c7e,
0xa78ae88f142d2757,
0x9d536b062e904d70,
0xbfc159f12d2732fb,
0xa4d8b12b86f427b5,
0xb6c239b355a0bfaa,
0x69394056c80dc2b5,
0x2d673dd9acad6b02,
0x097ee1d42c07ee5a,
0xe3f9d2aa2dfb5570,
0xa1268bfe491409e6,
0x47485597eea69d95,
0x411a86c5897c133a,
0x491d74fb17051bdb,
0xb602e9671be82031,
0xc272a49de81910e8,
0xe5baca7f769e2ba1,
0x271e34d71ad43d43,
0x7efade66c0bf8edb,
0xda55b746a4f3d218,
0x41d28643fd2d6d64,
0xfbaeb8a5e4f1fe54,
0x3827967604f409a1,
0xc10cc465da627404,
0x41c483be5dca1a3f,
0xca18060afe2542be,
0xd8c13d87b377e6f3,
0xeca92e5c1c8368f1,
0x5024a9b4bf7fb013,
0x00ce59d5db3a8908,
0xcca648972f6dc08e,
0x58f50ac76ec56620,
0x391c8f7d31054e5b,
0x89ca3cb5b54457e1,
0xc8117aa4acc8a602,
0xaed8daf49bdc90a7,
0xd18eb2c5f02e9aaa,
0x511040d766f38a91,
0xcf6e80ebeb0c22fc,
0x4a9353f8875ca66f,
0xea56001f36aa98b3,
0xe40bb196e5a5a87a,
0x6bff66229b1d5c71,
0x193103d887b8d0d1,
0xa2c7acb9aa695870,
0x4afca207a0c1f900,
0x2f7c12a69dd65431,
0x3268778c0e176d3a,
0xdef36ea66bc481a4,
0x2060620067862b47,
0x9af72ed3b4ec0d1a,
0x58b26965a848d412,
0x43a2627ef452a943,
0x031c913b8186c5ee,
0x3ef2b9c730c6f64c,
0x24490704a3440c51,
0xae31f6549f337c9c,
0xbcd78924ba5575db,
0xbb38aef7e67c2008,
0x8d6b54719549a7c2,
0xd3ff8447cd6acd1f,
0xc5dd5c59279d16f2,
0xa119c71216d73e8e,
0x350ecbf21c454c1d,
0x09369a1b26321bd1,
0xd5735aed99937f74,
0xc241fe15a9cfa5ab,
0xc8dce8b63596533f,
0x751a8f7dd271ee0e,
0x5b4ec1b2e6b85e8d,
0x7cda02b7508d4549,
0x07735d441c77e842,
0xf1b12a25c54eb9d9,
0xefa811774a6664b9,
0x9f0bc8d773a5281e,
0x95f2b863b06cca87,
0x22a0bdad10222180,
0x33f56093c1848bde,
0xdd9c92f002ca30f8,
0x87b4c29e7fb208a9,
0x613ee2ac34e4e9e7,
0x8de2aa9176bdb500,
0x4dbfe4cebd7fe74b,
0x66840367ae0b74cb,
0xfed51f626393ccc5,
0x990e84c33202ecc9,
0x054d8b71fc0c0d10,
0x119f38bd9d90d43e,
0x8cee2ec9af2d8731,
0x8e0352bb66b37977,
0x12c3e3f53db5a720,
0x82997d87b22199e9,
0x7aefcb7af226fe13,
0x6fc5ee5748041d64,
0xbdda0b625f39c4c8,
0x99ab4c95d1a1ed94,
0x40257b2b7f308eb7,
0xb3d1feedcb09f14c,
0x57fbeffa0345b5aa,
0xe7d993d899572381,
0xb6dbf8bc4e6d07f9,
0xa44a4d5d7e8dab6b,
0xf32018e14fe46c75,
0x932247ff56563467,
0x2b9f73ad3dda7560,
0x6da24640bbe2ba0f,
0x94ccc4cdfefc08ea,
0x343f671d4877fc71,
0x607b1b85535b4ce9,
0x43fd280fce7df51d,
0xefade356ed90b7a9,
0xfa220bbdec995c53,
0x7d06bda5b72aa613,
0xee11689688d0fd96,
0x0b82e686ce94a838,
0x03d0604a998e0195,
0xa3734ad2cc114bff,
0x95af931cf8317d02,
0xed5f3d14af707bb0,
0xeec90443850aca3b,
0xa9024784be09f609,
0x1179057fc450dca7,
0xd20a751fcc43a7c4,
0xa203f76ed0e79070,
0x6410110bd615e257,
0x57ffcd4a70aa1edf,
0xfa4d768ee2fe5271,
0x1b2f45a16299e5ac,
0xcb9856b29fadc8ec,
0x6a3141f601e3bd2b,
0xb4af621a8a555e27,
0x5928dcdb041e9325,
0x018d2b3101223478,
0xafae7dac1d5387bf,
0xa55783ce134a42bb,
0x2ba8c6120da6a649,
0x738af20f3ccf6d58,
0x58a59908f1670776,
0xbe8fdb6792689ff1,
0x6d105839f0319222,
0x680b77f6cab5ed37,
0xfa4507ba0026761a,
0x3c7c334b5efdb4c6,
0x582dc46ae726e49e,
0x98570b152cec2fbd,
0x9c45e2715d3d15c2,
0xa527bd4447adb7d1,
0x7c847e90a373f5a9,
0x03f81fc6473930ff,
0x20a7043a0742281b,
0x414cbc1bb5f505d2,
0x7a6ed2658adea5ee,
0xfd036381a74342da,
0x8aeede384fa88b87,
0x9e7f586217aeb406,
0xd66ae99d7efbea3d,
0xc3ce35b948cb5253,
0x1a4c99c9a092c106,
0xa769f887324b53de,
0x0c36312177d1b7b1,
0xc43962e112ee6799,
0x4694870e71c194cb,
0x5585f6ddd13a0595,
0x6c5501316ded1f3e,
0x95dbbd18c4ef702d,
0x2268a5e0c92f5181,
0xe2c73e6fdc29696e,
0xc901aff64a09c45b,
0x7533e747d9047f55,
0x9db25da9beccb4c2,
0x15a2832291ff14fc,
0xc1684223d7c6e681,
0x3e08eb679c1db7ff,
0xdd826c5d3770067e,
0x88255e1c0839cbcb,
0x817642c6f224f70f,
0x7f4ce0b6ffd8b947,
0x9aee5b60899d5224,
0xdf1ffc2e2288f8ca,
0x7ee236fdc33bc8e7,
0x0116e6b65aeb3be7,
0x5709468d78ebd2da,
0xf60a3eb81747f87e,
0xef1fd9678cc0b5e9,
0x5a8b7808df43bd8e,
0x341b06e211977b07,
0x2b661cd85063034e,
0xdd617335dfdd424f,
0xc7bba02811376090,
0xd6f7e1b9e1903d71,
0x7c7cd17af804d933,
0x27a900b1af5e75f8,
0xb01b2ae0e98e0e15,
0x843bfa1873f0c446,
0x5b2238677a2bfbbd,
0x0fa8601cf6868a05,
0x93435b9c277736a7,
0x5a66203d62fd1e70,
0xb16ea8911afbf1ae,
0x77cf0656907fb9b1,
0xac5e3701d7d77253,
0xfea79d89d5c5ed40,
0x144e67ebe9b42698,
0x971cc90b5518569f,
0xa4b8d1ecf7567eb0,
0xcbb9ac407ddb6c13,
0xd571ec6c1366a992,
0x435a0ce134c2838f,
0xd2aae89ccc3b76fc,
0xee94e62f110a6783,
0xbaf86856ccd3c3b6,
0x988012e8314186ed,
0x8a886eb3c87b7295,
0xe30219c8aa9ce884,
0x1d822dd6e2f76797,
0x852be3e8fc99f14d,
0x5a9139db14efcc30,
0x347f8304d889659e,
0x4012a82962c59cab,
0xdf59eae051707062,
0xb12dfab414451579,
0x80bc423433562e94,
0xaf6d605871ef7afb,
0x1a356b2a73b7eaad,
0xf91096ac3195220a,
0xc95f260fd10036f9,
0xf9eeeea98a2400ca,
0x6dc085a98ac8d8ca,
0x6808292057fd99b6,
0x624f14a51a4a026b,
0x73e5b5c1585318e7,
0xc12963b0ff01eaab,
0x2b552879a6168695,
0x8fd9405789f45681,
0xf2d89d2a4b183527,
0x1bda1f85ef6fdbf2,
0x1aa4fb42b9a3def4,
0xd6cce1daa5053701,
0xac14b958784934b8,
0x12b5e8c202461069,
0xa3d091f656658154,
0xd162af053b1751f3,
0x846532e4b9694eda,
0xb779dfe49d7307cc,
0xad8a43dc4212b210,
0x6fe51a8cfaa72ef2,
0x88d586554e2a0e8a,
0x20cdb5ccb3db2392,
0x14f0cd976ea354bb,
0x471bf4f445f0a88a,
0x0f023b220224fcd8,
0xf11785903155bbd9,
0x33ce3573facc5fdc,
0x154c60320e2ff793,
0x53daec3f64f1b783,
0xdb4a9316f281501e,
0xbe2ec92156c9f949,
0x0ca8f58d94f0341c,
0x554b03d7d2874a00,
0xfb0c75df5497e00c,
0xee6e0850eca42d06,
0x364f5b8aef22ec2f,
0x897a39ce78b63c9f,
0x52ab33161e238438,
0x062b1a63a6c4c60c,
0x3ea8449fe8f70edd,
0x6425a41526fac51c,
0xc5e5767df95884e0,
0xc0b1b31d8a0e23fa,
0x85db6ab03a49bd0d,
0x175eb4afc8daadd8,
0xf07afff3a892374e,
0x8f6826250dea891e,
0xcecb72f19c38339d,
0x5f6f7cebac9f45ae,
0x6c472096e76115c0,
0x972cd18bfbbd9d42,
0x0ab111bbbd67c724,
0x473826fda0c238b9,
0x61c1696dd24aaebd,
0x156e0c292413d5e3,
0x95184460dc4e7487,
0xd7622658901e646a,
0xef2f0ce2d7373958,
0x2ac5b61cc4e9207c,
0x57339ba2beba7d05,
0x0060e49908391a0c,
0x621363196af50302,
0x05c128d53d0bd2f9,
0x36e02b20cee886b9,
0x0bbb16faf3d949f2,
0x422183edc9942109,
0x5e9222b88c66d3c5,
0x61affd446b1ca3cf,
0x268a5c1f9538b982,
0x8d6f5177fbcf0755,
0xa17293d1228a4ef9,
0x44a02554731cdc8e,
0x96d4e6d330af889b,
0x5570b6c68f969834,
0x7598a1951ae273ee,
0x4d162db3b365853d,
0x5f50b5185064c18b,
0x078f735d1b2db31b,
0xae313cdb6c606cb1,
0x955d5179b1e17b9d,
0x0c480a5417350d2c,
0x074db6015cfe7aa3,
0x6a9c7f8a5e148e82,
0x25669b333564a337,
0x4c1a1e0bd1d6095d,
0xcccc4e659393514c,
0xc943e732b479cd33,
0x17460775db8990e5,
0x7d2e23de1400b396,
0xee569d6dfc1efa15,
0x610d30f88fe551a2,
0x07f4ca11fb5bfb90,
0xda2d97c50f3fd5c6,
0x655fa1872f20e3a2,
0xf5dfa6bd38303248,
0x72ce87b19d6548ca,
0x256fa0ec7657f74b,
0xb9ea9bc3b136603b,
0x1acbda11317c387e,
0x3e96ca16224ae8c5,
0x27573b291169b825,
0xed2eae35c1382144,
0x559552fb4afa1b10,
0xe7b876206debac98,
0x8a0d175b8baafa2b,
0x40f343267298b62d,
0xc9e3b39803f2f6af,
0xb17217f7d1cf79ab,
];
pub(crate) const PI_SIG: [u64; 1025] = [
0x99505ec4777d1d28,
0x9ce6f36322e5f0e9,
0x8d17068c2fcb255d,
0xfed906d8873153d8,
0x6a289f831db090a3,
0xb6ebf6a679fc9dbc,
0x26ae05e937cc6e58,
0x1a4af2bc95b74227,
0x650428c5a5d69909,
0x67171d83fe93e855,
0x4fc3757ccc791c7d,
0x0886ba4d85f776ec,
0x6ff966162c13e934,
0x85ed851cdc95dbe4,
0x7d2d07779b25563b,
0xf854e55a212471d9,
0x22daaf24caf4f53d,
0xbed2b1b1c036c554,
0xaca39dbe6f87b608,
0x5fc32ff1b3c1fe1d,
0xbb711937afab09e5,
0x3318915b53748398,
0x645338f3eb8392c8,
0xfdd8afd9f6466639,
0x1fce1b1b0149c631,
0x1e1227eeea5aae0f,
0x91ca3a2fc6c97b48,
0xfc48c9515a696aaa,
0xb715b82c4cd5704b,
0x3eb067c62eccb316,
0x85562963afb8fd77,
0x10d976884a4d4e2e,
0x52d65674bb06447d,
0xf69cb1725661ced8,
0x5223b6b884da7b93,
0xf6228018eeb3e205,
0x786aff702a2cacb4,
0x5641edce3ac269fb,
0x430dbb8d04f92104,
0xeac3650f973ad8d5,
0x36bcae2201e1c17c,
0xffa49567f668fa93,
0x3a3d4ecde00b34a0,
0x436ea05a3e377949,
0x5a80b1e4edb17199,
0x79e7389f5cd3a367,
0xf125b5b3cb45f407,
0x8b16c0143a0106ff,
0x16de85e3e0cb3310,
0xf951cbe74cde4af9,
0x2265d674ecc395fb,
0x1693701c2f0fd38a,
0x5901bb9dd8c93107,
0x340ca2ab7e8c3151,
0xb1485dbbf14bb82b,
0xf381235f5959d426,
0xe3048644ef5fc2ba,
0xefc5e07d1c996040,
0x75655a99c51920cd,
0x642f2eb5a7c7c625,
0x1e3c56823076fa3d,
0x1114af3e1dd46fd6,
0x5b70ecaba6a01c98,
0xf6df0d50c6700128,
0x8348e17f014190e6,
0x711024d7735e27c4,
0x21ea70902de52e47,
0xae9d5a4533d88a6d,
0x1746dfa4e85901e7,
0x06fd57bd0d326219,
0xe48850a31635fb8b,
0xed98745fad9bcaa0,
0x3128d6249bfef6af,
0x7689ce9c7291b34a,
0x2123f4adcfe3e761,
0xdcad57936e017e84,
0xe076a65f976e635c,
0x1a5e4f14169cfcf2,
0x64df730e2b87a4fd,
0x26649815211577da,
0xb092a17c4f389380,
0xfadffb023a68e76c,
0x79799e52e875f1cf,
0xb3c36f108c02701b,
0x2128e5d7e296bbaa,
0xb3c32ca30f77e983,
0x519f29673d8158ce,
0x8184d3c3a12ddc77,
0x14b7194207b5105c,
0xd2d5dd6f9307bb8a,
0x14a9b7e1c553ea68,
0x82656f21a2c57145,
0xe859f372be354560,
0xeb8432e5703111de,
0x0620a80357ec10a5,
0x7cc5a27ca798f90c,
0x3f68378eb6844a13,
0xe37d32ce39dbcb51,
0x9c39b9117a125986,
0xa86a40ef4867cae7,
0x2f41a05effe82b79,
0x95eacd29bf617efa,
0xcac5592422935ebd,
0x3eb86a198b26131c,
0x4c6e73df5fb3f0fa,
0xdb26cd0da39b1f05,
0x95f1081a1bebbf37,
0x9ed901f601eaf9f0,
0x7fc86c6fb1b0e97c,
0xac23bcfd1a4fa2e1,
0x6bd7a58209c968c0,
0x01fc98ccb44ca6f3,
0xc53c8c75fa7dcf99,
0x0f6adbde5fffc10a,
0x28cd49e7af451ec0,
0x1a2290ecb9f91d01,
0x312a0a394e8c9048,
0x8ba04039ff140fdc,
0x3c9d682d7f698313,
0x7f354193fabcb03a,
0xdc5b8b66d671f135,
0xe5e315e2266c09bd,
0x2fa9937f2125ab76,
0xa26082be05e4e1ac,
0x63bffa8112f19d42,
0x788db8a125d401bb,
0x3cb685b21cb3fba1,
0xcb31728801cb390c,
0x0257e7e26f413397,
0x2b4ffc49b1821bd2,
0x677d6ef341da321a,
0xbb2289a9855d888c,
0xa059953a4f92d812,
0xbd32a8c683cb1b29,
0xa4c0e18d9997f82d,
0xe3a3f757d7ee1599,
0xd3dd68b3e2e12b5d,
0x8a2c6f5594d4ef71,
0xf3e4ea86bb639898,
0x2d592a941ee1bbca,
0x26e9a60fc55ba1a7,
0x118489ef0e0ed804,
0xf93ce73599b8aa44,
0x5d1f93565bd28c1d,
0x02f538557c761fbd,
0xbbeb27f2593ca22c,
0xdab397892e258d3f,
0x021c5e382756df1f,
0x8aec66374c6a4caf,
0xae2034d10df42664,
0x207e8e2296b7b8c3,
0x09b20bfda067adc3,
0x438542355030a02b,
0xe3c19c842da0fc7f,
0x299f455128902084,
0xe38efd17847c5965,
0x0a15b8536117f7f8,
0x2107ca17eeb2d41f,
0xcbbf9791dac6abfa,
0x67d95eee3d2892ee,
0xf0d3923e920d0c84,
0xacb9b26c18141308,
0x3544ffdbb90f5cee,
0x435d352b0bd8fcef,
0x0bc340b19ed82b04,
0xb48a4ece91c1b9d0,
0x1ab9c11568f592be,
0xf7017fc9a08bf910,
0xf00de97de596928c,
0xd291228d7308942b,
0x72f4723cf6652529,
0x49687ef7bfb13209,
0xce2487ddb79e1fac,
0x5648857d9958ef6c,
0xfc14bb667f4ec9a0,
0xe4a66072c4497e62,
0xe8214b6bdb3206b1,
0x891a338814ed7939,
0x7530ac9c6cf68e35,
0x8dbe0e5f805cad36,
0xfc170e64ea76b5b0,
0x6db68c03a9fb89f3,
0x852c8c2a711eb439,
0xa6df8d4bb44831c6,
0x11371eeb584a4436,
0x6b9e5d20a12bfe3d,
0xe87815164ace93cc,
0xc589a0633522cb00,
0x44abbd60a47d8e20,
0xe3ede1160bc75684,
0x13733cc160299767,
0x88019070c7baedfd,
0x3d1a1d39600d94e4,
0x587d2e1de3bf7a76,
0x499425f2fa87319c,
0xc4fe692324a33b0e,
0x11348fb5cb36dba1,
0x03e1291945fdd157,
0xc04c1b3d943d5ec6,
0x4e30cf0507c74c09,
0x29c4fd6f93f61230,
0xef5cb80d23e73708,
0xe4cd940be06728c4,
0x922d5a7ed0c5161d,
0x298ccc36a3d7193b,
0xae947e3b49a2b4bd,
0x8c3db835ffcedfca,
0x6bdb8d96e21b92ab,
0x5dc52d198abe6869,
0x88df6453a5e9ea24,
0xbda4e4538db6c313,
0xcb7a2ad77357022b,
0xf53ef83439dc6eed,
0xa3d5f8b48cf3fce6,
0x643fe36aa33a5490,
0x490bcc010090edac,
0x6a33f10a3a76f7c9,
0x684a0c6bea248658,
0x3da9d7944fa593b6,
0xe7fba7bee8131c63,
0x172edc27c8b798c9,
0x59f58b34f5410b4b,
0x2f073250be5f1dcc,
0x4a3b2ac8cf048420,
0x9848711f5104ade1,
0x11b6004cda44bf5e,
0x8a4a1e30e3a7f974,
0x099610f3b3bd25a7,
0xdeb15d4574db8d32,
0x5d15ee76a962f764,
0x0e24d3491b7d32e8,
0x321485cb4773e463,
0xf49cb2be9c9f0126,
0x3828095e064d62c9,
0x4c78a82b7c2c748f,
0x32c3bec9171678b9,
0x9dc0da0142ac93fc,
0x360295cd5e0f347a,
0xef335bfede10e539,
0x409d85e9f46167c9,
0x82fa32727dc7523b,
0x1160d3ccb0767848,
0x8350fef2d9a56503,
0xbf756728ee1651d2,
0x29ab1461c4be5ecf,
0xba7a830acd6ce82c,
0x8ac43941d1600967,
0x0a6f7cb51513353f,
0xf5a238571b1815ca,
0xdc9e89fcaf106fdb,
0xeb855796f09854d1,
0x96f3bb267289fe18,
0xfd2fb6a54bc618b6,
0xd638221089a1405c,
0xb9dee6fb93a467f7,
0xbc73ca3b1ec4f4f4,
0xb1384d6fcb22f10b,
0x9516c77f3df7f5a6,
0x7924389bd1047541,
0xcd71aecd32a95c70,
0xfcb3b8e23c2156fc,
0x417f8595aa4cc582,
0x996e523b8c04f81b,
0x408ac32a6a50c876,
0xaee7300fdaf3860e,
0x91a1e7691cc2852d,
0x12a13ea30191692d,
0x137d430aa6be0b0f,
0x6a59dcdd9d1e85ef,
0x5e9274b4015f4e35,
0x4a7132f693e833a5,
0x655e9a03a6f11d63,
0xbdefd866bf22f70b,
0x728c72a3f53f82d5,
0x07be150a28f3754d,
0xfa0e398d479acab7,
0x9db31d42a7cec064,
0xd2cc97d8ec63395b,
0xfb10760cb49f0850,
0x06c91af07f24f3bc,
0x10da0b2af8b32839,
0xc67e79c49fdedf05,
0x39c9fb1b50898815,
0xd46e84086efce2bd,
0x4e4dab2db00734ee,
0x8bda0388548d04d4,
0xdd67f044d1c28282,
0xd06c7f57ff53f144,
0x583b589762a96a1a,
0xfb003622bfaa4abb,
0x0eaac3cdce740241,
0x85c0368aaf2ad213,
0x5cc287d0f064ea5c,
0x4c007ec0ab58efbb,
0x4bda38c78d9a7575,
0xbd060ba08223c3d9,
0x784dd43e1150dee3,
0xccfacbcebbca28e3,
0x61a4ffccf419cf11,
0xf2f97ec938568716,
0x15b4de2a4f23088c,
0x995672b0a2fa5702,
0x8f1bb1a1e9fc7e99,
0x01aad3603470f655,
0xe2994ed7b1c7eba4,
0xaf86678002e62d57,
0x4e112d7347572ccb,
0xed2893de8a5fe68b,
0xf07cf6b4a5827ec1,
0x18ce85b88418fe14,
0x547b59f127bcec3d,
0x759af12c0e64dcf8,
0x17877f49ff0478d2,
0xf57d4c5b2066ffb3,
0xed77d7107636b96c,
0x7538de9741b0d6d8,
0x4b847b5e39540816,
0x88b3363fb3a767e5,
0x0e3e864b85639d62,
0x247dee3ab3a3e118,
0x73c244966e32834b,
0xa8f86a7a869a2a3b,
0x3d75ca5c9315b071,
0xab0e25aae328dacf,
0x26d74884885a7daa,
0xa34ae5a60cc88295,
0x4664d28514e21038,
0xa1cad7c66dedfc47,
0x393954bdb5f2a4fd,
0x58f9d6e286c90d9e,
0xe8b70bb69c2462de,
0x9dc7e5750c9490fc,
0xec48eb1b6e5aa777,
0x21507c16990fc0dc,
0x3a3e70f003bda3d7,
0x31f1b31cb03f5338,
0x1477324e85041c8a,
0x9c73b22b0f6fae4c,
0x7db8057e0e1a306a,
0x95ed2bba9b2df677,
0x39d03ad66881cc3b,
0x5b3fe6415c6c5d42,
0x8194f91bd0816b10,
0x8011bb358bc70bfb,
0x37dcd54a48cce570,
0x3f17f108edbfdc76,
0x71f250e41abb9bf0,
0x8fbf70ece0c67df9,
0x0ab85150d75a8f1e,
0x9c6be1fd03f7b32b,
0xcdac2120753a3201,
0x878025a708e90347,
0x432dd056932f8f20,
0x79104bd1d7c3e497,
0x2c5bd6f663f7d10e,
0xad366c9fdab0065b,
0xd836767c44811938,
0x195d2523ef2f8e07,
0x6183cd9ee11d5b9e,
0x116cc402d4f14617,
0x554438084f1fc8dc,
0x7428670533645aa5,
0xdeb78fb3279ee2a1,
0xc79ad874fd97cfe6,
0x8c910b9f7680e5f6,
0x0269ac52b520773c,
0x407b4733d7a2b343,
0xf04d46f750cdcb91,
0x182885b21dafb611,
0x6c56d0d433a0d6e4,
0x9b33618855eeb734,
0xf060dd080eb9df1d,
0xf98ad4c4f8f43f26,
0xc1a44a7cbaede941,
0x20c9203ff993700e,
0xef574232194195b6,
0xb72ec3f8663ddcef,
0x90c15ea624609519,
0x8e78aed1e90dc600,
0x7824035a3b57e2d5,
0x3ba18f9026314076,
0x897ee0225f003612,
0x8250bdafce2ee042,
0x8007d85d0f6e8dda,
0xeb81d51f3248896a,
0x148740474328ba08,
0xa13378599cda3346,
0xb9a62a8ad5242a6b,
0x35c9a57e5e7f500a,
0x277449a409e57492,
0x791d99c67a4fb7cf,
0xa2247b2311301a54,
0x0367046daf1daca1,
0x1bb1f14795167d80,
0xc81029505cd09da5,
0xcd67fad1d764d9b4,
0x85c7da7a58811477,
0x8bbc1f476982c711,
0x8ac8fcfb8016cbdb,
0x7a595926aab49ec6,
0x5e57368f6c79f4bb,
0x69b5f18a8c73ee0b,
0x51875a64cd3099f1,
0x456edf5f457a8145,
0xac6fc697e73c63ad,
0x981a910a5d92928d,
0xb54fe638a6ed6615,
0x60973b04ecd54a67,
0x1b2506222e21be0e,
0x5bcc0a98c05bfd6f,
0xc539c2e32b89d9db,
0x06041d055d31f502,
0xa9ac55ea728932df,
0x4634f57925eac400,
0x4dd3d5b1fcf2b480,
0xdac4ce1cb25b10ed,
0x03731358b9e671b9,
0x8039e00c36ffdaf8,
0xeea8076e74a07fe5,
0x8ba562624e84b03f,
0xc320bb75d9caa0b3,
0xd2a4ed8e6cf751e4,
0x853b7328495f948f,
0xb4b70914d6ab250c,
0xa8ae73752a3a1c9d,
0x61d3d0b444f30aef,
0x110165733343cbeb,
0x1ff6994f39829cb0,
0x3a9fcdc5c5755169,
0x712b39f188b4ef39,
0xccadb247e606be8c,
0x61211d031732c131,
0xfcacde1e84833af3,
0xdd825c26e452c8ee,
0x24778425b7991e9a,
0x57ca6bc0467d3a3b,
0x55c4672952774f3a,
0x8773e3d2c531dcd0,
0x7dfcfeeaf54bcbbe,
0xef5b16a373c4eda1,
0x588a52b0cbb8e944,
0x167f05643812f4e0,
0x8df5cf811e9ff559,
0x9362ad8b0134140b,
0xdf31838343a9ce26,
0x150cbca33aec6525,
0x91c62f9777b55ba0,
0x052ee388ed9f7ea9,
0x6052c3a42109c32f,
0xd48e3a1c224eb65e,
0x0393eef272523d31,
0xecdde3eca80dc509,
0xdaa8d551a4d5e44b,
0xed22162ccff1bb99,
0x321bb9940174a8a8,
0xc6ffa7af9df796f9,
0x790e942a3b3c1aba,
0x02e8d7afdf9fb0e7,
0x87e02af6c358a1bb,
0x512d788e7e4002ee,
0x5a31b096c9ebf88d,
0x302a5c8ee7b84def,
0x7725b82b0e1ef69d,
0x9604440aceeb893a,
0x5316a89130a88fcc,
0x03ac0ab3c497733d,
0xa0498f03667deede,
0x48424edab796ef46,
0xd5145505dc81d53e,
0x551bd719af32c189,
0xb8425eb67a29d486,
0x2684a81e8ae972f6,
0xf9a53998a0a178c6,
0x994fb0b714f96818,
0xaa36d12bb4c8c9d0,
0x4065ffce8392fd8a,
0x85088718c4e7d1bd,
0x1f7b37772c126030,
0x8eb2986f909e0ca4,
0xba383d01b2e41079,
0x656665f7b64a43e4,
0x5eb4388e775014a6,
0xf20ac607c6b8e14f,
0x2cab6e3dce535ad1,
0xe3aacbf37786f2fa,
0x834d21326884ca82,
0x7f0622bc6d8a08b1,
0x89cc71fcd59c7f91,
0x00424eebcacb452d,
0xb03c86f8a8ad2c2f,
0x2708fcd9293cbc0c,
0x01f86e7a6d9c68a9,
0x6da51e525db2bae1,
0xe9ae8fbde3abdc1f,
0x034d8a3920e47882,
0xc5114d0ebc4cee16,
0x89e1248d3bf88656,
0x1f4a9d62e7a529ba,
0xe718c97059bd9820,
0x3ef4e8232d152af0,
0x4cbf5ed1f43fe582,
0x6ec6fb5bffcfd4dd,
0xb83acb022002397a,
0x578fdfe33ac372e6,
0xb74e6132ce77e25b,
0x3f09252dc208e69f,
0x90d4f869a65cdea0,
0x01c36ae4d6ebe1f9,
0x1948c25c02fb8a8c,
0x7aaaf9b04cf9aa7e,
0x85cbfe4e8ae88dd8,
0x77afa1c520756060,
0xba38209cf746ce76,
0x38abbd602547adf0,
0x53113ec01640e3d3,
0xb6cbcf7ccd769c2b,
0x71126905b2040222,
0xbb25bfe235bdd2f6,
0xc9aa53fd62a80f00,
0x45e1d006c3f27b9a,
0xe6c6c7bd327a140a,
0x4c50901b71c65614,
0xde96629281b949d0,
0x6e16369788d273cc,
0xacf081625a75ebb5,
0x93a8353156cccd02,
0xf523f357a6327623,
0x848fd2c5f6fb2299,
0x1618b166fd2c1d05,
0xce6279cfcd3e7e6f,
0xe54cda541edad891,
0xe60b6f470fe3f11d,
0xdf359f8d9b992f2e,
0xc5be7120c37632d8,
0x1b0a74414ba3348c,
0xd3a0342b8971f21e,
0x9f1f9532e0d392df,
0x4c98a0be3278e964,
0xe0ec6e0e1698db3b,
0x10d25065cb03a442,
0xb6c1075ee3056a0c,
0xc2a8645912baa8d1,
0xfae59361ceb69ceb,
0x0f91fc719b941525,
0xbf97222c15e6fc2a,
0xf2d519ff27d9459c,
0xf79e59b743f5bb3a,
0x8df9317ce0b12b4f,
0x0339c32ac6913667,
0xd0dadecbd50ada38,
0x1a908749d44fbd9a,
0xcf0111c3a1e8aac7,
0xe01cc87ebcc7d1f6,
0x2f32c9b7a01fbac9,
0xa08839e151ce794b,
0xbb3a792b344525bd,
0x611560b1e7933fdc,
0x011a1d4b277227f8,
0x6f3f3b823520ab82,
0x06b89fb4ce6ea048,
0xe1b0042895983a1d,
0x34d2466a0115af84,
0x4040cb084eb4e2cc,
0xf8721671af537d5d,
0x740e0d8de75b1357,
0xaec2771bf64e6370,
0xd29be463542f5d9e,
0x8d6612aebf3c6f47,
0x72eacea8fa6484bb,
0x3e350a44bcb4cdd5,
0xdda26a7e3a59ff45,
0xccd2017f6bb4e3bb,
0x5bbef7dd1b588d40,
0x586cdecf1c20c8ae,
0xb39a460a6445c0dd,
0x69852dfd09072166,
0xa2ae0810dd6db224,
0x48de53696413e680,
0xa8b6e37ec3293d46,
0x5121ce64774fbe32,
0xea7a90c2fb3e7bce,
0x379d58629320f991,
0x4de817513830dc8e,
0xabcc5167ccad925f,
0x28517711c20ad9f8,
0x035634828aba3cbb,
0x7533d928b155fdf5,
0xf59c66fb26dcf319,
0x1b3f6d9b1e6321f5,
0x97271aeca93a072a,
0xc3eb9e153c9057a2,
0x03a161250564f0bd,
0x15056dd488f46dba,
0xf7960e44e3d35e8c,
0x785f0191ed756055,
0xf8d5662979132e28,
0xe8d3c48d283b57cc,
0x47b0acfded93fa9b,
0xe029ac71e019a5e6,
0x5ad6b4725a88f54c,
0x1f9f25cfadf2b89b,
0xd1cf3ed67c7d2d28,
0x96d5ac3a017da67d,
0x2cf0b7d9022b8b51,
0xe990fd5a9e34d797,
0x9b09e6ad3b3ee593,
0x80e4a91587b08601,
0x3f046f6977fa0a59,
0xc72fefd3f752f7da,
0x4ba99586ef5562e9,
0x2826a2f9a73a3ae1,
0x8fe51550ba645bd6,
0x83c061ba9be96a4d,
0xa51e03aa9cf2d0a4,
0xc089c2b843242ef6,
0x63ef8ce29a86ee22,
0xa1fad5f06a2d519a,
0xac9526e8be5ee304,
0x2939bbdba9ba4650,
0xd5730a1d4cd04dc6,
0x530ff8ee468dde7d,
0xc6a376d26549c2c8,
0x5748ab2fbc946e79,
0xb26eb1be6a366eb4,
0xb78c1b6b21a19045,
0xd62d1c7ec700c47b,
0xd5118e9dbf0f7315,
0xd382274099bc9bbe,
0x5cb0679e4fa33742,
0xabc277375ac52d1b,
0x3a39ce37d3faf5cf,
0x670efa8e406000e0,
0xd79a323492638212,
0x362abfceddc6c837,
0x6fd5c7e756e14ec4,
0xa28514d96c51133c,
0x1e50ef5eb161e6f8,
0xd83d7cd34dad0fc4,
0xed54557808fca5b5,
0x1ac15bb4d39eb8fc,
0x86e3725f724d9db9,
0x39720a3d7c927c24,
0x6f05e4094b7c0188,
0xebfc7da1ce591d76,
0xbbcbee5690bcb6de,
0x53c2dd94c2c21634,
0x11e69ed72338ea63,
0x006058aa30dc7d62,
0xf0177a28c0f586e0,
0xc3604c0661a806b5,
0x9af88c27773f8641,
0xa002b5c40de6d027,
0x50115e01a70683fa,
0xa1e2ce9b4fcd7f52,
0xdcb7da83573906fe,
0xa186f20f2868f169,
0x1ab93d1d0ba5a4df,
0x4a99a0251d6efe10,
0xe85a1f0209f0be8c,
0x662d09a1c4324633,
0xb77f19b6e0a9dc09,
0x11a862487574a99e,
0xb90bace1bb8205d0,
0x8cd55591c902de4c,
0x466e598e20b45770,
0x846a0e79915f95e2,
0x7aeb26618b1ddf84,
0xb475f25546fcd9b9,
0x5366f9c3c8b38e74,
0xf474ef388789bdc2,
0x4e58f48ff2ddfda2,
0x55464299bf582e61,
0x77a057bebde8ae24,
0xb08041873c005e5f,
0x83426b33f01eab71,
0x7745ae04d736fccc,
0xd1fd8346f6381fb0,
0x60787bf86003604d,
0x9dbc8057f0f7c086,
0xbebfe98864e4c3fe,
0x64af674eda86a85f,
0xd90cec6ed5abea2a,
0x444216590a121386,
0x3d25bdd8e2e1c3c9,
0x1a6b101811caedfa,
0x06a1bbe64bfb6350,
0x6a124237b79251e7,
0x12754ccc782ef11c,
0x6842ada7c66a2b3b,
0x8026e297f42e312d,
0x37392eb3cc115979,
0x7b9479bf763bd6eb,
0xbb132f88515bad24,
0xa091cf0bd9155ea3,
0x667b9ffbcedb7d9c,
0xb5390f92690fed0b,
0xf1290dc7cc00ffa3,
0x2765d43bdcd0e804,
0xc67b55106d672c37,
0x991be14cdb6e6b0d,
0xa812dc60a1ebddf8,
0x3a6f6eabf4f8fd37,
0x0a476341992eff74,
0xc39dfd27f33e8d1e,
0x5449a36f877d48fa,
0x647d0862e7ccf5f0,
0xd012784595b794fd,
0xde720c8c2da2f728,
0x85b2a20ee6ba0d99,
0x3b240b62eebeb922,
0x6b2395e0333e92e1,
0xaf664fd1cad18115,
0x0e12b4c202e1329e,
0xdff8e8a31f636c1b,
0x257b7834602a9c60,
0xf2bcc18f41113564,
0x325f51ebd59bc0d1,
0x404779a45d886e17,
0x07f9c9ee41041f0f,
0x48c1133fc70f86dc,
0x95c11548e4c66d22,
0x80bb155c05282ce3,
0xfdf8e80204272f70,
0x5ef47e1c9029317c,
0xa62a4a563f3125f9,
0xcca9296399e1db33,
0x55a867bca1159a58,
0xfe6ba9b7d096954b,
0x55533a3a20838d87,
0x454056acba489527,
0xfb0af54ed8feb397,
0x6841e7f7ca7820fb,
0x3a6efa74dd5b4332,
0x26a36631eae397b2,
0x1dc9faf74b6d1856,
0xee39d7ab3b124e8b,
0x20fe9e35d9f385b9,
0xce78a399406b2a42,
0xaace1e7cd3375fec,
0xb58ce0067af4d6b6,
0x4f3ffea2e887ad8c,
0x680ec0a427a18dee,
0x68dc1462d7486900,
0x0a2c86dae9b66dfb,
0x28507825530429f4,
0xda2547e6abca0a9a,
0x96eb27b355fd3941,
0x7fac6dd031cb8504,
0xbfbc09ec03bd9785,
0x70f4ddd366a02f45,
0x4d95fc1d96b591af,
0x14214f74bf8b8840,
0x1e39f62e97244546,
0x43b7d4b7500061af,
0xd40824713320f46a,
0xbcf46b2ed4a20068,
0x411520f77602d4f7,
0xf64c261c94692934,
0xe93d5a68948140f7,
0xe6e39f2bdb83adf7,
0x153e21e78fb03d4a,
0x3d28f89ef16dff20,
0xc5c43465713e38d8,
0x675fda79e3674340,
0xdb73dbd3105588cd,
0xfdd567050e1e9ec9,
0x9e447a2ec3453484,
0x5a04abfc800bcadc,
0xa969a7aac50c06c2,
0xe8efd85561d99735,
0xa607808419f8509e,
0x4085f2a7ce77326e,
0x7cde3759cbee7460,
0xd65fecf16c223bdb,
0x3372f0928d937e41,
0x1dadf43e233f7061,
0x58428d2a0c55f5ea,
0x1462b17423820e00,
0x095bbf00ad19489d,
0x47848a0b5692b285,
0x7f1524c369cb7492,
0xfc8883a0c1c7b6a3,
0xcf62a1f25b8d2646,
0xe44b476a3d816250,
0xd81e799e86854dc7,
0x654f3b1d41cd2105,
0xc742f442ef6abbb5,
0xdb6c4f15facb4fd0,
0x45eee2b6a3aaabea,
0x42105d14203e13e0,
0x5d4a14d9e864b7e3,
0xfe28ed61ee7c3c73,
0x58ebf2ef34c6ffea,
0x8fd948e46dbc3128,
0xcdb30aeb532e3054,
0x9b83c3ff1ac24696,
0x57f584a51b227263,
0x96dedfa17858ba99,
0x0e358829c7e61fd6,
0x11ed935f16681281,
0xf837889a97e32d77,
0x95f7997e623d7da8,
0x9b540b19875fa099,
0x319ee9d5c021b8f7,
0x40685a323c2ab4b3,
0xa02369b9655abb50,
0x648b1eaf19bdf0ca,
0x9cab5cabb2f3846e,
0xeecc86bc60622ca7,
0xd59e9e0bcbaade14,
0xb5735c904c70a239,
0x0334fe1eaa0363cf,
0x13cca830eb61bd96,
0xecdd4775619f1510,
0x1521b62829076170,
0x2aef7dad5b6e2f84,
0xeecea50fdb2f953b,
0x6558218568ab9802,
0xc332ddefbe6c5aa5,
0xb17f37d1018cff28,
0xe3bc4595a67bc883,
0xebadfe6eeac31f66,
0x5223a708f71312b6,
0x1939260f19c27960,
0xf2f74ea7361d2b3d,
0xa5fc3c531e0a2df4,
0xc6150eba94e2ea78,
0x2e4cc9789c10b36a,
0x803e89d65266c825,
0x2965dcb999e71d0f,
0x771fe71c4e3d06fa,
0x860e5e0a5a3e2ab3,
0x86e34570eae96fb1,
0x9ebabf2c1e153c6e,
0xf28fe6ed97f1fbfa,
0x3c11183b5924a509,
0x043556f1d7a3c76b,
0x81ac77d65f11199b,
0x71dff89e10314e55,
0x50940002133ae4dd,
0x12a14d432a65c451,
0xdd433b3724c2ba16,
0xef1c18473215d908,
0x63094366c464c3d2,
0xec7aec3adb851dfa,
0xbc9f9abce94b7d8c,
0x7a5847187408da17,
0x501adde69f84cd87,
0x5512721f2e6b7124,
0xb38bae12dccf3f2e,
0xde9a771fd9930810,
0x5679b072bcaf89af,
0x2cb8129024977c79,
0x6f420d03f60a04bf,
0x4e548b384f6db908,
0x3280bba1183eb331,
0xe238cd993bea0e2f,
0xecc8c73ea4751e41,
0xa94461460fd0030e,
0xc8b576349af3dda7,
0x3ae5e58137c2dadc,
0x9432477322f54701,
0xd19113f97ca92ff6,
0x25837a58dc0921bd,
0xae0cf51a3cb574b2,
0xf01c1f040200b3ff,
0xb03ada37f0500c0d,
0x8e7d44ec5716f2b8,
0x3e07841c7fdeae5c,
0xb79c5305aa500737,
0x687f358452a0e286,
0x3c9718146b6a70a1,
0x09686b3f3ebaefc9,
0x6382e9c6021ecc5e,
0x4cdd20868470eb26,
0x4d2d38e6f0255dc1,
0xa1d29c07efe830f5,
0x6b8fe4d699f73fd6,
0x3f54989a5b429d65,
0xa0591340e4183a3e,
0x193602a575094c29,
0x5664526cc2b19ee1,
0xecaa8c71699a17ff,
0x9cee60b88fedb266,
0xad6ea6b049a7df7d,
0xdb75092ec4192623,
0x4b7a70e9b5b32944,
0x08ba47996e85076a,
0x53b02d5da99f8fa1,
0xff34052ec5855664,
0xb6636521e7b9f9b6,
0xf296ec6b2a0dd915,
0x08ba6fb5571be91f,
0x2b60a47681e67400,
0xd60f573fbc9bc6e4,
0x1b5100529a532915,
0xb3472dca7b14a94a,
0x11c819684e734a41,
0x832603766295cfa9,
0x207d5ba202e5b9c5,
0x78c14389d95a537f,
0x5563911d59dfa6aa,
0x2464369bf009b91e,
0x226800bb57b8e0af,
0x00250e2d2071b35e,
0xd6411bd3ae1e7e49,
0xebcdaf0c7b3e89a0,
0xc75442f5fb9d35cf,
0xe6ad206577b5fa86,
0x93cc7314211a1477,
0x165fa26680957705,
0x7cc43b81d2ada8d9,
0xb4a84fe0fd13e0b7,
0x18acf3d6ce89e299,
0xe5a0cc0fb56f74e8,
0xea752dfe8b021fa1,
0x2f2f2218be0e1777,
0xd1cff191b3a8c1ad,
0x4fad5ea0688fc31c,
0x8888b812900df01c,
0x8ff6e2fbf2122b64,
0x8e3c5b2f8e7594b7,
0xd08ed1d0afc725e0,
0xeaad8e716b93d5a0,
0x95dbda4dae909198,
0xd07e9efe2bf11fb4,
0xef20cada36774c01,
0x62fb1341cee4c6e8,
0xe1ddf2daa4cb7e33,
0xd28e49bc4bfb9790,
0x9a53e479b6f84565,
0x4afcb56c2dd1d35b,
0x10fa3d98fd2183b8,
0xe1ffa35db8f011a0,
0x695b27b0bbca58c8,
0xac6732c68c4f5573,
0xd542a8f6287effc3,
0x1a87562edf1769db,
0x9e5c57bbca6f8ca0,
0x53317b483e00df82,
0x323db5fafd238760,
0x2f501ec8ad0552ab,
0x3c7516dffd616b15,
0x8ea5e9f8db3222f8,
0x679f25fefb1fa3cc,
0xd6a100c6402c7279,
0x5579c0bd1a60320a,
0xd20b5f39b9d3fbdb,
0xc0cba85745c8740f,
0x660f2807192e4bb3,
0xbee3d004de334afd,
0xcc814544af5ebd09,
0x6dfc511f9b30952c,
0x1339b2eb3b52ec6f,
0x68fb6faf3e6c53b5,
0x5e5c9ec2196a2463,
0xc1a94fb6409f60c4,
0x976ce0bd04c006ba,
0xe3fe501ab6794c3b,
0x25d479d8f6e8def7,
0x075372c980991b7b,
0xdb0fead349f1c09b,
0x37d0d724d00a1248,
0x1bfedf72429b023d,
0x4ed3aa62363f7706,
0x401a449f56c16aa6,
0xe06f75d885c12073,
0x7d84a5c33b8b5ebe,
0x8cee8619456f9fb4,
0x66ca593e82430e88,
0xa1f1651d39af0176,
0xba3bf0507efb2a98,
0x6eef0b6c137a3be4,
0x960fa728ab5133a3,
0x6a51a0d2d8542f68,
0x670c9c61abd388f0,
0x21c66842f6e96c9a,
0x69c8f04a9e1f9b5e,
0x2e0b4482a4842004,
0x0f6d6ff383f44239,
0x23893e81d396acc5,
0xdc262302eb651b88,
0xef845d5de98575b1,
0x487cac605dec8032,
0x61d809ccfb21a991,
0xc4bfe81b66282193,
0x3b8f48986b4bb9af,
0x7a32538128958677,
0xafd6ba336c24cf5c,
0xce5c3e169b87931e,
0x2ba9c55d741831f6,
0xb3ee1411636fbc2a,
0xa15486af7c72e993,
0xb4cc5c341141e8ce,
0x55ca396a2aab10b6,
0x5748986263e81440,
0xe65525f3aa55ab94,
0x78af2fda55605c60,
0xd71577c1bd314b27,
0x6c9e0e8bb01e8a3e,
0x8e79dcb0603a180e,
0xca417918b8db38ef,
0xc5d1b023286085f0,
0x9c30d5392af26013,
0x7b54a41dc25a59b5,
0x718bcd5882154aee,
0x0d95748f728eb658,
0xa458fea3f4933d7e,
0x636920d871574e69,
0x0801f2e2858efc16,
0x24a19947b3916cf7,
0xba7c9045f12c7f99,
0xb8e1afed6a267e96,
0x2ffd72dbd01adfb7,
0xd1310ba698dfb5ac,
0x9216d5d98979fb1b,
0x3f84d5b5b5470917,
0xc0ac29b7c97c50dd,
0xbe5466cf34e90c6c,
0x452821e638d01377,
0x082efa98ec4e6c89,
0xa4093822299f31d0,
0x13198a2e03707344,
0x243f6a8885a308d3,
0x0000000000000003,
];