use nimue::hash::sponge::DuplexSponge;
poseidon_sponge!(255, PoseidonPermx5_255_3, x5_255_3);
poseidon_sponge!(255, PoseidonPermx5_255_5, x5_255_5);
pub type Poseidonx5_255_3 = DuplexSponge<PoseidonPermx5_255_3>;
pub type Poseidonx5_255_5 = DuplexSponge<PoseidonPermx5_255_5>;
mod x5_255_3 {
use ark_ff::MontFp;
pub type Field = ark_bls12_381::Fr;
pub const ALPHA: u64 = 5;
pub const R_F: usize = 8;
pub const R_P: usize = 57;
pub const N: usize = 3;
pub const R: usize = 2;
pub const MDS: &'static [[Field; N]] = &[
[
MontFp!("0x3d955d6c02fe4d7cb500e12f2b55eff668a7b4386bd27413766713c93f2acfcd"),
MontFp!("0x3798866f4e6058035dcf8addb2cf1771fac234bcc8fc05d6676e77e797f224bf"),
MontFp!("0x2c51456a7bf2467eac813649f3f25ea896eac27c5da020dae54a6e640278fda2"),
],
[
MontFp!("0x20088ca07bbcd7490a0218ebc0ecb31d0ea34840e2dc2d33a1a5adfecff83b43"),
MontFp!("0x1d04ba0915e7807c968ea4b1cb2d610c7f9a16b4033f02ebacbb948c86a988c3"),
MontFp!("0x5387ccd5729d7acbd09d96714d1d18bbd0eeaefb2ddee3d2ef573c9c7f953307"),
],
[
MontFp!("0x1e208f585a72558534281562cad89659b428ec61433293a8d7f0f0e38a6726ac"),
MontFp!("0x0455ebf862f0b60f69698e97d36e8aafd4d107cae2b61be1858b23a3363642e0"),
MontFp!("0x569e2c206119e89455852059f707370e2c1fc9721f6c50991cedbbf782daef54"),
],
];
pub const ARK: &'static [[Field; N]; R_F + R_P] = &[
[
MontFp!("0x6c4ffa723eaf1a7bf74905cc7dae4ca9ff4a2c3bc81d42e09540d1f250910880"),
MontFp!("0x54dd837eccf180c92c2f53a3476e45a156ab69a403b6b9fdfd8dd970fddcdd9a"),
MontFp!("0x64f56d735286c35f0e7d0a29680d49d54fb924adccf8962eeee225bf9423a85e"),
],
[
MontFp!("0x670d5b6efe620f987d967fb13d2045ee3ac8e9cbf7d30e8594e733c7497910dc"),
MontFp!("0x2ef5299e2077b2392ca874b015120d7e7530f277e06f78ee0b28f33550c68937"),
MontFp!("0x0c0981889405b59c384e7dfa49cd4236e2f45ed024488f67c73f51c7c22d8095"),
],
[
MontFp!("0x0d88548e6296171b26c61ea458288e5a0d048e2fdf5659de62cfca43f1649c82"),
MontFp!("0x3371c00f3715d44abce4140202abaaa44995f6f1df12384222f61123faa6b638"),
MontFp!("0x4ce428fec6d178d10348f4857f0006a652911085c8d86baa706f6d7975b0fe1b"),
],
[
MontFp!("0x1a3c26d755bf65326b03521c94582d91a3ae2c0d8dfb2a345847aece52070ab0"),
MontFp!("0x02dbb4709583838c35a118742bf482d257ed4dfb212014c083a6b059adda82b5"),
MontFp!("0x41f2dd64b9a0dcea721b0035259f45f2a9066690de8f13b9a48ead411d8ff5a7"),
],
[
MontFp!("0x5f154892782617b26993eea6431580c0a82c0a4dd0efdb24688726b4108c46a8"),
MontFp!("0x0db98520f9b97cbcdb557872f4b7f81567a1be374f60fc4281a6e04079e00c0c"),
MontFp!("0x71564ed66b41e872ca76aaf9b2fa0ca0695f2162705ca6a1f7ef043fd957f12d"),
],
[
MontFp!("0x69191b1fe6acbf888d0c723f754c89e8bd29cb34b1e43ab27be105ea6b38d8b8"),
MontFp!("0x04e9919eb06ff327152cfed30028c5edc667809ce1512e5963329c7040d29350"),
MontFp!("0x573bc78e3ed162e5edd38595feead65481c991b856178f6182a0c7090ff71288"),
],
[
MontFp!("0x102800af87fd92eb1dec942469e076602695a1996a4db968bb7f38ddd455db0b"),
MontFp!("0x593d1894c17e5b626f8779acc32d8f188d619c02902ef775ebe81ef1c0fb7a8f"),
MontFp!("0x66850b1b1d5d4e07b03bac49c9feadd051e374908196a806bd296957fa2fe2b7"),
],
[
MontFp!("0x46aaa1206232ceb480d6aa16cc03465d8e96a807b28c1e494a81c43e0faffc57"),
MontFp!("0x2102aab97ce5bd94ffd5db908bf28b7f8c36671191d4ee9ac1c5f2fae4780579"),
MontFp!("0x14387b24d1c0c712bbe720164c4093185fcb546a2a7d481abc94e5b8fb5178b7"),
],
[
MontFp!("0x5f2179b3a7845836cfced83e64e206f6a6cef2cf737f020b5cfd713c9550fe9f"),
MontFp!("0x1787986ab56e1b56b5443334562b0bc3657d27323b87e3a8485e68ab96d57188"),
MontFp!("0x39ef4b00deefe7e7451adda44428aa22074c496de2c9ed67dcf4861da65f543a"),
],
[
MontFp!("0x7271d384cf5c90fd0c48af190c5c765937c7468088b081a99337e6eae53bb20c"),
MontFp!("0x6669e58d04248ca86024fbc196e5f306e522423aa71f84225435328b37a1dd3d"),
MontFp!("0x0c1f1b492b27539d754cba5e46edc1f1ac1c5696da8eb19416b07420bb321c65"),
],
[
MontFp!("0x1c4d41a133b97dc467f1f184cf191f331dfc38e79e7e53516c39848c9bd44692"),
MontFp!("0x369ea8e699181b1cf88be9205ab840180c9288e67a359dc0dda4ac74cf9768e2"),
MontFp!("0x4cfa7d72afed332bf0b8a2a719123f7ebfa714b9e3100eaa533dbde6fb985043"),
],
[
MontFp!("0x4e592fcde9f3c360e54c6f34d7a8bd41889942e9fe23d9fd4a9e5b3bfbbb3e45"),
MontFp!("0x032b5885586212fb235570996d3a4c40f54ff91598a948ec2722ed865b8438a5"),
MontFp!("0x03f3178956cfd3e2e6614fb134597d3b3cff0d8a33f3523d825982990c068940"),
],
[
MontFp!("0x3126e84dfd67a22bf0ce0d9273d8ad40e6109af5bb2bd78d0ac08a16c6248f74"),
MontFp!("0x3527888062f1e2738d7b928e9af244f0a39011390c2dbbcf56d8e087f4087b6f"),
MontFp!("0x64635758efc701dbbe2eb423bf7b5bf6c3d34c6ff92494f3421182a8b187ecf7"),
],
[
MontFp!("0x4d7f71960f03db8a2a428cbf77ddc1916a5f4243dbeb2ddaef7b5b5f9d74546e"),
MontFp!("0x37832ba2da93de3643243eba3b9765d75359310617f3fc06d74ac12db57b29c5"),
MontFp!("0x4dce55879ffd9398f96c9e6556a3bb4fc93147965252cb1d6c94b3282ba3fae6"),
],
[
MontFp!("0x4ba85e4d2537972c0fd5a4727a58c3d85d98563697a34c0af845bfecd6dc4b40"),
MontFp!("0x582dc453b4cbf6b1d19734b0f337d3423b503703979689f384d0eb96ff5b02ce"),
MontFp!("0x0e6f127f479ee6113540d69b25420a2682f07b23e799566b091a1c891fa224ba"),
],
[
MontFp!("0x39c815508d2995bb8ae5035472944706e900b2fb16d5a779fdfff82306f37dbb"),
MontFp!("0x6591aba215bcf96d8aa03220372179a4c5060cfd7f95724ab300d9459f709051"),
MontFp!("0x221807cb4909d549c546a734ad2cd7f60a69e816ace98fad830452a44a343188"),
],
[
MontFp!("0x2766a1e33038004da58bce78722380b22b13b0aecb87f38659f3035e1336b53f"),
MontFp!("0x11b5e993e6a9cdc3b5d2f5336dc9bad5074b661537ff890b1babd7f53cada9e3"),
MontFp!("0x29576176f9a5a10e3d0a2c59af26b51f4c5fc86ec59c0f2492deb60ad49eddcd"),
],
[
MontFp!("0x51e72c44f9de491c747d8a6d333fb2b3e16ee7571f1340a9a5f6f72363991e98"),
MontFp!("0x2fb360d959be4aa871e071764a5e41eb264d04f0289f098723b69bab09f4d1a6"),
MontFp!("0x03f46b4c3c77957cb595ed61fe13f9e8739a5009311142b69c1e8c07ae250f47"),
],
[
MontFp!("0x4683311e382a99927e0ff672cd0543aaebfc0c33ba96ad937818cec979b57b5e"),
MontFp!("0x7117cc69bf566b1b0ba5486b0f1f9bd60f2f945e3cbf33a2ed17076f4caa0dd6"),
MontFp!("0x3bd670c3ce88ea43f254d61c2a9b56d6a4dff19ab5c4d28989d271f3dd6bee25"),
],
[
MontFp!("0x2fd2ed0ba1135575995d15061ddb487f2c5c6005feed28d8a01b9d7bee361a1b"),
MontFp!("0x6a66704e22a81e6b7ad8e2f28edd8c9c9a10abf17e053f4d89665810332600ec"),
MontFp!("0x5cbc378be1db3840b32d8d2ebfe2695f810f932a206aacece707ca693f4f933e"),
],
[
MontFp!("0x35b716410b3c9374d42e7d39eaca316b6568f0a14cb14d519967aa3ff9970aac"),
MontFp!("0x231c6db056e47a01c192db40e586ededc929b564667377a10bd1465f3852811f"),
MontFp!("0x4904d5de1f512eb14b0f856acb016c7a43079b2f702303752962f336558b0f32"),
],
[
MontFp!("0x56d6bc63f429bb7fec7bdd133581f2abc74406a57607c2ba3302481eddba4074"),
MontFp!("0x519d0daccadfbb0167fa79d1afdf36b25f28b9f74f1e65d21d28ce1022579735"),
MontFp!("0x0576cf2418d6bd88f352bb26da1066637575f85688cdb981c7787f8094e5a71a"),
],
[
MontFp!("0x16672be70221dfa20aa110bdce12e1e66ab171db4eadd9935baa0e3aa49e437a"),
MontFp!("0x1e51c73bc2aeb9e877d9c2c18f17b03ea3dfcc04adfc649780ce4bcbc43b0b69"),
MontFp!("0x1271c830507a211c8e2ebdfb372f79c8a42a9e84e4fdb0dcb35d55e4d155e169"),
],
[
MontFp!("0x67077397c2b01db4de4b78adf97e0ebceb20cb91647db49a7bc06a5ce1b25544"),
MontFp!("0x2e5454b258106b63f0ab01924767b4aecce371202abc28a260adc45f35570b9d"),
MontFp!("0x440f72769f137a8078f05063cfa4e2b73b2381b72b68e97b1c1e9cd18df36f82"),
],
[
MontFp!("0x6ae1478fc162c50032fef2ef79c93ca7ee25b16358704f434f6cddcce2fc9c40"),
MontFp!("0x0c0f3630409a2242a39ebb33c5c7cf18965b8932621aab4ca2c315d4441b6987"),
MontFp!("0x0d1bd84a786a990adf88b51f253bd9032cb50ce4682bafe103893af36d5e75dc"),
],
[
MontFp!("0x30ce425059810dd94aae2f255666b0fe8bc52ff701c385c43a998926539dd401"),
MontFp!("0x395a1e753153b56d1a9ec2ca73099425e446dfa668dc73da2ea311abe5e3d96d"),
MontFp!("0x57f09d89e827d00392fdc0c3d21b1a5bae2d689894ced82f58e256a03d20ef91"),
],
[
MontFp!("0x1065b71b135e4feb8b3cba3c252daa084cb5624b0ba76f48f6a03854bfdbcacc"),
MontFp!("0x3d5f53bd162f053f045547952a06bc83bc413e17957977e359d9bd4c8883203d"),
MontFp!("0x05f467a5081bd3479d6b49f697b0a75d264b42b95b2bed475cd58ffd05322d85"),
],
[
MontFp!("0x6f5ad8e3ed272494c36a5a52a7d034e04b633460c16a512d0d8002f8fa0e3484"),
MontFp!("0x23c293275e282bf15cdbffae1f00a2712e76aa6d62820542159e9d6f115df3b8"),
MontFp!("0x3757e7009ca9bec8bba29308b9922354eeeff3beb4113174bf8cde584722d31b"),
],
[
MontFp!("0x406f25e72d0264ed50473ec95a7ec53ebe114898f84deb06e53715ae24725342"),
MontFp!("0x046dcfa2d6d655c7c551f7440772b056e7d3f2c65ac52e4496c4fc753130ad45"),
MontFp!("0x49c2e954d649ee1c4e72ce8c1833c33796ab29dbb0486fe53b04687b2063259f"),
],
[
MontFp!("0x2caa8aae247ef83e63dbe8e5efc89d7d28ffd8bf7a5331e245af8aebc872a759"),
MontFp!("0x5efa9f8f32d9ec1d3a3d8cea806e068909b3d3562fdc3f91f2d899f8109bc717"),
MontFp!("0x0df424bdf3b0c60395cd7380029a633692b933250b79371e09122c8c39aa1301"),
],
[
MontFp!("0x2d012e3e811cf4b88aed6f38d5cc8c3456dbae1741f501574321906efb474930"),
MontFp!("0x709c043fc648c48a5bfb5ea25d5f0557d03aadff9d6ec1afaf2032f3aadb9dba"),
MontFp!("0x1bb9b23d6805ed1179a1dad95740513dcea114185a8ed34e17dc8077dc830916"),
],
[
MontFp!("0x0fab922a838c55af1e2349b1e50b56d0690c200d0f2318aad4b7bd8a38a47f61"),
MontFp!("0x4d58799d4501ee8e89c73db7a4ff48d9f5e80fd5984afc67f3054f59d3dc74d1"),
MontFp!("0x4f130b733cb78f3940da337d187934e48765956ad2ca7b75b7bf8e293b46a758"),
],
[
MontFp!("0x03e7812afd6c480faef03c3beadfb882923a743a4e60e58a259e7ed4598cca97"),
MontFp!("0x739ea276a5ef7008fffc02a3c853f4d56eaeee7df395cbee8bbe6b502b81ca1a"),
MontFp!("0x0ae97e00a91a4e761815fde0e9506629373ef7ce765ecb1bc7ba0ca2decd7d01"),
],
[
MontFp!("0x6d6c41e1315436781a774555668cc3d41c99c78dc107f443ba0ae60cdb287c16"),
MontFp!("0x18d683776871c1918c2b5c632cb1854dff865c4b1b8bd66e46d2fa2a8d515c34"),
MontFp!("0x3597acab641c21dc5475eb8b04b0e2ae91700acad1b543e8c7e69d574eb5a15a"),
],
[
MontFp!("0x63df64938297594b4e8bf2ddd6bcaee6f2b9703e5814ddeca44d341b9e7d24a2"),
MontFp!("0x009ab455f6b4c7755da22615073e9839cd12a88d1f9b583d7ad61bde4009b873"),
MontFp!("0x09e21d43c56b0abfc26d0fb7a3ebfd3a7743bbeea99ac2b8f61cc23d1c673a12"),
],
[
MontFp!("0x4db404b9eae6a9f39417be43c93a9f6d136a0784b73789d590ada0a60df0d16c"),
MontFp!("0x0c6f0ecaf32a3d60aaebeaf3f8ccb00a10ee19def3836b78fc905bfeaf2b80a9"),
MontFp!("0x3518d688407ca0e548165b9796a4279d038720408a3c822dc44ce8974ea8ad8d"),
],
[
MontFp!("0x27ba9d4584a23881e23aa0340dc266b32b56455c30e6da78b37741de7ac5b185"),
MontFp!("0x63d33e44fda7868d50858e482fbff7c29143d60fe00817cf32e0efab4c3ad6eb"),
MontFp!("0x561a72b93fecdbd83d67a5022d9a221cf21b22cff2d79c114bf01c71f2641ae9"),
],
[
MontFp!("0x48a1625a9ee1102971aa28bc07a5ba88ac6424801502ff4fcb6994824c2e5e36"),
MontFp!("0x46a003c184ecf0e00fa8ef7dbb356366be4d63a3847634b46a18ecd47667d1bc"),
MontFp!("0x37d6efb2876f3cba63a60821e50853d0997947b96f633607bb36ded243ded838"),
],
[
MontFp!("0x14f96acdb291ed2bf98a5bed063f6911598bdff1f6c0219bbefa447ab1918163"),
MontFp!("0x573d156263dc8edf24efced0c465587cbdd1a2c792cbadd58abf95e037d3c668"),
MontFp!("0x46839e7d70370149b35b3a07d8406acbaff07615747d2101bbad18abb9891f95"),
],
[
MontFp!("0x3b74a3420d1b988408fe8d8fcb51a81f16f8d17d082da9ba61fbc8031d8ff59b"),
MontFp!("0x059f3301178a22026798b07a8578611d7c56c16bfbbe6a058f4e44016aaa172d"),
MontFp!("0x467d9ff3508feb318b07acf9184537462e987c58b7ef486873e1de428eaa3f32"),
],
[
MontFp!("0x716cac6b0fc8f63d406d38d6b82c8ed4e5665e449f07b572b83f43c9f9ba2004"),
MontFp!("0x7121fa9ca506687b3c49dc2060731c85ae48596be138148d8ea365333b8f03a6"),
MontFp!("0x10000c75e6e03366bba4f59c68f312becb7ae0c30d4aa141940a7531105ef7e0"),
],
[
MontFp!("0x375487214c07542fa5b6a5736344466a06c2cb4c1838c9966925cd8c5888c3ca"),
MontFp!("0x2361aaf969f732be06b159772a097f3518ed9485449edcfd367e289f0964c486"),
MontFp!("0x2ddba8679308f327c27023a893c0458d1e73dcd64a39b22b130fd9e4f283f906"),
],
[
MontFp!("0x6303e21755b1de4d65495bae9685e05162245106f53d7407ec0883e39695b15c"),
MontFp!("0x5aa3dddf8da369722b2e1c8f2aacf0625d08264f8a0ed320df110ab42f5b0c1f"),
MontFp!("0x3525eb41c2db9cf9cd08652d815d7c91f3294defeee702efedb5f777284cd1fd"),
],
[
MontFp!("0x0079ae4df49f78b97cb0e3c3f4b225538d4a0c4827e333d27a29398c17c26c9e"),
MontFp!("0x533c8c1b05e2dd7e7e19ea4b027cc8bd559c2e2a622207b0c13bc7afdd7bc3b7"),
MontFp!("0x4989a01e4fe4b1bd544e5cd4288895068897cba899ddb01779f6e2b08024d3ab"),
],
[
MontFp!("0x1c7f5858eabb1e2b8c3104808dc68ae3de05381fc74704a2afbd2fcc42cdd3c8"),
MontFp!("0x55faf16bbea2ee0f35413b9808c135fb1e4729c90b4cce4c345238c6dc557639"),
MontFp!("0x156a82f8e5aea455d9c8c436f89c6f9ecbce0ecaafdd13b93f255e075c72ebd0"),
],
[
MontFp!("0x37c7047032df0027d7bc128e9a107582f25ba0b7387230a05864aee420724703"),
MontFp!("0x40ab847795176c24af06d5000ceedb82d87492cbde5c1c262a83a9b6b6f4b264"),
MontFp!("0x5a73bece689545bd2de9ef263d5036152f36e2250c76711e8bc9ed9bda7af685"),
],
[
MontFp!("0x1c4a903be5dff4440b4f38e56f988cddacc57371aeebb06cb64ab5d21d9562f5"),
MontFp!("0x5bba81a692e87b51c7c176730fd05cfd100b0bd86d69b4b4f367277a2302b2f8"),
MontFp!("0x2f875bdd6669a8ff920c3d7bedd74c101541d4b184b7e1bc0b90ddb26902319d"),
],
[
MontFp!("0x5e89035bbe943f9e6024db13c58bbc748d3f1654050c7ffe084b763efceff3bd"),
MontFp!("0x728cff754d7a76a7f8b00656412ad8874e7bab9827706ca6d6d13c72a0c6812e"),
MontFp!("0x6dcfa6338bfe3569524a968abc95c706801fcc695ee3f5854a79e4689625481c"),
],
[
MontFp!("0x24ce56469aeaa4243053bb62c07100002b8f74c4ac74c350beff0c0be47e5a51"),
MontFp!("0x6a72f954f591825caa43c3ba7ccfea7aa1a00de5a681e52de6148252062f8363"),
MontFp!("0x59922ae3f06524d2028e9aa00a136613d4306fd5f4247ad0a6a587be0fb0081c"),
],
[
MontFp!("0x50d8b98688f4980b1a0c2b5313f8ac9660b1e9199b5f59ed3709e0f1d9185552"),
MontFp!("0x3184262ef10e9b0ab57cfc898fb68342cb86ed6e25e536fa94caa605b4a3caf1"),
MontFp!("0x69980a1f4b883cac1039fc47dba993503d4ae5ad40ed112a5a5070090006f73e"),
],
[
MontFp!("0x1d5a91b930b89934745ba00bd9094b67f95e41e3778fe0420880e80bbf8078e1"),
MontFp!("0x0ddebce4b6ca45d69b2f70c8b54e425615c1aadadccda74e0882eb79c445778f"),
MontFp!("0x68c8362e93a371d7c9551edf3e3f3b14c54c729c1fab0fa6eebae7da09855826"),
],
[
MontFp!("0x3dcc6a17e074d0350ffc0e5426e1bb6894e6c958f96f3d7d9c4240b948cde438"),
MontFp!("0x03b8aba0ee959a4e51cb5cfc458b0f4ad3a9b59797394c3d3c9eb57adeca2308"),
MontFp!("0x0f24cc57f3b2fbf25375c71d71bbb97b2d193fc1a203ccc514c074d461001ec4"),
],
[
MontFp!("0x71e9bfa7f66afbafbf139a70baedfb1b202a2e51e6b6c420e28dd342a5eb0cd6"),
MontFp!("0x3ac9c11890e96a2dcda6405a6c52a47e803d6674e65117f1a8adf701d68cd02a"),
MontFp!("0x45c00146e1b89ad5ccb8a02202482023751b88997d8fba1af5c0e7a68dadb63c"),
],
[
MontFp!("0x1f98bdb8dc318e3e2e28cc3d8b85e334f74b57e15b02e1637ae035b04bda3b5c"),
MontFp!("0x2ec077dbbc7bf2affe7ddd8b8a7f900f3019cddc8ce55cf9782004f65f51257b"),
MontFp!("0x32c377fc988f600a2c2ef5d5376e2e31faf1c2d1a618db011fbfec1ff337568d"),
],
[
MontFp!("0x0a820d131da844383bdfc1a053d8aceec7f2eb345ab6c21d38e829db8d05861e"),
MontFp!("0x5bd95df8a933f7b7e263e013f45a92c0e786dba563e210b77d5a40f961092e60"),
MontFp!("0x264cf7b75095fb96b420fb3f31c064299e78e796e8b3735bd0a186cd3817708d"),
],
[
MontFp!("0x27d3e47b2f11ada6a9a5d329e00a128c9836be92ee92429ab891e71d11dc29f2"),
MontFp!("0x64354b412c8cfa1319e4afd891e619a8fbbde04d85bef4ad0548689295d2bce2"),
MontFp!("0x0db0f967487ee52e0836fb7135bce37fbd32887e911de52d0b855a5afac1f770"),
],
[
MontFp!("0x1c9a155911b36c896475995417197faad870737a9ce5d9d3a5000f5396978e9d"),
MontFp!("0x65ae557151ae9ec7f870fa2804bfb88e669dc0f8865b140f964f1f93180ac531"),
MontFp!("0x52c6f6242517362c066020764fef4a5574749106a6dad534d136e7fe885fcb40"),
],
[
MontFp!("0x6e44c5bcd5dc6591e2f84290a313b71a04da8da398dd10135d22bb23df41e883"),
MontFp!("0x2146d3e371040feba8595049a285944bd45a458dccb059c785c2adf032c8b710"),
MontFp!("0x16db9ceb3074a795499a37c20ffc9eaca9b07a5a25824aa6adcdb19fabdff0b9"),
],
[
MontFp!("0x5903725fd86fec14c9cf2a273017eb01d3a1785039397060650c4e228a6e6571"),
MontFp!("0x54c75952f908e3f99e05718bd1f59bb6c414bc2aebacd81c47189885cbbc566a"),
MontFp!("0x0dba4abc7f188e33e7f309317b7b9f5c22870ca90bcee7b576dd0b52619a39f6"),
],
[
MontFp!("0x3950231611808399ad3ba5b78cad4c6bed6f364b9346541dfffa4d16366d257e"),
MontFp!("0x1a6d8230bb9e8d1af552b9bab8babfe505931dd87e200fc7b3c57160a5bc4ae2"),
MontFp!("0x6b3dd35220ecd616eea4309ac9a8118e9dc65a3f7c1ef52dde7a3d33578c43a0"),
],
[
MontFp!("0x6da00240c3505b214c8d8ce3f48914247adb9f0ecf239d7baeada5183d31ba54"),
MontFp!("0x37c3720b132d3a719424e29c37acb7dfbd709ec9497a3162175424bf063c6e18"),
MontFp!("0x500f85a3d06a0b5a05c5e93ae70084802fd499c7e6ed1ee6e26b4bf8fd6838fb"),
],
[
MontFp!("0x2b37f70d73366d32d575186d0787fc8ce539b73f83c6e7eaab27be85f4faaaf4"),
MontFp!("0x1d8efd6e52d4f936415e5c4814f3366804e2386857a4befa2a53aab21ddb68de"),
MontFp!("0x33303b8a8f2d811be65a977907d17d133f3a64c59fe2a9c5c2d4517e3eb390e3"),
],
[
MontFp!("0x2c1ba860f51e0c2eaf4a9a6bf095c65fab3ee15c145f404fbb0272b5ca14a449"),
MontFp!("0x0b0849c7a3adea03a89d101081c9c9f4f66ef917d09c7957584db9a75aec2378"),
MontFp!("0x41e7e30c77579da7809c3e757821c869b53f103fcb752ac82f8a734d4abdc792"),
],
[
MontFp!("0x182e66be60686c8c5e6518430845f98924fe8d7d43e628bf75ff52a716371b9c"),
MontFp!("0x373b2508c2fca1a288fa4f54a6edf02f2661e664dcf4ff2a74f3d06b1a00ddc4"),
MontFp!("0x1735b442b3acaad0bbe630f308e03f1aa6f56bdb029e50c1393533cee1a45c30"),
],
[
MontFp!("0x22abe8ea470a0372911bcef1367e10aa220491d76caeaa5959feb5d75f4a1f9f"),
MontFp!("0x5caab387eb997f774f64151ed21abfa5364a83c6f065d92bd9c92f2719b8e80b"),
MontFp!("0x57b33094aeff828377897b56e1c432978d07c668ef25a36bc5e2e835aaeff725"),
],
];
}
mod x5_255_5 {
use ark_ff::MontFp;
pub type Field = ark_bls12_381::Fr;
pub const ALPHA: u64 = 5;
pub const R_F: usize = 8;
pub const R_P: usize = 60;
pub const N: usize = 5;
pub const R: usize = 4;
pub const MDS: &'static [[Field; N]] = &[
[
MontFp!("0x354423b163d1078b0dd645be56316e34a9b98e52dcf9f469be44b108be46c107"),
MontFp!("0x44778737e8bc1154aca1cd92054a1e5b83808403705f7d54da88bbd1920e1053"),
MontFp!("0x5872eefb5ab6b2946556524168a2aebb69afd513a2fff91e50167b1f6e4055e0"),
MontFp!("0x43dff85b25129835819bc8c95819f1a34136f6114e900cd3656e1b9e0e13f86a"),
MontFp!("0x07803d2ffe72940596803f244ac090a9cf2d3616546520bc360c7eed0b81cbf8"),
],
[
MontFp!("0x45d6bc4b818e2b9a53e0e2c0a08f70c34167fd8128e05ac800651ddfee0932d1"),
MontFp!("0x08317abbb9e5046b22dfb79e64c8184855107c1d95dddd2b63ca10dddea9ff1a"),
MontFp!("0x1bb80eba77c5dcffafb55ccba4ae39ac8f94a054f2a0ee3006b362f709d5e470"),
MontFp!("0x038e75bdcf8be7fd3a1e844c4de7333531bbd5a8d2c3779627df88e7480e7c5c"),
MontFp!("0x2dd797a699e620ea6b31b91ba3fad4a82f40cffb3e8a30c0b7a546ff69a9002b"),
],
[
MontFp!("0x4b906f9ee339b196e958e3541b555b4b53e540a113b2f1cabba627be16eb5608"),
MontFp!("0x605f0c707b82ef287f46431f9241fe4acf0b7ddb151803cbcf1e7bbd27c3e974"),
MontFp!("0x100c514bf38f6ff10df1c83bb428397789cfff7bb0b1280f52343861e8c8737e"),
MontFp!("0x2d40ce8af8a252f5611701c3d6b1e517161d0549ef27f443570c81fcdfe3706b"),
MontFp!("0x3e6418bdf0313f59afc5f40b4450e56881110ea9a0532e8092efb06a12a8b0f1"),
],
[
MontFp!("0x71788bf7f6c0cebae5627c5629d012d5fba52428d1f25cdaa0a7434e70e014d0"),
MontFp!("0x55cc73296f7e7d26d10b9339721d7983ca06145675255025ab00b34342557db7"),
MontFp!("0x0f043b29be2def73a6c6ec92168ea4b47bc9f434a5e6b5d48677670a7ca4d285"),
MontFp!("0x62ccc9cdfed859a610f103d74ea04dec0f6874a9b36f3b4e9b47fd73368d45b4"),
MontFp!("0x55fb349dd6200b34eaba53a67e74f47d08e473da139dc47e44df50a26423d2d1"),
],
[
MontFp!("0x45bfbe5ed2f4a01c13b15f20bba00ff577b1154a81b3f318a6aff86369a66735"),
MontFp!("0x6a008906685587af05dce9ad2c65ea1d42b1ec32609597bd00c01f58443329ef"),
MontFp!("0x004feebd0dbdb9b71176a1d43c9eb495e16419382cdf7864e4bce7b37440cd58"),
MontFp!("0x09f080180ce23a5aef3a07e60b28ffeb2cf1771aefbc565c2a3059b39ed82f43"),
MontFp!("0x2f7126ddc54648ab6d02493dbe9907f29f4ef3967ad8cd609f0d9467e1694607"),
],
];
pub const ARK: &'static [[Field; N]; R_F + R_P] = &[
[
MontFp!("0x5ee52b2f39e240a4006e97a15a7609dce42fa9aa510d11586a56db98fa925158"),
MontFp!("0x3e92829ce321755f769c6fd0d51e98262d7747ad553b028dbbe98b5274b9c8e1"),
MontFp!("0x7067b2b9b65af0519cef530217d4563543852399c2af1557fcd9eb325b5365e4"),
MontFp!("0x725e66aa00e406f247f00002487d092328c526f2f5a3c456004a71cea83845d5"),
MontFp!("0x72bf92303a9d433709d29979a296d98f147e8e7b8ed0cb452bd9f9508f6e4711"),
],
[
MontFp!("0x3d7e5deccc6eb706c315ff02070232127dbe99bc6a4d1b23e967d35205b87694"),
MontFp!("0x13558f81fbc15c2793cc349a059d752c712783727e1443c74098cd66fa12b78b"),
MontFp!("0x686f2c6d24dfb9cddbbf717708ca6e04a70f0e077766a39d5bc5de5155e6fcb2"),
MontFp!("0x582bc59317a001ed75ffe1c225901d67d8d3764a70eb254f810afc895cbf231b"),
MontFp!("0x076df166a42eae40f6df9e5908a54f69a77f4c507ea6dd07d671682cbc1a9534"),
],
[
MontFp!("0x531f360b9640e565d580688ee5d09e2635997037e87129303bf8297459ab2492"),
MontFp!("0x30be41b5a9d8af19a5f922794008a263a121837bcbe113d59621ea30beefd075"),
MontFp!("0x39f57e4c8a1178d875210f820977f7fcd33812d444f88e471040676e3e591306"),
MontFp!("0x3514084b13bc0be636482204d9cddb072ee674c5cb1238890ee6206a3e7bf035"),
MontFp!("0x6372b6bc660daf6b04361caff785b46bbe59eb6a34ab93e23d6364e655dc3a36"),
],
[
MontFp!("0x422af985e648814bec5af62c142828e002d4b014b702760106b0b90c50d11de5"),
MontFp!("0x3296e51f12e0f5c49747c1beb050ff320e2eb7422807eb0c157a372dba2ea013"),
MontFp!("0x3b76246abaf33b03dd5b589b80a7fac0ae7f1ad8a9623bb7cf7432c90e27358d"),
MontFp!("0x0b40e7e02f5cb836c883c7cef72ec48e87c1808f7d829e2ee0bec0ee709f7409"),
MontFp!("0x2ee81b5c29c93b8a6e8871c01d0380a698e547475359b4a4befc22ed2232690f"),
],
[
MontFp!("0x341ff90fc4a8afee9b74c464955ba9b357252e915b8d39ea7c1318eda718f54d"),
MontFp!("0x55eddabde058f3b5e9dae90873ec9bd7b05927da36925e7dfb7bc290c1da125e"),
MontFp!("0x6b34ad8cec56aae4595c403377cd2aa990a2f09b931f832781221965bb081b1c"),
MontFp!("0x707de76df294fb845309d2160e1bdffebefd57a80c8658899e2c95e77254c752"),
MontFp!("0x05e9b152bfd4946b9c109f930eb01892f314597507d28c735a266f4277bb2a32"),
],
[
MontFp!("0x1589a5cbcee13b696b6f0a1dbbabc08394ab00ed5a6ae6435020e9e3e2fc909a"),
MontFp!("0x7116a5d027fe73fbc45bfc60fd875c3116fe3a567e830d1d2d38655223dbd7ec"),
MontFp!("0x05382ee6ad97381eb3137f5a90ea13298dac6bc7c2204906044fafc01bfe6ae4"),
MontFp!("0x0900bcfe5e7c1b7d0aa80c714b7b2a0c1df7473362138a9dc5c552d11c1d0015"),
MontFp!("0x0513deb89d2e48fc729440dc08d0256a79cda84d511a04e0d92cce3c7e55a7c2"),
],
[
MontFp!("0x6bbb5f1736d499fe3fda42ad40a2b124952ac35fe970ebde38c65cc20ad2afc8"),
MontFp!("0x5782ac68a8da0ba09f4d17e7e4b46caa4411a27e60be92168ce75bed95453e05"),
MontFp!("0x2d83f3324639c5d83a1ffcf6ac693eef98d8ea4877d547c62b304b0a9f4a0c28"),
MontFp!("0x16d3a13700ec503e29ca4d0c6342864595134408b6668bbf1766bb48d7f96cba"),
MontFp!("0x318050e971e075931253b00430d35f89f40a88fc73d62150882a8e87149d7244"),
],
[
MontFp!("0x7180760dd839d8bffbf9b1e26826cb4f6de65fa868a8143e1dc8c2b6ac6d1ac2"),
MontFp!("0x5cf2aa95907e59c4725cc17c8cf492f9a7eeef2de337ac227a983c444ae0e80e"),
MontFp!("0x2b8345763484d7ec02d6ee267b7c737ca9de41e2186416bf91c65eb0cd11c0a4"),
MontFp!("0x055aa90aa60ef9b7f3c29c7500c64e6b85929220a6418dfad37ead3928059117"),
MontFp!("0x541d5e4be0967bf49a595c1d8290b750305a334f3347c01b57f8ba313170e1ca"),
],
[
MontFp!("0x05c0a1f16f97f582caaf4338f018f869e8dd0fa32f007bad1a1a4780053d5817"),
MontFp!("0x01519e13858591aa93b9c1d7f849276ac1d2011b7fd19a475371c7968d9f52cd"),
MontFp!("0x69c30d5a27f4dffa19c956c348287a704676d999f23044036b9e687a45a1a113"),
MontFp!("0x58c93b899aa53e06e82b6346e36338841ba7279d2b7a0ecd3aa20f292852936f"),
MontFp!("0x06b8a12870a15479d41018fed6f1a29102ae23e13d0fbccec93ace48bdb9dc93"),
],
[
MontFp!("0x33eda3c347379e61c2297aa1026682d22f95dc3c7e46e68ab3adb4b0939d76e2"),
MontFp!("0x187728045111275b93a1218a148ada85a1f6e2059c443ac7d61fe81e3130b89b"),
MontFp!("0x397ec485c5a8b0c8a03ff543e9a9e5a4dc0dd4849fe955bb77b452e2e22c4f17"),
MontFp!("0x2f33f8de90f81248455d5a6592667092992be0468372addbaff664caa84cd2d5"),
MontFp!("0x061a1a458994ddf9f38c5edfbd737d3ceb05deaee685058b14943e7e9246ebca"),
],
[
MontFp!("0x4b73ab5b9d35f47307b731e3cf1a1a22e7068e2744f2af0ef6bd78bf8aae4845"),
MontFp!("0x5578b7ad5f8d4f3b8e618af7d8d5ec8bf837d2d9486527fe2f9bf7464f8516ad"),
MontFp!("0x50b4f055d860f89e12883209f847a4b1a2395fb419eb53c182dbb555c962255c"),
MontFp!("0x0b2da770936d6c778be289557ddd2ca024b93fa38c5d4541344e883a69611813"),
MontFp!("0x47d8441e1ae7cb8ffc52a18c67afff3cf7543cad51605b2d4e2513f1e1868b68"),
],
[
MontFp!("0x619da3bf44b42acd949ed572c9f3c195ed20b0b91bcd9e95ee3750d26f3b0ebd"),
MontFp!("0x6c9e249e89b2b4cf9cd7772950e0cc9d06688d4f051095eafd116371ede49ab7"),
MontFp!("0x210bd3217a141c55877d4528a4e80d5d81d78de7addce85994082281a6250d4b"),
MontFp!("0x4e1d8e4079c14c83847af6394d7dc23f33ebf71593379583ec574bf5c86ea9a6"),
MontFp!("0x699187330fc1d606e8b31b677651a2c7d1c87d4d001018031792cad0ad3f2826"),
],
[
MontFp!("0x2946bfc0f45c1f1a0dc4c343a85259f6a6237f064481fe66eda76f01998a01ea"),
MontFp!("0x5543e07588375c6d800e5e42d1bfd8b7a92a2a35d65b234ded85f879f82a3d66"),
MontFp!("0x660e9d0f2f866e8d12b40dd9d9c03cc8b9ca78600bd649f0fffb2c388dcc8b43"),
MontFp!("0x38f06c48d4dc53cb1b69619244cc2a610fdc4229ea316980dffe9131a72b4209"),
MontFp!("0x5c9a73a16521ddf463f9de314dd5f7255bc66add48297615b761f34e4636762d"),
],
[
MontFp!("0x310931f0204c9936fe659e9ebbda832c930172130b3f5476c6c6ee5e7fef3e45"),
MontFp!("0x72eb1d833664d8989998af11441ac49654c12210b3465e5ac67a99679634a3af"),
MontFp!("0x6981346585a2a466a9255841f710e1d083bdcc21c0aa6721745e158218767a94"),
MontFp!("0x0370a259836b3766d563ed3cdcf55ace52655111a1017d8c76eaf8f97e81d858"),
MontFp!("0x4f63c45a324b8b974c22a20a6c670eb62d47ef900541b63f1d362b8bbe4ec418"),
],
[
MontFp!("0x6a4c7347121c2d4745ecffaad22281cc4d58ea74453b7d2b625b890190fdc7ad"),
MontFp!("0x36d8869bb69a51ee99622af09d6878c5b715084b25f6e4560a7498557fe87fb5"),
MontFp!("0x18faa7f51e1b7a442f9123806872094c0de8a46a6d8402f31f0cde3fcb878394"),
MontFp!("0x3610d022aacbe58593e0d6aa7eefdca767f5ddfe7fa1fb9fb4f80225d82b617b"),
MontFp!("0x3b5f13d6a8bbff31569bc6860087b2a4b361146a04ad5fc7396a3d0c59f68c1c"),
],
[
MontFp!("0x40e919335051c6aaaee033745c41b6fa36739a097d94ce6eb075ec03da2a978b"),
MontFp!("0x2f54586ab9b7886340f8ed5254f29128a85e2fb1e3725bf3c9cd8bddadc947f1"),
MontFp!("0x00606231b689a040363e5afc050f9fc9296d6c620a885eeaffe91be387cbe96c"),
MontFp!("0x4b55696db6b0fa327527a76e6ab6b688561c879e53d858e4c90a1122210130e1"),
MontFp!("0x569c39bd78356991953aef4b1a01fdf71710bb05eea1f447c3e5efe13bd62894"),
],
[
MontFp!("0x537f73fcaa256497a2582e45105f1dc10f39c7fce9b88cab5523af3f5f82dcd9"),
MontFp!("0x2d58d32120c25995cd0754ab9fdf9ad67d67623cfd1fcbf489f51fa6e6eee4a2"),
MontFp!("0x37cb0f655951fca18a4ccdddd4d8466f8839ba8e320a104cb47a59cd387d322f"),
MontFp!("0x4e29d154430c9bced788d2eed8f3e01b5da24c1d3710e490bc40ee6d5903213c"),
MontFp!("0x47597b7a9018192ef22d6dd24555af1c0c51d8a90b54d8a0bdc2df7967d7a28b"),
],
[
MontFp!("0x4e01b43205fca0b4a32582abe600f3a326035fe7e028cb0569bac43c997b98ce"),
MontFp!("0x0172ffdfba7e43ca807d5b5de7727b4e41706c1f2858c1e8a46c27ed3eae5ff2"),
MontFp!("0x2216dd907ab98c0d1e720a46ef83334a236d2c134ccf35ef8e889421e70ebe03"),
MontFp!("0x168709f668b635f03607a39390a0de71306d6430ce2babf7292d789d25c0f8d5"),
MontFp!("0x0ff6a3823440877dfd355dea80595e21115d0dfe3472cec4ad1437572cc6151d"),
],
[
MontFp!("0x44e37699b3c72f50ec1a754c72e6fa3f5a074181dd63d189ba36447d34e536ff"),
MontFp!("0x267298d2e46227f7f7f422e3059f18d83a8795731b13f6568ce54730cd3fe9ae"),
MontFp!("0x1ecbe7a60848077203373441a5b09b44693a155fe226442259e37ac47209235a"),
MontFp!("0x31cb23e6b5d7393577d5f5c3368c5bdd5b434ee6319f07e502031cc393d4eccb"),
MontFp!("0x5d4c550c4a6eccd74b74d6279b3d9bc755084588156a1bef673657dc2116ecfc"),
],
[
MontFp!("0x226056b5dec9afd19190ac48740c3b5ab1bb429b19f56894a3dec3f104d238c0"),
MontFp!("0x09077c021183dd37ad10451ded70d7ae6ec4819ae76ce23fb2a0be63e69907d9"),
MontFp!("0x53545c868ba0fbf0ed1ed7a24ec11b2ecfba5b37fd5cee80774e1ecdea991ed4"),
MontFp!("0x69521c33d148e678ca10b33103812cd27597c4a6cddbe83f4970d4b96e03304d"),
MontFp!("0x01d5779be7477b96aac6532ef919e61c624072be54587e0698999dd5f460e446"),
],
[
MontFp!("0x57875a44441d2f191ac7d8de42691ab55fd3401bbaf04b786ef0603b3edf2927"),
MontFp!("0x1d5c957da0832d5b94e76f7abdb190972774b594ed232810bfcafe5441839d37"),
MontFp!("0x1b678335a80fd045fc7ce1897aa129f67bd55ca9ca801bd88eb7cc868538bd7a"),
MontFp!("0x31e69d706a5c1e011c1cb1809e5bf1857c90f9f50b9e1ae5ad36e4d3dcdbb7ed"),
MontFp!("0x485df8462ed7a18de34aa6e99ecc9bbf2db075a096b56bc2943b76a99c4bb1a0"),
],
[
MontFp!("0x1e46fdcbb3705f663a350e78f99024912d80c95779195807aae82cbb494ce9e4"),
MontFp!("0x441d0fa0e9cb86c3a2a1f87151681c603c3e028f1a0670be2149eed4f0a24f08"),
MontFp!("0x02a3caff274f40942062340ec1fae17c1b1e97c2f0fc7e847c90e9317fea2c0c"),
MontFp!("0x4caf281080c0b2f2f638bf0f4859442f4c9da94e9994dada34c5c914130c1a9e"),
MontFp!("0x444470c6c49b5b9a38181c3af20bcfea572450946135baea85cfd6b692fa6464"),
],
[
MontFp!("0x6d5e07a13376fc883bea2dcdbad7f80b7780f231cdd33f5b98618f42cc49ec2f"),
MontFp!("0x1b9470418a07d8c88c767d1e63e8d5cc7f810cc530db1340181ecbbb212e0f70"),
MontFp!("0x4134c8666c685b712f4aec72077c540ef4a041dcaa123caabd57b83fc6266f14"),
MontFp!("0x3d5d0489e27362db9bf0cc7217477d81d2a73e1a44edc43e32d43bb544287c9d"),
MontFp!("0x71d7d4a91945e796f538f03b9324497489009ec1a0a403de062ed5bb4d7c2400"),
],
[
MontFp!("0x646c3d732a94f722384ac266b41e06cf21bf24fb9426c9556d8ac9514f0875f7"),
MontFp!("0x4f860c9e5d9bb73057d93c207902d9e60fd6a7c779fde1ebf16b853dba1ea9ad"),
MontFp!("0x05801566eb9e119e2f9ace565c9488cd999d66a5753eb4b9887363137baa09ab"),
MontFp!("0x0263bdb8654cf1245ae4589370dfd5eeb109a50944eef54308566055b887ee01"),
MontFp!("0x4cc39561e65eb05cb8c83f9854750a9114a996eb23e6a0bb07d2d61f0baf0a62"),
],
[
MontFp!("0x36b544778b2fdb94f808ad8d077b7f0b44f3bba515ecdf026919e2fed09a106d"),
MontFp!("0x3fb1f7aec47cbe990151d4bf703c38349b95f409abdf0504e67c1a55ef82294c"),
MontFp!("0x637e7eb19cf539aada7e48bc6b72e5ccb0e3f6913f18a0d55696dddfcb1b587a"),
MontFp!("0x73bc630fcece6947fb81ac8e0f1f1671ed6042c3ef3bbb12ed554f28b48b46ec"),
MontFp!("0x304b46f52d597b964fbec3fc0dceee442febe6131359e156c194ab7be2a11e6d"),
],
[
MontFp!("0x067d85956dcfff7fd9f6a0fec505b7f4998e3d85672623677a6d974d6b111de6"),
MontFp!("0x65830d8053bf8afc0ba5274f1a4c4cce617fa624b480f13ed3eb369fbba78e67"),
MontFp!("0x6c32c101e08a962bd996d759a6c012a4d97aedaab9fc99c1fa735a16cd24dd44"),
MontFp!("0x11fb2d160e41a1845fd14578c617285081fb1a16a21b36cfd5065b30fac574e3"),
MontFp!("0x50aada39348c4736f6c59f7f053c488ed999a33ad23501d9c635aa03baf90db5"),
],
[
MontFp!("0x5a5f0e3a32b260fbdfdc8c0eaf3a99396992b50b6dbb63a9d1e1ddf9c91d78d4"),
MontFp!("0x62c9f6d9aea355d358f2986ad487c2ae443122e1edfb076930865608d05c3b39"),
MontFp!("0x520cea06cee20150703a1c8000d4a5f22b3efeb9e34eb90bad0b4ff091b33683"),
MontFp!("0x6da4e4682545c1f4c0076f5845fbbcf48632a9c193a92593d12d248031f2c893"),
MontFp!("0x1ba5502cee2ea2d07a64f68f0a7492d2426382a5b9662d0410e086107399989b"),
],
[
MontFp!("0x6ab843ca92240f8a82862da071d53f048272d55425907fc8d0e60dcccd5a1ea4"),
MontFp!("0x3f65c2dfa6bb39c1b291c40f810cc912015384a2a24fd322b6375e27bd069322"),
MontFp!("0x6a2df71a64cb0d9a548e3b65ba4e646ff5e519cab564b5f77b3fe08e038b9c3a"),
MontFp!("0x64776bf2b66bcd09c8661ee6ca6b8251bb4aba5a7ba181464d905db561ca45e1"),
MontFp!("0x6d7bed0d258b518eda13368f00be2cc0a94d71cc203d5905c35b10a3ee53eea8"),
],
[
MontFp!("0x371b958b5c79c889d1786edfe404119773f728822637fb4890b8847a93f97af1"),
MontFp!("0x56923182c33cb4dbf0988ba2314378dfd7491b3467b6134e6283c87a1478cbb8"),
MontFp!("0x3c4304994ef664d6aa19e3db492c306534281b5b6f857fa6ffae67bdba99c09e"),
MontFp!("0x0d003bd3068fa94c4f7bbe6ba02993acd341a27ed2fd7ecaa4e6b0b9d0abd85a"),
MontFp!("0x1073cb8c08510e7d88ed4cdf78e96b297cabe9d6677db47289b056c2a640da01"),
],
[
MontFp!("0x5c57522580fbc75883658d4b7b8ea07e1a4fc75f453c09edd9d249ff1bd31ae0"),
MontFp!("0x2a5bec9b422b4dc64958f4752d0c091ffa7904e0ce4809728d16235bb41d707f"),
MontFp!("0x379c4a9b4174c5878f72b60fa985f7aa86c1fd868683bdbe8fae194cda2e56c7"),
MontFp!("0x3634e042e79d046adb911d57b338e78f51ac7d212c5a5c6dc4fa1a05ddb58c82"),
MontFp!("0x3ace976310c5040e1484d1a6d42993ac5923d474ce5497a3fac468af25843a01"),
],
[
MontFp!("0x3f5a856ab863b7584bc2e6e4c610b9df55a9306eb68894d630ff7d04f243e6f5"),
MontFp!("0x0d52822f5581fe9c5dab0b1f8d04eae183deb87c89504544a3d5558594b3149b"),
MontFp!("0x3c119e173586c22059bb09d2af4fc1044c8fc44f709233f7625e5fffa6696596"),
MontFp!("0x3e154fd5a026d7c6584faf8c089d82fd560f138392a8d4a5fe287859994c96b5"),
MontFp!("0x47251339c44d737b21df0ed1e204a28b68c9abb58f1cf2232f8a2da433e24b0b"),
],
[
MontFp!("0x73d84625f38db2f3842d7724d8e79d6d0349a93b8d6142603eea382ba6ed8692"),
MontFp!("0x42929bffc19bf9cd1c53d10440b0760a3be6442db20458b692b4ba3901e6003f"),
MontFp!("0x39b16b0fc3700aa93e0cac53fcaf7e84495ac3b49553b2e1a5ff9f73fe74de50"),
MontFp!("0x2b715e21640cfb6f77b91a4f6d3dcaef9b5faa7c0bfe94c8d80b0824292603bc"),
MontFp!("0x306bef0c637b5d7c8d6486915f6623f4e1ed81971f40772ec60feb5e243d32a0"),
],
[
MontFp!("0x5287d6ece65ef5df6e1c65dddf1d97cfa019157a5c90c004527c9d7c7496d814"),
MontFp!("0x0d760a2132c9092b0c8c89cbdf4fb1bd282791ef6284b73a44b313e8118e7d0c"),
MontFp!("0x5e830f4484268a349e4d9f6178ef745460f1f8456b04d0dc7814844052d51eb5"),
MontFp!("0x2468669481610965d8439f60a66aa61fbc7b18e82b35aa4755873ec4db82174e"),
MontFp!("0x23b6ea9e4d1fde701c719c2afab1272ea22b172bf7afe0837364ad9a2f698bd4"),
],
[
MontFp!("0x412024b2e86e9d5e903a5fbda26200be47003e3b0dcc322480d3079850606cc0"),
MontFp!("0x1f64c17825c1ce9333d211d45a555b5ceaa4608a354ed3237db56225b3a9459b"),
MontFp!("0x0b66fa87587ab95d5d29dde50cd606a1bc2c45fd223c03d0693c88b13ae23039"),
MontFp!("0x3086c386026698e733e54e5e17f65cb26c17fe64e76f85902cc184d5dd8ef0cf"),
MontFp!("0x72036acd9ef575414d5437327d902da6396cc70c0bcffcef2a82b4c296b5ea93"),
],
[
MontFp!("0x53d89e4470b3ea1eb861717e47c08fda42f6e61fc08118b16645ae5e8fdd664f"),
MontFp!("0x4ebea65d1fc5c5167b1412ffcbf8900a8df2096c25d7011e6c74f500662465f8"),
MontFp!("0x5ee6e1e0312e78e2e67b246a95afdd79e2e7a5b9b0ef6ee36c3d1639f9736e65"),
MontFp!("0x1d770c0cc2c2231213624d58b7875b1715554f6100784bb2b545e405c7fcb94e"),
MontFp!("0x2ea5c9837af445988c480fc6a55b1e5640dbe38d5e8cf1ddd85bc42c3658d9ca"),
],
[
MontFp!("0x6fb78d12c35235f738b1667749064d0066fa7cfe3a9624cb0944f16d37bc485e"),
MontFp!("0x35b75e89e794282cee1e66991ccfb2499dce4366b88d7be5f7b5775c12103a22"),
MontFp!("0x50e83b08162e7ccfe2d0f19aea4753ba83ef5c40572d6e904cfe2419ee9d901d"),
MontFp!("0x3fc5c93031cbcecf12d5831aaa6b2b3071657cd669f7b377b2fef4a7bfc9adf2"),
MontFp!("0x37895bdfe29a174b98cd4b49104e56ea09e41c7b50f9aa95b400b529c545f5b4"),
],
[
MontFp!("0x695e405509a0981035ba77e27cdcf53f3bc15d20fe4e43a335aeb6406ae1837d"),
MontFp!("0x104985a48aa7e0a668d8cc7140c255ed1b8482ac5febbd3d7a1cca0e96cf0682"),
MontFp!("0x118220b30330f1954e7d94d40fb1043a1a79ca83e68e9ef590601a86a4a917a4"),
MontFp!("0x098b3be7845a63543c13d211efac076b94a9528d34cb355faf0ff7a0d5ee9991"),
MontFp!("0x69ca1313dcddd8c2f5c5c7ee93a1d2a94726c0c0bc4a303fcf83109b23bf3621"),
],
[
MontFp!("0x570c1bd286b258b8bf11e8b85a2eb0c6dbfc2e4cdf01a0cde5464aa009b5bd43"),
MontFp!("0x4f2921de3696018e0d1ca7cdd5a4064ebf51845ab25b2d395b71c341ea8527da"),
MontFp!("0x19035c69cbaf0e0e7e02c5c524a8cc56de0e52d1936a9a10b7580f0c0555878f"),
MontFp!("0x2b8fdad2064a6f58d01e8c48d49bb25730780055829c1faead0430afcfbc5669"),
MontFp!("0x60ef9a74bbf8b98cb8248856492257f30c7520b3353a6fec9d90d48be46070ba"),
],
[
MontFp!("0x4c9a6bc8284e783afd6c425f8cbdab82c0db3eac060a2dc00eca48ed6d1d052b"),
MontFp!("0x68e6d3a83ac8e60c92d2860ff7557e1fbe3b91c38fabbde8b28371dccce2a10b"),
MontFp!("0x56e0e39848046f0305d268b28aa753a41d48586e8579d5f95f12dba60e181d4c"),
MontFp!("0x5176824fd8c92fed23df24c382a9fdf86aeeecab0b6716bef53da57bd3f551eb"),
MontFp!("0x3aaf796b71041e8b2b494bca3b030f56a0c5663149093c8a179c0f3e24d0f718"),
],
[
MontFp!("0x101cd65865abc573f5382df3636f4d60bc669aaa70f09ba040d61ef8d09c5296"),
MontFp!("0x2581f83d616d932b438bfe0062082d4e1ed7d34b9a1cf63580199731d44a4b25"),
MontFp!("0x65d74f6d1320dd1dc9412547b130bc7ad03c4e80cd8a44c108f24ec7aa35489a"),
MontFp!("0x0d5cb6e19c9aac7d9f51f176ed42d008317a189dc4f6fc5c36fc6d451a035916"),
MontFp!("0x0e367d17423501e62db9fd487f72076f2d1de6dabd3c175341ce35f925c9941e"),
],
[
MontFp!("0x3f3f101f7c8abd6bebe6b81dadf0ff5fa31ec7140e317909a8d2f94ce4adc890"),
MontFp!("0x6d5f212b5f4775095ab1d20fffd41dd73ab69b4ac60e9de11693f8e6bab88e67"),
MontFp!("0x6b11154212e86e185a4cb17dc2b9dc061f72bf9cc3df5f95f7b87f1101d09f1c"),
MontFp!("0x43f4cf980ff1a9101ca3c4601814f8de4124d108be2584ee9ffb9505188d35fd"),
MontFp!("0x5d9be9303e3a25e8fa1abb6f2a7e3250231091100f9d7311b050b52666ec8f02"),
],
[
MontFp!("0x1eb3b147885e1261d9034ca89a658817caef5ae629e1265cd32c6ef89ce704e9"),
MontFp!("0x1595d95dac2c4653d32b01c3fbc294b2922140e41b93c5e7f5702212226d7140"),
MontFp!("0x578b22f1f6d6eeb61507f0de1c817bb876b9cd079a18be9e99e2faa8e02618e2"),
MontFp!("0x4de38f88c5e8ba1890b3695c912ccacd63721298c9ba3d3668b44f2a13b40abd"),
MontFp!("0x0b9df0b81af072be21be9f08df336d3babe6ed5bfc199c73f2e97ccc73de80ae"),
],
[
MontFp!("0x2a1a8c6d54abda22954e90386d40cc7d5c4f54c592ec2c69a9574601e88b6559"),
MontFp!("0x5c5d96136cd1c4ae8fa1db9273083567345b407eb66f73a313ab8ad1a76cb157"),
MontFp!("0x1ade9e2b734e937fc2fa04ca445236faf24e6d47ad1a4baa3408102c0d1e6363"),
MontFp!("0x49354c394824998704e44eeb2ba6cb6fb431c334b648e6c87565e5fe133e8079"),
MontFp!("0x4ea258f019a8055902a696b85547652519b8d8d92de4bf18e2dbfa41264a9a6e"),
],
[
MontFp!("0x008a5162adf5ebd8711fd8139418509e472abc02908084f2e494086232336808"),
MontFp!("0x6badee92872dcc00812a1cbc8081dd65ece0c7d3512af5a9df5fed7428557c81"),
MontFp!("0x324c64ef2693e966965246bb7bb8c04b57a21fbee9be8c4a10096222bc83cc51"),
MontFp!("0x3f14138eee87c93b0fbfe7efdcfa906525b0ce0f3b9a7431a492f8cb71514219"),
MontFp!("0x0db99fa5ce25d50f557415ad181f1399840574f678b2534cae8f774bc8703009"),
],
[
MontFp!("0x23d984702589f3275211041a4bde9d79329967723ec029da095bdbe733e97381"),
MontFp!("0x6c5144ace155e976e287f1b95951194895bac2e5d54b07b62c3afe0eeafcbe39"),
MontFp!("0x57a3e420fe7e0638bfb4d0b2c6286c2946166a6eb17836571909da153c3204de"),
MontFp!("0x156621c4691a9240863577f10e29dc66a37d1b94e756869984c22d9f9d284726"),
MontFp!("0x1b1e774a7ec903650adffe34f6aa8201d356e41e0951d38fb83a89413d078e4b"),
],
[
MontFp!("0x514b940e5717c1ae53ea29b9a5a15998e294f69c1f553fe56124f66a16a78d53"),
MontFp!("0x16350c6898d04d355d966c1d7827eee076a1ebd90781639e120feab665391ea9"),
MontFp!("0x5b8b30d8c5ae46c4171d40478886c71c28fc86a3ae4a52ad1c05d8bcb9991b52"),
MontFp!("0x5226cdc8a40c229ea4fb08f2c10e0e24cd41f24ca5fa5b5ab73e7340f632e727"),
MontFp!("0x64383db664537c84a0a4030c3318f2f19cbeda46c70460035ad9d9240011639d"),
],
[
MontFp!("0x61068a086ab73c87701b2642af25f6a430240936ba473a9a258cbf90db275277"),
MontFp!("0x5bf320a3e8a48c6a85e2dffc4740d1b381ec4aa0771d885dc16adee569403ad3"),
MontFp!("0x2603e0fd03264a856c1a7b8f1c5a22c3b98f4858c345e8e0a68e3f6424dd2dfb"),
MontFp!("0x100d221342e64ed7e4f1520be70f5b0134031f8a31b4790ebb8e0a89e50b42e2"),
MontFp!("0x0e61bad85ce909438ecc028b55085ec2cee0dd3ac5a7bcaa79d96186747a4606"),
],
[
MontFp!("0x570a2045ca0fa7288d7f372f36bd075c2517a9743c9baa46503c4396e1f316f4"),
MontFp!("0x1a64e108621e134020ea761d8f2c5bb42f24fab7641b095f1d164d1fc7b8be90"),
MontFp!("0x097f0f28fd299e3597ffd761e9ae8b0fa46526c9d78503dc9dd5f61df3a085d7"),
MontFp!("0x1d1063cb1be0f9f96aca5e5e39be9df69c96ff717c7d0c7cfe179cd6dce27505"),
MontFp!("0x3e30f5d48b3c2475b8f3ba08cba27caed32b1cf67f76ba9223803733e13ad863"),
],
[
MontFp!("0x2b30db4198cd832506017fa26430d204476113cc791ee110cf5586af5ce3824c"),
MontFp!("0x2b520e374519be203c022ec51dcf8d972dd01abfaea371de9b1532647fca7bfd"),
MontFp!("0x183b9a8e45fd480e822f8a97a8d2f127d0ef561914903229fbc5602bea46cb37"),
MontFp!("0x4e01e6edf11ef4c94fe8589f9622a70709330a12e68591f6ea7dda994117bdc8"),
MontFp!("0x52ee256fb3031d20fc299de7fabd0d4ef2e7f12539760dafb0fbc8560a40ee16"),
],
[
MontFp!("0x327f5e141e4758d3d9a94c1628a57c817cf84fc0082b8dc098adbe84c1430979"),
MontFp!("0x3d0e12036899e5be167de13913901831a714ea5617b94de6de070ddc117bac71"),
MontFp!("0x1d9466d50efd1be3080d0aec4b81dd5cdf1ad4681e3ac04d08057f8fe49cdf0b"),
MontFp!("0x2360abd7728da2dcda3f495a9a4f0f2aaff1d2420b8f6a7fed6592e1463f3d00"),
MontFp!("0x23c1df4ddd6da863a1a2837e5222150278adfd4faf2fae7beaf64ed67a30736c"),
],
[
MontFp!("0x1e98ec3b325a2a11738273f94516a9d56107f33062661e571342bc043764cf77"),
MontFp!("0x431de5d108f8f7109df3059abcc16ccbd17e18676ef64f8998498e4a3f331fde"),
MontFp!("0x550937f2bf0f1adb53f412d49ffd2886158703c375f87d059461f740d655e3d0"),
MontFp!("0x1341fa99aca4bfc0f511dc9a9bc57c1e7aeb41ebb3a9140f5f93af1b3aeeb582"),
MontFp!("0x706889448219016f970b32463a87e355b55ce0a34401dbfe4dd19fb3f93dec2e"),
],
[
MontFp!("0x28d6207e409ab1c6e8e196d9e363040070b6c6fc4685a5482f80ba38cb792dc5"),
MontFp!("0x6827087ecdf4e6bc7c396c59de859cbf08f92c361b5174e7f681ba0e72f83aaa"),
MontFp!("0x553e112dab620286f6cf2d31325b971a6516dc7776a6e5ef37bcb11d1785299d"),
MontFp!("0x40b44f7413d152f0d46460c54e9572fd91174b4b94a3595d709119e49925354c"),
MontFp!("0x4d324dd7dfdf2380ef9f6d3c4f4bc4c5f90dbbbf2f1fd923256913f33a45cc09"),
],
[
MontFp!("0x609b3ae79dcdc8a8379a690394c95805d862bc31068b572ac126bbc082ebf8b7"),
MontFp!("0x33973520a1d9fb67048d64a22ad1b75b081d88c135a556dbc1b6a8479f75eaa7"),
MontFp!("0x3bcb7630fc45d34b78fd253d0b5275ecfa85ce48125ef7275c3a9205d01b85d8"),
MontFp!("0x1287f419048e81322d73bb9333e9b854e4ceac4b993b5342547263a486b42e34"),
MontFp!("0x2a2f5a5a689471d5ef46d669e449ccdc1d37256618722f08cc2c7e75d06fc277"),
],
[
MontFp!("0x38c913fdc729a28b7e354947f2b6449029976d442e349bc1c2acf3b0fa28bc92"),
MontFp!("0x421826bc690adac2b1f3637bc5e2333cb5e4bce3f9e8eac1a0a76df32a7ebff7"),
MontFp!("0x30ac2452c3a07bb924b6f7ed47cd6581499d532c5f90bf7fbc69556ff3bf6b09"),
MontFp!("0x40ce93f92b281e538efbe7cec9a22a9c005eef428dde3cdd46191630f563ba04"),
MontFp!("0x4fc3dd6720c87f672f7b6ff129e9b2a3236ec760a71f78aee84925d8e7616e97"),
],
[
MontFp!("0x3f3ba6f9f12ca6f934f92b17f4f3bd8ec261e5870610557f687bc734eadaa2d4"),
MontFp!("0x11d9eedda8d94fcbed859f5787fe20b7d4483cd319d8215530e2e316c89ee635"),
MontFp!("0x29981cff92be6c882c89feb59849d014fcd163699b5b4fdafca335552c4581d1"),
MontFp!("0x4c4fe2838d175c666c0d3f20d8dfefdcbcdacebca86e013d8ad29b6a0cf6bb79"),
MontFp!("0x630428a99469c03f9027d3c601864185d360d920771ea950732cf000b869a09a"),
],
[
MontFp!("0x46a776fbf1f36d7fdfa7a210cbb2ffa533540068c169e12f127cb14d9b587056"),
MontFp!("0x41a775960677e6c5fdf73c2a409b6e5c08e271cbb8c825f598a1801c84fde5ae"),
MontFp!("0x3086af931c41d791deb57f7f82dc511e4d349f42b52c3e0080097c4e44373dc8"),
MontFp!("0x155516da7a229b61392a39cc10a67112f512203cab706428f5fbbb3a9fd89fbd"),
MontFp!("0x41bdb1e32081ac55f42969658f78e308bdf50175b619c3ca8e3bfdf1ca984684"),
],
[
MontFp!("0x01344d21e02b9c20d0d886a02167cf8502c3614ab909ae2fa7929b12d3e88519"),
MontFp!("0x733a3e92f74b793915beab78e87bd88a2227aa5406df54dc9a2c5e80a11f71e5"),
MontFp!("0x6a6cc17a31ba2fe1411cdebeb0809bf4ff0069b0d6ac681edf816ef4c59b6f64"),
MontFp!("0x0a77e0a85b06c1b152098066bd36933264641627192e3acdbf611bd002918820"),
MontFp!("0x3efb107ebed9b44672f679bffec0121fb509d19e97ae1bac3a86384e274c8c94"),
],
[
MontFp!("0x3c0c4b441b0ea7ffe03c011db9aab4f86ec4849a0c783a3b7af21b05f5654482"),
MontFp!("0x28072c7bfa64f6cb97e4341cd18809ef5cd083374fbec26370c2b0ac02dcdafe"),
MontFp!("0x1962306e92b3c7295b2f7435ed8f67dda3a15ec6d8b0786d7727d071663ab22b"),
MontFp!("0x594dc533611f7f588838f894a26b1cd27432c63f9fbe03ef2d95d9a2d191ae3f"),
MontFp!("0x3e287fec491c686222949bc16c2308ade64e3a0a1dccdb25d64f9d5b94ead6e7"),
],
[
MontFp!("0x2a95d47fb725b3978a7f90e601f2a9ab39074b35594e0bd133f9c5f34d765d42"),
MontFp!("0x29c603ecc031a9750a4d826e4abf3874bc76c76cc7ea306b3b9636f9653ff58c"),
MontFp!("0x0bbff6ba283aa42f01172bb82a2838e50941227abc3a2a5b1215b9a6d68de07c"),
MontFp!("0x73c7ee55aaa453d36ed857353bc227375244a7e554ceeea2018eb9cb39a51e74"),
MontFp!("0x3ff41b13d4cb3140ac8426322e88ff6f16895d88e6de3336cc88c693e0d38175"),
],
[
MontFp!("0x03043688d4c991763362912a460be95b668fe9b1823fe90febfb3ffc7652ab24"),
MontFp!("0x33a29a0d56a7a64d36a67da2c691ff3eaf8ec7f0d78b357e7d2254c5b0e28f73"),
MontFp!("0x185db562fc75b43ba2710ad5e9114486b3e9712fe4c88f98b333c0c6211ac882"),
MontFp!("0x147b89a0cff9083b8952b3ef292c683f75d523f932711c6e1db3f28f5163b1fb"),
MontFp!("0x58ebc5d6b50bb1e4fdb4dcdfae1b69027978826f757ee4dc10d34f963f98fb59"),
],
[
MontFp!("0x1318791367815809badf1f3ed677e50cef92021c65549b2dabaa52c7b424f5a9"),
MontFp!("0x5bce78553694ba32f793c8d7f8d09ac63d0d7ada32b888d61b87849f3eda9557"),
MontFp!("0x026bebcc38f0b2804ed21f2e2b16af2194375ff2559fbc588a8962caf0b684c0"),
MontFp!("0x494bceff689f9885a3998de0eaaa7ac71a04522700f2e067efdbb037c6e53c66"),
MontFp!("0x03ebaf5f0602347c4ed2bdb9a86eb955cb5cd5378f7a6f369dccb69792de8bd2"),
],
[
MontFp!("0x3626d91f9f05334cb32d3a42eed03f7a553a0ed4cada2db08b45b548bd3b3655"),
MontFp!("0x63ee9e5c5cd3c83e93757ed93358ff0583d761e595b62f11df27bd4292ffb6e5"),
MontFp!("0x705dd80b2db4492c8b9984439b823681c4d9c8dcddcc04b9786a90051513a0e1"),
MontFp!("0x2636ac2ac559be8fe509641dbc67e55db47bb051e05ef06301020c9501f110f1"),
MontFp!("0x4781b8da302c7764951730e7ac0892de64537d94db2e19b84eec5a2d9539288e"),
],
[
MontFp!("0x197852b9a62e16779725f35cd8daf52ffbc8cc9c902c16923f2ff8873795ca86"),
MontFp!("0x1c3e49f33fd73480b280dba7744cf67e244449048f8fc84f7b6e452b4ede9a35"),
MontFp!("0x41d20cdc6a15c07fd9735c89b155412fcbb7bd3cdfc27abaad2a3a8a90e99743"),
MontFp!("0x0c3a7aaeb5f65d907944d7aa48c27648be3d0371bd97a9c060e8ef4f573521b8"),
MontFp!("0x52ea7c3f75cba07991674295c4e1462108401b9a103736623943d42e4fbe334e"),
],
[
MontFp!("0x1106537bf3150b442b0992ee517b69707c3042015e938f97a63d5c924e67f677"),
MontFp!("0x71de967042516a5b990ef18ae9956fab89f361b950e0639963017c237ee2a0cf"),
MontFp!("0x664a4487e02f7bfa07a1db6ab94a0d1ed0f9e74002bde9cfcbb65f6f74dbfca0"),
MontFp!("0x1023721fd7285260935b5a347f167ce721dd6ae5004c4debc68066bac8f2c467"),
MontFp!("0x2d52fbc95404515f5456c74b65186c860a89dcda8c84bf68fbf715f3d58fe3f2"),
],
[
MontFp!("0x6d987c9de419fb6e075441fd99606303e765d8696bcfe01a0d11aa0bd47c8601"),
MontFp!("0x422016ce4d744029b1440a288d7988e43d0f29d616c47f70322ff87cfbc69301"),
MontFp!("0x1f82afe8eb16611abc6600f7dc2a72c8e1d39643c189f3caa1ead08241a896c4"),
MontFp!("0x3bb8684cf815ae6d8a789e0e488c6fb2ac46883fe1cfeb8cfa6f3dbca0f954bd"),
MontFp!("0x3d5a1a6e571306fac431b098cdb3c4518f5a8fc436535766fe9e1bb8bda95d1d"),
],
[
MontFp!("0x5e36e175c5d7df42b86285f43b1e4c6bfbaca19f1019073d38d04de0d0647669"),
MontFp!("0x2c3b1b86ce90cb3fe74c5c99b20c3314e28e2f07ce8d932030caee4dfe5055f1"),
MontFp!("0x0bfba44d41c49044bce730d8af86fe0397fff85ec10288b847868d0e9834f754"),
MontFp!("0x0b79924b9e44662369c615cc8d7f36fe4a4b2a79045cee61c413eaf91d82e0c2"),
MontFp!("0x048a11ec75eb154b70223a40cc0db9104b13f6a4ca24e7b9707963ee6f9f74ef"),
],
[
MontFp!("0x6dd58a400d366014e46b0b9785ce9d78516813ed2eb329dc4531bfbd8e80eec0"),
MontFp!("0x112844b7c50e7e676b616e72539d5751dec5a063456921b6b16f9e930cc35ebc"),
MontFp!("0x217b616b50e729547af8ceef5008d1edf8d90bc9a7f3ce7c9bc71867e1c06471"),
MontFp!("0x3f9a0b8402ffa291bccbb46dcd2522dea790b35a8503da46717c63917dcb7b79"),
MontFp!("0x42a44fc114c0cad9badf62b911610bdc4b1a0ba9f656f66173a5476e63dfce86"),
],
[
MontFp!("0x294223972f4c7e9c9ebefebf059eb90f44479956f5337b12a2eb803e313e96cc"),
MontFp!("0x448101837874eb1bda92bc8a632cbf8f70a0664bbcf3a196609b14c53ee4dbcb"),
MontFp!("0x53a26c6e2b3df0b17faf6a259bc5531d3ae79da59eb8fc5f594e0b886d8d97be"),
MontFp!("0x207c7c32631a75fe8e0da895367176d24e32c5573ec91acf235f3c6c307807cd"),
MontFp!("0x20f955773b13b160d3575eb2380b466f7d38cb4a0e12a15d43d147645c3944ca"),
],
];
}