

round_constants = ['0x15ebea3fc73397c3', '0xd73cd9fbfe8e275c', '0x8c096bfce77f6c26', '0x4e128f68b53d8fea', '0x29b779a36b2763f6', '0xfe2adc6fb65acd08', '0x8d2520e725ad0955', '0x1c2392b214624d2a', '0x37482118206dcc6e', '0x2f829bed19be019a', '0x2fe298cb6f8159b0', '0x2bbad982deccdbbf', '0xbad568b8cc60a81e', '0xb86a814265baad10', '0xbec2005513b3acb3', '0x6bf89b59a07c2a94', '0xa25deeb835e230f5', '0x3c5bad8512b8b12a', '0x7230f73c3cb7a4f2', '0xa70c87f095c74d0f', '0x6b7606b830bb2e80', '0x6cd467cfc4f24274', '0xfeed794df42a9b0a', '0x8cf7cf6163b7dbd3', '0x9a6e9dda597175a0', '0xaa52295a684faf7b', '0x017b811cc3589d8d', '0x55bfb699b6181648', '0xc2ccaf71501c2421', '0x1707950327596402', '0xdd2fcdcd42a8229f', '0x8b9d7d5b27778a21', '0xac9a05525f9cf512', '0x2ba125c58627b5e8', '0xc74e91250a8147a5', '0xa3e64b640d5bb384', '0xf53047d18d1f9292', '0xbaaeddacae3a6374', '0xf2d0914a808b3db1', '0x18af1a3742bfa3b0', '0x9a621ef50c55bdb8', '0xc615f4d1cc5466f3', '0xb7fbac19a35cf793', '0xd2b1a15ba517e46d', '0x4a290c4d7fd26f6f', '0x4f0cf1bb1770c4c4', '0x548345386cd377f5', '0x33978d2789fddd42', '0xab78c59deb77e211', '0xc485b2a933d2be7f', '0xbde3792c00c03c53', '0xab4cefe8f893d247', '0xc5c0e752eab7f85f', '0xdbf5a76f893bafea', '0xa91f6003e3d984de', '0x099539077f311e87', '0x097ec52232f9559e', '0x53641bdf8991e48c', '0x2afe9711d5ed9d7c', '0xa7b13d3661b5d117', '0x5a0e243fe7af6556', '0x1076fae8932d5f00', '0x9b53a83d434934e3', '0xed3fd595a3c0344a', '0x28eff4b01103d100', '0x60400ca3e2685a45', '0x1c8636beb3389b84', '0xac1332b60e13eff0', '0x2adafcc364e20f87', '0x79ffc2b14054ea0b', '0x3f98e4c0908f0a05', '0xcdb230bc4e8a06c4', '0x1bcaf7705b152a74', '0xd9bca249a82a7470', '0x91e24af19bf82551', '0xa62b43ba5cb78858', '0xb4898117472e797f', '0xb3228bca606cdaa0', '0x844461051bca39c9', '0xf3411581f6617d68', '0xf7fd50646782b533', '0x6ca664253c18fb48', '0x2d2fcdec0886a08f', '0x29da00dd799b575e', '0x47d966cc3b6e1e93', '0xde884e9a17ced59e', '0xdacf46dc1c31a045', '0x5d2e3c121eb387f2', '0x51f8b0658b124499', '0x1e7dbd1daa72167d', '0x8275015a25c55b88', '0xe8521c24ac7a70b3', '0x6521d121c40b3f67', '0xac12de797de135b0', '0xafa28ead79f6ed6a', '0x685174a7a8d26f0b', '0xeff92a08d35d9874', '0x3058734b76dd123a', '0xfa55dcfba429f79c', '0x559294d4324c7728', '0x7a770f53012dc178', '0xedd8f7c408f3883b', '0x39b533cf8d795fa5', '0x160ef9de243a8c0a', '0x431d52da6215fe3f', '0x54c51a2a2ef6d528', '0x9b13892b46ff9d16', '0x263c46fcee210289', '0xb738c96d25aabdc4', '0x5c33a5203996d38f', '0x2626496e7c98d8dd', '0xc669e0a52785903a', '0xaecde726c8ae1f47', '0x039343ef3a81e999', '0x2615ceaf044a54f9', '0x7e41e834662b66e1', '0x4ca5fd4895335783', '0x64b334d02916f2b0', '0x87268837389a6981', '0x034b75bcb20a6274', '0x58e658296cc2cd6e', '0xe2d0f759acc31df4', '0x81a652e435093e20', '0x0b72b6e0172eaf47', '0x4aec43cec577d66d', '0xde78365b028a84e6', '0x444e19569adc0ee4', '0x942b2451fa40d1da', '0xe24506623ea5bd6c', '0x082854bf2ef7c743', '0x69dbbc566f59d62e', '0x248c38d02a7b5cb2', '0x4f4e8f8c09d15edb', '0xd96682f188d310cf', '0x6f9a25d56818b54c', '0xb6cefed606546cd9', '0x5bc07523da38a67b', '0x7df5a3c35b8111cf', '0xaaa2cc5d4db34bb0', '0x9e673ff22a4653f8', '0xbd8b278d60739c62', '0xe10d20f6925b8815', '0xf6c87b91dd4da2bf', '0xfed623e2f71b6f1a', '0xa0f02fa52a94d0d3', '0xbb5794711b39fa16', '0xd3b94fba9d005c7f', '0x15a26e89fad946c9', '0xf3cb87db8a67cf49', '0x400d2bf56aa2a577', '0x56045ba28fd1dbb1', '0x06851d67ed5acacd', '0xf7019bc57980d178', '0x0b56dd650d860d28', '0xcd095759d842636d', '0x17180482b913fb6d', '0xf085ee1e1911b728', '0x44549837566a0bfd', '0xadd0271c8a246c59', '0x4292bcfb6e12c8ce', '0xb9335e2407759a82', '0x08eb37a7111d5618', '0x2b7c80b429d54278', '0x53ea5d3e1999f4ce', '0xedee2a45b06fa613', '0xacaf4772a36459c2', '0xcc0b4aa757746b2f', '0x52536a16f47129c0', '0x9b0abd0b07ccc510', '0x3d3b86ee7806a3ee', '0x533072e923c588e5', '0x14555d5ea03b4428', '0xd9e7702629648bd3', '0x273c5dc3b8b6ed83', '0x26315afb96c27395', '0xbabc1eb9506c3767', '0x0d0281a2fb57b4c7', '0x2c709a3b40cce2bd', '0x9ab9a14cafb72112', '0x189aed3cd14d0f5e', '0xc941490f292f3566', '0x29d339bc4c4c5ed1', '0x51886b29d3b0d26e', '0x26ecf673ad01666f', '0x58f20c05df6136e4', '0xcaae02f891d9a693', '0x99ea2de13df560c7', '0xfb7e604032a6c89b', '0x9484e6a84078ffab', '0x33eb1f78ea2bf882', '0x305fba6c763df8a4', '0x855a940575a2f5cc', '0x3bbe96637669d8a9', '0xe0bf92ec5aa783b5', '0xd2d8f7be3c581792', '0x25d1dbdc95699756', '0x6811562dd7d380e7', '0xd2d0c07c8cb96126', '0xed7de2464aab8093', '0x28e68f8ff765cddd', '0x000f4302468decf6', '0xf408a8da2ec86476', '0xa910d923652cbc51', '0x61ff0fdd666285f9', '0x0d35de1fb1d92032', '0xc33f743297168e6b', '0x5280166634968f2f', '0x8029701a169b8c58', '0x442b1659f53fc92c', '0xb80d1df09583aae7', '0x3f68f6f41e84d283', '0x2dfd848230eeab8e', '0x464724542108bcce', '0x9cbd9af019eb40d8', '0x9cd056128537dca6', '0x0fdc70699871ec1f', '0x91b4ed0840036aa9', '0x0426a03ab3b941ae', '0x3620ce1d1da9d9ea', '0xa909c10f133b12df', '0xdff78cb9ce5e72af', '0x355a0507ea3d39e9', '0x33ab02012ebb8e90', '0x66e681125ad48d09', '0x754e7875a4cba209', '0xb4f4092cd96fe585', '0xe0beb61c71cd590b', '0x289d6191348815af', '0xc7f9310eebd89190', '0xc404c95833496b5d', '0x67cd987a2e477666', '0x83a966eaaba6f2d0', '0xa843095304ddb411', '0xab9bd2ffaf5ce005', '0x4b8b976e23ed8d5e', '0xe853009d6815ce32', '0x30b462f67decb8bd', '0x4fbe35dfc8561dde', '0xb182e2119eb521e0', '0x9a37c025983b008b', '0x9a8036d5c0b0ddff', '0x530e4069d0629e2f', '0xb5d7149987ef9062', '0x6a7120ccc56ca201', '0xd4fb060e7aed5a56', '0x9d01fca4ebb8856b', '0xe4bafe3340849d38', '0x0632a3df994f0c09', '0xf084664f0b9c8659', '0xbed5c89cfd8f9a70', '0x2732cb3f2103948c', '0x56b9259a2307cb16', '0xe9c504996e7d3273', '0x1c8a11e45261ef10', '0xdd694710e5643a96', '0xf84538050c75ba9c', '0x6d21207c2dd2ffdd', '0x398156c24d3ee292', '0x5dfe3b4a26dfdb31', '0x5264c0dce0fc508d', '0x68db82e30df8c0b6', '0x0bb69f951e7dae8f', '0xa4a00a693a6a9dc6', '0x7d2ed77fb67e1edb', '0x3a29153665b5deb6', '0xde05f000f7734b79', '0x2d3298b50e9b8ee3', '0x0a2801c5da77fe8d', '0xe4dae42bd80dc286', '0x2a92a223212d9bb1', '0x4a9e772dc0e7ae65', '0xf91ad425467514a6', '0xc947db43432f981c', '0xfab35dc94da6ff86', '0x30e86b98128ca1d8', '0x73045f05de00acdb', '0x877a90860890a505', '0x904b699fae24adf6', '0x2fd36112b8db92ea', '0x37c8e7b709efcfee', '0x117825ee6efb194d', '0xef084994ba70e740', '0x3bbbb3e35ddff9ff', '0x94599a930c7d397e', '0x3c962b6062d37a0b', '0x8cedf279060e80cf', '0xe3d6fee148661835', '0xac6dc576dcf69a1b', '0x4395a68ba78162dc', '0x1509b345505d0cfc', '0x78ea2a2c0ff44da3', '0x3b8453ac216d9dcc', '0xeeea1ecb6e9739da', '0x998a5a4578f042a1', '0x85b4d1176041379e', '0xf1c548623858b53e', '0x84f76ecd462db219', '0x7d478acf677e40c9', '0x78bd49e6248a3f8b', '0xbaa176467eac8dc0', '0xa1d87308ce5f171b', '0x6ecdc783e58e6ded', '0x0a27470d8a54c073', '0x303dedb68be27aff', '0x1283fa6b9fab0360', '0x09b9238f8990d3c6', '0x783fe452c827ce70', '0x51053b0a0b311026', '0x913af1029780fd02', '0x2768db16e909ab50', '0xe2711e4680cd49d4', '0xae38b891ffd47d23', '0x747a4123904482ef', '0x7590a5536989e07f', '0x597bcf699cb8f029', '0xcf1022c720e9c768', '0x6be4d569436457d0', '0x1ea4854422964af6', '0x9ae378da59b64449', '0x01111bdcbee5f71a', '0x3e5b8b050fbb6ffe', '0x5a14f21fc4493541', '0x1ce4f54dfef557a1', '0x5cd4599991cc8d4f', '0xc564b336f4eb42a2', '0xdcb6c46e887ac22e', '0x8a75e51054cd014f', '0xb0ff306616755d5e', '0x4dfee54c8dd19e47', '0x7ca27c634f5d6f20', '0x377a3f686a605c43', '0x942f96fe69242828', '0x63363826c868c690', '0xf622c7bbff21a41e', '0x7413fe06ae65a228', '0xf27e12c8f2b63a12', '0xcb9cdc2782a601b6', '0x4c355b11ae9d1501', '0x97b3caa2ca1983c8', '0x6f253eb18a69a3d6', '0x9daaad35dbe278d0', '0x9b154395fc9479de', '0xb88a4c10b121859b', '0x23f574023668b146', '0xe014dd76f0daeb2a', '0x47ca3455c99abbfc', '0xe15bcce7d6626f93', '0xe785e1d29b697a2a', '0x72f6e6335f2779b2', '0x63354be802a8d806', '0xe8680400a8b7da56', '0xa57878f6cd7dc1f5', '0xa3242e1666842e56', '0x9d4763931e5c80b8', '0xf5ad9042f9c2a2ea', '0xfde9819dcf522ccf', '0x2c1b7126142f99b2', '0x512a49e97331bcdf', '0xdc36f6f22179f9a4', '0x1287293218e2af1d', '0x9547747ddf7cd847', '0x27e9d7e39b288667', '0xf53ed68c44662e1c', '0xccd3913a837bf56d', '0xa54b0c67cee88c45', '0xc9204bc4f678e860', '0x3b2b3332135618af', '0x3bfe057360941901', '0x7ea1c40408898d03', '0x65735bc04a989af5', '0xc0d0f9741e308f84', '0x274505af11e8561c', '0x00c01a31a2a8adf7', '0xae16a9b5d19bd9eb', '0xeb47bf1cf2f8c536', '0x6281eff11a965684', '0x16fbec6cb544e37b', '0x43661c50ecbaf61d', '0x48ededeefe678215', '0x41454e2ac92e020f', '0x677ab8b3c9ba50e2', '0x7fe3981c7c556ff9', '0x35c8b8589248bedd', '0x8466ae507b53ba99', '0x3c1ce7a6557cd52c', '0xb547ce487a0afa54', '0x05edb6bc9e4c7961', '0x50573b9cb7beeefe', '0xb26c40ecb1535571', '0x4a9d2fb483061eb1', '0x9738a691d84dd72c', '0xedfb4e4efb79d5f8', '0xbfdb2e3c4d600b54', '0xa44a4620bb87c023', '0xedfd03c8933b6509', '0x6409ecdd7113b38f', '0xbc7dd042ff7eb60b', '0x1c41de22a36b7a75', '0x177fdf40e9646ded', '0x8eeff87cd83ea10d', '0xf4ba0b7ed08bafeb', '0xe5b3ede57adb7f0d', '0xd8bf37d380f76ba9', '0xb5e07f4e8f36d2f7', '0xf2014366c2e22b88', '0x876f5726bb600720', '0x2fdd356780329918', '0xa60294429a5d0408', '0x0fd714f70b67a879', '0xd3efd294503511e7', '0x9ae10ed6c78b28c6', '0xae221f0e399fa644', '0x7d75772d7d8bf011', '0x0a6321da6233b471', '0x9bb7b0e6658281be', '0x7b16cc63c27fe8f4', '0xbf53f47f87f56a6d', '0xe635bf90172d71e6', '0xccf02f48250d3fb5', '0x3d36aa7d16141aaf', '0xae1eb04558b772b4', '0x1d58ab28e8083c4f', '0x1d9bda2e12d3e534', '0x423dd55f154482ef', '0x72b65b610654133b', '0x487d3548f56a85f0', '0xd8c52e8889a97c5a', '0x505ec42c4db39362', '0xc217b41e7d0ef6e7', '0xa6fd6c3cda5c8473', '0xff5dd9dfcd788211', '0x303ff3284e6f7308', '0xa1aa11255463d565', '0x78e87d336ccc6981', '0xcbe6f13680f9259e', '0x43ed60b3f0605305', '0x285bb9012ad02b65', '0x5e3be4930ba77f91', '0x7d0b7f76259514de', '0x196f1021318d4d14', '0x32aeee488c159236', '0x7042b7b5a3393989', '0xefe7a9290c7ff77c', '0x429dc22cfde71457', '0x70a0a8b0cd2e4e92', '0x2a66e414a2e69a2d', '0xeb6d94e92221051c', '0x704157837371e9be', '0x8a085f6f2d59f8bb', '0xd195560e9297a989', '0x8ef6701b17a6930c', '0xbdb996211667ba57', '0xe240f4c1c4b2ad06', '0xfc2f101d588e0907', '0x791d9d059d498e68', '0xd21b9dfad1421e14', '0x3f40701396692e53', '0x837e836ab5a382ca', '0x6b7358c4631537d0', '0x7e3b633af145a310', '0xbac53ee64fd8b153', '0xb5e07a6e5b2b5242', '0xe754f45f540247cb', '0x23ada0ccd4a9e8e9', '0x5bc4109d42b4c5c8', '0x754fa15d43d39e06', '0x9a99178df6fb2088', '0xe8fca9a16c030c7a', '0xbb9f10f3f43aef47', '0x11350f1b54ae9adc', '0x665e172a588ee1db', '0x08302ce9f0ee5277', '0x494e7e049554756c', '0xded40cca27f6c2ae', '0xfa62692d0d41fc3c', '0x7b2f0fdcde013e9b', '0x0998315134e1d6a9', '0x5e59c08deb844be8', '0x3a37c9734e09cfb2', '0x31719e2d681d7414']
MDS_matrix = [['0x5988b85748e01d64', '0x6ce5b2a51c028cd5', '0x97151726a74103eb', '0x48da805da22db860', '0xab527bddf567ce5d', '0xa62c7a8802d557bf', '0x682f001eff55d953', '0x739f833269079c91', '0x52f36cc427b3c2d1', '0x207f3edd31fec0c1', '0xe861a14803653f31', '0x7f75391531d1351a', '0x9c1ff22b7b6519c0', '0x33b1b3b9f6243b4d', '0x39a21454890d9e9f', '0x5153a55d83d32ad0'],['0x2c7fa8fb1e89be4a', '0x53aaf9e104e4e906', '0x5466ca73c94286db', '0x01533ab42def6283', '0xa1d91119905de8f2', '0xc4a70e83b3da8175', '0x9c4fa46f80a875b7', '0x2ab64e023d7a4574', '0x95870ac3b43221ad', '0x8ec4c7dfe0b1e529', '0x29af3c3d9caab861', '0x0f5e03a41985622f', '0x6e351f8b80d25233', '0x34c392b28480b011', '0xa2e21b3c21902702', '0x98c40b93bfa7d635'],['0x3669f4cbc4539d7e', '0xf8fee0879daec673', '0xb732c1f23b761aee', '0xceee88ee79daf441', '0x86c99724e2cef313', '0x1cf1f3ab213a0d3c', '0xd5ea051783a3122a', '0x22352d4ea73f6045', '0xf383c05e03cd7c62', '0x81dfe9c8a0051bbe', '0x3f07ffcdd9266723', '0xc93603d00f5dc893', '0xe69d2645321274ab', '0xd4d06b40d3b2458d', '0x3c3b9bf934fc9fd7', '0x6c3ed734df9cf691'],['0x3c3edb0d8e367cbe', '0x4d141f636fb94d24', '0x593dc28f61908b6d', '0x51429b67ced5b2ea', '0xb8ad92e65afe1948', '0x7de771ac1136a634', '0xf2bc3d4d9f8c12b4', '0xa00899fee1163f9a', '0xefd9361aba69c5f9', '0x692af10ed750d360', '0x203a34814f5fdba1', '0x22aa4b0fc8e4f127', '0x8404c6ef28881b6d', '0x332c23191cb610fd', '0xe03b41f9d0a5d63f', '0xf6bc920a03f7752b'],['0x35accf0a901fcb8d', '0x8dcff51324521386', '0x57e239c58d0c8e89', '0xfaed102b92f35770', '0x3e4bfd2caf5c21f7', '0x3cd53e002583952a', '0xea2a4a22eb681b2c', '0x670a2ee21d7014eb', '0xdde0a9aa6df4b771', '0x95b1fbc56e1a6c39', '0x6346cd06cc929757', '0x6ae4bda639af92e0', '0x77314dfd51e7d92c', '0x0391e3978ff24b17', '0xe27611f117d6d97f', '0x04883758be9f54e3'],['0xe6d3dda85e6395c2', '0x0cd42c05f66b3c1c', '0x698359374266b60b', '0x9e9eaa8893e52d50', '0x034432c8f57c7559', '0x4674cb4bc8006eae', '0x92010504468f2681', '0x182baea6c583b9c6', '0xfd348e1d8e95d693', '0xc2f2fd9b9078ece9', '0x1aba1a45a6419bf9', '0xbcc2b6584c1af690', '0xad0b58758270f4ca', '0xd4e24b7e35851406', '0x9572342e0aec74bd', '0xf681bb067f7ac76e'],['0x30f21444e981732e', '0x0a4b4c356cf81323', '0xe0ddde574b7bf32b', '0xc3f99cc853e76784', '0xe1aa2dd912c46532', '0x54531f9f67108f80', '0x8639b004a91e6a28', '0x8cd1ddb584f7a9ac', '0xd78dad0f1337bba4', '0xc481f8f3a4b87f91', '0x4c24f9db5e94ab02', '0x1c62f47a8c19eddb', '0xbf16cec4fba38913', '0x4ed589b4fd6bbaf0', '0x86cff751dac92c05', '0x86249af3a8eff0f6'],['0xe1033c0d774c285d', '0x2f8586c1921d8fb4', '0x7441a10af45e5808', '0x8d8feb70aded8628', '0x7da45cc544d9ae35', '0x767f12ba8a5a0c14', '0x620efed7f8d3a459', '0xdd7ff646c99f70ad', '0x3678cc601846b44a', '0x6755b4209c3401cc', '0x8e0ae4aa7035b0eb', '0xba9b1267dd354322', '0xfadd3d5f0683e9b6', '0xbc5c35ae68f2dfe2', '0x73ae2e3c9c090886', '0xcc0c1c1e8d9bef49'],['0x8671921f7a0a1794', '0x9cd5f1eac6037499', '0x3e527bd0148ade83', '0xaa717d8659a564c3', '0x548583860ccd6913', '0x0df5a873cf6cef5f', '0x6b1a27e8227f6df8', '0xdb3e44aa830df1c7', '0x71353fc324da6e34', '0x519ed83e6503d741', '0x81d74e3914f76769', '0x6c8a3d26ef84b973', '0x48033d71b77fe8c1', '0x0b845bc4926fb555', '0x9e07dbc3ba174490', '0x0ec39acc7f68d8ce'],['0x7677a79600252463', '0xf3e2c73584829d44', '0x554b023d8621a4de', '0xf8afcc7e5c120419', '0x385e05151f117f7c', '0x6f349729b45b5be6', '0x3a98b59f73759ee1', '0xd98152e584082edb', '0x795f0382526cb465', '0x3d7631494b438675', '0x1003b04cc5497839', '0x0f224853d28542fe', '0xf83d612bda7234b5', '0xdbfc370b88104851', '0xc1dd2e22be7c3a16', '0x17ca5948341a933b'],['0xa9d70e4e8c01ad89', '0x47bb5a0c5a8da9b0', '0xc7b5e1da10d895f7', '0x5f0cc2c2aaa7b03e', '0xbc8097f44e63863f', '0x70c8e880581bd43e', '0x758cfe2ffa079581', '0x839395f285d3ece8', '0xa2f27080ac482121', '0x3f62d1fcb8f9d784', '0x4b2c662ed6ae100c', '0x14f3fbce248827f0', '0xbda2a9225eda8792', '0x1ed0e69117ef3c36', '0x3af8405a89b5c1a5', '0x3429a7904ea79c9d'],['0x9d8119220744a23b', '0x730bf95139f665b1', '0xf71f347cf06eb11b', '0x1e16d46ef71b8e86', '0xffb5517c741183a7', '0x9de7bdf6e7763c76', '0x641535f22ebbb8b5', '0xcc9a2ac6e3525ff2', '0x6ca74aadfd1870b2', '0x26c7b78d1a569b93', '0x6771174eb61e5363', '0xfece43af74186a6c', '0xe2d04ce9d92aac6c', '0x069bce14795ab3ee', '0x454663cdef4ad361', '0xc9d1d1b13aa366ba'],['0x2a14bb5529f46c5e', '0x9284dc3ec5a3298e', '0xc32a357d30aa5298', '0x6378633155977074', '0xd42fbe0d1987c1d4', '0x812a7402da911fc3', '0x0aa377c56139e86d', '0xf738501437323e35', '0x716814c20125dd1a', '0x4b8f884ea190466e', '0x73af1afa89a8b0f8', '0x581257e0a6514156', '0x2a3e9650920f7c21', '0x3a4b286082ce7d23', '0xaa89fb9040aed6fa', '0xcbcd108576e6d1ba'],['0xa0e6af946333f9cc', '0x5b9fa025d5f91de4', '0xa37f3398a3ff534c', '0x5d807c5491b334cc', '0xdde0491f392f54b3', '0xd31f9255564584e5', '0xb682b5175a329122', '0x36ac21cacdf0a097', '0xbd69c3e422624ed0', '0xfd03026489b74c0b', '0xb2b862a95c6f5fc9', '0x7a6ec2a715549e03', '0x6a3cf97409861804', '0xdd31032efb7843cc', '0x080d82ec2393f0c3', '0x5ca5e139dcf07d41'],['0xf57bae2bb3999ef3', '0x1b3241817e6f40c5', '0x12f1d5f21156e7b5', '0x44261d736bf454a8', '0xe1194d1a1cd17a51', '0x9394f656c1246dc8', '0x050fe6e2bb26bab4', '0xcb184bfb067f33a3', '0x87b5f94c9d2c7907', '0x456daf135d96f358', '0x116eba266dcc0cb3', '0xa2dbf3c480582332', '0x1302f5ef13049a4d', '0xd2ac7ba5adc5269a', '0x43b32aedb14c08cc', '0xe00837b7287de52d'],['0xd9553f671aad6e14', '0x4bb5271bb83f98a0', '0x2c84ca7932ff0d9e', '0x0ac13c2ec615ff05', '0xfd066e3f8f82e427', '0x6cddcb7116f97320', '0xce298f1a321e7087', '0x74c9ceb2944dc1b5', '0x6afbdadac658ec67', '0x8c32f317e710b3bd', '0xc380701ec43dc56d', '0x96b0a79e387441a4', '0xcac77034b3035048', '0x015fd2a7e0a193ac', '0x8f848885347161d7', '0x110276a5157b853a']]

 === Constants ===
[[1579613653969377219, 15509510893087893340, 10090715174060125222, 5625716564419252202, 3006005019077469174, 18314693207014427912, 10170571510627764565, 2027625550790675754, 3983470257916202094, 3423470109396435354, 3450488264035752368, 3151070045406026687, 13462781804006123550, 13288575772684627216, 13745549378090937523, 7780139165529418388], [11699769881923825909, 4349260652212695338, 8228348357294662898, 12037145371429260559, 7743383997471469184, 7842006993218978420, 18369471830829996810, 10157815501749214163, 11128005290408113568, 12272917402811871099, 106820976709770637, 6178857985076893256, 14036787039817180193, 1659458828486927362, 15938183887757779615, 10060334973073197601], [12437259172286625042, 3143835545170851304, 14361575850007152549, 11810209965918630788, 17667700303515849362, 13451932870729425780, 17496644301504593329, 1778669202480014256, 11124488067381312952, 14273583775934080755, 13257379154210125715, 15182093233826554989, 5343815959848316783, 5696193414571279556, 6089787229781325813, 3717595218375990594], [12355842859741995537, 14160921043125059199, 13682913322779819091, 12343504462597575239, 14249643564311509087, 15849758561085927402, 12186564686511703262, 690520822232718983, 684200944081655198, 6008958449718781068, 3098079696536837500, 12083506578988585239, 6489163969976034646, 1186411428667285248, 11192474480021157091, 17095617549195818058], [2949845317987848448, 11032843494036447332, 4839349920718339375, 2876855252282283573, 14513249686093622082, 4660747366352123161, 13976931527004342601, 6986146555916632759, 9232043775216894261, 6313076217507020688, 15300759590782536187, 9916126905560463333, 3979090886151449014, 4963069440984350777, 10605320391713463686, 2451586902911298718], [1495817982562189106, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [11088792564904316971, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [10021855935616978124, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7394588807640602949, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2064570831286926427, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17460052823156812927, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [5945142974829208626, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16063900701399801525, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [6123312557844835803, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7354710860259096859, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1887147781136745498, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [15392973945196577765, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7012252450495639373, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4518378539632546479, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1966066943802263223, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13951077980398781472, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [853083942940705105, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8620072550792400877, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17617940792823653468, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [5942222156219946736, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [11579178233984061209, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13786631712890251885, 16588375428074140134, 14767355165053632437, 4410900339274029743, 12546659423788430004, 2114628217230343247, 2133538739909289268, 4773205784438014703, 8265894638361252667, 5223389730290959856, 15619942046564449370, 5791281865406255970, 13985845210862515943, 12032892788021167219, 18401103207753875985, 3476764791793480456], [11649142238174500197, 8712351138970364289, 14692696050737161630, 4894674695969854213, 2908121399062178661, 6790272183398006673, 9010435624898204894, 1832701308114390292, 3652118343199330870, 8089229871466232201, 17286971688453404540, 4800206276340946007, 8115672005831708306, 3055380174500960813, 16964379100395406620, 8088842627823299006], [9946304708154620091, 15102071546045770121, 10301544459319808780, 13671123212713835095, 16303299764147105030, 18171760739689040135, 8727304300353130088, 15139868272914210324, 4557766052329107027, 9475155160371266250, 7742629784879183824, 9095972977211974416, 13458232220369596755, 13105609530042700354, 16669216811073554379, 2570887763900098793], [6612428420501784008, 8453152447539682822, 11139961051779113096, 16788480021697334394, 13519543246350118727, 1239913882469702364, 7376358710321275355, 590020934466687607, 5282297971102479724, 16056472633876071086, 18042098699416501308, 8876330831862382235, 691356767650698921, 6798676828266712040, 4195043074986594226, 3562802698084250644]]

 === M_i ===
[                   1                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0]
[                   0  6169117363602866212 14190396881228843792  4390036766016297235 14921161384845695061  6857659757249448179  4878158749151918989 15569706127541979177  8060476995255076175  9250817629488573250 13344200394813954281 16557187166153549506 15078386897226382908 15934405347947606430 13600818778215232703  1457934004203381709]
[                   0  1411867983460964458  9566846274497604333 10171071495308075933 18087101499391363345   275150086035852226  7298373690567293630  8830446795526165757 15338039078549301167 12623416682790423277 17507159722167986867 13316417293741104453  9276500689618949303  9559049591160308561 15464420609038969417   165596312666018917]
[                   0  3662330420778275574   186244845945584108 12548531241818227449  9161504419846833884  7635168912609270578  8706354027526345911  8253989485554716551  3006576863697902049  8112534237868414223  2804555476714896224  3651054273424046663 15780148554522307396  1799559437134414087 11716216341951698326 12112142129260187303]
[                   0  2906493442477768321  4500993322783370648  4725196738909323014 15660302723867927797   176720013650568630  2369951788996852736 10283754912229492863  9727695083797783428 10885911130205112997  5614251533459022154  7940661303859054421  5198146911893038039 16910205700903500274  7516221006771736961  2317493651273471078]
[                   0  1399737300947421112 13338234165945599833 13394968348163753131 17539186845288732744 14109458642681055395  8493953281685319822  9997084921909590453  6782938736055192495 11154019647656413564 11762297270385254707 14014915896944003562  6091596740373560915 15737415539768292294 14432021708590153571   460015704281037923]
[                   0 13599428608600288015  7464265710807250584 16822967377430118067 14974446009529292831  7664798911327452767 16438701653469522863  1134570468901533006 18260554608432708051  1115918935045115520 10866775797452094129 12961283439281495006  3577382907268091965  6062276679567522852  9451678542648441244   618389244971319978]
[                   0 14861161537578168254   729366330577686914  5608829855960301329  3172212923954413103 16240928729131430844  6770857485043589153  7139918432326186768 14976028246900525933 16644769403378683706 18285971912148804885  3157763630349553695  3889430421091975944 16068349987177081095  1264463751141602795  4793958715858003299]
[                   0  4513116553405759889 17669239428214995957 15620325953479245100  8790277230447615093 12779093278434160089   778569910538821286  5957669524790083875 10122510285173865553  3571688552649963837  1431863087009346911 12351103095400182390  3233337304040458269  7394700483276571667 13096465622123929054  1805671009784676401]
[                   0  5796461874775864351  1815332842773071612  3986714720621606579 17203387272585806355     5852482757859333  9086767305834078538  6894443587894804453  9202851317763931707  7503233552264867046 13826871076367167214 16301430659333921756  5855489597669925211  9816549595226954548  9309856061891959161 14625322165422258000]
[                   0 14942182762609100145  9260311021528578605   835659431987851841  4271541062730583525  6629184322791926740 10298741198797081003 15063642532455481774 10271912814089595201 18401820397265718786  8434211179440519570  4648337581877184890  5139526746376974212  7102869525937587824 13007939810968998471 16601609107288080244]
[                   0  6292423850029332297  5015498801200781748  8339338491714408562 10387738092390474759  7633627180771607570  9400283699032899064 12028061677366681817  5367156598466597064 13647078231843839815 15293922261581829992  7060278348777962513   837156002547500845 17698280337096199372   767000221882306005  2804009158766124978]
[                   0  2338650703155745417   528277441381474218 13189592227364947532 11934522068533073529  4281085709467870877  1244919792964624534  6183287678698833360  7422461552309822989  9361385463180007188 17469940248060142320 18189344813183607181  7237524333842154289  2160859277234188825 17173514829575768946 10580731816237066540]
[                   0  2769903633348655824 18103602214913441014 15182156204519960532  8807277153149970848 17473157761435025080  8456303803803650030 14295515513509845937  2201498981712994362  6355100776537928947  7557269360637454542  9494415902597132958 11790066413908303259 13259969879560310967  3862066845116814123  5112287175603172725]
[                   0 16826405852207999397  9705428737187269701 13253571916386008373  2194253341002169448  8540912668348904406  4027503582753307632 13301936105482116818  4648791094221791405  3410857923962198909 16550478328266859529  8932706744883133743  8517264984240372760 18199034605182288637 10812279688001306348  5995790420672848607]
[                   0  9018820619020343720 15611157461246854379 12075549282689339742 14389591533546966419  2911557072984222611  7720484561751172755  3197246897118315170  6168723100837079072 11486917539286016695   406881479152386897  7258131425518295174  2624778667171384897 12123054011382795686  6303029913866895086 14137419286837705540]

 === v_collection ===
[[3206467256213683786, 3920934106612079998, 4341147942098730174, 3867693824279038861, 16632881564017202626, 3526903744392426286, 16213869111997638749, 9687684937339770772, 8536475881393431651, 12238266242921770377, 11349380169891881531, 3032254423577685086, 11594147342566291916, 17688923464147771123, 15660492991312522772], [9442767476494507005, 13861333970030044443, 2477131918031480987, 13961714646099296789, 16864502747131189180, 15429499123541288678, 3972697068454818634, 5042056815743706614, 13314251098815243290, 4272596601514049798, 11718250701743321328, 4669005605626520818, 3132241159057776772, 12541542871111266958, 8893886650240123136], [16608706165953691100, 6056302847436673908, 16061310039180539369, 16903206224882132574, 24502520247898520, 16590767682679385529, 13512932255010757340, 16936411878885629893, 5917291636877510722, 15852968239891617955, 3344645351011674863, 2857425340643208, 11398222624948891039, 10227119947134326362, 7067211241434578445], [7753857838052081858, 749122312941911041, 345823110820964726, 3372232077594537849, 5699726203690016283, 6967248459746554709, 1766701507871665383, 13508189275644381654, 16564242566598380556, 3711738304869787475, 17764960052927361456, 6524073703103144981, 13149740559576471218, 2394673225365320520, 3655765791068455016], [4602937124680011918, 15904482348570787942, 8182269251923708760, 15212884195359196193, 8912791808689458975, 1455572030441264706, 2309690890807507652, 13750462012614609557, 14645836892083684957, 8726662849601605038, 10710345100194825642, 8675855529348612688, 15647840515816122808, 14073576946471414264, 12601321616407823991], [8233410540237050331, 13434830055437585073, 3715741694278329636, 7085310573796183310, 18204650062713725875, 6306720770166244486, 17192784264722424258, 3506068175584409689, 7712488737855082820, 14060227817634958361, 6269887657903101713, 4272467326235037315, 11373499326059981174, 15810318802636868629, 8316897931888324779], [3924640008077020671, 14733397468032739362, 9050421899235665652, 13814770863606053651, 7016298752379345110, 10093190713801741294, 10361071548092805650, 4309845121068117619, 1178356300138209582, 8491470355977686420, 5481854779120399256, 5240558715857722254, 12841692200182043941, 11444331480364775934, 549971459868942739], [4519529548594398868, 11435861204145599298, 14063385524422718506, 1911946786819188285, 11710374979614479362, 8638087394326040209, 17194199566436924551, 4092315280409855451, 13552551379968616293, 15378549102611371158, 13111104067196331700, 8879634023597459182, 14103910874143008268, 16568295987719489520, 15968512164098571893], [17585998059325582248, 13006989340209785941, 3887407792734797943, 17987257835169048846, 14659434847024896858, 16648698713069166410, 4297849623536886299, 3254776591974276136, 4414482361956063262, 15831442340244834161, 3528214595879607289, 16954212540261552429, 8116984352047336253, 14755681049798623987, 13047700471880949601], [1009652940053148007, 3883250064074204539, 8929947319880543078, 8317086259558065309, 8107033732168272665, 4977531335316295935, 11140765579479761403, 1671057346422467029, 12809257595907019261, 7909260431778372881, 10976788313133956163, 8379165210025718164, 13149237255351876327, 6760565712641208801, 6295408423016783991], [390555331307794640, 9104626009551079576, 11163706438531596076, 10771179103864342644, 6551886430199622987, 15420335095009224937, 5623196269307742650, 17833196161697294389, 14791016255250485296, 6232430020047657317, 12197703231199351421, 8004383777337909487, 12943045346987891766, 2008938240244737094, 6237471852947868966], [14265315848851921099, 6295785080654054424, 7529339508740405685, 13301486666912937674, 10105948583546421677, 18187443424596136714, 4608399645191014298, 14996347115319963238, 12667532464050185176, 6523698192070406489, 17944784124711933774, 15324959967307818518, 16758967665682148923, 4892394421658519349, 18371243527469365874], [17435666410423330374, 16152192177874224838, 3429987060102301197, 8845368880976293203, 13804470261178812026, 7158683274278091212, 2786550865835954646, 10532418174212396018, 15862578629119506522, 3595802723471029580, 18013543269741571726, 2940405752737740470, 16039750595786719174, 70937099764303274, 18415523826857510978], [3846882819210989373, 11709502484985139776, 13512320583025554897, 14970623991278742723, 55265930764673482, 6972940806685404566, 15515447613903852747, 16637139888949482181, 16244954288629365493, 11704179274570278004, 9129164523592103774, 4733798041821649625, 8893768842972884377, 426264098463592793, 17578615397137101123], [17231812916712270389, 16582555315059743326, 18380392375295531052, 14238022917861347232, 11028276580301516647, 6765279934785772188, 9810976113879846969, 13394287293577774947, 5258553030998026960, 4784430621736659331, 13806800449178064056, 1161817852907886781, 15430524399772044450, 5898327192353144088, 12005480608814260492], [10769321697637487648, 15329010378474229253, 67801168314859965, 411761002966177793, 503921301044312958, 14402722001785504248, 17118420976670269188, 2878982925253617257, 10489774187271473277, 4522820407954685159, 5646050334929349191, 14594301876334076373, 13221671077544952712, 1856654834942598333, 15002616151726002188], [6538215794789825795, 7236299816291466951, 4297706054242379295, 8120463995426530005, 9887110099177872790, 9698688641791184474, 4800974604847700406, 9345011130401564519, 10560682139800942394, 4706906172457447220, 11658192542902144034, 980702118103947082, 4413413034061989960, 4316803844466444212, 11406528705876894503], [4239504375926620976, 945333647029875129, 104828959794434140, 17082332971859755459, 14005132747973753616, 16736212408093089065, 15541383789553079562, 10735728112030343692, 13583507942628172097, 5002794193093249350, 1417364022140278236, 17299680308750530662, 9822689892222151632, 12614608500573793143, 13457918755266602931], [18156711059317423921, 7175284774297056562, 12757044461081244915, 4100983797260631043, 9188785655731295404, 1057174068947495782, 3569566702280711643, 11849898431990207734, 13635481313551390448, 12450681854583685035, 2687202455914893649, 11893778118685034707, 6975976319896219853, 1446604341930238850, 10319009929815321174], [428377370874565473, 11595990605445435137, 17149105761059551358, 6779064373394914410, 12905742319040332797, 4218479296345928124, 4707418094721626790, 11344695742380430341, 13981255730665298915, 13332807075493802283, 2642215255041246197, 14622968208077416955, 3937916277845312644, 9905911750446572658, 5194028918226921387], [12890404330086446595, 10100133321076077564, 2916600119938703404, 527181093603951338, 7246123111525085887, 3583126728779753437, 17295756006373016603, 10497684881035085384, 15892056109983487324, 6413187357361610258, 11778915940717176572, 16892580076218009376, 36419581771233469, 2455781560161241059, 18042801366772616663], [12880595465520905478, 622982642605967898, 12138804905556768719, 10725751781747904927, 5295502067589539205, 17518867766185494000, 7433659121272208620, 1391628185555311552, 17631230874497355389, 18436755473040726436, 730228019821505040, 1402216386695939041, 13912889963112872852, 12184765996768898608, 17847182882842257842]]

 === w_hat_collection ===
[[16701091023146341199, 11272084887680159298, 5532561546178529625, 7343769059773057882, 17084524619987967195, 796349960609727577, 16539902857014821668, 4541114362993993279, 9377325428496975547, 6144336068331256221, 4168689623194632730, 7256491602354902441, 10574232125086540596, 10403458516753939942, 16276530977975874491], [14815276767858711179, 13027220924519148215, 8179861404111579878, 9137043206819946151, 612653779662375384, 17544211687905136991, 15648850450647435882, 7059304324562203212, 111989728641967497, 9456006003192931498, 10560939088548633023, 14555177553744994486, 5730488120204050517, 13101527466034132757, 7604257289951263682], [7022565465485246652, 14919265432218392874, 5711525377527729202, 16025538528760754716, 9246013630875348267, 8504908737360995455, 457380250914264071, 2705345825826008728, 16447682739134678759, 6403626749334688029, 5582249906822194177, 2000830007442144078, 3896462088679939385, 6812343400556674930, 12028819353064126554], [12379635908806801328, 11092941803311481525, 17274580527904581391, 13693437301320565710, 16645961491797639913, 17602288175164475655, 1708293802875264195, 847750882636824342, 10874756097788323903, 7623397010752296828, 5884156269435271042, 11806311569156085885, 6511558111245111989, 5343459068564042439, 16150495902843344525], [6637839484851280746, 8559773570923771081, 12014955047598086303, 3511329742349078682, 13774912138127035798, 8455325163674750947, 17201239238321826544, 213566406744611258, 12721172350690668635, 5108704119863863189, 2969161977912819850, 10383726182922398539, 478943932083148888, 5514770879360567402, 3951457160237744135], [244656879343811407, 3113183884217988478, 18288960675548319466, 13540685805539852181, 7295451572446847214, 16238893066324863394, 7984501142580627359, 11422712032155087102, 779590417116330230, 17158101010689577723, 7969373380513615159, 4743598684561274518, 12187935740810344109, 17867487930138685040, 3605392143128314651], [3584525768827012899, 7087981091573034967, 16754813956249660131, 13053771968371938174, 4697745167224969081, 11369382069681086442, 11217185806882325684, 12327408692147755540, 10758540675751426290, 10313680557887710303, 12941832322308711270, 6213649345415002460, 11856345211067574695, 3837694412694872582, 16031937696481531143], [3255088585294365488, 14088376127544030814, 12558462785178318484, 7486439372823299031, 10018600191640054940, 14922810252795450148, 12886466493029971593, 1337463098241924776, 14539657230628326858, 14410732583740288212, 6131789840828978130, 3003687336436917444, 433278285775871777, 10325922715539391834, 7139990777604794251], [6587263918869862562, 841436339177670951, 18076745243916238836, 11992827457279941884, 3888179974776470383, 11378315242073474662, 14068714481457358136, 16220310587104433455, 16375316323808287220, 2267987004691591485, 8103568719014327345, 5275185421927113680, 2845521459735083449, 9024727064485146186, 3624544446981465334], [17897184888558052149, 1250210803823817984, 16721895875353393567, 15313873399834476740, 13785200505026432241, 7919003750726071572, 2974075977040248157, 8235265995922108103, 9900510387651597501, 17987378947797562898, 14283671824657328915, 17828409036418065351, 4850880004316697384, 13545982869567014324, 12093269367097988138], [16561015203652321130, 5567663143847295384, 6762449555512798297, 10683025895140986008, 4682568061028126838, 17477481408242361884, 14435161837247744069, 11302369976946051021, 6094594433768256491, 3165715106321173997, 7820606774107819035, 17542229030648104483, 12621438893639295158, 6049364648048434458, 16292173573184474870], [11911481889294967026, 9904900464383175855, 10616419459941067158, 11655950366003284108, 275835666377434236, 14702195525080697286, 12508043340450432353, 294900199737845010, 17845976241363410210, 12657616946895527088, 15181270422049833396, 8361687652010242535, 16657543082874804029, 7199783151878699553, 2440401537238974060], [5543821449104091520, 8002475251395756620, 11006644917231913607, 8021354401598727378, 965632174641657849, 17635390710065645227, 8157791576434053392, 9303417707785935023, 17476375354413982192, 5822942235411597897, 7793976303309849041, 509205120484820750, 10217086158551691627, 4692930309171634074, 8246887419176186690], [7652200628630786001, 7288309310866389596, 10158675308249567628, 7306461281487493405, 12959797743283562805, 16486969285585498687, 8409811071365052961, 5818745345901350645, 9299325105545148504, 6108179341942422778, 14559782340366144602, 12657640296629509685, 18249113281140925415, 3076352730910693862, 11329683519429438728], [13854593605622833957, 16715414212372080019, 596423265339056119, 3357438670079061876, 14471422755527819224, 10150603182499043473, 8385722214876974887, 5962306872899396244, 4513908049517728835, 9079970753784320811, 15763513305867385389, 11253322422050287140, 12167666340254181057, 9834528656979322538, 11760642430533985059], [6604487388914431739, 9238859463487469782, 12843742488704977371, 8053100976087316451, 18275106901279592838, 17845511128849636580, 18052799397703363113, 18079823164738809313, 11634617689664886806, 7552400436815488051, 8418879685837767989, 6817317652789844626, 16020401743243912527, 16675318238796757537, 12457269996919783763], [2715007521446587961, 3432601990464266857, 16861766828964342458, 4390233995018634648, 9315699043858785104, 14722543851135407851, 10034144358996865598, 6003635541847458793, 3254812686618643842, 12431880575913475680, 8611160019006212564, 14268404632541148196, 5493373947023718176, 7160673159670407789, 17823885250977716627], [14692496504348119042, 903290097970619237, 14330279486786836521, 17388090773865687131, 11795934978548637360, 2676661916911951644, 1801030512013438718, 6891768748047524523, 8196914836191488946, 2561672639352438413, 310647050993503940, 14410609431626908487, 9651621653702694208, 4880992926211231860, 15598329351129930119], [11028919255684131251, 5232720029180546395, 11186057052880625005, 14554659610977314461, 17691131243068591356, 11464893387796889076, 12452974355896124212, 14018982374505738712, 10059322702455214476, 15097074277599974469, 117812181456334586, 1159224174315078576, 2112954735680291808, 13951912815288484663, 10947853155434140745], [12948575354690018092, 9177525425599148870, 1435935424957601371, 3573807507856956288, 17919387069707575577, 8370625211651783268, 6504904574518842921, 7871281952247963122, 12151014664325330698, 944771844522107622, 1378285699363160384, 11450032794821413347, 1932928301384899707, 9305461051672692506, 691182420478070670], [14727915850837972711, 9891655291005956699, 12820038630154755527, 3180254491713157722, 12615224829603781721, 10936276333402508867, 13816305565568461555, 1520272846076038936, 15007803996423436193, 9826053735721341087, 3048803136900411860, 11430404216343666278, 13578805090090680650, 2082759369333626575, 6839928827015195019], [15752426273228694091, 15891711900810664549, 1733404347320285364, 14033655988580718928, 15477689196325554795, 15010715516388265356, 6045391939577345572, 12790234695151206066, 7489448122574385248, 11264460674582525074, 13314312796156660865, 9785252559732538107, 2709604659529192103, 14481153928676667497, 12941497178914898748]]

 === M_0_0 ===
6451609151232548196
