#![allow(clippy::unreadable_literal)]
pub(crate) const R: usize = 10;
pub(crate) const RC: [u64; R] = [
0x4f01b887e8c62318,
0x52916f79f5d2a636,
0x357b0ca38e9bbc60,
0x57fe4b2ec2d7e01d,
0xda4af09fe5377715,
0x856ba0b10a29c958,
0x67053ecbf4105dbd,
0xd8957da78b4127e4,
0x9e4717dd667ceefb,
0x33835aad07bf2dca,
];
pub(crate) const C0: [u64; 256] = [
0xd83078c018601818,
0x2646af05238c2323,
0xb891f97ec63fc6c6,
0xfbcd6f13e887e8e8,
0xcb13a14c87268787,
0x116d62a9b8dab8b8,
0x0902050801040101,
0x0d9e6e424f214f4f,
0x9b6ceead36d83636,
0xff510459a6a2a6a6,
0x0cb9bdded26fd2d2,
0x0ef706fbf5f3f5f5,
0x96f280ef79f97979,
0x30dece5f6fa16f6f,
0x6d3feffc917e9191,
0xf8a407aa52555252,
0x47c0fd27609d6060,
0x35657689bccabcbc,
0x372bcdac9b569b9b,
0x8a018c048e028e8e,
0xd25b1571a3b6a3a3,
0x6c183c600c300c0c,
0x84f68aff7bf17b7b,
0x806ae1b535d43535,
0xf53a69e81d741d1d,
0xb3dd4753e0a7e0e0,
0x21b3acf6d77bd7d7,
0x9c99ed5ec22fc2c2,
0x435c966d2eb82e2e,
0x29967a624b314b4b,
0x5de121a3fedffefe,
0xd5ae168257415757,
0xbd2a41a815541515,
0xe8eeb69f77c17777,
0x926eeba537dc3737,
0x9ed7567be5b3e5e5,
0x1323d98c9f469f9f,
0x23fd17d3f0e7f0f0,
0x20947f6a4a354a4a,
0x44a9959eda4fdada,
0xa2b025fa587d5858,
0xcf8fca06c903c9c9,
0x7c528d5529a42929,
0x5a1422500a280a0a,
0x507f4fe1b1feb1b1,
0xc95d1a69a0baa0a0,
0x14d6da7f6bb16b6b,
0xd917ab5c852e8585,
0x3c677381bdcebdbd,
0x8fba34d25d695d5d,
0x9020508010401010,
0x07f503f3f4f7f4f4,
0xdd8bc016cb0bcbcb,
0xd37cc6ed3ef83e3e,
0x2d0a112805140505,
0x78cee61f67816767,
0x97d55373e4b7e4e4,
0x024ebb25279c2727,
0x7382583241194141,
0xa70b9d2c8b168b8b,
0xf6530151a7a6a7a7,
0xb2fa94cf7de97d7d,
0x4937fbdc956e9595,
0x56ad9f8ed847d8d8,
0x70eb308bfbcbfbfb,
0xcdc17123ee9feeee,
0xbbf891c77ced7c7c,
0x71cce31766856666,
0x7ba78ea6dd53dddd,
0xaf2e4bb8175c1717,
0x458e460247014747,
0x1a21dc849e429e9e,
0xd489c51eca0fcaca,
0x585a99752db42d2d,
0x2e637991bfc6bfbf,
0x3f0e1b38071c0707,
0xac472301ad8eadad,
0xb0b42fea5a755a5a,
0xef1bb56c83368383,
0xb666ff8533cc3333,
0x5cc6f23f63916363,
0x12040a1002080202,
0x93493839aa92aaaa,
0xdee2a8af71d97171,
0xc68dcf0ec807c8c8,
0xd1327dc819641919,
0x3b92707249394949,
0x5faf9a86d943d9d9,
0x31f91dc3f2eff2f2,
0xa8db484be3abe3e3,
0xb9b62ae25b715b5b,
0xbc0d9234881a8888,
0x3e29c8a49a529a9a,
0x0b4cbe2d26982626,
0xbf64fa8d32c83232,
0x597d4ae9b0fab0b0,
0xf2cf6a1be983e9e9,
0x771e33780f3c0f0f,
0x33b7a6e6d573d5d5,
0xf41dba74803a8080,
0x27617c99bec2bebe,
0xeb87de26cd13cdcd,
0x8968e4bd34d03434,
0x3290757a483d4848,
0x54e324abffdbffff,
0x8df48ff77af57a7a,
0x643deaf4907a9090,
0x9dbe3ec25f615f5f,
0x3d40a01d20802020,
0x0fd0d56768bd6868,
0xca3472d01a681a1a,
0xb7412c19ae82aeae,
0x7d755ec9b4eab4b4,
0xcea8199a544d5454,
0x7f3be5ec93769393,
0x2f44aa0d22882222,
0x63c8e907648d6464,
0x2aff12dbf1e3f1f1,
0xcce6a2bf73d17373,
0x82245a9012481212,
0x7a805d3a401d4040,
0x4810284008200808,
0x959be856c32bc3c3,
0xdfc57b33ec97ecec,
0x4dab9096db4bdbdb,
0xc05f1f61a1bea1a1,
0x9107831c8d0e8d8d,
0xc87ac9f53df43d3d,
0x5b33f1cc97669797,
0x0000000000000000,
0xf983d436cf1bcfcf,
0x6e5687452bac2b2b,
0xe1ecb39776c57676,
0xe619b06482328282,
0x28b1a9fed67fd6d6,
0xc33677d81b6c1b1b,
0x74775bc1b5eeb5b5,
0xbe432911af86afaf,
0x1dd4df776ab56a6a,
0xeaa00dba505d5050,
0x578a4c1245094545,
0x38fb18cbf3ebf3f3,
0xad60f09d30c03030,
0xc4c3742bef9befef,
0xda7ec3e53ffc3f3f,
0xc7aa1c9255495555,
0xdb591079a2b2a2a2,
0xe9c96503ea8feaea,
0x6acaec0f65896565,
0x036968b9bad2baba,
0x4a5e93652fbc2f2f,
0x8e9de74ec027c0c0,
0x60a181bede5fdede,
0xfc386ce01c701c1c,
0x46e72ebbfdd3fdfd,
0x1f9a64524d294d4d,
0x7639e0e492729292,
0xfaeabc8f75c97575,
0x360c1e3006180606,
0xae0998248a128a8a,
0x4b7940f9b2f2b2b2,
0x85d15963e6bfe6e6,
0x7e1c36700e380e0e,
0xe73e63f81f7c1f1f,
0x55c4f73762956262,
0x3ab5a3eed477d4d4,
0x814d3229a89aa8a8,
0x5231f4c496629696,
0x62ef3a9bf9c3f9f9,
0xa397f666c533c5c5,
0x104ab13525942525,
0xabb220f259795959,
0xd015ae54842a8484,
0xc5e4a7b772d57272,
0xec72ddd539e43939,
0x1698615a4c2d4c4c,
0x94bc3bca5e655e5e,
0x9ff085e778fd7878,
0xe570d8dd38e03838,
0x980586148c0a8c8c,
0x17bfb2c6d163d1d1,
0xe4570b41a5aea5a5,
0xa1d94d43e2afe2e2,
0x4ec2f82f61996161,
0x427b45f1b3f6b3b3,
0x3442a51521842121,
0x0825d6949c4a9c9c,
0xee3c66f01e781e1e,
0x6186522243114343,
0xb193fc76c73bc7c7,
0x4fe52bb3fcd7fcfc,
0x2408142004100404,
0xe3a208b251595151,
0x252fc7bc995e9999,
0x22dac44f6da96d6d,
0x651a39680d340d0d,
0x79e93583facffafa,
0x69a384b6df5bdfdf,
0xa9fc9bd77ee57e7e,
0x1948b43d24902424,
0xfe76d7c53bec3b3b,
0x9a4b3d31ab96abab,
0xf081d13ece1fcece,
0x9922558811441111,
0x8303890c8f068f8f,
0x049c6b4a4e254e4e,
0x667351d1b7e6b7b7,
0xe0cb600beb8bebeb,
0xc178ccfd3cf03c3c,
0xfd1fbf7c813e8181,
0x4035fed4946a9494,
0x1cf30cebf7fbf7f7,
0x186f67a1b9deb9b9,
0x8b265f98134c1313,
0x51589c7d2cb02c2c,
0x05bbb8d6d36bd3d3,
0x8cd35c6be7bbe7e7,
0x39dccb576ea56e6e,
0xaa95f36ec437c4c4,
0x1b060f18030c0303,
0xdcac138a56455656,
0x5e88491a440d4444,
0xa0fe9edf7fe17f7f,
0x884f3721a99ea9a9,
0x6754824d2aa82a2a,
0x0a6b6db1bbd6bbbb,
0x879fe246c123c1c1,
0xf1a602a253515353,
0x72a58baedc57dcdc,
0x531627580b2c0b0b,
0x0127d39c9d4e9d9d,
0x2bd8c1476cad6c6c,
0xa462f59531c43131,
0xf3e8b98774cd7474,
0x15f109e3f6fff6f6,
0x4c8c430a46054646,
0xa5452609ac8aacac,
0xb50f973c891e8989,
0xb42844a014501414,
0xbadf425be1a3e1e1,
0xa62c4eb016581616,
0xf774d2cd3ae83a3a,
0x06d2d06f69b96969,
0x41122d4809240909,
0xd7e0ada770dd7070,
0x6f7154d9b6e2b6b6,
0x1ebdb7ced067d0d0,
0xd6c77e3bed93eded,
0xe285db2ecc17cccc,
0x6884572a42154242,
0x2c2dc2b4985a9898,
0xed550e49a4aaa4a4,
0x7550885d28a02828,
0x86b831da5c6d5c5c,
0x6bed3f93f8c7f8f8,
0xc211a44486228686,
];
pub(crate) const C1: [u64; 256] = [
0x3078c018601818d8,
0x46af05238c232326,
0x91f97ec63fc6c6b8,
0xcd6f13e887e8e8fb,
0x13a14c87268787cb,
0x6d62a9b8dab8b811,
0x0205080104010109,
0x9e6e424f214f4f0d,
0x6ceead36d836369b,
0x510459a6a2a6a6ff,
0xb9bdded26fd2d20c,
0xf706fbf5f3f5f50e,
0xf280ef79f9797996,
0xdece5f6fa16f6f30,
0x3feffc917e91916d,
0xa407aa52555252f8,
0xc0fd27609d606047,
0x657689bccabcbc35,
0x2bcdac9b569b9b37,
0x018c048e028e8e8a,
0x5b1571a3b6a3a3d2,
0x183c600c300c0c6c,
0xf68aff7bf17b7b84,
0x6ae1b535d4353580,
0x3a69e81d741d1df5,
0xdd4753e0a7e0e0b3,
0xb3acf6d77bd7d721,
0x99ed5ec22fc2c29c,
0x5c966d2eb82e2e43,
0x967a624b314b4b29,
0xe121a3fedffefe5d,
0xae168257415757d5,
0x2a41a815541515bd,
0xeeb69f77c17777e8,
0x6eeba537dc373792,
0xd7567be5b3e5e59e,
0x23d98c9f469f9f13,
0xfd17d3f0e7f0f023,
0x947f6a4a354a4a20,
0xa9959eda4fdada44,
0xb025fa587d5858a2,
0x8fca06c903c9c9cf,
0x528d5529a429297c,
0x1422500a280a0a5a,
0x7f4fe1b1feb1b150,
0x5d1a69a0baa0a0c9,
0xd6da7f6bb16b6b14,
0x17ab5c852e8585d9,
0x677381bdcebdbd3c,
0xba34d25d695d5d8f,
0x2050801040101090,
0xf503f3f4f7f4f407,
0x8bc016cb0bcbcbdd,
0x7cc6ed3ef83e3ed3,
0x0a1128051405052d,
0xcee61f6781676778,
0xd55373e4b7e4e497,
0x4ebb25279c272702,
0x8258324119414173,
0x0b9d2c8b168b8ba7,
0x530151a7a6a7a7f6,
0xfa94cf7de97d7db2,
0x37fbdc956e959549,
0xad9f8ed847d8d856,
0xeb308bfbcbfbfb70,
0xc17123ee9feeeecd,
0xf891c77ced7c7cbb,
0xcce3176685666671,
0xa78ea6dd53dddd7b,
0x2e4bb8175c1717af,
0x8e46024701474745,
0x21dc849e429e9e1a,
0x89c51eca0fcacad4,
0x5a99752db42d2d58,
0x637991bfc6bfbf2e,
0x0e1b38071c07073f,
0x472301ad8eadadac,
0xb42fea5a755a5ab0,
0x1bb56c83368383ef,
0x66ff8533cc3333b6,
0xc6f23f639163635c,
0x040a100208020212,
0x493839aa92aaaa93,
0xe2a8af71d97171de,
0x8dcf0ec807c8c8c6,
0x327dc819641919d1,
0x927072493949493b,
0xaf9a86d943d9d95f,
0xf91dc3f2eff2f231,
0xdb484be3abe3e3a8,
0xb62ae25b715b5bb9,
0x0d9234881a8888bc,
0x29c8a49a529a9a3e,
0x4cbe2d269826260b,
0x64fa8d32c83232bf,
0x7d4ae9b0fab0b059,
0xcf6a1be983e9e9f2,
0x1e33780f3c0f0f77,
0xb7a6e6d573d5d533,
0x1dba74803a8080f4,
0x617c99bec2bebe27,
0x87de26cd13cdcdeb,
0x68e4bd34d0343489,
0x90757a483d484832,
0xe324abffdbffff54,
0xf48ff77af57a7a8d,
0x3deaf4907a909064,
0xbe3ec25f615f5f9d,
0x40a01d208020203d,
0xd0d56768bd68680f,
0x3472d01a681a1aca,
0x412c19ae82aeaeb7,
0x755ec9b4eab4b47d,
0xa8199a544d5454ce,
0x3be5ec937693937f,
0x44aa0d228822222f,
0xc8e907648d646463,
0xff12dbf1e3f1f12a,
0xe6a2bf73d17373cc,
0x245a901248121282,
0x805d3a401d40407a,
0x1028400820080848,
0x9be856c32bc3c395,
0xc57b33ec97ececdf,
0xab9096db4bdbdb4d,
0x5f1f61a1bea1a1c0,
0x07831c8d0e8d8d91,
0x7ac9f53df43d3dc8,
0x33f1cc976697975b,
0x0000000000000000,
0x83d436cf1bcfcff9,
0x5687452bac2b2b6e,
0xecb39776c57676e1,
0x19b06482328282e6,
0xb1a9fed67fd6d628,
0x3677d81b6c1b1bc3,
0x775bc1b5eeb5b574,
0x432911af86afafbe,
0xd4df776ab56a6a1d,
0xa00dba505d5050ea,
0x8a4c124509454557,
0xfb18cbf3ebf3f338,
0x60f09d30c03030ad,
0xc3742bef9befefc4,
0x7ec3e53ffc3f3fda,
0xaa1c9255495555c7,
0x591079a2b2a2a2db,
0xc96503ea8feaeae9,
0xcaec0f658965656a,
0x6968b9bad2baba03,
0x5e93652fbc2f2f4a,
0x9de74ec027c0c08e,
0xa181bede5fdede60,
0x386ce01c701c1cfc,
0xe72ebbfdd3fdfd46,
0x9a64524d294d4d1f,
0x39e0e49272929276,
0xeabc8f75c97575fa,
0x0c1e300618060636,
0x0998248a128a8aae,
0x7940f9b2f2b2b24b,
0xd15963e6bfe6e685,
0x1c36700e380e0e7e,
0x3e63f81f7c1f1fe7,
0xc4f7376295626255,
0xb5a3eed477d4d43a,
0x4d3229a89aa8a881,
0x31f4c49662969652,
0xef3a9bf9c3f9f962,
0x97f666c533c5c5a3,
0x4ab1352594252510,
0xb220f259795959ab,
0x15ae54842a8484d0,
0xe4a7b772d57272c5,
0x72ddd539e43939ec,
0x98615a4c2d4c4c16,
0xbc3bca5e655e5e94,
0xf085e778fd78789f,
0x70d8dd38e03838e5,
0x0586148c0a8c8c98,
0xbfb2c6d163d1d117,
0x570b41a5aea5a5e4,
0xd94d43e2afe2e2a1,
0xc2f82f619961614e,
0x7b45f1b3f6b3b342,
0x42a5152184212134,
0x25d6949c4a9c9c08,
0x3c66f01e781e1eee,
0x8652224311434361,
0x93fc76c73bc7c7b1,
0xe52bb3fcd7fcfc4f,
0x0814200410040424,
0xa208b251595151e3,
0x2fc7bc995e999925,
0xdac44f6da96d6d22,
0x1a39680d340d0d65,
0xe93583facffafa79,
0xa384b6df5bdfdf69,
0xfc9bd77ee57e7ea9,
0x48b43d2490242419,
0x76d7c53bec3b3bfe,
0x4b3d31ab96abab9a,
0x81d13ece1fcecef0,
0x2255881144111199,
0x03890c8f068f8f83,
0x9c6b4a4e254e4e04,
0x7351d1b7e6b7b766,
0xcb600beb8bebebe0,
0x78ccfd3cf03c3cc1,
0x1fbf7c813e8181fd,
0x35fed4946a949440,
0xf30cebf7fbf7f71c,
0x6f67a1b9deb9b918,
0x265f98134c13138b,
0x589c7d2cb02c2c51,
0xbbb8d6d36bd3d305,
0xd35c6be7bbe7e78c,
0xdccb576ea56e6e39,
0x95f36ec437c4c4aa,
0x060f18030c03031b,
0xac138a56455656dc,
0x88491a440d44445e,
0xfe9edf7fe17f7fa0,
0x4f3721a99ea9a988,
0x54824d2aa82a2a67,
0x6b6db1bbd6bbbb0a,
0x9fe246c123c1c187,
0xa602a253515353f1,
0xa58baedc57dcdc72,
0x1627580b2c0b0b53,
0x27d39c9d4e9d9d01,
0xd8c1476cad6c6c2b,
0x62f59531c43131a4,
0xe8b98774cd7474f3,
0xf109e3f6fff6f615,
0x8c430a460546464c,
0x452609ac8aacaca5,
0x0f973c891e8989b5,
0x2844a014501414b4,
0xdf425be1a3e1e1ba,
0x2c4eb016581616a6,
0x74d2cd3ae83a3af7,
0xd2d06f69b9696906,
0x122d480924090941,
0xe0ada770dd7070d7,
0x7154d9b6e2b6b66f,
0xbdb7ced067d0d01e,
0xc77e3bed93ededd6,
0x85db2ecc17cccce2,
0x84572a4215424268,
0x2dc2b4985a98982c,
0x550e49a4aaa4a4ed,
0x50885d28a0282875,
0xb831da5c6d5c5c86,
0xed3f93f8c7f8f86b,
0x11a44486228686c2,
];
pub(crate) const C2: [u64; 256] = [
0x78c018601818d830,
0xaf05238c23232646,
0xf97ec63fc6c6b891,
0x6f13e887e8e8fbcd,
0xa14c87268787cb13,
0x62a9b8dab8b8116d,
0x0508010401010902,
0x6e424f214f4f0d9e,
0xeead36d836369b6c,
0x0459a6a2a6a6ff51,
0xbdded26fd2d20cb9,
0x06fbf5f3f5f50ef7,
0x80ef79f9797996f2,
0xce5f6fa16f6f30de,
0xeffc917e91916d3f,
0x07aa52555252f8a4,
0xfd27609d606047c0,
0x7689bccabcbc3565,
0xcdac9b569b9b372b,
0x8c048e028e8e8a01,
0x1571a3b6a3a3d25b,
0x3c600c300c0c6c18,
0x8aff7bf17b7b84f6,
0xe1b535d43535806a,
0x69e81d741d1df53a,
0x4753e0a7e0e0b3dd,
0xacf6d77bd7d721b3,
0xed5ec22fc2c29c99,
0x966d2eb82e2e435c,
0x7a624b314b4b2996,
0x21a3fedffefe5de1,
0x168257415757d5ae,
0x41a815541515bd2a,
0xb69f77c17777e8ee,
0xeba537dc3737926e,
0x567be5b3e5e59ed7,
0xd98c9f469f9f1323,
0x17d3f0e7f0f023fd,
0x7f6a4a354a4a2094,
0x959eda4fdada44a9,
0x25fa587d5858a2b0,
0xca06c903c9c9cf8f,
0x8d5529a429297c52,
0x22500a280a0a5a14,
0x4fe1b1feb1b1507f,
0x1a69a0baa0a0c95d,
0xda7f6bb16b6b14d6,
0xab5c852e8585d917,
0x7381bdcebdbd3c67,
0x34d25d695d5d8fba,
0x5080104010109020,
0x03f3f4f7f4f407f5,
0xc016cb0bcbcbdd8b,
0xc6ed3ef83e3ed37c,
0x1128051405052d0a,
0xe61f6781676778ce,
0x5373e4b7e4e497d5,
0xbb25279c2727024e,
0x5832411941417382,
0x9d2c8b168b8ba70b,
0x0151a7a6a7a7f653,
0x94cf7de97d7db2fa,
0xfbdc956e95954937,
0x9f8ed847d8d856ad,
0x308bfbcbfbfb70eb,
0x7123ee9feeeecdc1,
0x91c77ced7c7cbbf8,
0xe3176685666671cc,
0x8ea6dd53dddd7ba7,
0x4bb8175c1717af2e,
0x460247014747458e,
0xdc849e429e9e1a21,
0xc51eca0fcacad489,
0x99752db42d2d585a,
0x7991bfc6bfbf2e63,
0x1b38071c07073f0e,
0x2301ad8eadadac47,
0x2fea5a755a5ab0b4,
0xb56c83368383ef1b,
0xff8533cc3333b666,
0xf23f639163635cc6,
0x0a10020802021204,
0x3839aa92aaaa9349,
0xa8af71d97171dee2,
0xcf0ec807c8c8c68d,
0x7dc819641919d132,
0x7072493949493b92,
0x9a86d943d9d95faf,
0x1dc3f2eff2f231f9,
0x484be3abe3e3a8db,
0x2ae25b715b5bb9b6,
0x9234881a8888bc0d,
0xc8a49a529a9a3e29,
0xbe2d269826260b4c,
0xfa8d32c83232bf64,
0x4ae9b0fab0b0597d,
0x6a1be983e9e9f2cf,
0x33780f3c0f0f771e,
0xa6e6d573d5d533b7,
0xba74803a8080f41d,
0x7c99bec2bebe2761,
0xde26cd13cdcdeb87,
0xe4bd34d034348968,
0x757a483d48483290,
0x24abffdbffff54e3,
0x8ff77af57a7a8df4,
0xeaf4907a9090643d,
0x3ec25f615f5f9dbe,
0xa01d208020203d40,
0xd56768bd68680fd0,
0x72d01a681a1aca34,
0x2c19ae82aeaeb741,
0x5ec9b4eab4b47d75,
0x199a544d5454cea8,
0xe5ec937693937f3b,
0xaa0d228822222f44,
0xe907648d646463c8,
0x12dbf1e3f1f12aff,
0xa2bf73d17373cce6,
0x5a90124812128224,
0x5d3a401d40407a80,
0x2840082008084810,
0xe856c32bc3c3959b,
0x7b33ec97ececdfc5,
0x9096db4bdbdb4dab,
0x1f61a1bea1a1c05f,
0x831c8d0e8d8d9107,
0xc9f53df43d3dc87a,
0xf1cc976697975b33,
0x0000000000000000,
0xd436cf1bcfcff983,
0x87452bac2b2b6e56,
0xb39776c57676e1ec,
0xb06482328282e619,
0xa9fed67fd6d628b1,
0x77d81b6c1b1bc336,
0x5bc1b5eeb5b57477,
0x2911af86afafbe43,
0xdf776ab56a6a1dd4,
0x0dba505d5050eaa0,
0x4c1245094545578a,
0x18cbf3ebf3f338fb,
0xf09d30c03030ad60,
0x742bef9befefc4c3,
0xc3e53ffc3f3fda7e,
0x1c9255495555c7aa,
0x1079a2b2a2a2db59,
0x6503ea8feaeae9c9,
0xec0f658965656aca,
0x68b9bad2baba0369,
0x93652fbc2f2f4a5e,
0xe74ec027c0c08e9d,
0x81bede5fdede60a1,
0x6ce01c701c1cfc38,
0x2ebbfdd3fdfd46e7,
0x64524d294d4d1f9a,
0xe0e4927292927639,
0xbc8f75c97575faea,
0x1e3006180606360c,
0x98248a128a8aae09,
0x40f9b2f2b2b24b79,
0x5963e6bfe6e685d1,
0x36700e380e0e7e1c,
0x63f81f7c1f1fe73e,
0xf7376295626255c4,
0xa3eed477d4d43ab5,
0x3229a89aa8a8814d,
0xf4c4966296965231,
0x3a9bf9c3f9f962ef,
0xf666c533c5c5a397,
0xb13525942525104a,
0x20f259795959abb2,
0xae54842a8484d015,
0xa7b772d57272c5e4,
0xddd539e43939ec72,
0x615a4c2d4c4c1698,
0x3bca5e655e5e94bc,
0x85e778fd78789ff0,
0xd8dd38e03838e570,
0x86148c0a8c8c9805,
0xb2c6d163d1d117bf,
0x0b41a5aea5a5e457,
0x4d43e2afe2e2a1d9,
0xf82f619961614ec2,
0x45f1b3f6b3b3427b,
0xa515218421213442,
0xd6949c4a9c9c0825,
0x66f01e781e1eee3c,
0x5222431143436186,
0xfc76c73bc7c7b193,
0x2bb3fcd7fcfc4fe5,
0x1420041004042408,
0x08b251595151e3a2,
0xc7bc995e9999252f,
0xc44f6da96d6d22da,
0x39680d340d0d651a,
0x3583facffafa79e9,
0x84b6df5bdfdf69a3,
0x9bd77ee57e7ea9fc,
0xb43d249024241948,
0xd7c53bec3b3bfe76,
0x3d31ab96abab9a4b,
0xd13ece1fcecef081,
0x5588114411119922,
0x890c8f068f8f8303,
0x6b4a4e254e4e049c,
0x51d1b7e6b7b76673,
0x600beb8bebebe0cb,
0xccfd3cf03c3cc178,
0xbf7c813e8181fd1f,
0xfed4946a94944035,
0x0cebf7fbf7f71cf3,
0x67a1b9deb9b9186f,
0x5f98134c13138b26,
0x9c7d2cb02c2c5158,
0xb8d6d36bd3d305bb,
0x5c6be7bbe7e78cd3,
0xcb576ea56e6e39dc,
0xf36ec437c4c4aa95,
0x0f18030c03031b06,
0x138a56455656dcac,
0x491a440d44445e88,
0x9edf7fe17f7fa0fe,
0x3721a99ea9a9884f,
0x824d2aa82a2a6754,
0x6db1bbd6bbbb0a6b,
0xe246c123c1c1879f,
0x02a253515353f1a6,
0x8baedc57dcdc72a5,
0x27580b2c0b0b5316,
0xd39c9d4e9d9d0127,
0xc1476cad6c6c2bd8,
0xf59531c43131a462,
0xb98774cd7474f3e8,
0x09e3f6fff6f615f1,
0x430a460546464c8c,
0x2609ac8aacaca545,
0x973c891e8989b50f,
0x44a014501414b428,
0x425be1a3e1e1badf,
0x4eb016581616a62c,
0xd2cd3ae83a3af774,
0xd06f69b9696906d2,
0x2d48092409094112,
0xada770dd7070d7e0,
0x54d9b6e2b6b66f71,
0xb7ced067d0d01ebd,
0x7e3bed93ededd6c7,
0xdb2ecc17cccce285,
0x572a421542426884,
0xc2b4985a98982c2d,
0x0e49a4aaa4a4ed55,
0x885d28a028287550,
0x31da5c6d5c5c86b8,
0x3f93f8c7f8f86bed,
0xa44486228686c211,
];
pub(crate) const C3: [u64; 256] = [
0xc018601818d83078,
0x05238c23232646af,
0x7ec63fc6c6b891f9,
0x13e887e8e8fbcd6f,
0x4c87268787cb13a1,
0xa9b8dab8b8116d62,
0x0801040101090205,
0x424f214f4f0d9e6e,
0xad36d836369b6cee,
0x59a6a2a6a6ff5104,
0xded26fd2d20cb9bd,
0xfbf5f3f5f50ef706,
0xef79f9797996f280,
0x5f6fa16f6f30dece,
0xfc917e91916d3fef,
0xaa52555252f8a407,
0x27609d606047c0fd,
0x89bccabcbc356576,
0xac9b569b9b372bcd,
0x048e028e8e8a018c,
0x71a3b6a3a3d25b15,
0x600c300c0c6c183c,
0xff7bf17b7b84f68a,
0xb535d43535806ae1,
0xe81d741d1df53a69,
0x53e0a7e0e0b3dd47,
0xf6d77bd7d721b3ac,
0x5ec22fc2c29c99ed,
0x6d2eb82e2e435c96,
0x624b314b4b29967a,
0xa3fedffefe5de121,
0x8257415757d5ae16,
0xa815541515bd2a41,
0x9f77c17777e8eeb6,
0xa537dc3737926eeb,
0x7be5b3e5e59ed756,
0x8c9f469f9f1323d9,
0xd3f0e7f0f023fd17,
0x6a4a354a4a20947f,
0x9eda4fdada44a995,
0xfa587d5858a2b025,
0x06c903c9c9cf8fca,
0x5529a429297c528d,
0x500a280a0a5a1422,
0xe1b1feb1b1507f4f,
0x69a0baa0a0c95d1a,
0x7f6bb16b6b14d6da,
0x5c852e8585d917ab,
0x81bdcebdbd3c6773,
0xd25d695d5d8fba34,
0x8010401010902050,
0xf3f4f7f4f407f503,
0x16cb0bcbcbdd8bc0,
0xed3ef83e3ed37cc6,
0x28051405052d0a11,
0x1f6781676778cee6,
0x73e4b7e4e497d553,
0x25279c2727024ebb,
0x3241194141738258,
0x2c8b168b8ba70b9d,
0x51a7a6a7a7f65301,
0xcf7de97d7db2fa94,
0xdc956e95954937fb,
0x8ed847d8d856ad9f,
0x8bfbcbfbfb70eb30,
0x23ee9feeeecdc171,
0xc77ced7c7cbbf891,
0x176685666671cce3,
0xa6dd53dddd7ba78e,
0xb8175c1717af2e4b,
0x0247014747458e46,
0x849e429e9e1a21dc,
0x1eca0fcacad489c5,
0x752db42d2d585a99,
0x91bfc6bfbf2e6379,
0x38071c07073f0e1b,
0x01ad8eadadac4723,
0xea5a755a5ab0b42f,
0x6c83368383ef1bb5,
0x8533cc3333b666ff,
0x3f639163635cc6f2,
0x100208020212040a,
0x39aa92aaaa934938,
0xaf71d97171dee2a8,
0x0ec807c8c8c68dcf,
0xc819641919d1327d,
0x72493949493b9270,
0x86d943d9d95faf9a,
0xc3f2eff2f231f91d,
0x4be3abe3e3a8db48,
0xe25b715b5bb9b62a,
0x34881a8888bc0d92,
0xa49a529a9a3e29c8,
0x2d269826260b4cbe,
0x8d32c83232bf64fa,
0xe9b0fab0b0597d4a,
0x1be983e9e9f2cf6a,
0x780f3c0f0f771e33,
0xe6d573d5d533b7a6,
0x74803a8080f41dba,
0x99bec2bebe27617c,
0x26cd13cdcdeb87de,
0xbd34d034348968e4,
0x7a483d4848329075,
0xabffdbffff54e324,
0xf77af57a7a8df48f,
0xf4907a9090643dea,
0xc25f615f5f9dbe3e,
0x1d208020203d40a0,
0x6768bd68680fd0d5,
0xd01a681a1aca3472,
0x19ae82aeaeb7412c,
0xc9b4eab4b47d755e,
0x9a544d5454cea819,
0xec937693937f3be5,
0x0d228822222f44aa,
0x07648d646463c8e9,
0xdbf1e3f1f12aff12,
0xbf73d17373cce6a2,
0x901248121282245a,
0x3a401d40407a805d,
0x4008200808481028,
0x56c32bc3c3959be8,
0x33ec97ececdfc57b,
0x96db4bdbdb4dab90,
0x61a1bea1a1c05f1f,
0x1c8d0e8d8d910783,
0xf53df43d3dc87ac9,
0xcc976697975b33f1,
0x0000000000000000,
0x36cf1bcfcff983d4,
0x452bac2b2b6e5687,
0x9776c57676e1ecb3,
0x6482328282e619b0,
0xfed67fd6d628b1a9,
0xd81b6c1b1bc33677,
0xc1b5eeb5b574775b,
0x11af86afafbe4329,
0x776ab56a6a1dd4df,
0xba505d5050eaa00d,
0x1245094545578a4c,
0xcbf3ebf3f338fb18,
0x9d30c03030ad60f0,
0x2bef9befefc4c374,
0xe53ffc3f3fda7ec3,
0x9255495555c7aa1c,
0x79a2b2a2a2db5910,
0x03ea8feaeae9c965,
0x0f658965656acaec,
0xb9bad2baba036968,
0x652fbc2f2f4a5e93,
0x4ec027c0c08e9de7,
0xbede5fdede60a181,
0xe01c701c1cfc386c,
0xbbfdd3fdfd46e72e,
0x524d294d4d1f9a64,
0xe4927292927639e0,
0x8f75c97575faeabc,
0x3006180606360c1e,
0x248a128a8aae0998,
0xf9b2f2b2b24b7940,
0x63e6bfe6e685d159,
0x700e380e0e7e1c36,
0xf81f7c1f1fe73e63,
0x376295626255c4f7,
0xeed477d4d43ab5a3,
0x29a89aa8a8814d32,
0xc4966296965231f4,
0x9bf9c3f9f962ef3a,
0x66c533c5c5a397f6,
0x3525942525104ab1,
0xf259795959abb220,
0x54842a8484d015ae,
0xb772d57272c5e4a7,
0xd539e43939ec72dd,
0x5a4c2d4c4c169861,
0xca5e655e5e94bc3b,
0xe778fd78789ff085,
0xdd38e03838e570d8,
0x148c0a8c8c980586,
0xc6d163d1d117bfb2,
0x41a5aea5a5e4570b,
0x43e2afe2e2a1d94d,
0x2f619961614ec2f8,
0xf1b3f6b3b3427b45,
0x15218421213442a5,
0x949c4a9c9c0825d6,
0xf01e781e1eee3c66,
0x2243114343618652,
0x76c73bc7c7b193fc,
0xb3fcd7fcfc4fe52b,
0x2004100404240814,
0xb251595151e3a208,
0xbc995e9999252fc7,
0x4f6da96d6d22dac4,
0x680d340d0d651a39,
0x83facffafa79e935,
0xb6df5bdfdf69a384,
0xd77ee57e7ea9fc9b,
0x3d249024241948b4,
0xc53bec3b3bfe76d7,
0x31ab96abab9a4b3d,
0x3ece1fcecef081d1,
0x8811441111992255,
0x0c8f068f8f830389,
0x4a4e254e4e049c6b,
0xd1b7e6b7b7667351,
0x0beb8bebebe0cb60,
0xfd3cf03c3cc178cc,
0x7c813e8181fd1fbf,
0xd4946a94944035fe,
0xebf7fbf7f71cf30c,
0xa1b9deb9b9186f67,
0x98134c13138b265f,
0x7d2cb02c2c51589c,
0xd6d36bd3d305bbb8,
0x6be7bbe7e78cd35c,
0x576ea56e6e39dccb,
0x6ec437c4c4aa95f3,
0x18030c03031b060f,
0x8a56455656dcac13,
0x1a440d44445e8849,
0xdf7fe17f7fa0fe9e,
0x21a99ea9a9884f37,
0x4d2aa82a2a675482,
0xb1bbd6bbbb0a6b6d,
0x46c123c1c1879fe2,
0xa253515353f1a602,
0xaedc57dcdc72a58b,
0x580b2c0b0b531627,
0x9c9d4e9d9d0127d3,
0x476cad6c6c2bd8c1,
0x9531c43131a462f5,
0x8774cd7474f3e8b9,
0xe3f6fff6f615f109,
0x0a460546464c8c43,
0x09ac8aacaca54526,
0x3c891e8989b50f97,
0xa014501414b42844,
0x5be1a3e1e1badf42,
0xb016581616a62c4e,
0xcd3ae83a3af774d2,
0x6f69b9696906d2d0,
0x480924090941122d,
0xa770dd7070d7e0ad,
0xd9b6e2b6b66f7154,
0xced067d0d01ebdb7,
0x3bed93ededd6c77e,
0x2ecc17cccce285db,
0x2a42154242688457,
0xb4985a98982c2dc2,
0x49a4aaa4a4ed550e,
0x5d28a02828755088,
0xda5c6d5c5c86b831,
0x93f8c7f8f86bed3f,
0x4486228686c211a4,
];
pub(crate) const C4: [u64; 256] = [
0x18601818d83078c0,
0x238c23232646af05,
0xc63fc6c6b891f97e,
0xe887e8e8fbcd6f13,
0x87268787cb13a14c,
0xb8dab8b8116d62a9,
0x0104010109020508,
0x4f214f4f0d9e6e42,
0x36d836369b6ceead,
0xa6a2a6a6ff510459,
0xd26fd2d20cb9bdde,
0xf5f3f5f50ef706fb,
0x79f9797996f280ef,
0x6fa16f6f30dece5f,
0x917e91916d3feffc,
0x52555252f8a407aa,
0x609d606047c0fd27,
0xbccabcbc35657689,
0x9b569b9b372bcdac,
0x8e028e8e8a018c04,
0xa3b6a3a3d25b1571,
0x0c300c0c6c183c60,
0x7bf17b7b84f68aff,
0x35d43535806ae1b5,
0x1d741d1df53a69e8,
0xe0a7e0e0b3dd4753,
0xd77bd7d721b3acf6,
0xc22fc2c29c99ed5e,
0x2eb82e2e435c966d,
0x4b314b4b29967a62,
0xfedffefe5de121a3,
0x57415757d5ae1682,
0x15541515bd2a41a8,
0x77c17777e8eeb69f,
0x37dc3737926eeba5,
0xe5b3e5e59ed7567b,
0x9f469f9f1323d98c,
0xf0e7f0f023fd17d3,
0x4a354a4a20947f6a,
0xda4fdada44a9959e,
0x587d5858a2b025fa,
0xc903c9c9cf8fca06,
0x29a429297c528d55,
0x0a280a0a5a142250,
0xb1feb1b1507f4fe1,
0xa0baa0a0c95d1a69,
0x6bb16b6b14d6da7f,
0x852e8585d917ab5c,
0xbdcebdbd3c677381,
0x5d695d5d8fba34d2,
0x1040101090205080,
0xf4f7f4f407f503f3,
0xcb0bcbcbdd8bc016,
0x3ef83e3ed37cc6ed,
0x051405052d0a1128,
0x6781676778cee61f,
0xe4b7e4e497d55373,
0x279c2727024ebb25,
0x4119414173825832,
0x8b168b8ba70b9d2c,
0xa7a6a7a7f6530151,
0x7de97d7db2fa94cf,
0x956e95954937fbdc,
0xd847d8d856ad9f8e,
0xfbcbfbfb70eb308b,
0xee9feeeecdc17123,
0x7ced7c7cbbf891c7,
0x6685666671cce317,
0xdd53dddd7ba78ea6,
0x175c1717af2e4bb8,
0x47014747458e4602,
0x9e429e9e1a21dc84,
0xca0fcacad489c51e,
0x2db42d2d585a9975,
0xbfc6bfbf2e637991,
0x071c07073f0e1b38,
0xad8eadadac472301,
0x5a755a5ab0b42fea,
0x83368383ef1bb56c,
0x33cc3333b666ff85,
0x639163635cc6f23f,
0x0208020212040a10,
0xaa92aaaa93493839,
0x71d97171dee2a8af,
0xc807c8c8c68dcf0e,
0x19641919d1327dc8,
0x493949493b927072,
0xd943d9d95faf9a86,
0xf2eff2f231f91dc3,
0xe3abe3e3a8db484b,
0x5b715b5bb9b62ae2,
0x881a8888bc0d9234,
0x9a529a9a3e29c8a4,
0x269826260b4cbe2d,
0x32c83232bf64fa8d,
0xb0fab0b0597d4ae9,
0xe983e9e9f2cf6a1b,
0x0f3c0f0f771e3378,
0xd573d5d533b7a6e6,
0x803a8080f41dba74,
0xbec2bebe27617c99,
0xcd13cdcdeb87de26,
0x34d034348968e4bd,
0x483d48483290757a,
0xffdbffff54e324ab,
0x7af57a7a8df48ff7,
0x907a9090643deaf4,
0x5f615f5f9dbe3ec2,
0x208020203d40a01d,
0x68bd68680fd0d567,
0x1a681a1aca3472d0,
0xae82aeaeb7412c19,
0xb4eab4b47d755ec9,
0x544d5454cea8199a,
0x937693937f3be5ec,
0x228822222f44aa0d,
0x648d646463c8e907,
0xf1e3f1f12aff12db,
0x73d17373cce6a2bf,
0x1248121282245a90,
0x401d40407a805d3a,
0x0820080848102840,
0xc32bc3c3959be856,
0xec97ececdfc57b33,
0xdb4bdbdb4dab9096,
0xa1bea1a1c05f1f61,
0x8d0e8d8d9107831c,
0x3df43d3dc87ac9f5,
0x976697975b33f1cc,
0x0000000000000000,
0xcf1bcfcff983d436,
0x2bac2b2b6e568745,
0x76c57676e1ecb397,
0x82328282e619b064,
0xd67fd6d628b1a9fe,
0x1b6c1b1bc33677d8,
0xb5eeb5b574775bc1,
0xaf86afafbe432911,
0x6ab56a6a1dd4df77,
0x505d5050eaa00dba,
0x45094545578a4c12,
0xf3ebf3f338fb18cb,
0x30c03030ad60f09d,
0xef9befefc4c3742b,
0x3ffc3f3fda7ec3e5,
0x55495555c7aa1c92,
0xa2b2a2a2db591079,
0xea8feaeae9c96503,
0x658965656acaec0f,
0xbad2baba036968b9,
0x2fbc2f2f4a5e9365,
0xc027c0c08e9de74e,
0xde5fdede60a181be,
0x1c701c1cfc386ce0,
0xfdd3fdfd46e72ebb,
0x4d294d4d1f9a6452,
0x927292927639e0e4,
0x75c97575faeabc8f,
0x06180606360c1e30,
0x8a128a8aae099824,
0xb2f2b2b24b7940f9,
0xe6bfe6e685d15963,
0x0e380e0e7e1c3670,
0x1f7c1f1fe73e63f8,
0x6295626255c4f737,
0xd477d4d43ab5a3ee,
0xa89aa8a8814d3229,
0x966296965231f4c4,
0xf9c3f9f962ef3a9b,
0xc533c5c5a397f666,
0x25942525104ab135,
0x59795959abb220f2,
0x842a8484d015ae54,
0x72d57272c5e4a7b7,
0x39e43939ec72ddd5,
0x4c2d4c4c1698615a,
0x5e655e5e94bc3bca,
0x78fd78789ff085e7,
0x38e03838e570d8dd,
0x8c0a8c8c98058614,
0xd163d1d117bfb2c6,
0xa5aea5a5e4570b41,
0xe2afe2e2a1d94d43,
0x619961614ec2f82f,
0xb3f6b3b3427b45f1,
0x218421213442a515,
0x9c4a9c9c0825d694,
0x1e781e1eee3c66f0,
0x4311434361865222,
0xc73bc7c7b193fc76,
0xfcd7fcfc4fe52bb3,
0x0410040424081420,
0x51595151e3a208b2,
0x995e9999252fc7bc,
0x6da96d6d22dac44f,
0x0d340d0d651a3968,
0xfacffafa79e93583,
0xdf5bdfdf69a384b6,
0x7ee57e7ea9fc9bd7,
0x249024241948b43d,
0x3bec3b3bfe76d7c5,
0xab96abab9a4b3d31,
0xce1fcecef081d13e,
0x1144111199225588,
0x8f068f8f8303890c,
0x4e254e4e049c6b4a,
0xb7e6b7b7667351d1,
0xeb8bebebe0cb600b,
0x3cf03c3cc178ccfd,
0x813e8181fd1fbf7c,
0x946a94944035fed4,
0xf7fbf7f71cf30ceb,
0xb9deb9b9186f67a1,
0x134c13138b265f98,
0x2cb02c2c51589c7d,
0xd36bd3d305bbb8d6,
0xe7bbe7e78cd35c6b,
0x6ea56e6e39dccb57,
0xc437c4c4aa95f36e,
0x030c03031b060f18,
0x56455656dcac138a,
0x440d44445e88491a,
0x7fe17f7fa0fe9edf,
0xa99ea9a9884f3721,
0x2aa82a2a6754824d,
0xbbd6bbbb0a6b6db1,
0xc123c1c1879fe246,
0x53515353f1a602a2,
0xdc57dcdc72a58bae,
0x0b2c0b0b53162758,
0x9d4e9d9d0127d39c,
0x6cad6c6c2bd8c147,
0x31c43131a462f595,
0x74cd7474f3e8b987,
0xf6fff6f615f109e3,
0x460546464c8c430a,
0xac8aacaca5452609,
0x891e8989b50f973c,
0x14501414b42844a0,
0xe1a3e1e1badf425b,
0x16581616a62c4eb0,
0x3ae83a3af774d2cd,
0x69b9696906d2d06f,
0x0924090941122d48,
0x70dd7070d7e0ada7,
0xb6e2b6b66f7154d9,
0xd067d0d01ebdb7ce,
0xed93ededd6c77e3b,
0xcc17cccce285db2e,
0x421542426884572a,
0x985a98982c2dc2b4,
0xa4aaa4a4ed550e49,
0x28a028287550885d,
0x5c6d5c5c86b831da,
0xf8c7f8f86bed3f93,
0x86228686c211a444,
];
pub(crate) const C5: [u64; 256] = [
0x601818d83078c018,
0x8c23232646af0523,
0x3fc6c6b891f97ec6,
0x87e8e8fbcd6f13e8,
0x268787cb13a14c87,
0xdab8b8116d62a9b8,
0x0401010902050801,
0x214f4f0d9e6e424f,
0xd836369b6ceead36,
0xa2a6a6ff510459a6,
0x6fd2d20cb9bdded2,
0xf3f5f50ef706fbf5,
0xf9797996f280ef79,
0xa16f6f30dece5f6f,
0x7e91916d3feffc91,
0x555252f8a407aa52,
0x9d606047c0fd2760,
0xcabcbc35657689bc,
0x569b9b372bcdac9b,
0x028e8e8a018c048e,
0xb6a3a3d25b1571a3,
0x300c0c6c183c600c,
0xf17b7b84f68aff7b,
0xd43535806ae1b535,
0x741d1df53a69e81d,
0xa7e0e0b3dd4753e0,
0x7bd7d721b3acf6d7,
0x2fc2c29c99ed5ec2,
0xb82e2e435c966d2e,
0x314b4b29967a624b,
0xdffefe5de121a3fe,
0x415757d5ae168257,
0x541515bd2a41a815,
0xc17777e8eeb69f77,
0xdc3737926eeba537,
0xb3e5e59ed7567be5,
0x469f9f1323d98c9f,
0xe7f0f023fd17d3f0,
0x354a4a20947f6a4a,
0x4fdada44a9959eda,
0x7d5858a2b025fa58,
0x03c9c9cf8fca06c9,
0xa429297c528d5529,
0x280a0a5a1422500a,
0xfeb1b1507f4fe1b1,
0xbaa0a0c95d1a69a0,
0xb16b6b14d6da7f6b,
0x2e8585d917ab5c85,
0xcebdbd3c677381bd,
0x695d5d8fba34d25d,
0x4010109020508010,
0xf7f4f407f503f3f4,
0x0bcbcbdd8bc016cb,
0xf83e3ed37cc6ed3e,
0x1405052d0a112805,
0x81676778cee61f67,
0xb7e4e497d55373e4,
0x9c2727024ebb2527,
0x1941417382583241,
0x168b8ba70b9d2c8b,
0xa6a7a7f6530151a7,
0xe97d7db2fa94cf7d,
0x6e95954937fbdc95,
0x47d8d856ad9f8ed8,
0xcbfbfb70eb308bfb,
0x9feeeecdc17123ee,
0xed7c7cbbf891c77c,
0x85666671cce31766,
0x53dddd7ba78ea6dd,
0x5c1717af2e4bb817,
0x014747458e460247,
0x429e9e1a21dc849e,
0x0fcacad489c51eca,
0xb42d2d585a99752d,
0xc6bfbf2e637991bf,
0x1c07073f0e1b3807,
0x8eadadac472301ad,
0x755a5ab0b42fea5a,
0x368383ef1bb56c83,
0xcc3333b666ff8533,
0x9163635cc6f23f63,
0x08020212040a1002,
0x92aaaa93493839aa,
0xd97171dee2a8af71,
0x07c8c8c68dcf0ec8,
0x641919d1327dc819,
0x3949493b92707249,
0x43d9d95faf9a86d9,
0xeff2f231f91dc3f2,
0xabe3e3a8db484be3,
0x715b5bb9b62ae25b,
0x1a8888bc0d923488,
0x529a9a3e29c8a49a,
0x9826260b4cbe2d26,
0xc83232bf64fa8d32,
0xfab0b0597d4ae9b0,
0x83e9e9f2cf6a1be9,
0x3c0f0f771e33780f,
0x73d5d533b7a6e6d5,
0x3a8080f41dba7480,
0xc2bebe27617c99be,
0x13cdcdeb87de26cd,
0xd034348968e4bd34,
0x3d48483290757a48,
0xdbffff54e324abff,
0xf57a7a8df48ff77a,
0x7a9090643deaf490,
0x615f5f9dbe3ec25f,
0x8020203d40a01d20,
0xbd68680fd0d56768,
0x681a1aca3472d01a,
0x82aeaeb7412c19ae,
0xeab4b47d755ec9b4,
0x4d5454cea8199a54,
0x7693937f3be5ec93,
0x8822222f44aa0d22,
0x8d646463c8e90764,
0xe3f1f12aff12dbf1,
0xd17373cce6a2bf73,
0x48121282245a9012,
0x1d40407a805d3a40,
0x2008084810284008,
0x2bc3c3959be856c3,
0x97ececdfc57b33ec,
0x4bdbdb4dab9096db,
0xbea1a1c05f1f61a1,
0x0e8d8d9107831c8d,
0xf43d3dc87ac9f53d,
0x6697975b33f1cc97,
0x0000000000000000,
0x1bcfcff983d436cf,
0xac2b2b6e5687452b,
0xc57676e1ecb39776,
0x328282e619b06482,
0x7fd6d628b1a9fed6,
0x6c1b1bc33677d81b,
0xeeb5b574775bc1b5,
0x86afafbe432911af,
0xb56a6a1dd4df776a,
0x5d5050eaa00dba50,
0x094545578a4c1245,
0xebf3f338fb18cbf3,
0xc03030ad60f09d30,
0x9befefc4c3742bef,
0xfc3f3fda7ec3e53f,
0x495555c7aa1c9255,
0xb2a2a2db591079a2,
0x8feaeae9c96503ea,
0x8965656acaec0f65,
0xd2baba036968b9ba,
0xbc2f2f4a5e93652f,
0x27c0c08e9de74ec0,
0x5fdede60a181bede,
0x701c1cfc386ce01c,
0xd3fdfd46e72ebbfd,
0x294d4d1f9a64524d,
0x7292927639e0e492,
0xc97575faeabc8f75,
0x180606360c1e3006,
0x128a8aae0998248a,
0xf2b2b24b7940f9b2,
0xbfe6e685d15963e6,
0x380e0e7e1c36700e,
0x7c1f1fe73e63f81f,
0x95626255c4f73762,
0x77d4d43ab5a3eed4,
0x9aa8a8814d3229a8,
0x6296965231f4c496,
0xc3f9f962ef3a9bf9,
0x33c5c5a397f666c5,
0x942525104ab13525,
0x795959abb220f259,
0x2a8484d015ae5484,
0xd57272c5e4a7b772,
0xe43939ec72ddd539,
0x2d4c4c1698615a4c,
0x655e5e94bc3bca5e,
0xfd78789ff085e778,
0xe03838e570d8dd38,
0x0a8c8c980586148c,
0x63d1d117bfb2c6d1,
0xaea5a5e4570b41a5,
0xafe2e2a1d94d43e2,
0x9961614ec2f82f61,
0xf6b3b3427b45f1b3,
0x8421213442a51521,
0x4a9c9c0825d6949c,
0x781e1eee3c66f01e,
0x1143436186522243,
0x3bc7c7b193fc76c7,
0xd7fcfc4fe52bb3fc,
0x1004042408142004,
0x595151e3a208b251,
0x5e9999252fc7bc99,
0xa96d6d22dac44f6d,
0x340d0d651a39680d,
0xcffafa79e93583fa,
0x5bdfdf69a384b6df,
0xe57e7ea9fc9bd77e,
0x9024241948b43d24,
0xec3b3bfe76d7c53b,
0x96abab9a4b3d31ab,
0x1fcecef081d13ece,
0x4411119922558811,
0x068f8f8303890c8f,
0x254e4e049c6b4a4e,
0xe6b7b7667351d1b7,
0x8bebebe0cb600beb,
0xf03c3cc178ccfd3c,
0x3e8181fd1fbf7c81,
0x6a94944035fed494,
0xfbf7f71cf30cebf7,
0xdeb9b9186f67a1b9,
0x4c13138b265f9813,
0xb02c2c51589c7d2c,
0x6bd3d305bbb8d6d3,
0xbbe7e78cd35c6be7,
0xa56e6e39dccb576e,
0x37c4c4aa95f36ec4,
0x0c03031b060f1803,
0x455656dcac138a56,
0x0d44445e88491a44,
0xe17f7fa0fe9edf7f,
0x9ea9a9884f3721a9,
0xa82a2a6754824d2a,
0xd6bbbb0a6b6db1bb,
0x23c1c1879fe246c1,
0x515353f1a602a253,
0x57dcdc72a58baedc,
0x2c0b0b531627580b,
0x4e9d9d0127d39c9d,
0xad6c6c2bd8c1476c,
0xc43131a462f59531,
0xcd7474f3e8b98774,
0xfff6f615f109e3f6,
0x0546464c8c430a46,
0x8aacaca5452609ac,
0x1e8989b50f973c89,
0x501414b42844a014,
0xa3e1e1badf425be1,
0x581616a62c4eb016,
0xe83a3af774d2cd3a,
0xb9696906d2d06f69,
0x24090941122d4809,
0xdd7070d7e0ada770,
0xe2b6b66f7154d9b6,
0x67d0d01ebdb7ced0,
0x93ededd6c77e3bed,
0x17cccce285db2ecc,
0x1542426884572a42,
0x5a98982c2dc2b498,
0xaaa4a4ed550e49a4,
0xa028287550885d28,
0x6d5c5c86b831da5c,
0xc7f8f86bed3f93f8,
0x228686c211a44486,
];
pub(crate) const C6: [u64; 256] = [
0x1818d83078c01860,
0x23232646af05238c,
0xc6c6b891f97ec63f,
0xe8e8fbcd6f13e887,
0x8787cb13a14c8726,
0xb8b8116d62a9b8da,
0x0101090205080104,
0x4f4f0d9e6e424f21,
0x36369b6ceead36d8,
0xa6a6ff510459a6a2,
0xd2d20cb9bdded26f,
0xf5f50ef706fbf5f3,
0x797996f280ef79f9,
0x6f6f30dece5f6fa1,
0x91916d3feffc917e,
0x5252f8a407aa5255,
0x606047c0fd27609d,
0xbcbc35657689bcca,
0x9b9b372bcdac9b56,
0x8e8e8a018c048e02,
0xa3a3d25b1571a3b6,
0x0c0c6c183c600c30,
0x7b7b84f68aff7bf1,
0x3535806ae1b535d4,
0x1d1df53a69e81d74,
0xe0e0b3dd4753e0a7,
0xd7d721b3acf6d77b,
0xc2c29c99ed5ec22f,
0x2e2e435c966d2eb8,
0x4b4b29967a624b31,
0xfefe5de121a3fedf,
0x5757d5ae16825741,
0x1515bd2a41a81554,
0x7777e8eeb69f77c1,
0x3737926eeba537dc,
0xe5e59ed7567be5b3,
0x9f9f1323d98c9f46,
0xf0f023fd17d3f0e7,
0x4a4a20947f6a4a35,
0xdada44a9959eda4f,
0x5858a2b025fa587d,
0xc9c9cf8fca06c903,
0x29297c528d5529a4,
0x0a0a5a1422500a28,
0xb1b1507f4fe1b1fe,
0xa0a0c95d1a69a0ba,
0x6b6b14d6da7f6bb1,
0x8585d917ab5c852e,
0xbdbd3c677381bdce,
0x5d5d8fba34d25d69,
0x1010902050801040,
0xf4f407f503f3f4f7,
0xcbcbdd8bc016cb0b,
0x3e3ed37cc6ed3ef8,
0x05052d0a11280514,
0x676778cee61f6781,
0xe4e497d55373e4b7,
0x2727024ebb25279c,
0x4141738258324119,
0x8b8ba70b9d2c8b16,
0xa7a7f6530151a7a6,
0x7d7db2fa94cf7de9,
0x95954937fbdc956e,
0xd8d856ad9f8ed847,
0xfbfb70eb308bfbcb,
0xeeeecdc17123ee9f,
0x7c7cbbf891c77ced,
0x666671cce3176685,
0xdddd7ba78ea6dd53,
0x1717af2e4bb8175c,
0x4747458e46024701,
0x9e9e1a21dc849e42,
0xcacad489c51eca0f,
0x2d2d585a99752db4,
0xbfbf2e637991bfc6,
0x07073f0e1b38071c,
0xadadac472301ad8e,
0x5a5ab0b42fea5a75,
0x8383ef1bb56c8336,
0x3333b666ff8533cc,
0x63635cc6f23f6391,
0x020212040a100208,
0xaaaa93493839aa92,
0x7171dee2a8af71d9,
0xc8c8c68dcf0ec807,
0x1919d1327dc81964,
0x49493b9270724939,
0xd9d95faf9a86d943,
0xf2f231f91dc3f2ef,
0xe3e3a8db484be3ab,
0x5b5bb9b62ae25b71,
0x8888bc0d9234881a,
0x9a9a3e29c8a49a52,
0x26260b4cbe2d2698,
0x3232bf64fa8d32c8,
0xb0b0597d4ae9b0fa,
0xe9e9f2cf6a1be983,
0x0f0f771e33780f3c,
0xd5d533b7a6e6d573,
0x8080f41dba74803a,
0xbebe27617c99bec2,
0xcdcdeb87de26cd13,
0x34348968e4bd34d0,
0x48483290757a483d,
0xffff54e324abffdb,
0x7a7a8df48ff77af5,
0x9090643deaf4907a,
0x5f5f9dbe3ec25f61,
0x20203d40a01d2080,
0x68680fd0d56768bd,
0x1a1aca3472d01a68,
0xaeaeb7412c19ae82,
0xb4b47d755ec9b4ea,
0x5454cea8199a544d,
0x93937f3be5ec9376,
0x22222f44aa0d2288,
0x646463c8e907648d,
0xf1f12aff12dbf1e3,
0x7373cce6a2bf73d1,
0x121282245a901248,
0x40407a805d3a401d,
0x0808481028400820,
0xc3c3959be856c32b,
0xececdfc57b33ec97,
0xdbdb4dab9096db4b,
0xa1a1c05f1f61a1be,
0x8d8d9107831c8d0e,
0x3d3dc87ac9f53df4,
0x97975b33f1cc9766,
0x0000000000000000,
0xcfcff983d436cf1b,
0x2b2b6e5687452bac,
0x7676e1ecb39776c5,
0x8282e619b0648232,
0xd6d628b1a9fed67f,
0x1b1bc33677d81b6c,
0xb5b574775bc1b5ee,
0xafafbe432911af86,
0x6a6a1dd4df776ab5,
0x5050eaa00dba505d,
0x4545578a4c124509,
0xf3f338fb18cbf3eb,
0x3030ad60f09d30c0,
0xefefc4c3742bef9b,
0x3f3fda7ec3e53ffc,
0x5555c7aa1c925549,
0xa2a2db591079a2b2,
0xeaeae9c96503ea8f,
0x65656acaec0f6589,
0xbaba036968b9bad2,
0x2f2f4a5e93652fbc,
0xc0c08e9de74ec027,
0xdede60a181bede5f,
0x1c1cfc386ce01c70,
0xfdfd46e72ebbfdd3,
0x4d4d1f9a64524d29,
0x92927639e0e49272,
0x7575faeabc8f75c9,
0x0606360c1e300618,
0x8a8aae0998248a12,
0xb2b24b7940f9b2f2,
0xe6e685d15963e6bf,
0x0e0e7e1c36700e38,
0x1f1fe73e63f81f7c,
0x626255c4f7376295,
0xd4d43ab5a3eed477,
0xa8a8814d3229a89a,
0x96965231f4c49662,
0xf9f962ef3a9bf9c3,
0xc5c5a397f666c533,
0x2525104ab1352594,
0x5959abb220f25979,
0x8484d015ae54842a,
0x7272c5e4a7b772d5,
0x3939ec72ddd539e4,
0x4c4c1698615a4c2d,
0x5e5e94bc3bca5e65,
0x78789ff085e778fd,
0x3838e570d8dd38e0,
0x8c8c980586148c0a,
0xd1d117bfb2c6d163,
0xa5a5e4570b41a5ae,
0xe2e2a1d94d43e2af,
0x61614ec2f82f6199,
0xb3b3427b45f1b3f6,
0x21213442a5152184,
0x9c9c0825d6949c4a,
0x1e1eee3c66f01e78,
0x4343618652224311,
0xc7c7b193fc76c73b,
0xfcfc4fe52bb3fcd7,
0x0404240814200410,
0x5151e3a208b25159,
0x9999252fc7bc995e,
0x6d6d22dac44f6da9,
0x0d0d651a39680d34,
0xfafa79e93583facf,
0xdfdf69a384b6df5b,
0x7e7ea9fc9bd77ee5,
0x24241948b43d2490,
0x3b3bfe76d7c53bec,
0xabab9a4b3d31ab96,
0xcecef081d13ece1f,
0x1111992255881144,
0x8f8f8303890c8f06,
0x4e4e049c6b4a4e25,
0xb7b7667351d1b7e6,
0xebebe0cb600beb8b,
0x3c3cc178ccfd3cf0,
0x8181fd1fbf7c813e,
0x94944035fed4946a,
0xf7f71cf30cebf7fb,
0xb9b9186f67a1b9de,
0x13138b265f98134c,
0x2c2c51589c7d2cb0,
0xd3d305bbb8d6d36b,
0xe7e78cd35c6be7bb,
0x6e6e39dccb576ea5,
0xc4c4aa95f36ec437,
0x03031b060f18030c,
0x5656dcac138a5645,
0x44445e88491a440d,
0x7f7fa0fe9edf7fe1,
0xa9a9884f3721a99e,
0x2a2a6754824d2aa8,
0xbbbb0a6b6db1bbd6,
0xc1c1879fe246c123,
0x5353f1a602a25351,
0xdcdc72a58baedc57,
0x0b0b531627580b2c,
0x9d9d0127d39c9d4e,
0x6c6c2bd8c1476cad,
0x3131a462f59531c4,
0x7474f3e8b98774cd,
0xf6f615f109e3f6ff,
0x46464c8c430a4605,
0xacaca5452609ac8a,
0x8989b50f973c891e,
0x1414b42844a01450,
0xe1e1badf425be1a3,
0x1616a62c4eb01658,
0x3a3af774d2cd3ae8,
0x696906d2d06f69b9,
0x090941122d480924,
0x7070d7e0ada770dd,
0xb6b66f7154d9b6e2,
0xd0d01ebdb7ced067,
0xededd6c77e3bed93,
0xcccce285db2ecc17,
0x42426884572a4215,
0x98982c2dc2b4985a,
0xa4a4ed550e49a4aa,
0x28287550885d28a0,
0x5c5c86b831da5c6d,
0xf8f86bed3f93f8c7,
0x8686c211a4448622,
];
pub(crate) const C7: [u64; 256] = [
0x18d83078c0186018,
0x232646af05238c23,
0xc6b891f97ec63fc6,
0xe8fbcd6f13e887e8,
0x87cb13a14c872687,
0xb8116d62a9b8dab8,
0x0109020508010401,
0x4f0d9e6e424f214f,
0x369b6ceead36d836,
0xa6ff510459a6a2a6,
0xd20cb9bdded26fd2,
0xf50ef706fbf5f3f5,
0x7996f280ef79f979,
0x6f30dece5f6fa16f,
0x916d3feffc917e91,
0x52f8a407aa525552,
0x6047c0fd27609d60,
0xbc35657689bccabc,
0x9b372bcdac9b569b,
0x8e8a018c048e028e,
0xa3d25b1571a3b6a3,
0x0c6c183c600c300c,
0x7b84f68aff7bf17b,
0x35806ae1b535d435,
0x1df53a69e81d741d,
0xe0b3dd4753e0a7e0,
0xd721b3acf6d77bd7,
0xc29c99ed5ec22fc2,
0x2e435c966d2eb82e,
0x4b29967a624b314b,
0xfe5de121a3fedffe,
0x57d5ae1682574157,
0x15bd2a41a8155415,
0x77e8eeb69f77c177,
0x37926eeba537dc37,
0xe59ed7567be5b3e5,
0x9f1323d98c9f469f,
0xf023fd17d3f0e7f0,
0x4a20947f6a4a354a,
0xda44a9959eda4fda,
0x58a2b025fa587d58,
0xc9cf8fca06c903c9,
0x297c528d5529a429,
0x0a5a1422500a280a,
0xb1507f4fe1b1feb1,
0xa0c95d1a69a0baa0,
0x6b14d6da7f6bb16b,
0x85d917ab5c852e85,
0xbd3c677381bdcebd,
0x5d8fba34d25d695d,
0x1090205080104010,
0xf407f503f3f4f7f4,
0xcbdd8bc016cb0bcb,
0x3ed37cc6ed3ef83e,
0x052d0a1128051405,
0x6778cee61f678167,
0xe497d55373e4b7e4,
0x27024ebb25279c27,
0x4173825832411941,
0x8ba70b9d2c8b168b,
0xa7f6530151a7a6a7,
0x7db2fa94cf7de97d,
0x954937fbdc956e95,
0xd856ad9f8ed847d8,
0xfb70eb308bfbcbfb,
0xeecdc17123ee9fee,
0x7cbbf891c77ced7c,
0x6671cce317668566,
0xdd7ba78ea6dd53dd,
0x17af2e4bb8175c17,
0x47458e4602470147,
0x9e1a21dc849e429e,
0xcad489c51eca0fca,
0x2d585a99752db42d,
0xbf2e637991bfc6bf,
0x073f0e1b38071c07,
0xadac472301ad8ead,
0x5ab0b42fea5a755a,
0x83ef1bb56c833683,
0x33b666ff8533cc33,
0x635cc6f23f639163,
0x0212040a10020802,
0xaa93493839aa92aa,
0x71dee2a8af71d971,
0xc8c68dcf0ec807c8,
0x19d1327dc8196419,
0x493b927072493949,
0xd95faf9a86d943d9,
0xf231f91dc3f2eff2,
0xe3a8db484be3abe3,
0x5bb9b62ae25b715b,
0x88bc0d9234881a88,
0x9a3e29c8a49a529a,
0x260b4cbe2d269826,
0x32bf64fa8d32c832,
0xb0597d4ae9b0fab0,
0xe9f2cf6a1be983e9,
0x0f771e33780f3c0f,
0xd533b7a6e6d573d5,
0x80f41dba74803a80,
0xbe27617c99bec2be,
0xcdeb87de26cd13cd,
0x348968e4bd34d034,
0x483290757a483d48,
0xff54e324abffdbff,
0x7a8df48ff77af57a,
0x90643deaf4907a90,
0x5f9dbe3ec25f615f,
0x203d40a01d208020,
0x680fd0d56768bd68,
0x1aca3472d01a681a,
0xaeb7412c19ae82ae,
0xb47d755ec9b4eab4,
0x54cea8199a544d54,
0x937f3be5ec937693,
0x222f44aa0d228822,
0x6463c8e907648d64,
0xf12aff12dbf1e3f1,
0x73cce6a2bf73d173,
0x1282245a90124812,
0x407a805d3a401d40,
0x0848102840082008,
0xc3959be856c32bc3,
0xecdfc57b33ec97ec,
0xdb4dab9096db4bdb,
0xa1c05f1f61a1bea1,
0x8d9107831c8d0e8d,
0x3dc87ac9f53df43d,
0x975b33f1cc976697,
0x0000000000000000,
0xcff983d436cf1bcf,
0x2b6e5687452bac2b,
0x76e1ecb39776c576,
0x82e619b064823282,
0xd628b1a9fed67fd6,
0x1bc33677d81b6c1b,
0xb574775bc1b5eeb5,
0xafbe432911af86af,
0x6a1dd4df776ab56a,
0x50eaa00dba505d50,
0x45578a4c12450945,
0xf338fb18cbf3ebf3,
0x30ad60f09d30c030,
0xefc4c3742bef9bef,
0x3fda7ec3e53ffc3f,
0x55c7aa1c92554955,
0xa2db591079a2b2a2,
0xeae9c96503ea8fea,
0x656acaec0f658965,
0xba036968b9bad2ba,
0x2f4a5e93652fbc2f,
0xc08e9de74ec027c0,
0xde60a181bede5fde,
0x1cfc386ce01c701c,
0xfd46e72ebbfdd3fd,
0x4d1f9a64524d294d,
0x927639e0e4927292,
0x75faeabc8f75c975,
0x06360c1e30061806,
0x8aae0998248a128a,
0xb24b7940f9b2f2b2,
0xe685d15963e6bfe6,
0x0e7e1c36700e380e,
0x1fe73e63f81f7c1f,
0x6255c4f737629562,
0xd43ab5a3eed477d4,
0xa8814d3229a89aa8,
0x965231f4c4966296,
0xf962ef3a9bf9c3f9,
0xc5a397f666c533c5,
0x25104ab135259425,
0x59abb220f2597959,
0x84d015ae54842a84,
0x72c5e4a7b772d572,
0x39ec72ddd539e439,
0x4c1698615a4c2d4c,
0x5e94bc3bca5e655e,
0x789ff085e778fd78,
0x38e570d8dd38e038,
0x8c980586148c0a8c,
0xd117bfb2c6d163d1,
0xa5e4570b41a5aea5,
0xe2a1d94d43e2afe2,
0x614ec2f82f619961,
0xb3427b45f1b3f6b3,
0x213442a515218421,
0x9c0825d6949c4a9c,
0x1eee3c66f01e781e,
0x4361865222431143,
0xc7b193fc76c73bc7,
0xfc4fe52bb3fcd7fc,
0x0424081420041004,
0x51e3a208b2515951,
0x99252fc7bc995e99,
0x6d22dac44f6da96d,
0x0d651a39680d340d,
0xfa79e93583facffa,
0xdf69a384b6df5bdf,
0x7ea9fc9bd77ee57e,
0x241948b43d249024,
0x3bfe76d7c53bec3b,
0xab9a4b3d31ab96ab,
0xcef081d13ece1fce,
0x1199225588114411,
0x8f8303890c8f068f,
0x4e049c6b4a4e254e,
0xb7667351d1b7e6b7,
0xebe0cb600beb8beb,
0x3cc178ccfd3cf03c,
0x81fd1fbf7c813e81,
0x944035fed4946a94,
0xf71cf30cebf7fbf7,
0xb9186f67a1b9deb9,
0x138b265f98134c13,
0x2c51589c7d2cb02c,
0xd305bbb8d6d36bd3,
0xe78cd35c6be7bbe7,
0x6e39dccb576ea56e,
0xc4aa95f36ec437c4,
0x031b060f18030c03,
0x56dcac138a564556,
0x445e88491a440d44,
0x7fa0fe9edf7fe17f,
0xa9884f3721a99ea9,
0x2a6754824d2aa82a,
0xbb0a6b6db1bbd6bb,
0xc1879fe246c123c1,
0x53f1a602a2535153,
0xdc72a58baedc57dc,
0x0b531627580b2c0b,
0x9d0127d39c9d4e9d,
0x6c2bd8c1476cad6c,
0x31a462f59531c431,
0x74f3e8b98774cd74,
0xf615f109e3f6fff6,
0x464c8c430a460546,
0xaca5452609ac8aac,
0x89b50f973c891e89,
0x14b42844a0145014,
0xe1badf425be1a3e1,
0x16a62c4eb0165816,
0x3af774d2cd3ae83a,
0x6906d2d06f69b969,
0x0941122d48092409,
0x70d7e0ada770dd70,
0xb66f7154d9b6e2b6,
0xd01ebdb7ced067d0,
0xedd6c77e3bed93ed,
0xcce285db2ecc17cc,
0x426884572a421542,
0x982c2dc2b4985a98,
0xa4ed550e49a4aaa4,
0x287550885d28a028,
0x5c86b831da5c6d5c,
0xf86bed3f93f8c7f8,
0x86c211a444862286,
];