#![allow(clippy::all)]
pub(crate) const MP_SCALE: u64 = 48;
pub(crate) const MP_BASIS: [[i64; 13]; 12] = [
[-4, 0, 3, -6, -5, -11, 11, -6, 5, 2, 3, 1, -4],
[-1, 4, -1, -11, -5, -10, -8, 9, 5, 5, 6, 0, 4],
[-5, -5, 14, -8, -5, 4, 4, -7, -2, 12, -3, -3, -6],
[-3, -10, -5, -14, 7, -9, 3, 13, 1, -9, 6, 4, 0],
[-4, -9, -1, 18, -10, -1, 2, -1, -3, 11, -4, -3, 4],
[0, 3, -1, 7, 0, -14, -3, 7, -9, 8, 6, -3, 0],
[1, 1, -15, 14, -1, 7, 0, -7, 8, 0, -2, -5, -2],
[-2, -5, 8, -2, -6, -1, -5, 19, -3, 0, -3, -2, -9],
[-4, 1, 0, 7, 3, 4, 2, -5, 3, 5, -2, -11, 11],
[14, -11, 2, -7, 2, -10, 6, 3, 10, -2, -7, 2, -5],
[-3, 2, 7, 9, -6, -6, -3, -9, -1, -8, 15, 4, -7],
[2, -4, -12, -8, -11, 5, 19, -3, -6, -5, 7, 5, 5],
];
pub(crate) const PLOG_BITS: u64 = 9216;
pub(crate) const LN_3: [u64; 145] = [
0xaad92f96a0cf97d4,
0x4311a50b3690efaa,
0x780272781e5d72c7,
0x67d25acbd241ec19,
0xa3d118432e9b1842,
0x263fe22173f35a69,
0x53f147f87a4ee526,
0x3919c8631fe976f2,
0xa564b7482954c4cf,
0xe0cba0b964ff2747,
0xc416dc8701272d68,
0x58df3f225ccdbfed,
0xd0a7f341517facc6,
0xdeab75f7e6dcf42a,
0xd0e2c0e976c25808,
0x07783a127068f1d6,
0x6c53f6ee05833e52,
0x27fc5accc61a95d3,
0x33b8079c51bf5d8c,
0xd67f625839df48ca,
0x38aa851c9480c984,
0x5ec60ada684fb0e5,
0x9f45afad2ffd16c2,
0x760db237b1279f61,
0x8740a1829050a9c1,
0x5e78dc4804fc3588,
0x5337fbbe034e808a,
0xaae401dc147bdc0e,
0x4d808d788aa716cb,
0x34e612810edc3c43,
0x9c0a91824475830f,
0x3739d1fff6944254,
0x40460cef34989513,
0xc82609c2c687d7b7,
0x05ab7252ed75545e,
0xc8ad8765b603b81f,
0xfab6bde0187767cd,
0x9f8d382ac6604d9a,
0x035f2f5fbfd02521,
0xf2e95640ece93d3c,
0x3a3117a15208d72b,
0xedf36e709cd90353,
0x8c6082c6f628031f,
0xda4c616d986a6747,
0x4109aeb01085ae0c,
0x3c8264fe96ead7d5,
0x91415387438b1e75,
0x8821262e11c4905a,
0x545a6ede9bb4437a,
0x8a4d42a731029fd5,
0x8a9fcdc334826ebf,
0x58c33ad6f79c40ff,
0x9664fbf6a4d689af,
0x00bb104ab5b00660,
0x1e85c89e9104f7e6,
0x6ca93b3db270cd98,
0x4053f12c701aac59,
0xe1d7d79d1481ddac,
0x98c409855905e691,
0xed7ebd2a8d8752a4,
0xb56bf445bbe98d77,
0x2649bad0ba3a1588,
0x99e731a39405ec7d,
0x73bb70dde23a2c7a,
0x5583b525850d25dc,
0x37f594233525f86b,
0x31eb691d62149956,
0x8baf49aa0e34c391,
0x55552be47ed05c98,
0x6207fb4229138611,
0xd355ef8a9a412346,
0x6dc61e43d01abaed,
0x0b10b4224dcf0b21,
0x64a7cf29e10909e2,
0x39a296f33799db3d,
0x1ac79f5b57d47b92,
0x891d9e2ea615f093,
0xdf1696f4c0330b12,
0x42d3cefaa395ccd2,
0x03bf69cf8a977434,
0x54f6281f5027236e,
0xba4b6ef8eaaf47c8,
0x4a9b470ed75d5854,
0x0e91b72e5cf593e2,
0x93269e276082f6ad,
0xed3ee26ca09f9e27,
0xe38f1e8b7398808d,
0xc65aa93715d37b6e,
0xd465d93a9bcd7e88,
0x07d2301a3a12410c,
0x06a621dc87c3084b,
0x94f6867165169cf4,
0xa51742478f90f5cc,
0x98da8cdcd38084cd,
0xbb59b369b152e9fc,
0xc4a8fb4630c7ead5,
0xe2b473570a4488c7,
0x1784233566d345cc,
0x7c212e24351c5ce8,
0x4444ab3c77fcc3c4,
0x53d4288246d5e3f6,
0xf98be883968ea159,
0x15710ce5de7b6da4,
0xb8aae689f20dfc42,
0x13df7762343adb2e,
0x03c5280603689d3d,
0xad037bdd84c82996,
0xbdb08095a2237e29,
0x6f054b358532e66c,
0x120e14c24d9b3436,
0xff71cbfb21093091,
0x4046480a0928ba30,
0x1a21ce3deb39d026,
0x27e653f8d287fdd7,
0xc6d8b5ae20d05be9,
0x5a3da04d72251ac5,
0xe2c46ea31488039c,
0x2e08e54a5ed7f87d,
0x9591998b6162dd36,
0x63ca82c3b08944d9,
0xca04b55d4e91444a,
0xc92c76ed43a50ad1,
0x18831c7d3298d308,
0x96037613231b167e,
0xad1a1bd9db7348ca,
0xa9d92e2dc8b38572,
0x2d41d713c141daa2,
0xfea499bb80ede15e,
0xc9c46d883bd971a2,
0xf46bfb13041098a7,
0xe55cc04e78a3df18,
0xd09840c479f0654d,
0x29816e82b43e6464,
0x1f0b2f23b88200e7,
0x47df6e91fc91754b,
0x86d094e21e74d0a5,
0xcf37d8f11024c664,
0x625c15071ea7bca1,
0x5071f733039a8ed5,
0xaa9782d20cc69850,
0x3d97eeea5149358c,
0xbe1442d9b7e08df0,
0xa4198d55053b7cb5,
0x193ea7aad030a976,
0x0000000000000001,
];
pub(crate) const LN_5: [u64; 145] = [
0x414fdbf07c8d2d02,
0x3e12ad477b868bb0,
0x7a1b52410c955125,
0x2a73d932c545c39b,
0x4c3056e79392c521,
0x294e34167ccd77b1,
0x0cd8923ed668706f,
0x691adeb652ddf091,
0xca29748bc11ca348,
0xcaeed8527ad16485,
0x5f0d9afc0f590684,
0x4e59d9e31e30a475,
0xd98a7558f4e936fe,
0x6f55a3a1b160cc39,
0x571124792af242be,
0x06df377ed48d4d85,
0x5b0fea8d4142638c,
0xb3fc681e9130d98a,
0x3296c64bee132f95,
0xafc7dde05416e616,
0xd13ffa2e26285666,
0xd488dc51611dc139,
0xfbe3075b74988da7,
0xa9e15148aa403c26,
0xb56debeca2e69a1f,
0x47972d2897b0590b,
0xedd4c227cc5ec06a,
0xa010111562e1ff2f,
0x2c7b355a420390f6,
0x4f08e2c7cb229911,
0x62d2a4c71b094de7,
0xd0cc4a2772cf2cc8,
0xad0bf37093706023,
0xfb15374aef813dd9,
0xfc9da4d3fe272514,
0x3479454106cecb15,
0x28c008b8499b3d02,
0x09e67bebf55d67a7,
0x79629bb8450a33a3,
0x305a9da7a0234cd1,
0x18c6b536878167cb,
0x739d27854b5326fb,
0xedaf899870d62003,
0x1f29e76b636c9291,
0xf4e633690e011234,
0x3267a51d5a1f7892,
0x9700d70d97d3adc6,
0x164a853aeca61b5d,
0x8f35585f59165086,
0x204814b94364bf71,
0xe647433a084780e7,
0xfca84233be1a6a61,
0x8ea9c8fb13df0847,
0xebf33c8df771dad4,
0xcdc7d2f5660dd973,
0x0bc6bed83e716d59,
0xeef4f05402e2c459,
0xac1ed438974e5948,
0x579f765d0dd059fa,
0xfce28822d03b1459,
0xb06c956000feed3a,
0xf8004d4aac8284db,
0xe6366a16dd4ee457,
0x9e5e6761c0a7fa85,
0x11bdb4bd2966e618,
0x71f43850edd64225,
0x0fc7c78d2562461a,
0xd7102b7f3c4512a7,
0xb9f14727b8ad6ec7,
0x753461b1e5b2117f,
0xc016b9a8d49172dd,
0x7a25c839b5efeee4,
0x2efe98c165af615d,
0xe2c8158218f65a1c,
0x964e1dd5a500d4ce,
0x70427d63c968b070,
0xade59e3f4130fb6e,
0x25efbbdd27cbc2df,
0x29c47e48a74ef010,
0x67a0b05d286880b6,
0x223b76fb2134720b,
0xeff62979a6c0434c,
0x933cd7586b0331b3,
0xbc9087534602455b,
0xcd9438fdae7bf187,
0xa699ab6d1a4eabc8,
0xd869d519a439d41c,
0xf2108554768bf3fb,
0xdfc5adc136bc9496,
0x4719d1c4f90c0ab0,
0xdadb7af9ab7f94d2,
0xe7daea6b86281def,
0x68b9bc7a68330440,
0x782c3b57b444bb56,
0xae8380e96b70d99d,
0x5e73295447c65fbd,
0xd0507ee2da55faab,
0x79e975dd5538a9cd,
0x7da5e0aca81e8ac6,
0xd19bac61f127bbc9,
0x7026511cb97f7ef6,
0xfd129cdb6058a992,
0xcaf9238091d71b90,
0xd3ca13b816740a8c,
0x55ea7d90ec60274e,
0x64245889bc970e43,
0x08257ec3a6b0c079,
0x92f2a1ce9079a79c,
0x56ef0c95851d2c83,
0xcf98cf19d4b35184,
0x7071fc9d76950b31,
0x7150f5e426f7b79b,
0xd370649d3684d0b0,
0xae207ca24559350d,
0xdff81f2893184a15,
0x489b8c07886f69e5,
0x98dfa0576672956b,
0x9ab369c48f37f29f,
0x7686a3bf20a7e0a9,
0xd28e56129cd51281,
0x720703aed506f71b,
0x053257521908f036,
0x4c958c45e5931a3c,
0x78e9c7ba9cc6b8c3,
0xef467fcb4b53436d,
0xa3a48f2c62127b29,
0x12499fc118b706c3,
0x81297518b98fbed2,
0x404cfe753cd7d041,
0x06c31fd82896a49a,
0x446d3377d9b23ef5,
0xb6d045baf01bf94b,
0x20174c3ad20f27a3,
0x03b09efd7998bbae,
0xbe9ec0fd91e48f71,
0xa21d187407e75bb4,
0xc6e6a6e6fa2aa334,
0xc459e22b42f76a27,
0xdc2ddc0566821a8f,
0x7103953e58b494da,
0x850b62ac7c15bb9e,
0x494c70c0f6df2e0c,
0xdf77a516075931f4,
0x9c041f7ed8d336af,
0x0000000000000001,
];
pub(crate) const LN_7: [u64; 145] = [
0x7567de59b68c428f,
0x70949979e23982a0,
0x6065d6844a3ba61f,
0x118cfd68274d1e1e,
0x8c5f307f2626366b,
0xfd3fab28cc5a27db,
0xb0356ae09f876d44,
0xa377b80f042c6040,
0x40da8c24fa6d9b0f,
0x0278cf3a1eda6fb2,
0x4899cafb332c0000,
0x31ae730c3ccd2254,
0xed6d3a97ae8c8ce2,
0xe9fb45923109560f,
0x4131e5fbef580cad,
0xc65905d99df4dfd6,
0x6b4ec6f0b53fdfe2,
0x4c0e0105fcf8ddbd,
0xee73fe843cc051d6,
0x2f4b44fd219c6598,
0xbf34be3e7a7de168,
0x12675375eeadf016,
0x38afcfbd736e6fea,
0xe6d953ccd11a05d8,
0xbaf3f60dbc37b7f7,
0x8d87ab1fa27e2c54,
0x45654a5dd84d2ae9,
0x0fc18af995b02230,
0xc20be82a01330403,
0x9d324bfdd844927e,
0x16991df5daaf1ac9,
0x2d4d58631261e3a9,
0x2ebb3d2f18a02de0,
0xa56cb648db869a16,
0x705b2b344f1222bc,
0x34c113bd025ffa74,
0x0b7be924fe00878b,
0xc166b70de38247c8,
0x7e5bbd1daa4c1386,
0xa9dcaad6ba316126,
0x803d66e54d3a1e19,
0xb0cf520c8d19bffa,
0xaf7c3ab77d382be8,
0x979a17e22b61d009,
0x29e3414e7849d3b6,
0x8a9b02c95cf8b8ab,
0x978e6119dee8151d,
0xc5dbb680cff85f63,
0x7436c2656ef027f3,
0x86a77486644f2c30,
0xafd958e46631a27c,
0x129328df78d734c2,
0x6b157128b4c9dfa3,
0x1f5224c38d746c07,
0x08d5e1632f2f6115,
0x74a075e3c7c1d180,
0x42ab832b52426446,
0x2727d72a1a663855,
0x67a56f029331cc5b,
0xb6e4a5b1ac713e70,
0xcb974e6a632ac676,
0x77d39c3cc1f2cf48,
0xec9253cdc8fecf71,
0xdfd1186d1020ca1f,
0x75d9c957eea7f4de,
0x2bf1e199baa0e0c6,
0xb0e1879127e199e3,
0xc5dc98aa88c1a957,
0x9741ed0ba14c2907,
0x1b78e9bd913da6df,
0x6a71e12e38a56b3d,
0xa6677874e7e89ecb,
0x3660f41ad52dce66,
0xc496e84549f28fbf,
0x5ac23d197428eaea,
0xa8fe1e81e4209e65,
0x41f47c2faeebe3b7,
0x260cbb9a1cdc8017,
0x8fbeb756e77e4e8b,
0xe6f5fff7e0b4276b,
0x393ac05f7a59d186,
0xf38f61df9a799a65,
0xeb6aae5c9600c367,
0x7a36e4c88c817df6,
0xc7cabd287b36dd7d,
0xe4468801abf2c884,
0xac23d4685800e70c,
0x53fb2d69ae768538,
0x86cf2d9e3838099f,
0xe62c6ad7343699de,
0xfd5f3bdc3b74303d,
0x7cce72c88f17ed73,
0x0fd4f519fae4925d,
0xf9fb5e924782e529,
0x62aebc239258f501,
0xe4ec446d51701d80,
0x43e95d94aaa3cdf5,
0xf6f999f6cb81b9e7,
0x7a206675aacd36ba,
0xa0f49f3160ae94b2,
0xb285dab44eb926d0,
0x16b7e9acaa7915ad,
0x58a74cdda1ebef48,
0xee9365220eb4bf11,
0x69e7bd2d72f2bd96,
0x81f2d60d5b1bd08a,
0xc2996192d2c18168,
0xb68f8d58d91d6bf8,
0x39a8e48294cdad04,
0x6cf25749b73bf5dd,
0x40bfe2b8e5bcd656,
0x02555a70b7060e5d,
0xbe07b7b0411fff4a,
0xcfbb27ee2fbc7d49,
0x6dbdbeb9d316eea3,
0x373277b107528646,
0xd4a5963b4a9db756,
0x1423e79bd3192a12,
0xabaeecfd68fbf48f,
0x08f105b51e6c9212,
0xd5ef6bcd3023065f,
0xd7b638b50b8d53b5,
0x97dee527f7192f94,
0xa3e2c006eac4a6fc,
0x6562830693ecc911,
0x8db1e7e389f553de,
0x43869819ea8de3ec,
0x5bd744c2e530ec45,
0x7ef678493427ddfe,
0xdc88a6ae4759195b,
0x467548babd47c117,
0x26528f3791e2f014,
0x2387f973941ce43b,
0xb9fb5c6fffbf6949,
0x01a386a606fe8e1f,
0x0abdb9858ccbcc99,
0x9e1497034bbabdc9,
0xd81bf2b85f7c3a57,
0x91a36b5574a076b2,
0x3de17d6287302f40,
0xae654abd72f6c23a,
0x4c35ce644e9c3ffa,
0xf69496cf261be046,
0xf2272ae325a57546,
0x0000000000000001,
];
pub(crate) const LN_11: [u64; 145] = [
0xa6a11b60eeab18e8,
0xee2bddd790f561b4,
0xd3287e047cfad688,
0x70f4b8e314e9fc69,
0x6129de208978835d,
0x95e91d038b3cf2bc,
0x0b142aa8042822e8,
0x10fdc1723d55a49e,
0xd3b01640bb36d64b,
0xedec76dd6d338c89,
0xd261d9b1c29af8f6,
0x144f4523c8951354,
0xf619725726c3019a,
0x5aa233417fcc90e6,
0x489bbdf488505472,
0xe6b41828e0ec8cd1,
0x0819400f1ccab641,
0x0b4f88d31ef6b1cb,
0x17651f6723d05f76,
0x95e5b38db1d2ea27,
0x74413d5a26f114f0,
0xc256fea4b0796b92,
0x35d53057f53e9e81,
0x80bb728c0093317b,
0xe2603c4843095cd8,
0x559003c04d56b79a,
0xa6ea12a8893e39b9,
0x6beb987eb0213948,
0x3f6e5460ff333217,
0x32f2ba0582cc6f5b,
0xd33b137e95889a9e,
0x12aac8d323741a05,
0xe0f22e0b39a50984,
0x0ba6222a51034322,
0x305694521790926b,
0x0146323245eeb954,
0xbfbba0962eade866,
0x6dacdf1d1ee2e652,
0x4e2bd66a6cc374a8,
0x926ef68d9c5c31e4,
0x9bd7dddab6dc4598,
0xac5eb0d20ae1ca0d,
0x08c1b78d72e20308,
0x366a0f8a02092488,
0x3dd73617846bd622,
0xac3312f200670fb8,
0x702810f26daaa837,
0x114b030ca02b91e5,
0xcc296ef73d86d85a,
0x9aefd13ea069c801,
0x74de559eedd50db7,
0xc960df1f1f69520a,
0x6242164fa777d8c9,
0x6e1322d894018881,
0x62f3560226b8fca7,
0x8fe46fddf15b938b,
0x51c84f84a425cfc3,
0xc395c1c91044b039,
0xc4056899cd91c4d8,
0xd89f9162059c3358,
0x4fb11d049eb4d9f6,
0x9ff39c7192a03850,
0x17d99b7f2440f2b2,
0x52f0bb4f98c6eeaf,
0x192dcc93e43fe843,
0x95f3a790c7806f25,
0xb237a495d758d0b1,
0x49a1ef8c926ce8e8,
0x64edfc26ca473e54,
0xe71de7812a5ebbfc,
0xbc75d7a820cee505,
0x98f45916ed854435,
0x88e9007570358164,
0x945f3422bb837b48,
0x6c9f6d78f2127ee0,
0x6149a26c2b72719d,
0x24f0439498ddd6c9,
0xcc1b6ff81a036da0,
0xdd16813dd4cc32ad,
0x4bd12fe97fe720f1,
0x392b19a863e3c726,
0x3265c50f4d9018df,
0xaaf4a693b402652d,
0xc1f01725db7594ab,
0x995aa5c9aa10d90a,
0x4f10eeb53c3d83b3,
0x26c9e556bf8b587b,
0x37a2493d8c0101b1,
0x71ab20777eaed567,
0x5abf012b5b2dede8,
0x7c61f3a46b7c8877,
0x1696e9d2bae7c258,
0xecd549a57341f855,
0x541e399e9ddfaacf,
0x07937aad33d21692,
0x53dccec91d7237f1,
0xaaa295b0869c69e1,
0x191454f168fcbe2a,
0xafb9913b3710740f,
0x535cd05c70a9cd4f,
0xd79323b54756f6c8,
0xf9ec0d2120bc1636,
0x57f6f18eac643cb6,
0x0538902731e10040,
0x90a89a108b45b019,
0x2b2522de3e329d96,
0x7ac088606a15d3d4,
0x864db22d747c685d,
0x4ad6d193e5423bbf,
0xfdd94d720e281ce5,
0x174b2eaa232843db,
0x8cf4c49b2c91c984,
0xc5c018270a4ba8f7,
0x7542524e0e6e25e4,
0xb75e51616433b916,
0x9b92274c6d4eee5a,
0xdea492ec8a57e95c,
0x45561bab73a364a3,
0x1b8418a59c8f2541,
0x80f47ca342c1b88c,
0xf3dab5aa36f1fc48,
0xb676e4b8dbfa334e,
0xbe84c586356da628,
0xfa68b75c30e2ec27,
0xbb7f47b2d015db44,
0xbe0d8fcd8fbe005b,
0x1a6c4cb93d20e6ca,
0xf7b56d0583a2d8fe,
0x95e923f6fae5d623,
0x9a53ae1a27d1af08,
0x5d0c89c72c202cf7,
0xcd1f0ec6ec357244,
0xda0f15a22b4b460a,
0x4978677e7f494136,
0x34eb6ac787fcd19a,
0xb19d34d8c5f08dd1,
0xf78ecdd0c39e64c7,
0xdc709636b6df23eb,
0xb1524f7053edcb62,
0x663b6fd0056b6546,
0x5415fb6f4c74eb1c,
0x35a6ee33630e5bc5,
0x8b97f994fda5f465,
0x65dc76efe6e976f7,
0x0000000000000002,
];
pub(crate) const LN_13: [u64; 145] = [
0x4004d4e8c876f692,
0x2e894a33fdafedfe,
0xa4d84cbc505d2375,
0xa15bb1bf968086a3,
0x5e188190782f3e56,
0x2cfabbee6d317e32,
0xb7af42c8ef6f007c,
0xb584a5a689505275,
0x7f369b768a6d835f,
0xd012b8034ac63304,
0x79bc654d1df386f1,
0xe1e76a0f1386e56e,
0xc6ab6fa7cf73f24b,
0xe0af7f030d5f056f,
0xdebbb0d15e7dc3cf,
0x305e7ce89949553b,
0xda0d46600e11f96d,
0x2de8272d183191e9,
0x0226d0e5bec0de79,
0x2dc15ee3fd40b2ad,
0x7883529f96746e52,
0xdaa2631796cc4ccd,
0xc58a80e9c4d535f6,
0xb6f72a4df0968aaa,
0xa8abfaeec95d0b3e,
0xbcc82081a79b3eb6,
0x1dea37f682c8ef46,
0xe7ce73e65670f18b,
0x74e52ea8d5cbde6a,
0xd9f857dd9a651472,
0xf6e0b0023fd0b718,
0xd28a787f195eda16,
0x561e289aeb4aee14,
0x5f73b958e476b1ac,
0x10d430b3b518b156,
0xe2efedf0ed0fb792,
0xc10a8f6a913b0afb,
0xb641650938901c68,
0x3e48d160ebd6c279,
0x3c477a1fd43a9ab5,
0xfe578fc93b7e08ba,
0x6c4556dd2416b542,
0x6c7aab5322cbfa72,
0x581ee538ab5de751,
0x59f2a45f84800f3a,
0x39599895e1be33a7,
0x9b5c53c8209f244b,
0x9762b8986efda1eb,
0xf31d7619c52e90eb,
0x683b556ad716533b,
0x275482727bb12d40,
0x15baf92cd53363d7,
0xd69a2c873fde6968,
0x22afaf7c25347162,
0xd5c6b8cc62f501f1,
0x38f20b54af06f8d3,
0xf36b19357d5a08ca,
0xa198cfdbe46fa4df,
0xd7797ce012c28632,
0x5d9a09629dfda456,
0xc42caada5e851e9e,
0x99d4905e458f2fbd,
0xf2dcf99008d24214,
0x20770b3b192bbf8b,
0x87d6507898ce2ac8,
0xbccfb09531f94e6d,
0x660e1c2db07009f7,
0xaa3a17298f230102,
0x9420d45c203e6ed4,
0x582b25ca176c0a11,
0x1ed88aba0fd37770,
0x35f1f326117d2fa4,
0x38024f1b818705a3,
0x54a55bc552f1d9e2,
0x2c38489de06c63e1,
0xac97dca8a7bfc9e1,
0x8e5eb4fedfb54f26,
0xec66ec120443fc69,
0x71300794adcc9f54,
0xd49fb890b09f74b7,
0x520dbd895f0b4b10,
0x727f02294327cb8e,
0x0e08f504d34378e3,
0xc91d68822383b0c6,
0x130be3241a6099e1,
0xd8705eaa26fc04b9,
0x9e810cb387ad5841,
0x22204e54c9268e5c,
0x3c28d5d089cf04e7,
0x1bbd76f72b6fb23f,
0x93336a2cb0222048,
0x219b045bd3eb9693,
0xa8733141f47b39dc,
0x0752aff662e59f31,
0x1038f4490def9b20,
0x7a46ef190c94d35a,
0x23c4dd7e7e833f32,
0x0c59a183806b6513,
0x9d8c72e36c7eb44e,
0x167e0b8525a88bcb,
0x3f1a52f9da0ab279,
0x845b3fbdfbf0e22c,
0x27b7d2541d0590fd,
0x0a097666ce1603de,
0xba54fd143df5f9f6,
0xd556ab409f4fc626,
0x500a41792e8470d3,
0xd9d41ee27191aaa9,
0x9fc40d6a933dac25,
0xfd9f849ac3d84b73,
0x2d144dee817a47e1,
0xd1cf65f3c513577e,
0xd18d81886aa11ba1,
0x1efcbe8f659d4e66,
0x4f7dea5ac0bdc521,
0x506560153740552e,
0xd02acfcf06dd3078,
0xa2338906b50c8c20,
0xee13a4062d243385,
0x98d47c035d0a08ab,
0x25f64c2e8c09077e,
0x99fe89503108a7d9,
0x7dd46c643fbd58f2,
0x2c528c38508a64f8,
0x88705c1cb53a134a,
0x50b55bbae2b84c00,
0x6a9036ea5ba9440d,
0xf289bc3b2e911af5,
0xb8a32fa61d378fb9,
0x68042800ca64ee05,
0x110e5b81e046c23b,
0xcb1ea3917d43b350,
0xc7dc2a3b59dcc574,
0xae4c17d5275633e0,
0x5729bdbaf42ecd0b,
0xeac21a6967d61a64,
0x0d2d9d628d434eea,
0x853343c07fa83bd4,
0x9d93c4aceaf9f9a2,
0x77a8e414b05f43c2,
0x8884277e40fe50ec,
0x276ae0b5f6916a3a,
0xcfb9df147fb04103,
0x90a08566318a1fd0,
0x0000000000000002,
];
pub(crate) const LN_17: [u64; 145] = [
0x322384388652eaed,
0xdc60c6977dce9574,
0x7fa0ffb0215e182e,
0x044e0bc033000249,
0x9f042189edfdad1b,
0xa746e22e38703a7e,
0x6822c2d34b9754d8,
0x461b774607e100c6,
0x3e8244b91756f98b,
0x00db311a48309628,
0x85af11457055e98a,
0xa46d795dbdbfda61,
0xc86ced381a4fde69,
0x8bfb6bbb7a158b40,
0x75425669a9d29370,
0x3b42c7b391df99c3,
0xa3e71f0eee6b0e1a,
0xd9d62e35005a6b32,
0x8ee1f2b257bb9ee0,
0x7979284bc1483fb6,
0xfbbef01fca24e02e,
0x908e7e7c7cb7d1fa,
0x6eaf7ae162de5eba,
0xcaa35aacea2866ad,
0x247b3d2e0f2de842,
0xd112bd9088e7a534,
0x7cecdf4103cc78f0,
0x295c239e78dfc9d9,
0x305fba8c6053e9e7,
0x4ffbdb9892a68e98,
0x184e115423098016,
0xbc465b75232662c3,
0xcd41c2ca1e626a86,
0x60ab53e30b11b398,
0x76a6374daa021d23,
0xa4266e3bbd0c7216,
0x9a1fda92049b9eef,
0xe9e38bf5d8b6b66f,
0xd6587d182ca537e9,
0xf07a0f06d375a069,
0x307006168e37940b,
0x8ab6a0f6cf8c966f,
0xbe75aebf5daa64bb,
0xcbed41a6fec2f68f,
0xbba7159ed4455604,
0x5b45070c12d6d1f2,
0x7336156abec1dc10,
0x847c39a25ead47b3,
0x30750c7228ea7020,
0x44a27d587acd1d8c,
0x4aa20dc4926e8517,
0x0e087533dd05464f,
0x9eedbefabef88241,
0xbab094c9ddfa7eb0,
0xcd26ed1f04a969cf,
0x07652e3477a83a20,
0xcac4fb467efa1155,
0x41bb640ce7f969d3,
0xec0bb1e2f7311848,
0x67b7c2ffd25eef8c,
0x716e63e6736d6295,
0x7ddce6bb1e906f1a,
0xca19bf7506d32028,
0x29822bb7223fd70f,
0x86698a53fc990f16,
0x785d16ab5f82d0e9,
0x8b6331cc019838cc,
0x5e30d51e49d6c6c7,
0xede82ef6b2ffa2e9,
0x9617b0189bd60700,
0xf20bebf06b87899b,
0x86d22b7516481e54,
0x243ae931b0d40435,
0xaaa4080070c8156f,
0x24e448afc950d8bc,
0x5b8c1106490f2767,
0x7e949e5b6e5f14fb,
0xe62ab75dc7e675a6,
0xfef0d226040e6b73,
0xc437a79ff73be5fb,
0x38fe791236d82d45,
0x9728771bd4528e5a,
0x1475c8caddc77bc2,
0xb0a370126fa5764d,
0xb16d1a8a63592882,
0xc2bb468ff8e60b9f,
0xbe663853e707c554,
0xc02180d6350f6b1c,
0x4ff2e564e7ef332f,
0x97bdf49c7c3d1e11,
0x3a8d3cb9375e267e,
0xd8627bd5fd9f8f8e,
0x45cb2a8dd315d6a5,
0x9c4346408821b901,
0x2ee1895fdbb8f897,
0xe7b0eaa1a4201975,
0x4001d979da2ee290,
0x7449f131a206567e,
0xd4c2f53916c6ef2b,
0x2d3199d6997cc8d0,
0x56322d9047cfdde2,
0x3dc83379ab7dbc77,
0x48ae11c902ca5d4b,
0xbc1f27a55d997892,
0x70440986c7966709,
0x5fd095700e16230c,
0xce4e4277f4982807,
0xd24bb77443c697b7,
0xa9475a85f9b865d2,
0xdc28dec021caa644,
0xa9fcdd379d9ee568,
0xf3565746c83a9a06,
0x4becbfe99dc88cf3,
0x4cfc10f342a9f3d7,
0x8b43de07068d10a1,
0xbd427917ac046350,
0xe5aede91486bfc7a,
0x0e70a0c0e748acd2,
0x6d5e2d8b06b473db,
0x88417eb0d1d65da9,
0x5f7d2a09b58bb77d,
0xba02108966edbf63,
0xc2b417c7719f125d,
0xe67b4f0330f649f3,
0xb60719edd9af37e4,
0x7bd57d86f760f8af,
0x482bd48eff6d38d1,
0x85698a5480d2e272,
0x61162e39e2d91ef0,
0xa568e39874db31f1,
0x13dab8217ab2911d,
0x5acdff1a0da2069a,
0x6827af6ec849b086,
0xb48ff4ec38ab9e5f,
0x4c24c088e9b5c053,
0x635921b5e8625541,
0x3920442dbd8d9cab,
0x4eab84f4ec89caaf,
0xe6dc6ec6b1a3490e,
0x0054b2ed9634c267,
0x99b97c78c5a280f9,
0xd71459cd4017fe4c,
0xe5f3871785655355,
0xd54d783f4fef39df,
0x0000000000000002,
];
pub(crate) const LN_19: [u64; 145] = [
0xa18a1d9f89d30bab,
0xc0c4eed8c9c633aa,
0x71b7eb00a14bcf65,
0x368183e5d08e9c24,
0xe4b9c79ea1a4ff81,
0x94ae056497ea6e73,
0x20f44697ed26e0be,
0x087f7103630afe9b,
0x6e5a42737aabde4b,
0x963ce5bb61797f88,
0xe94a8beb91488e0e,
0x8b45f53cf9a40c20,
0x96d6275cb833f33e,
0xd6502f5b36d1614b,
0xb01d3a502b44876c,
0x8e6c0787b49d7057,
0x4ed59d2218ccd22e,
0xf3dd92deb74bdde4,
0xd01ba3dc54f2754f,
0x8cb376f881d9cc4b,
0x723c264b0f0f7967,
0xb397ab10f2d5f743,
0x02b3902aa6db83de,
0xeeb9ba3722d613ec,
0x59feae3197b6c37f,
0x2da579a9a529eb95,
0xf65b01c0b223aafb,
0xb2eba448b995f017,
0xe0f2fd62588d2e68,
0x852c3ce95b52c232,
0xf5d56d840bd51b5b,
0xa1354f949bfdb408,
0xc2306f08daf7a7d5,
0x7632ceca3e89bee7,
0x2a5216a891e991de,
0x6980dc5d2eab8f42,
0xd80c305214c10bcc,
0x12875cfb43a3e7fd,
0xf7c74888b28a12c3,
0xf4fdc08a1df7701e,
0xa2fb178cbc92783f,
0xde5cd303a30480b2,
0x273dfebc7f5757ea,
0x68959f8aac136c50,
0xc8a981ad9879a3b4,
0x915d3dd583485497,
0x50a1e34fe8dc1271,
0xe204cc4e4fe7c653,
0x570330167b3650ff,
0xba96c16c74347ea3,
0x1c19facbc7fd79cf,
0x3483f6311d56d549,
0xf20aebb9e0d98a69,
0x9caa6504d0e272f9,
0x9e84ff2379403b2e,
0x9c31e04009443f94,
0xe0b46bafa44f6a08,
0xbbaf6e1543bd2a64,
0x2a47109cd572c90e,
0xa9d87ac58f6fd5de,
0xfb68393562256cc0,
0x14cabf2aa8fbdcd9,
0x94a24329be64237f,
0xf258deac11188943,
0xb641b90ba4898ce3,
0x18c5146f8dcf198c,
0x86d456b697a75063,
0xccff1290cba0857f,
0x7a236b04bbe1dbd1,
0x3065ca59e01d154a,
0xd5d550062669389d,
0x835217ed0831e8d1,
0xf2def3f06d1be7a6,
0xd07f7237b971b066,
0xa4ca49edfbe90a11,
0x343ae4267499233e,
0xa076434dec058ffb,
0x60db1bb04fd67e2d,
0x36cba07db3677267,
0x7cf69a3f20926e0e,
0x0a4bc9af76471bbf,
0xc5b7999f925a121e,
0x23b0306d7f625782,
0x30076775506acbbe,
0x7eeb18ce161d778b,
0x19fe451b11f4819a,
0xac22683dc4eb7d7a,
0x5832e195d562ff94,
0x0d8c3b1643dfb556,
0x5ffcf26f7adf526f,
0xcc37d711b1f57ae3,
0x3ff0d090dba36a3b,
0x4d99765ff8de9e9b,
0xcd8c67e81a393938,
0x76985ea6b2b841ff,
0xc08544a16fd7a182,
0x93d0e3f5fe77134a,
0xaf562f4a9159a4c6,
0x10fa2da0c04a18a1,
0x6cf98a643e6ae99a,
0x29b2242de1c06daa,
0x37bc8886284dd0a0,
0xc90336477b33455b,
0x48ca590d20c7b01d,
0x718c23438482fbab,
0x95fc881be7b0fa10,
0x8089e4b699d86a80,
0x6d899c462c1559e5,
0x0c963a34bfb3bd6a,
0x2d06a2b0f883e017,
0xb61766a80c2eef66,
0xca477ffd034b3fde,
0xedb6de5daa22cae3,
0x174750a57b1cc5dd,
0x3f67f650bf47a70f,
0xf3f42a1246803cf3,
0xabe3e19c34b6d4f8,
0x3e22fc7d74033507,
0x7a7c19f8e70503d3,
0x89a2742486d4fe71,
0xf98fad961409b211,
0x53bcd5cd3fbdf3f9,
0x244a48fc441f1aef,
0x4e283d3ddedbe7e4,
0xadd0157e2e61d1b5,
0xa9ec9996dac3de3c,
0xa5ec5c8406c1e5ca,
0x0805668f4498268b,
0x4df5c261accae02a,
0x69a9496eec9adfa7,
0x65bacc94354569cc,
0xe0d42e9d429416e3,
0xad9ad30c5400ca94,
0x6cecb5e26ee44a99,
0x9e34d1628d02bc9a,
0x4e851f6cae787799,
0x4ad5358c4104684a,
0x00696f70bd6af886,
0xee2998b2e12992d3,
0x8c9cd67eb9e1c45a,
0xe8e15c4507d411cd,
0xd9297fefc856bee7,
0x0f52e26e521350b9,
0xf1c6c0c096658e40,
0x0000000000000002,
];
pub(crate) const LN_23: [u64; 145] = [
0x90e2e7df1939edff,
0x59a7879ff90b4236,
0x8719596c906a8737,
0x898d7a13b0a9fed8,
0x6eece585cb876d33,
0x1de90e86a06bd2e9,
0x62d3f9f8ccf5ae9d,
0x28e27608d017d9b4,
0x602fb6c02839657d,
0x36d0e5dc1313f861,
0x5062d704e88e3a55,
0x9b12d97faa67847d,
0x203be354b1ce58d7,
0x7141bbe0623b1fc4,
0x61dddecb89abc6ee,
0x90d923597046b370,
0x17fd987715edf755,
0xf83df818358ef775,
0x167cdde2e4ab3f41,
0x246541e2c874956b,
0xfe37085719638852,
0x94fefcb8faea4118,
0x1c6e941614e73ea2,
0x4302276758554e44,
0x8c3135ab64bbc3b0,
0xe30d260399379a08,
0xf14bf06c0ebd7f53,
0xb7c910506b1f1679,
0x189f1612a9a71ccf,
0x1fc29966947b86db,
0x4868675eb688999a,
0xa1fe218561bab814,
0x52cefe7703f5511a,
0x28d73e93cce6bfbf,
0xeaacc75797b8ddee,
0xc6b138712475bb26,
0xcff0bf1c4b5aed21,
0xa58fc6b184f23bf0,
0xf38206d2d7166ab7,
0x59c14e8e87105dca,
0x5c24523be84b3c3e,
0x8a975482708039a3,
0x9369a92d165eea81,
0x27ae59f786997fb2,
0x8e2b360174ed4f29,
0xacf87423455a09db,
0x9ea6f2db25537bbf,
0x803d4d5d47304bb8,
0x1fea656028c868b9,
0x16e965c44edc0473,
0x9f47122355dace70,
0x0de456e256e75689,
0x6df9c3fbe6a5484f,
0x854e4182ee86847d,
0xcc6f3b1c48ed73cc,
0x872a7d2f2c1a1dd7,
0xf0a31721a3d161f0,
0xc22c6b700c79416b,
0xd6202d5f306045da,
0x7ca27a4e03af3c3a,
0x1337a03d2da8358c,
0x57d196d26ec2addd,
0x784a049ea8413358,
0x6ed1c44caa39a327,
0xa16c8a6108bbe724,
0x9653393ad66ca252,
0xc32c5a2e30f03dc9,
0x81638f4e5ec1de29,
0x83ad5fbdcbd22496,
0x925be488db3ba2f3,
0x0537ba48531285a5,
0x6d1913fd33245461,
0xfcb5f6e8f767e03a,
0x41203bc32642764c,
0xbb7cfc67d88b8577,
0x9c8656020f79d8b2,
0x26c808b4701922cd,
0xb7512e86f4fcf1d7,
0x4d860650cd2649ca,
0x392bd2330cc410bb,
0x62ba9eb42cc84228,
0x06fe427c637890d8,
0x96ed3cc050e28669,
0xf616988480a1cf5c,
0x51ef759e01ec6581,
0x8c51037726a20a6b,
0x64968ef3eafb46d0,
0xde441fbbd8838d87,
0xfbf7c152b0bca8eb,
0x0c89bfdc4b825f48,
0x5c1a3e0682b67e31,
0xce13da868380fc78,
0xfcbfe17ce5e1773b,
0x881c734534bff7d9,
0x902c43186a0d005e,
0x00a09db3fd90c7d7,
0x044b49b13cab2711,
0xc338acb2af851edf,
0x83d656ea1fa35494,
0x7af8bafcd6bac2b2,
0x8ef7a0da84dd7c16,
0x40f21f7ea460eeeb,
0x089e6c7e2fa57221,
0x39fad001fa25c197,
0x2c95a25d545c5a45,
0x8c47c92518a1f0f3,
0xa0451e68291887f4,
0xe62a26813c877835,
0x2c7bd4a3b6e9c627,
0x4d0c3748404225e8,
0x4b291d3f1fcbc100,
0xd30b6d754e1d7618,
0x4968e565b4ea9ddb,
0xb6347ee0c5f2f9ee,
0xe9aa29098080f118,
0xfedc2411e4b29fa3,
0xd59b48b31af52139,
0xe27e72fabf476798,
0x943e130489312d0b,
0x38feea493507b900,
0xe0233954573ba515,
0x49d9885a1ff5a9ef,
0x89c4183e76d17b85,
0x746f56285d20ced5,
0xc311ff8ea10b0a4a,
0x4fe15d11febc05c9,
0xed8e8d1b04b105c6,
0x5c5d537fa6faa04f,
0x9dfff3c55a5102c8,
0x593c47e0802d8fa6,
0x2e6ececca61fde11,
0xdd5ac77b8f8b9615,
0x55a573383d01c4dc,
0x6301e313c6f8d70b,
0x2d392a996ca9ef56,
0x8fadf6387890e20f,
0xbcc016d3f6dbf61d,
0x94fd38ce9cd2dc79,
0x1af0c868c9fd0eac,
0xef3f064302750f8c,
0xe4c6d5bb51f057b1,
0xe1ae1a686ffa3071,
0xb0c01e4b5f89c067,
0x22afbfba367e0122,
0x0000000000000003,
];
pub(crate) const LN_29: [u64; 145] = [
0x96e6839f6789afd1,
0xbf4f616825d67a1a,
0x41e076dc8ee5119c,
0x79ba94f54a2f08e0,
0x320ac54e294f5f8f,
0xa5682352e75f2662,
0x2af9478585ea7461,
0xf160444dcabb64e2,
0x25ca2cee0a4237d8,
0x725c660392bebb9b,
0x8a7cce2638f8e124,
0xdb3df411dc953549,
0x36e97333b435d689,
0x0d23518536ae4a79,
0x9ecfa39b57a4b261,
0xd056bde574d38ea8,
0x35e3d2a7f5b921f0,
0x00c7b651280e621a,
0x95837253b39af335,
0xc0a93128e9a2741a,
0x9c44c065509d8388,
0xbb605a143a9ed0ba,
0xc63de4261abd136d,
0xb7daa2cdc897865d,
0x08bfd148506ff6a4,
0xde1cd038e61b2280,
0xb017d9aee0c63652,
0x6b7a11a294c24618,
0xd2aad9da5efd2892,
0xa8bb4b15f8027eeb,
0xa49f19079e1199a1,
0xdd04087ba207ae23,
0x23a7fd18d6967096,
0x5f3c95441402a6bf,
0xafbf73b1cf30d42a,
0x72533b66f9ab9ac8,
0x50c96dda0384ba6e,
0x92b6bd653ec60797,
0x78a39244938e27ec,
0xf1c7e8c2f4352a17,
0x84cff7bbc46fbbe5,
0xed8d0a610769d053,
0x2c0fc7cc890b48b0,
0xd2ce6679d9e9fb1a,
0xebe84e1c470fe3b3,
0xfd074218903cfa47,
0x6de9d412f09adf5c,
0xf9239b232df945ea,
0xe9fa0fa2782fc966,
0x987cadd7116f38b2,
0xe193354b09ea0edd,
0x84073fc95a3d55e1,
0x4d8d0b6b6f630439,
0xdf783dd3333decba,
0xb112e08be7769a5a,
0x92bbc6d16b28e271,
0x6f0b7a233d244269,
0xe917dd10dfbaaf0e,
0x00d5bc3324e41af1,
0x302711d645e798c7,
0xa5d13c1d092704eb,
0xa46669851940f223,
0xb6be8766b271dfa5,
0x455f0f844040d7a1,
0xb7ccae18c2bbd7cf,
0x82d7db33e1fa810d,
0x381083c919f40729,
0x0c4144f62f09f36b,
0x9f0cf83e3357db52,
0x47dff299dc6164be,
0x5820b6153f8199f2,
0xf489899bf7ffeb53,
0x82c3c84c046afdc4,
0xaac0a8573cfc6834,
0x85fbd8d575e79dbe,
0xbf9fbba34fc52131,
0x9fb36b4b7acdc37d,
0x21b55946fe07f626,
0x8e4cfc18199acd63,
0x518b2923e567e9da,
0x9521c71dcebb91e2,
0x760130d2e97b251d,
0xf39cd3d9c1fc34b9,
0x3810a36b6f7674be,
0xde3c616e4b6fc4cb,
0x54fde51907ae12ca,
0xc179d03444e2638e,
0xdcd80994694fc94f,
0x5d783f9f3c222e53,
0x4a5730fc5bdba490,
0xaf517d9699ca89cd,
0xedce29eb921774e6,
0x2e0d3071c77df5c2,
0x4d0a30a9a5449223,
0x06719b910ebebfea,
0x3b0c9aa3bc47cf9b,
0x05e2a7f8eb2837f5,
0x43d267a5e4dd89ad,
0x8a22e00e729c4245,
0xda44dce1fbe0f26a,
0x7ec424ba6e8898f7,
0x9a54ae25a358a876,
0x37e665ea7b3a0886,
0x1f0c07af3f8a3075,
0xac84e50b7b22e483,
0x520546cd638fd170,
0x37e3dd05af29e190,
0xbff754713c51142c,
0x309d5bbb4002bd1f,
0xc85afe6561d8b03b,
0x1ec2fcfefe58926c,
0xdb542530b240ea61,
0xf586374ee0c4204f,
0x04c1a50ad5f414e1,
0x670a8ce80fb03b71,
0x83ef0c55a6658d82,
0x596dd59d9bb02cf2,
0x877c6152073fcffc,
0xdcb08fd6c4f05981,
0x1ef1fee33cdb3e70,
0xb0bc4af2a7cc7d75,
0x573dee007e83eeb7,
0xca51f42bfe0d8578,
0xe800655b66894cab,
0x629bce2561a9fa7c,
0xb7c2bac259d844e4,
0xa2187997ce12bc40,
0x8a16af68a5b96b62,
0x02614dd5918edf5e,
0x273d5f0383d9ddd4,
0x553a9c92fd532664,
0x5069066fa6b9a835,
0xc8189ada35321b59,
0x966784ab68068e9e,
0xf2f6b5cdf80025f9,
0x6c7f0560a2ea9b64,
0x7881b33958abb756,
0xfa113c04d38bac0b,
0xddf4fa3e7e5c6ea8,
0x729e6c399ef7b1fb,
0x6876660a9219dcf5,
0x0f3d1fcd4b7c9347,
0xd413de0b4699c8d5,
0x5e071979bfc3d7ac,
0x0000000000000003,
];
pub(crate) const LN_31: [u64; 145] = [
0x0526427e2b272373,
0xfe6c3dbc639e6860,
0xba22b71deb15a6d3,
0xf9b22ce6ff7c8046,
0x069a39ce911286a1,
0xef63c6a8fd30e5b9,
0x34d5eed63cf2f114,
0xbd2fcef3cf94238d,
0x71517ab1cc4b5071,
0xa34eaf74042892eb,
0x81da0ef7100c4f51,
0x3dfa2837616a0b45,
0x0a1e6cb05ca4f989,
0xddbee3ac1f8c3ee0,
0x73739e93a6880157,
0xa1d26b551b52e0c2,
0x2648803b171b5d1e,
0x7a6421379fc3abc0,
0xa12d3a5711d261d8,
0x913624540b48f05b,
0x1394e04878b33eaf,
0x67a472893c9f72f7,
0x8ac4b8c363151d94,
0xc738d86d29d662a6,
0xf0b579556dff99ea,
0xe0efd7ee7fef0487,
0xd4f2bdf267f10867,
0x3914ac91fa84d133,
0x61fe77b427974c71,
0xb75546d73633e024,
0x9efba331218ea3d5,
0x5d13e544c6cc549d,
0x7507efdffea88ee7,
0x86abae4f59dcc535,
0xd0b43940aa4c8150,
0xf859cd279fd2466f,
0x2fbb7b3e5fd4dec3,
0x539ad1f62eb48e6f,
0x80e7c70d3bac8167,
0xe90b2d76826aeed6,
0x3b3ddc21b4eb15ba,
0x0155aa7a301c6a13,
0xe988fbefa3d20c18,
0x916591f576e23e2a,
0xa968028fc1534a34,
0x7ae36b653e674e83,
0x345173779e05c918,
0x163b37761424c356,
0xba4fbd8f0fb4cc25,
0xbc222d40319f3e1c,
0xe3d57777fbdb7e60,
0xaaee82f8e7bf34dd,
0x6115851772a1ac67,
0x511dec2499ea552c,
0x19b47eea5c51e6d6,
0x71430d80ca99418a,
0x92e9f607b5bb3424,
0xad1cffb6eb1872d0,
0xf35d594ecda1deee,
0xfdf68660ca070335,
0xfa02a60f8470e7f9,
0x5712524513ca0891,
0x4b60bcd34f5f70b5,
0x3ffac9e05882c63c,
0x367a639852cd2019,
0x011cfaed69958004,
0x0c8267cdd403c071,
0xb96f7625f39808d0,
0xd5a8b694b3683a05,
0xb6d07eecb5031b30,
0xf4c1828bb41a389b,
0xebed19b2c5a87641,
0x62d0a86f630924be,
0xb715c00a17752589,
0xfb3be2dd07c182f5,
0x8293726af7ec3e08,
0xa7bdfd4f73c1988c,
0x6f51c5bb18a1536c,
0xd4c05b341c36072c,
0x330d2b04f98ebb64,
0x4fbad0ff128e5e10,
0x92dc085b8a17ecdc,
0xe300f707733c44bd,
0xd9e497309f42a1dc,
0x6d314e2ef1ddd928,
0x4dd0d8aca15c3f41,
0x75ebbbc13201e23e,
0xd43ee68f9d509fd8,
0x3b08eeccecb2e444,
0xcc1e14f1c9f6cc7c,
0xd8f7b21faca77944,
0xf071173045f54b05,
0x68e32fa36d3e319e,
0x3f3e7f439422d44b,
0x597f38ce67250be0,
0xbe78ec9d2046f952,
0x56539df4d6058dff,
0x3866484c4bdc8b83,
0xccf9291a07c29d1e,
0x9f18acdc140291fa,
0xb529e2a517487012,
0xb00c91427f9fcbe3,
0x159766dbcd542571,
0x895823e718f413d4,
0x0f16c7ab0a359cdc,
0x87c8415ca7d44462,
0xb40a22b23cb374f3,
0x3101cd08eae4c69d,
0xf451ac256a8b5dab,
0xd56bd5cc77726888,
0x52cb808bb600b5db,
0x77ba634d9dc739fb,
0x68d3fadf86587874,
0x9de9da74764aab69,
0x85ad7aea6c5eb03e,
0x980afa95344e3623,
0xf71b3a17a637de90,
0xd21990de35a7cec2,
0x945271b7aae36771,
0x5292d053af0fd0e4,
0x310d072575e9b15b,
0x1873eccc9e0bbee6,
0x0d25aa4d1bc945f4,
0x57c13d9295d6c094,
0x4f8a60dd3393a4ad,
0x61f3633268367482,
0xa9c521d5dd90d0ef,
0x65cf805072c4bc66,
0x8435cbcb9aa1b43b,
0x2c059440b1f3e024,
0x7fd60d5616f97f87,
0x74c2a8b5be7f83e5,
0xac473601be685567,
0xd70441db276ed32b,
0x6daa135a5d48df49,
0xdbb6779bdc0bb19b,
0x27db487807863f54,
0x709ac402db57e3b0,
0x59737c4f18d38b99,
0x68f56761f5e6cf04,
0xcbbd13a15880d403,
0xd45f1c04169c8bd4,
0xe5d4470da77a827b,
0x6f19c912256b3e22,
0x0000000000000003,
];
pub(crate) const LN_37: [u64; 145] = [
0x6aa9f7cfe5ab7801,
0x90f8f989863d778a,
0x4c4ba11fbb8e8356,
0x302d741205f13a9a,
0x0eca5034d73905f9,
0xf0dbd9df09520769,
0xb5295e4c656ab743,
0xbd1a71f91d12a26c,
0xcb8bfbfcced1a8da,
0xe351cbd8d0eecd69,
0x201897d6919092dd,
0x46309ff64f65f713,
0xc268a6433d4f2e79,
0x10b92034ce1d4cd1,
0xc4045a1dbe12a0fb,
0xf78e503167c02dfc,
0xd79d3bf95f1eeca9,
0xc05a250990f5780d,
0x7a21f7c2a5a4e650,
0x66ef4281306ea002,
0xa2ee7d43a9082bb1,
0x7c455cb7704fb4a6,
0x9d544aa6fa46616d,
0x4a3f40736dc74dd4,
0x2ee5b4b14863f16e,
0xfeeb3bdee1be8333,
0x1ac1127b7ec1dd83,
0x68f38e6c93995608,
0x95ceb94cf1db573e,
0x8b399e5b575f422c,
0xa9bae086e31baf52,
0xdea3c6808c43b0cc,
0xcfbadc23c58b034b,
0x2a2369b035464fff,
0xfc77a37303f9230a,
0xbe5342dd15554bdf,
0xf0e90f0316390d89,
0x5b7a6772f07a042a,
0x25f7cb67fac68bb3,
0x5e019caf1d292e80,
0x9c4789974d4602fc,
0x1e336e4be04c48fa,
0x6a9b23037f710b70,
0x41d551a0e8c4f856,
0x5251b6551d672ffe,
0x0437cc3e77cd597d,
0x4c298662fa55f8de,
0x3ba8d982956f1272,
0x568477b90aec50c5,
0x3b96e1d055c93507,
0xa798e923ff8aa297,
0x9efa83afe607c5a2,
0xf1bb6ced0087cbc2,
0x5a5f70fde44898e9,
0x55df8deef2357b98,
0xf19845231fe42376,
0x0d483affa182f463,
0xb37427aed4e654e2,
0xf5f88ea44dce5109,
0x8aba17f3fa08486e,
0x87333fe53fd5d6b4,
0xd26b8e75ca6d14a1,
0x511710427dc851a8,
0x427fbe19e9ed7e6a,
0x022d7ab0f4dae7b2,
0x601171c286df7ffd,
0xcd5a89bc7a9b6dfa,
0x0cb3f7147aeb13ad,
0xabb775347a2fc59b,
0xdf833590e384371f,
0x18f43dd7e770a6a8,
0xf2c9abd1936f237e,
0x6a784eaec13794cc,
0xb3747516c8299bc3,
0x417dc49acacc1c4d,
0x0b442cd337753c21,
0x4b202e14dd248d17,
0x941afe17725a978b,
0x5d0b58c4b2c433b2,
0x10bb3cb40aeefcb7,
0x2ce5c7bd705eae1c,
0x0adb20eb6d83df49,
0x7096356483276be2,
0x7891c5dde1e439c6,
0x2ba70fcd66a01b34,
0x11f8bb7d4132004f,
0x1e2add9a32233ebe,
0x1cb128074f4450fd,
0x55b3c0123da71c04,
0x4d1115baa9483a89,
0xf37d395ea99725d2,
0xe8da08d06d355276,
0x4bbaccb49e4b882b,
0x9ae394b3c9171d85,
0xaf89f02da1652659,
0x4718a32d7d641ab1,
0xe31d1a89e5e3c7d1,
0x6c7640c9faff06a7,
0xe6dc7cfd7cee18ec,
0xab80b48ce645df57,
0xe282240fb6deeea4,
0xfb30a54ef142d5a4,
0xb0b101402d4d0544,
0x5a51c5f522fd1470,
0xff531e4e1f201a40,
0x4233e49191642915,
0x80280fb42196f120,
0x2b5b4b54a219ce61,
0x87119d489a7238e3,
0x2fda6e93733857a8,
0xf5dbd0ad17ac6508,
0xc2f12c7f31e96474,
0x0e0909992ad253c2,
0xc89a3ead40e81d6f,
0x3d91753d95be22df,
0x15da991938bca162,
0xd37b602486756e0a,
0x48cf980ff8148dfb,
0x32dfdd9b939f8d25,
0xa0f3383b69762e58,
0xa54d1231b9a11ada,
0x2c72eecbf1a2e0cf,
0xb12c792e8ae1ac8d,
0x72ea4c33b4824be1,
0x6dff033c47afc631,
0xc4e7ad7d0a9081e1,
0xc3c84c7d926e5efa,
0x8b7aa0cfe7a7c5a7,
0xf927e0567a115443,
0x96481f3d29d88c14,
0x29bf7d175f27d437,
0x4d858e9564c92328,
0xd7cd5e02eb06914c,
0x79f63b849d20a37d,
0x390d9df82ebf0400,
0x867ce344b8ccac24,
0x0c6e18f71b40c1e7,
0x0f59d5d14053cca4,
0x8f8447deadafb77a,
0x44897ceeedb1e5f9,
0xe84566f098a7b61d,
0x408956cfbb258a90,
0xfd2b63fc01b3a276,
0x9c651dc758f7a6f2,
0x0000000000000003,
];