use super::poseidon_params::PoseidonParams;
use crate::fields::babybear::FpBabyBear;
use crate::fields::utils::from_hex;
use lazy_static::lazy_static;
use std::sync::Arc;
type Scalar = FpBabyBear;
lazy_static! {
pub static ref MDS16: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x6ed88b54"),
from_hex("0x365c29f9"),
from_hex("0x029047ae"),
from_hex("0x0340f575"),
from_hex("0x68418255"),
from_hex("0x315e4e40"),
from_hex("0x51596faa"),
from_hex("0x71183465"),
from_hex("0x2d036fca"),
from_hex("0x09e4fa24"),
from_hex("0x38e00966"),
from_hex("0x13e81974"),
from_hex("0x60f6dafc"),
from_hex("0x3c664116"),
from_hex("0x2e2b9d4b"),
from_hex("0x6c5f6689"),
],
vec![from_hex("0x4a1d7fc9"),
from_hex("0x6506dfb7"),
from_hex("0x2f49702b"),
from_hex("0x3ebaafe9"),
from_hex("0x718fc5d2"),
from_hex("0x14dcbeed"),
from_hex("0x27a38245"),
from_hex("0x528238e5"),
from_hex("0x10663404"),
from_hex("0x2a504978"),
from_hex("0x0b027c2e"),
from_hex("0x4bdd7226"),
from_hex("0x001ebc59"),
from_hex("0x52555194"),
from_hex("0x148df9b7"),
from_hex("0x013587d5"),
],
vec![from_hex("0x03a74096"),
from_hex("0x5b791ccd"),
from_hex("0x2e3a2688"),
from_hex("0x26b936dc"),
from_hex("0x0a0df4c3"),
from_hex("0x4a1e89d8"),
from_hex("0x07a37b58"),
from_hex("0x3ff10121"),
from_hex("0x4912f3d0"),
from_hex("0x0e5cbd22"),
from_hex("0x0086832d"),
from_hex("0x5bc8209b"),
from_hex("0x0ecaa423"),
from_hex("0x0c8b360e"),
from_hex("0x542abb63"),
from_hex("0x198e5ede"),
],
vec![from_hex("0x2ba24027"),
from_hex("0x5c61cbe2"),
from_hex("0x15dabd0c"),
from_hex("0x58763be5"),
from_hex("0x70a28315"),
from_hex("0x41a8f9fb"),
from_hex("0x3786bc6d"),
from_hex("0x19ca59f8"),
from_hex("0x42185a03"),
from_hex("0x48223bcf"),
from_hex("0x190d6883"),
from_hex("0x086269de"),
from_hex("0x3630ddef"),
from_hex("0x2c0dbdd3"),
from_hex("0x2c07ad23"),
from_hex("0x29561d75"),
],
vec![from_hex("0x2db3561a"),
from_hex("0x349aabc3"),
from_hex("0x0aeb611d"),
from_hex("0x32c2bd61"),
from_hex("0x38527028"),
from_hex("0x1483f37b"),
from_hex("0x3b28e234"),
from_hex("0x5a2762d4"),
from_hex("0x47c2d9d7"),
from_hex("0x372c5808"),
from_hex("0x54d14bd6"),
from_hex("0x49690d33"),
from_hex("0x0e015d17"),
from_hex("0x6aabc1ec"),
from_hex("0x3070eff3"),
from_hex("0x20b26c05"),
],
vec![from_hex("0x2e19ba8d"),
from_hex("0x0d23450a"),
from_hex("0x2e5d9599"),
from_hex("0x57521a71"),
from_hex("0x0fe30b31"),
from_hex("0x2d125f10"),
from_hex("0x0bcd2b75"),
from_hex("0x1c5c0995"),
from_hex("0x13538cc1"),
from_hex("0x3e89bab1"),
from_hex("0x0ecd2c52"),
from_hex("0x4a242476"),
from_hex("0x3bd8f726"),
from_hex("0x6f61a168"),
from_hex("0x4be24d17"),
from_hex("0x3612cac7"),
],
vec![from_hex("0x2d922f25"),
from_hex("0x6edf0857"),
from_hex("0x33af4716"),
from_hex("0x724e5171"),
from_hex("0x2a7361d2"),
from_hex("0x123ecf2e"),
from_hex("0x2275c912"),
from_hex("0x21f75377"),
from_hex("0x0b4a2d3c"),
from_hex("0x61940261"),
from_hex("0x335fa739"),
from_hex("0x3e18aca4"),
from_hex("0x1255c968"),
from_hex("0x0627c139"),
from_hex("0x0c870799"),
from_hex("0x1a271c86"),
],
vec![from_hex("0x3722cccf"),
from_hex("0x3e2ac9f8"),
from_hex("0x3c6899ac"),
from_hex("0x6ced5ba0"),
from_hex("0x767999cd"),
from_hex("0x12fdf314"),
from_hex("0x284d52da"),
from_hex("0x010fa38b"),
from_hex("0x14e29a97"),
from_hex("0x58b4180e"),
from_hex("0x19b6c4ac"),
from_hex("0x722e27d3"),
from_hex("0x39a050e6"),
from_hex("0x4d05c08a"),
from_hex("0x3dbffefa"),
from_hex("0x61f01023"),
],
vec![from_hex("0x4237a659"),
from_hex("0x4947e8c3"),
from_hex("0x069342f5"),
from_hex("0x15171937"),
from_hex("0x554eef00"),
from_hex("0x2ff329af"),
from_hex("0x0a5129f2"),
from_hex("0x634b85d7"),
from_hex("0x2a8adb36"),
from_hex("0x0c41318c"),
from_hex("0x5ac8ad85"),
from_hex("0x75823102"),
from_hex("0x49a8c8f4"),
from_hex("0x37b4dc23"),
from_hex("0x48383ddd"),
from_hex("0x2917cc4a"),
],
vec![from_hex("0x64ded285"),
from_hex("0x2cf24480"),
from_hex("0x48a51fa3"),
from_hex("0x3f6d1fa6"),
from_hex("0x67fb2b58"),
from_hex("0x4ee85b14"),
from_hex("0x0185c875"),
from_hex("0x5c7a942d"),
from_hex("0x700e51a2"),
from_hex("0x15aff07d"),
from_hex("0x303754a2"),
from_hex("0x18a3e923"),
from_hex("0x28f104b7"),
from_hex("0x4d81102d"),
from_hex("0x26eee317"),
from_hex("0x2624abc9"),
],
vec![from_hex("0x1cabd063"),
from_hex("0x2100450e"),
from_hex("0x1f3be9dd"),
from_hex("0x2a76b379"),
from_hex("0x3f18d12a"),
from_hex("0x0bb69105"),
from_hex("0x04d8a7ac"),
from_hex("0x1faded71"),
from_hex("0x0b2d86dd"),
from_hex("0x5b4fd3ea"),
from_hex("0x0d7f56e4"),
from_hex("0x4c934264"),
from_hex("0x00578cbc"),
from_hex("0x4ac335a4"),
from_hex("0x6de618f4"),
from_hex("0x12430d70"),
],
vec![from_hex("0x69a43964"),
from_hex("0x27be8c04"),
from_hex("0x05bbbf28"),
from_hex("0x6a6fd5f2"),
from_hex("0x029ff4a2"),
from_hex("0x7480e7d2"),
from_hex("0x6ebd8697"),
from_hex("0x505ac2f2"),
from_hex("0x42198491"),
from_hex("0x3e22dde8"),
from_hex("0x19b3ffc9"),
from_hex("0x1c029b85"),
from_hex("0x3c83bd24"),
from_hex("0x5d48ee0c"),
from_hex("0x51db5088"),
from_hex("0x6a044125"),
],
vec![from_hex("0x033e3e9f"),
from_hex("0x320cdce6"),
from_hex("0x42ceb3a3"),
from_hex("0x2c39ef78"),
from_hex("0x129f22c0"),
from_hex("0x038ce048"),
from_hex("0x200c7aa6"),
from_hex("0x37297a16"),
from_hex("0x6957af38"),
from_hex("0x3efaaf35"),
from_hex("0x47086768"),
from_hex("0x65017cbd"),
from_hex("0x3e52dd44"),
from_hex("0x632cdfec"),
from_hex("0x1e21dc74"),
from_hex("0x02b68bcf"),
],
vec![from_hex("0x2526f6b9"),
from_hex("0x18cdaeca"),
from_hex("0x1a64dd5e"),
from_hex("0x0ed814ac"),
from_hex("0x32a9eb40"),
from_hex("0x2f276e0d"),
from_hex("0x30c6664b"),
from_hex("0x0ecfbdf7"),
from_hex("0x6e70acbc"),
from_hex("0x1df04c92"),
from_hex("0x44090fa0"),
from_hex("0x69e69133"),
from_hex("0x1bca435a"),
from_hex("0x0cb43110"),
from_hex("0x19f651ca"),
from_hex("0x3ea3be87"),
],
vec![from_hex("0x032bf42c"),
from_hex("0x72b82f03"),
from_hex("0x2b56b081"),
from_hex("0x377703d9"),
from_hex("0x49cadd18"),
from_hex("0x3f7a6788"),
from_hex("0x1be5dac5"),
from_hex("0x1c81f75b"),
from_hex("0x6983b960"),
from_hex("0x067493e8"),
from_hex("0x4a4c05c9"),
from_hex("0x04dbd1a7"),
from_hex("0x2d30836d"),
from_hex("0x67454db1"),
from_hex("0x70de7fb4"),
from_hex("0x331eb4b8"),
],
vec![from_hex("0x574bceed"),
from_hex("0x3c1e600e"),
from_hex("0x3a1b91b1"),
from_hex("0x69369cf9"),
from_hex("0x5e68d7ff"),
from_hex("0x2ddcd8d4"),
from_hex("0x5aff0a6d"),
from_hex("0x7068c4fc"),
from_hex("0x0fcb3bfd"),
from_hex("0x133838c7"),
from_hex("0x0bac1e88"),
from_hex("0x13ee81b1"),
from_hex("0x2eecf375"),
from_hex("0x1450e2a1"),
from_hex("0x474d780d"),
from_hex("0x3a9c651c"),
],
];
pub static ref RC16: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x22d14fc7"),
from_hex("0x47743d29"),
from_hex("0x677f35c3"),
from_hex("0x3ae46df5"),
from_hex("0x24f86039"),
from_hex("0x4eb76fe3"),
from_hex("0x463c658a"),
from_hex("0x06ee674e"),
from_hex("0x21e71f9b"),
from_hex("0x50cd5cec"),
from_hex("0x5959fa83"),
from_hex("0x10a5b894"),
from_hex("0x0cf4d6db"),
from_hex("0x32b95009"),
from_hex("0x40299d0f"),
from_hex("0x31762364"),
],
vec![from_hex("0x77a932b9"),
from_hex("0x4d5f9435"),
from_hex("0x585e5f8d"),
from_hex("0x68852880"),
from_hex("0x186d0ef0"),
from_hex("0x0bc8e16b"),
from_hex("0x33efc152"),
from_hex("0x4818fbb4"),
from_hex("0x60b89701"),
from_hex("0x217f693a"),
from_hex("0x242e7dd9"),
from_hex("0x2c602bd2"),
from_hex("0x3da5d2a9"),
from_hex("0x44d38735"),
from_hex("0x00b8f704"),
from_hex("0x6d897b7f"),
],
vec![from_hex("0x26d51110"),
from_hex("0x4b9eaa24"),
from_hex("0x59f60b8a"),
from_hex("0x481b4e03"),
from_hex("0x4898afc8"),
from_hex("0x21a0b0cc"),
from_hex("0x2b03c2df"),
from_hex("0x0fea4ba0"),
from_hex("0x4bf2e3e8"),
from_hex("0x2073fdff"),
from_hex("0x3285abb7"),
from_hex("0x3ac0d1e9"),
from_hex("0x13d65258"),
from_hex("0x16b7a570"),
from_hex("0x45bcb00f"),
from_hex("0x5ba25311"),
],
vec![from_hex("0x0f78e922"),
from_hex("0x294613f3"),
from_hex("0x1c377a1d"),
from_hex("0x2c19a8f6"),
from_hex("0x46e75290"),
from_hex("0x34bdbe27"),
from_hex("0x103e09a6"),
from_hex("0x32f00a1c"),
from_hex("0x193d8310"),
from_hex("0x48f5804b"),
from_hex("0x6866d66a"),
from_hex("0x05e6320a"),
from_hex("0x6250e5ba"),
from_hex("0x0f64c9de"),
from_hex("0x27f3a9c3"),
from_hex("0x367b028e"),
],
vec![from_hex("0x3062eba8"),
from_hex("0x66794e00"),
from_hex("0x3a8857de"),
from_hex("0x311769e5"),
from_hex("0x269b55e6"),
from_hex("0x5962fc4d"),
from_hex("0x26e2a5a0"),
from_hex("0x1f6aec92"),
from_hex("0x66ff3568"),
from_hex("0x011c60cd"),
from_hex("0x2347af5a"),
from_hex("0x57bb56a4"),
from_hex("0x64de8246"),
from_hex("0x70f587ad"),
from_hex("0x4a91fd65"),
from_hex("0x3279477b"),
],
vec![from_hex("0x6ded73c5"),
from_hex("0x75418e3f"),
from_hex("0x002a0229"),
from_hex("0x21fbe33c"),
from_hex("0x206b9591"),
from_hex("0x4133e248"),
from_hex("0x3e0d0cc5"),
from_hex("0x1e2351fd"),
from_hex("0x078e4519"),
from_hex("0x30a9d69e"),
from_hex("0x7689ab87"),
from_hex("0x0ae7a298"),
from_hex("0x029923cb"),
from_hex("0x024a2b1b"),
from_hex("0x1d60dbdf"),
from_hex("0x3d8af2b3"),
],
vec![from_hex("0x36174f16"),
from_hex("0x397bf853"),
from_hex("0x478f1171"),
from_hex("0x202b95f5"),
from_hex("0x22a49e9a"),
from_hex("0x593a115d"),
from_hex("0x65f5a466"),
from_hex("0x56fdefeb"),
from_hex("0x0aa188c1"),
from_hex("0x5982426b"),
from_hex("0x71f6cb38"),
from_hex("0x594a711d"),
from_hex("0x2033eea8"),
from_hex("0x0c20b93b"),
from_hex("0x4873d752"),
from_hex("0x413cdb68"),
],
vec![from_hex("0x1020fb7b"),
from_hex("0x55642c83"),
from_hex("0x4c3ca55e"),
from_hex("0x5cc9d020"),
from_hex("0x01bf4025"),
from_hex("0x5d53256f"),
from_hex("0x12110fe3"),
from_hex("0x5f325b00"),
from_hex("0x05ed0223"),
from_hex("0x6f73787e"),
from_hex("0x4250e6af"),
from_hex("0x05a1f50f"),
from_hex("0x5cedfe10"),
from_hex("0x5da8026b"),
from_hex("0x086fe6ee"),
from_hex("0x29e60bc0"),
],
vec![from_hex("0x1c725c10"),
from_hex("0x1c3f0e56"),
from_hex("0x3bd7fb18"),
from_hex("0x24d8e7d6"),
from_hex("0x502b1331"),
from_hex("0x1570f4c6"),
from_hex("0x7060c4b4"),
from_hex("0x2822b9fe"),
from_hex("0x379b4036"),
from_hex("0x3c9ab0d8"),
from_hex("0x35bd29cf"),
from_hex("0x3353ba79"),
from_hex("0x72bc5629"),
from_hex("0x2e553ca6"),
from_hex("0x23131dd6"),
from_hex("0x46e96cd6"),
],
vec![from_hex("0x4d65f5dc"),
from_hex("0x3fe8d06f"),
from_hex("0x6a4c8483"),
from_hex("0x6a9d46ea"),
from_hex("0x51b39333"),
from_hex("0x773dd4bb"),
from_hex("0x75472220"),
from_hex("0x03536ac5"),
from_hex("0x3fc93d6f"),
from_hex("0x1bd92d69"),
from_hex("0x6620b70f"),
from_hex("0x26e72902"),
from_hex("0x25eebb36"),
from_hex("0x66edfccc"),
from_hex("0x37779413"),
from_hex("0x60e28ba3"),
],
vec![from_hex("0x741d0b77"),
from_hex("0x60f2d017"),
from_hex("0x23a25699"),
from_hex("0x2f063482"),
from_hex("0x1c768088"),
from_hex("0x11733e6b"),
from_hex("0x65d84305"),
from_hex("0x11c4ca51"),
from_hex("0x0fd5b6d7"),
from_hex("0x6469045d"),
from_hex("0x40257c38"),
from_hex("0x4c1d66ac"),
from_hex("0x3a86fb76"),
from_hex("0x6545288f"),
from_hex("0x00947328"),
from_hex("0x40d6abcb"),
],
vec![from_hex("0x6f5d7715"),
from_hex("0x09801dd4"),
from_hex("0x389b74f8"),
from_hex("0x23461c1a"),
from_hex("0x1ae8ae39"),
from_hex("0x111cc3cb"),
from_hex("0x5b08fb1f"),
from_hex("0x5d2826af"),
from_hex("0x59c2918b"),
from_hex("0x392ece30"),
from_hex("0x56cb9b3b"),
from_hex("0x66bc00b1"),
from_hex("0x33d307df"),
from_hex("0x69624a18"),
from_hex("0x66eb09dc"),
from_hex("0x6597fd4c"),
],
vec![from_hex("0x612fbfbd"),
from_hex("0x32c37391"),
from_hex("0x6b8bde71"),
from_hex("0x77384d19"),
from_hex("0x6580ce59"),
from_hex("0x169b7580"),
from_hex("0x6616ad73"),
from_hex("0x3c1887de"),
from_hex("0x75e3f2e5"),
from_hex("0x3ef08074"),
from_hex("0x59f70462"),
from_hex("0x27012115"),
from_hex("0x2ecc37d6"),
from_hex("0x52b25aa4"),
from_hex("0x0e71eb68"),
from_hex("0x6a5b543d"),
],
vec![from_hex("0x2f47db02"),
from_hex("0x6b426d43"),
from_hex("0x22e2a257"),
from_hex("0x05689f5d"),
from_hex("0x53000206"),
from_hex("0x62174579"),
from_hex("0x41ee708e"),
from_hex("0x4c69f70e"),
from_hex("0x3a403a2c"),
from_hex("0x74a944ff"),
from_hex("0x0c5369ae"),
from_hex("0x08360919"),
from_hex("0x20502e46"),
from_hex("0x3aaba434"),
from_hex("0x6a3f85ff"),
from_hex("0x04a9a527"),
],
vec![from_hex("0x3b985df9"),
from_hex("0x5ed46d10"),
from_hex("0x4b48f8aa"),
from_hex("0x3365ee9c"),
from_hex("0x688d45f5"),
from_hex("0x52f52e90"),
from_hex("0x48bfad48"),
from_hex("0x0f5474cb"),
from_hex("0x03b31034"),
from_hex("0x23c4e6fb"),
from_hex("0x37835e64"),
from_hex("0x24e8a57b"),
from_hex("0x700e9dd8"),
from_hex("0x44a95941"),
from_hex("0x3a495982"),
from_hex("0x3dd606f4"),
],
vec![from_hex("0x6b990415"),
from_hex("0x5f419361"),
from_hex("0x18992a1f"),
from_hex("0x50d0225b"),
from_hex("0x16959009"),
from_hex("0x75c0bf50"),
from_hex("0x0b95ce3d"),
from_hex("0x10deaf8f"),
from_hex("0x36ca8803"),
from_hex("0x52d760ce"),
from_hex("0x49a1d323"),
from_hex("0x1cee5d28"),
from_hex("0x517d182a"),
from_hex("0x445e59d5"),
from_hex("0x0f9dd8a7"),
from_hex("0x5e137128"),
],
vec![from_hex("0x70c68bd4"),
from_hex("0x4e452a12"),
from_hex("0x42c2636b"),
from_hex("0x5b5fa86c"),
from_hex("0x317568b1"),
from_hex("0x03e62c70"),
from_hex("0x1bb59265"),
from_hex("0x1baf7be7"),
from_hex("0x6376d40e"),
from_hex("0x548d4eca"),
from_hex("0x75e7d9f1"),
from_hex("0x4f9f6c94"),
from_hex("0x412cbbc5"),
from_hex("0x580e0d79"),
from_hex("0x21bb6865"),
from_hex("0x3f50966b"),
],
vec![from_hex("0x3522ced6"),
from_hex("0x2a1988c9"),
from_hex("0x63cc080d"),
from_hex("0x2b1f3d4c"),
from_hex("0x4506613e"),
from_hex("0x60102247"),
from_hex("0x33a8ed0c"),
from_hex("0x4918947e"),
from_hex("0x4528a692"),
from_hex("0x1092a39e"),
from_hex("0x3b1f852a"),
from_hex("0x2691e16d"),
from_hex("0x36b79fd6"),
from_hex("0x108673bf"),
from_hex("0x66addb91"),
from_hex("0x0f453f41"),
],
vec![from_hex("0x48b36260"),
from_hex("0x6f748480"),
from_hex("0x429817b2"),
from_hex("0x23073ebf"),
from_hex("0x4dbba065"),
from_hex("0x4cdb2356"),
from_hex("0x72c494a2"),
from_hex("0x4733a44d"),
from_hex("0x76a19165"),
from_hex("0x6c7872c8"),
from_hex("0x4bc245e1"),
from_hex("0x6d1efcfa"),
from_hex("0x29be57e1"),
from_hex("0x5eef5121"),
from_hex("0x0fda3d38"),
from_hex("0x2873e796"),
],
vec![from_hex("0x10e8340b"),
from_hex("0x1bd00ac6"),
from_hex("0x4b8db5b7"),
from_hex("0x61fe659f"),
from_hex("0x247777c9"),
from_hex("0x0468bdea"),
from_hex("0x0e9f932b"),
from_hex("0x4d35799d"),
from_hex("0x0449265f"),
from_hex("0x45e3b326"),
from_hex("0x220818ed"),
from_hex("0x686090e1"),
from_hex("0x69361c44"),
from_hex("0x0ab186f2"),
from_hex("0x348a8c1a"),
from_hex("0x77a8cb46"),
],
vec![from_hex("0x776673b7"),
from_hex("0x3764f92a"),
from_hex("0x4b49f079"),
from_hex("0x068c7915"),
from_hex("0x6ae894f1"),
from_hex("0x3ca29798"),
from_hex("0x27f0ccd0"),
from_hex("0x51bb1b3b"),
from_hex("0x1f45baaa"),
from_hex("0x22a18c6a"),
from_hex("0x5172d793"),
from_hex("0x46560975"),
from_hex("0x12ac2c28"),
from_hex("0x4ec30409"),
from_hex("0x0f41009b"),
from_hex("0x71ea9382"),
],
];
pub static ref MDS24: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x19191a7d"),
from_hex("0x6cbe083c"),
from_hex("0x0b589971"),
from_hex("0x3be4046a"),
from_hex("0x2c837497"),
from_hex("0x61c4fa1e"),
from_hex("0x3d45f6db"),
from_hex("0x679624bc"),
from_hex("0x5f59f3da"),
from_hex("0x62cda2fe"),
from_hex("0x567b01b2"),
from_hex("0x389daccb"),
from_hex("0x5522ba84"),
from_hex("0x71e3475e"),
from_hex("0x5f147d86"),
from_hex("0x1d7e0433"),
from_hex("0x4450fc40"),
from_hex("0x6a1d0eee"),
from_hex("0x258885f3"),
from_hex("0x0ec7eb27"),
from_hex("0x584ae718"),
from_hex("0x3e4a6f51"),
from_hex("0x0671c21b"),
from_hex("0x418f03e4"),
],
vec![from_hex("0x61a34efe"),
from_hex("0x593f2d08"),
from_hex("0x5a5599f9"),
from_hex("0x246030d1"),
from_hex("0x1210627a"),
from_hex("0x2e5a37f0"),
from_hex("0x23c9e547"),
from_hex("0x02071da9"),
from_hex("0x49852008"),
from_hex("0x6e9fae9f"),
from_hex("0x26d98222"),
from_hex("0x13538a35"),
from_hex("0x61216f13"),
from_hex("0x3552bef4"),
from_hex("0x0bbe8d33"),
from_hex("0x0bf02cff"),
from_hex("0x0991e1c3"),
from_hex("0x73dccd52"),
from_hex("0x4f5a8c64"),
from_hex("0x2a9f0e56"),
from_hex("0x60786ad6"),
from_hex("0x5ce8c0fe"),
from_hex("0x3a9d048a"),
from_hex("0x3e1e5cd2"),
],
vec![from_hex("0x1866d4b4"),
from_hex("0x2e2f9a97"),
from_hex("0x127340e3"),
from_hex("0x6faf4fa8"),
from_hex("0x75575b7f"),
from_hex("0x447bb0f8"),
from_hex("0x069efa67"),
from_hex("0x610a18ac"),
from_hex("0x0edf2bd3"),
from_hex("0x559135f8"),
from_hex("0x5b912991"),
from_hex("0x43f2c76f"),
from_hex("0x73cd6b24"),
from_hex("0x13c3df30"),
from_hex("0x10a57d3d"),
from_hex("0x01603b41"),
from_hex("0x6e04d184"),
from_hex("0x40cdb676"),
from_hex("0x0134bac6"),
from_hex("0x0b88cf23"),
from_hex("0x31e557c7"),
from_hex("0x5a7cba48"),
from_hex("0x58fbabe3"),
from_hex("0x1b03e09e"),
],
vec![from_hex("0x4dc75c69"),
from_hex("0x63f7f41b"),
from_hex("0x27c89e9e"),
from_hex("0x09c1b7ad"),
from_hex("0x004a124f"),
from_hex("0x691a8125"),
from_hex("0x6924edbd"),
from_hex("0x29cdb1aa"),
from_hex("0x56bf4b5c"),
from_hex("0x2703c2c7"),
from_hex("0x19107ae4"),
from_hex("0x30c37517"),
from_hex("0x253c03bd"),
from_hex("0x623725c0"),
from_hex("0x37054961"),
from_hex("0x48ae028b"),
from_hex("0x52d40d06"),
from_hex("0x3e7d0eb6"),
from_hex("0x1d40d7dd"),
from_hex("0x29f924ee"),
from_hex("0x37083357"),
from_hex("0x59c995bc"),
from_hex("0x501e3fe0"),
from_hex("0x19024c7d"),
],
vec![from_hex("0x04377f31"),
from_hex("0x0a4a0017"),
from_hex("0x1f17ba47"),
from_hex("0x54276fdf"),
from_hex("0x1ad767cd"),
from_hex("0x4c397b7d"),
from_hex("0x45dad135"),
from_hex("0x1166cd59"),
from_hex("0x10032dd4"),
from_hex("0x26250b6c"),
from_hex("0x52802c2e"),
from_hex("0x53f6862f"),
from_hex("0x73fe56cf"),
from_hex("0x1f33e178"),
from_hex("0x02c41117"),
from_hex("0x2ccc0227"),
from_hex("0x44f9db11"),
from_hex("0x439fa653"),
from_hex("0x08c1efb8"),
from_hex("0x0dee8126"),
from_hex("0x157974cf"),
from_hex("0x3ed232d6"),
from_hex("0x2f2ad7ef"),
from_hex("0x2b3a4348"),
],
vec![from_hex("0x24802d4b"),
from_hex("0x0e3bf555"),
from_hex("0x094764ce"),
from_hex("0x1e5558cd"),
from_hex("0x300bd275"),
from_hex("0x41c2f5b5"),
from_hex("0x5fd9db22"),
from_hex("0x5681e3e6"),
from_hex("0x5e17625b"),
from_hex("0x2990a7d2"),
from_hex("0x146901e4"),
from_hex("0x09b26110"),
from_hex("0x451759ad"),
from_hex("0x4eb06038"),
from_hex("0x61c9ed3c"),
from_hex("0x074e4cb7"),
from_hex("0x51b17024"),
from_hex("0x507e4bb3"),
from_hex("0x487cdc37"),
from_hex("0x629c4f2c"),
from_hex("0x28f8531b"),
from_hex("0x271f4983"),
from_hex("0x038a6d28"),
from_hex("0x2c0aacd8"),
],
vec![from_hex("0x15545583"),
from_hex("0x101a363d"),
from_hex("0x15126e8a"),
from_hex("0x4e1ed8a5"),
from_hex("0x53d4f4d1"),
from_hex("0x3d07b7b3"),
from_hex("0x073ea0d9"),
from_hex("0x60998306"),
from_hex("0x00ffb607"),
from_hex("0x3e71b599"),
from_hex("0x730ea91f"),
from_hex("0x5fe87f4b"),
from_hex("0x49510355"),
from_hex("0x2ce9fd2a"),
from_hex("0x0b9451b8"),
from_hex("0x319c006d"),
from_hex("0x669ab96c"),
from_hex("0x71ee9e09"),
from_hex("0x5dc07b5e"),
from_hex("0x4611ee0d"),
from_hex("0x5022239a"),
from_hex("0x5a3ca2a3"),
from_hex("0x3f6830ca"),
from_hex("0x4928eae1"),
],
vec![from_hex("0x284e8831"),
from_hex("0x1cdef1a6"),
from_hex("0x3797153a"),
from_hex("0x42f4735d"),
from_hex("0x38cce46e"),
from_hex("0x1ef113c2"),
from_hex("0x5af0700d"),
from_hex("0x69ef808a"),
from_hex("0x3b9a08a3"),
from_hex("0x6aae8b15"),
from_hex("0x1bca8baf"),
from_hex("0x43fe3d1a"),
from_hex("0x3f08abbc"),
from_hex("0x13f6e4fa"),
from_hex("0x72948221"),
from_hex("0x53bd5821"),
from_hex("0x76f6675e"),
from_hex("0x3b26093c"),
from_hex("0x6e4ead9f"),
from_hex("0x11cd8332"),
from_hex("0x7035588c"),
from_hex("0x2575bb3d"),
from_hex("0x51f93a72"),
from_hex("0x22dad1b9"),
],
vec![from_hex("0x1120f193"),
from_hex("0x06ff8b82"),
from_hex("0x54b835cf"),
from_hex("0x3dc53b9e"),
from_hex("0x4d181e81"),
from_hex("0x7218c243"),
from_hex("0x11231c2b"),
from_hex("0x062fdc55"),
from_hex("0x2e2ae16d"),
from_hex("0x16d13882"),
from_hex("0x46f856e3"),
from_hex("0x3827488e"),
from_hex("0x7737cf0a"),
from_hex("0x620a9582"),
from_hex("0x38a1cae9"),
from_hex("0x150b8797"),
from_hex("0x506bd8aa"),
from_hex("0x47d6929c"),
from_hex("0x3f9205fd"),
from_hex("0x164ecbbf"),
from_hex("0x23d5093c"),
from_hex("0x0e9fde93"),
from_hex("0x562a2e48"),
from_hex("0x713a8433"),
],
vec![from_hex("0x5bab57ce"),
from_hex("0x005075f9"),
from_hex("0x3c9d0507"),
from_hex("0x2d25f9cd"),
from_hex("0x4cdf7499"),
from_hex("0x694cac91"),
from_hex("0x65c21198"),
from_hex("0x329c7d0b"),
from_hex("0x021d84c3"),
from_hex("0x6a61dfb1"),
from_hex("0x4ab97480"),
from_hex("0x19f2d1bd"),
from_hex("0x35381b5b"),
from_hex("0x0da575ff"),
from_hex("0x08afd461"),
from_hex("0x0fade176"),
from_hex("0x5b815cc2"),
from_hex("0x644290b2"),
from_hex("0x4ef463e7"),
from_hex("0x6ea5993e"),
from_hex("0x61b7b10b"),
from_hex("0x7081130d"),
from_hex("0x3d683910"),
from_hex("0x6860542b"),
],
vec![from_hex("0x1d7214bd"),
from_hex("0x367bf2b0"),
from_hex("0x48b48241"),
from_hex("0x1017b7be"),
from_hex("0x059453ab"),
from_hex("0x277337ec"),
from_hex("0x56277c87"),
from_hex("0x677bb976"),
from_hex("0x24190c2f"),
from_hex("0x2c717e0b"),
from_hex("0x59e2a73d"),
from_hex("0x4bf46e75"),
from_hex("0x270ebff5"),
from_hex("0x2e9a07a6"),
from_hex("0x47b4f2cc"),
from_hex("0x54d12ed3"),
from_hex("0x2bb16505"),
from_hex("0x745c060a"),
from_hex("0x3e0a397e"),
from_hex("0x2c5d842a"),
from_hex("0x03034fd5"),
from_hex("0x38cef2b1"),
from_hex("0x31927212"),
from_hex("0x423c33ef"),
],
vec![from_hex("0x4e7dfc7a"),
from_hex("0x037378f9"),
from_hex("0x1881ed25"),
from_hex("0x6af37772"),
from_hex("0x18ce1693"),
from_hex("0x4626f02f"),
from_hex("0x70732dcd"),
from_hex("0x0942f572"),
from_hex("0x65df735e"),
from_hex("0x5ad72db4"),
from_hex("0x699fe9cc"),
from_hex("0x35ab9cd7"),
from_hex("0x758a62eb"),
from_hex("0x0ae5ff35"),
from_hex("0x342e0c42"),
from_hex("0x1d3f9a7e"),
from_hex("0x2feedf99"),
from_hex("0x55e3734c"),
from_hex("0x56d75a3b"),
from_hex("0x040dfb91"),
from_hex("0x0361ad6c"),
from_hex("0x5a6aeb5d"),
from_hex("0x0de01972"),
from_hex("0x33328e03"),
],
vec![from_hex("0x13501f54"),
from_hex("0x204885fb"),
from_hex("0x43c85d92"),
from_hex("0x4a97c740"),
from_hex("0x424beb1b"),
from_hex("0x2012116a"),
from_hex("0x49694aa2"),
from_hex("0x247703cc"),
from_hex("0x4ba4bc45"),
from_hex("0x132cdb95"),
from_hex("0x3cafc24a"),
from_hex("0x241870e3"),
from_hex("0x1e582d31"),
from_hex("0x27ba0403"),
from_hex("0x1aa8fff0"),
from_hex("0x6eedc92c"),
from_hex("0x35d4decf"),
from_hex("0x2e722b3f"),
from_hex("0x36358015"),
from_hex("0x062d8da5"),
from_hex("0x4a0ff259"),
from_hex("0x41c55848"),
from_hex("0x67e4ea95"),
from_hex("0x40f69a47"),
],
vec![from_hex("0x0bba6386"),
from_hex("0x6f7efbff"),
from_hex("0x3d8fed85"),
from_hex("0x264b3587"),
from_hex("0x2c1d569b"),
from_hex("0x04b218e8"),
from_hex("0x3a939d97"),
from_hex("0x6b3a6c39"),
from_hex("0x29c25fb7"),
from_hex("0x6ffd0c02"),
from_hex("0x5e38ab0e"),
from_hex("0x0e3e636a"),
from_hex("0x324551bd"),
from_hex("0x19ac1d52"),
from_hex("0x6389c4b1"),
from_hex("0x15c77366"),
from_hex("0x3b746f85"),
from_hex("0x5e1eea00"),
from_hex("0x732b79a2"),
from_hex("0x73e81e4c"),
from_hex("0x2172727c"),
from_hex("0x58e8098c"),
from_hex("0x46c6e6c2"),
from_hex("0x07e9d643"),
],
vec![from_hex("0x5eca9a37"),
from_hex("0x304d75f1"),
from_hex("0x2294c0bd"),
from_hex("0x3d7ab743"),
from_hex("0x2636b5d5"),
from_hex("0x0f890758"),
from_hex("0x0afa5a3d"),
from_hex("0x41e4665b"),
from_hex("0x0b4c63fc"),
from_hex("0x1112be28"),
from_hex("0x0e9162b1"),
from_hex("0x6a00fcaa"),
from_hex("0x6cac103b"),
from_hex("0x153d5d75"),
from_hex("0x05ac5be5"),
from_hex("0x06519cce"),
from_hex("0x66941f1c"),
from_hex("0x1abeed57"),
from_hex("0x05f3b38b"),
from_hex("0x2dbe8560"),
from_hex("0x28c7ffb3"),
from_hex("0x06eed76a"),
from_hex("0x5404eed2"),
from_hex("0x28464e68"),
],
vec![from_hex("0x6937aa7d"),
from_hex("0x20cd555a"),
from_hex("0x41d20da1"),
from_hex("0x163d4a11"),
from_hex("0x4da2443d"),
from_hex("0x08c6343c"),
from_hex("0x5ec6eb45"),
from_hex("0x5e1b7c27"),
from_hex("0x29c7fd8e"),
from_hex("0x268f1b7f"),
from_hex("0x014ab25d"),
from_hex("0x1892edb1"),
from_hex("0x413222ca"),
from_hex("0x548a31a0"),
from_hex("0x765d9087"),
from_hex("0x64de0f9a"),
from_hex("0x3d0e6471"),
from_hex("0x7513a7ae"),
from_hex("0x3112d543"),
from_hex("0x2375ab22"),
from_hex("0x270250d0"),
from_hex("0x025b8b09"),
from_hex("0x574ca016"),
from_hex("0x02e4bb01"),
],
vec![from_hex("0x41786ccf"),
from_hex("0x41f0df6c"),
from_hex("0x43107975"),
from_hex("0x11ca0a05"),
from_hex("0x4b3d6afe"),
from_hex("0x5ad09060"),
from_hex("0x3da8de0a"),
from_hex("0x1573ad5b"),
from_hex("0x32384d13"),
from_hex("0x2e2cc2a4"),
from_hex("0x257be6c0"),
from_hex("0x246dd39b"),
from_hex("0x1d43bce2"),
from_hex("0x399670ed"),
from_hex("0x1c703658"),
from_hex("0x042b4e65"),
from_hex("0x2fcd523a"),
from_hex("0x58d576a5"),
from_hex("0x3f70e99e"),
from_hex("0x2c08c7e5"),
from_hex("0x048463f2"),
from_hex("0x30c41673"),
from_hex("0x327e05f6"),
from_hex("0x13476bbf"),
],
vec![from_hex("0x14971335"),
from_hex("0x2a9db91a"),
from_hex("0x48ceae5d"),
from_hex("0x0eab20e2"),
from_hex("0x627c3e30"),
from_hex("0x55697057"),
from_hex("0x0ab66b04"),
from_hex("0x51da9659"),
from_hex("0x4e7e6fba"),
from_hex("0x5c911a08"),
from_hex("0x093289b9"),
from_hex("0x5a95b9d6"),
from_hex("0x47a94672"),
from_hex("0x2b251d75"),
from_hex("0x334521f0"),
from_hex("0x32c685fb"),
from_hex("0x3431a4c5"),
from_hex("0x3a5c7f94"),
from_hex("0x319109af"),
from_hex("0x4c921429"),
from_hex("0x5dd16726"),
from_hex("0x60ea6e89"),
from_hex("0x47dc57e2"),
from_hex("0x2705784a"),
],
vec![from_hex("0x2eadb949"),
from_hex("0x6152ba98"),
from_hex("0x17e543ad"),
from_hex("0x1e65633a"),
from_hex("0x162f1877"),
from_hex("0x4b07c2b4"),
from_hex("0x5fc3caef"),
from_hex("0x45357bef"),
from_hex("0x65694da5"),
from_hex("0x4f35206b"),
from_hex("0x099d6860"),
from_hex("0x02ce0797"),
from_hex("0x7032c8f9"),
from_hex("0x21eb00e8"),
from_hex("0x5cb8810d"),
from_hex("0x1ae59be7"),
from_hex("0x48df9450"),
from_hex("0x620314f3"),
from_hex("0x37539abb"),
from_hex("0x477b9153"),
from_hex("0x72d3c7be"),
from_hex("0x6ca27c72"),
from_hex("0x767a7651"),
from_hex("0x191a449a"),
],
vec![from_hex("0x64e2a38c"),
from_hex("0x280cc6af"),
from_hex("0x28bf710a"),
from_hex("0x76bfe2c0"),
from_hex("0x40ed3108"),
from_hex("0x3beabed2"),
from_hex("0x18cfa693"),
from_hex("0x3672bd08"),
from_hex("0x3d0b66fb"),
from_hex("0x59af6345"),
from_hex("0x76d6cf74"),
from_hex("0x0b4f4043"),
from_hex("0x082538a9"),
from_hex("0x5680b41f"),
from_hex("0x73d88c5a"),
from_hex("0x1a038c65"),
from_hex("0x25b16b46"),
from_hex("0x40266a1f"),
from_hex("0x401fa170"),
from_hex("0x2c44ad35"),
from_hex("0x3c6e516d"),
from_hex("0x2d5ca9b3"),
from_hex("0x485ebe47"),
from_hex("0x3cbad540"),
],
vec![from_hex("0x1a317281"),
from_hex("0x03e74eb2"),
from_hex("0x1569d934"),
from_hex("0x0494659c"),
from_hex("0x034f41c3"),
from_hex("0x00b2f8a2"),
from_hex("0x5d7e821b"),
from_hex("0x2bb1d834"),
from_hex("0x06b36470"),
from_hex("0x2a42f149"),
from_hex("0x73e9fe13"),
from_hex("0x0d401689"),
from_hex("0x2f0b0fdc"),
from_hex("0x6cb6443c"),
from_hex("0x670e3987"),
from_hex("0x410c9579"),
from_hex("0x4b8fa592"),
from_hex("0x67d14ddc"),
from_hex("0x58c63aae"),
from_hex("0x33f6ac7b"),
from_hex("0x62496614"),
from_hex("0x5913b1ec"),
from_hex("0x338ed582"),
from_hex("0x4d4f4f02"),
],
vec![from_hex("0x19dfa11b"),
from_hex("0x005524e2"),
from_hex("0x5f7574d0"),
from_hex("0x5c5b3588"),
from_hex("0x0ee563ab"),
from_hex("0x05930821"),
from_hex("0x4c4c668e"),
from_hex("0x5a02d1c5"),
from_hex("0x33e4965c"),
from_hex("0x5b79d5c0"),
from_hex("0x730ca318"),
from_hex("0x2ce70f7b"),
from_hex("0x65611461"),
from_hex("0x6af41f50"),
from_hex("0x3a851c9d"),
from_hex("0x38225964"),
from_hex("0x45f49cd7"),
from_hex("0x0516405e"),
from_hex("0x63d9dbad"),
from_hex("0x4fbce612"),
from_hex("0x1f30cbb0"),
from_hex("0x47320ea7"),
from_hex("0x5c5a1db7"),
from_hex("0x344524d6"),
],
vec![from_hex("0x305f18aa"),
from_hex("0x4fefce1d"),
from_hex("0x2dd60db5"),
from_hex("0x37e7edb0"),
from_hex("0x33590038"),
from_hex("0x5ba76f30"),
from_hex("0x370a8395"),
from_hex("0x29114d66"),
from_hex("0x0ca70423"),
from_hex("0x64591365"),
from_hex("0x384f8781"),
from_hex("0x300190ae"),
from_hex("0x32abb521"),
from_hex("0x399cb85f"),
from_hex("0x5bb899ef"),
from_hex("0x68e000f3"),
from_hex("0x1ab3e268"),
from_hex("0x5cf5235f"),
from_hex("0x2b567559"),
from_hex("0x02e26480"),
from_hex("0x5df459ca"),
from_hex("0x2f379c3e"),
from_hex("0x5db69b04"),
from_hex("0x565b8f83"),
],
vec![from_hex("0x137f7ff7"),
from_hex("0x2dd419c1"),
from_hex("0x4c4af6e7"),
from_hex("0x49e58f6c"),
from_hex("0x16263dba"),
from_hex("0x694a7845"),
from_hex("0x01840406"),
from_hex("0x1f89c640"),
from_hex("0x1cd737aa"),
from_hex("0x58881e16"),
from_hex("0x462928d6"),
from_hex("0x2490dea3"),
from_hex("0x0bf92538"),
from_hex("0x37607a3d"),
from_hex("0x60321d26"),
from_hex("0x34118d9e"),
from_hex("0x1b9743bb"),
from_hex("0x018b4aad"),
from_hex("0x362d15da"),
from_hex("0x4cbb87c1"),
from_hex("0x384ae3c2"),
from_hex("0x48ce88f7"),
from_hex("0x27a25e4f"),
from_hex("0x47ef48c5"),
],
];
pub static ref RC24: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x75c89df8"),
from_hex("0x0af90431"),
from_hex("0x39e877bf"),
from_hex("0x18a5a8cd"),
from_hex("0x588e9a95"),
from_hex("0x16760b26"),
from_hex("0x026ff4a4"),
from_hex("0x2326df32"),
from_hex("0x5a0b7c6f"),
from_hex("0x37d3973d"),
from_hex("0x1e5bc883"),
from_hex("0x59d3664a"),
from_hex("0x677f8a14"),
from_hex("0x64a3389e"),
from_hex("0x0d81d503"),
from_hex("0x77f51a78"),
from_hex("0x1fc66dca"),
from_hex("0x13a094e3"),
from_hex("0x5d410ff1"),
from_hex("0x2383e213"),
from_hex("0x4f1144c3"),
from_hex("0x1ee540c8"),
from_hex("0x097edb05"),
from_hex("0x2c17a521"),
],
vec![from_hex("0x66927671"),
from_hex("0x76626203"),
from_hex("0x1de486e8"),
from_hex("0x440c19f5"),
from_hex("0x20bbb67a"),
from_hex("0x2d4f79b0"),
from_hex("0x55b64ceb"),
from_hex("0x6712fbb4"),
from_hex("0x24a3ec8a"),
from_hex("0x3b6062d5"),
from_hex("0x265abe23"),
from_hex("0x3b6fb81b"),
from_hex("0x43ddb4af"),
from_hex("0x49a5c4a8"),
from_hex("0x64581fc3"),
from_hex("0x77b795f1"),
from_hex("0x1e918db8"),
from_hex("0x550e2c6a"),
from_hex("0x6b3571c8"),
from_hex("0x3609bf61"),
from_hex("0x46ae6e8f"),
from_hex("0x41fe0f80"),
from_hex("0x20420c1a"),
from_hex("0x0e95ad8a"),
],
vec![from_hex("0x1b48deb1"),
from_hex("0x122ac59f"),
from_hex("0x0252c4a7"),
from_hex("0x2696a2c4"),
from_hex("0x01b232cf"),
from_hex("0x5c26d56b"),
from_hex("0x405535be"),
from_hex("0x20cc2fe6"),
from_hex("0x1c16804d"),
from_hex("0x5fa5a4b8"),
from_hex("0x579729ad"),
from_hex("0x63e11b88"),
from_hex("0x5601d544"),
from_hex("0x3eeeaa1a"),
from_hex("0x4dfd202b"),
from_hex("0x4fa5da37"),
from_hex("0x2118e7fc"),
from_hex("0x3eb830dd"),
from_hex("0x169ee87b"),
from_hex("0x2bd97286"),
from_hex("0x22865c3e"),
from_hex("0x6aaa6429"),
from_hex("0x29e0f68d"),
from_hex("0x6aca023a"),
],
vec![from_hex("0x4d02be5e"),
from_hex("0x4f170e62"),
from_hex("0x5cc04ba7"),
from_hex("0x20655f92"),
from_hex("0x6a216eea"),
from_hex("0x7685bdbd"),
from_hex("0x332f989c"),
from_hex("0x57a66733"),
from_hex("0x0719b431"),
from_hex("0x2f19a5c2"),
from_hex("0x5191f27f"),
from_hex("0x0e38bd91"),
from_hex("0x1c5abcda"),
from_hex("0x1da9f1bf"),
from_hex("0x42b01881"),
from_hex("0x5bf52e0f"),
from_hex("0x4dc17cb8"),
from_hex("0x1d4688d6"),
from_hex("0x18e0160d"),
from_hex("0x54841116"),
from_hex("0x6b381bc9"),
from_hex("0x5c4a838c"),
from_hex("0x0e3dc983"),
from_hex("0x71c18d85"),
],
vec![from_hex("0x71902c5e"),
from_hex("0x1654566c"),
from_hex("0x38b6f3a0"),
from_hex("0x35a19789"),
from_hex("0x2adf05e2"),
from_hex("0x07d01f0d"),
from_hex("0x02677f73"),
from_hex("0x385f532a"),
from_hex("0x3e2fb2ac"),
from_hex("0x4e88c53b"),
from_hex("0x1e370587"),
from_hex("0x4e64e63c"),
from_hex("0x5942f756"),
from_hex("0x16944480"),
from_hex("0x711cc845"),
from_hex("0x76a93011"),
from_hex("0x6c978579"),
from_hex("0x68f3467f"),
from_hex("0x47df3684"),
from_hex("0x09001f22"),
from_hex("0x3c1d9746"),
from_hex("0x70796779"),
from_hex("0x3b0bcbc9"),
from_hex("0x64665dab"),
],
vec![from_hex("0x55eb1733"),
from_hex("0x3a240c5c"),
from_hex("0x5a4445ac"),
from_hex("0x3623eb7e"),
from_hex("0x6c1a9a42"),
from_hex("0x0a024e58"),
from_hex("0x44097942"),
from_hex("0x240878ef"),
from_hex("0x3f507e57"),
from_hex("0x68b9393f"),
from_hex("0x43163825"),
from_hex("0x6d71852f"),
from_hex("0x5937ffff"),
from_hex("0x564b7092"),
from_hex("0x60d0dcb4"),
from_hex("0x414e0bf2"),
from_hex("0x754a4cd6"),
from_hex("0x4edd0db2"),
from_hex("0x341f2761"),
from_hex("0x6da77d03"),
from_hex("0x6f157bce"),
from_hex("0x436d5397"),
from_hex("0x5501d7ab"),
from_hex("0x310b522f"),
],
vec![from_hex("0x0ab56164"),
from_hex("0x150e3635"),
from_hex("0x0a7e3bc1"),
from_hex("0x05fac2a2"),
from_hex("0x68f51ab3"),
from_hex("0x1f03a3cf"),
from_hex("0x398e133a"),
from_hex("0x0f5d1399"),
from_hex("0x5f29a526"),
from_hex("0x6cea6946"),
from_hex("0x1dca5af8"),
from_hex("0x5c06e542"),
from_hex("0x1665a8f2"),
from_hex("0x4b950256"),
from_hex("0x6ad5b666"),
from_hex("0x68e13aff"),
from_hex("0x3c118567"),
from_hex("0x70ef24e6"),
from_hex("0x08fe6bb2"),
from_hex("0x77610aee"),
from_hex("0x140b4090"),
from_hex("0x12a59e03"),
from_hex("0x43376c38"),
from_hex("0x5cc0ffc8"),
],
vec![from_hex("0x1b05d461"),
from_hex("0x50cd7eb1"),
from_hex("0x320b07e2"),
from_hex("0x24cfbcfc"),
from_hex("0x12bb2eec"),
from_hex("0x33169cde"),
from_hex("0x5f7ea3ec"),
from_hex("0x3f690e4c"),
from_hex("0x2f47b8cd"),
from_hex("0x32d5e526"),
from_hex("0x3493e551"),
from_hex("0x07eac5d0"),
from_hex("0x111bfa27"),
from_hex("0x2f667258"),
from_hex("0x4c1c06d2"),
from_hex("0x6cd4b86c"),
from_hex("0x30702542"),
from_hex("0x53d64e17"),
from_hex("0x7143e320"),
from_hex("0x47e038ee"),
from_hex("0x6871b994"),
from_hex("0x4113c042"),
from_hex("0x240af147"),
from_hex("0x5cde3214"),
],
vec![from_hex("0x600fd4c2"),
from_hex("0x17a79c40"),
from_hex("0x43600bcc"),
from_hex("0x158238e7"),
from_hex("0x23082895"),
from_hex("0x53b32037"),
from_hex("0x583dd7e9"),
from_hex("0x1c2966ec"),
from_hex("0x4f1c4aa2"),
from_hex("0x5e004513"),
from_hex("0x3b80fd92"),
from_hex("0x4cfed7fe"),
from_hex("0x62679264"),
from_hex("0x59abcafe"),
from_hex("0x4ddde884"),
from_hex("0x45535ec3"),
from_hex("0x6a446628"),
from_hex("0x238b231e"),
from_hex("0x307d9f5a"),
from_hex("0x1128d0a2"),
from_hex("0x6ff378d4"),
from_hex("0x2cd023e3"),
from_hex("0x2f1d7c11"),
from_hex("0x4c10f8f9"),
],
vec![from_hex("0x6bd45d5c"),
from_hex("0x74c89ea9"),
from_hex("0x33cb1c8b"),
from_hex("0x2c94a9ce"),
from_hex("0x3816b43d"),
from_hex("0x0e65a71e"),
from_hex("0x5e38c082"),
from_hex("0x6427f754"),
from_hex("0x3bcce6ef"),
from_hex("0x6ea9c00e"),
from_hex("0x510a8434"),
from_hex("0x30063591"),
from_hex("0x06620981"),
from_hex("0x4beaf035"),
from_hex("0x4be4a698"),
from_hex("0x5ca330ec"),
from_hex("0x33d54bf7"),
from_hex("0x316d226b"),
from_hex("0x3fe68690"),
from_hex("0x54e0d88e"),
from_hex("0x197cc4e9"),
from_hex("0x23c98f88"),
from_hex("0x299beb0c"),
from_hex("0x1c598f09"),
],
vec![from_hex("0x772a2f2d"),
from_hex("0x28f39a58"),
from_hex("0x15c6d916"),
from_hex("0x5482d960"),
from_hex("0x1bcfe651"),
from_hex("0x17da1dbc"),
from_hex("0x4ae31a82"),
from_hex("0x3d1fb87a"),
from_hex("0x10e59612"),
from_hex("0x59fff611"),
from_hex("0x7151fd1f"),
from_hex("0x04308067"),
from_hex("0x538af856"),
from_hex("0x31ec4b46"),
from_hex("0x5ca7e0e1"),
from_hex("0x014f24bc"),
from_hex("0x34801c56"),
from_hex("0x400f2575"),
from_hex("0x42c0be20"),
from_hex("0x3fef7fd5"),
from_hex("0x40e16c35"),
from_hex("0x39a29264"),
from_hex("0x5139e92e"),
from_hex("0x6243e0e4"),
],
vec![from_hex("0x356f27cc"),
from_hex("0x022c022e"),
from_hex("0x47511780"),
from_hex("0x28cc6078"),
from_hex("0x358b8d3d"),
from_hex("0x45f840fa"),
from_hex("0x615d96d5"),
from_hex("0x4e68d893"),
from_hex("0x761e8520"),
from_hex("0x3ae0bc8d"),
from_hex("0x4d793ea9"),
from_hex("0x461c98dd"),
from_hex("0x0e6ae09e"),
from_hex("0x2473818a"),
from_hex("0x027d0ea1"),
from_hex("0x1e37b4fc"),
from_hex("0x5a9b918e"),
from_hex("0x1af57d91"),
from_hex("0x16b2e255"),
from_hex("0x3e968bb0"),
from_hex("0x025fff84"),
from_hex("0x4a0ae3b6"),
from_hex("0x196ea9cc"),
from_hex("0x492f54d7"),
],
vec![from_hex("0x21dd4a08"),
from_hex("0x63d6a965"),
from_hex("0x0d8d0c0c"),
from_hex("0x4f797854"),
from_hex("0x1ddd249b"),
from_hex("0x48ea3e56"),
from_hex("0x2028b394"),
from_hex("0x59ba09f9"),
from_hex("0x73e9f78e"),
from_hex("0x14d3b6cb"),
from_hex("0x095b67e2"),
from_hex("0x5b97fccb"),
from_hex("0x4ae9fd70"),
from_hex("0x1c3d8daf"),
from_hex("0x592bb255"),
from_hex("0x459d8bb0"),
from_hex("0x53284952"),
from_hex("0x62d219ff"),
from_hex("0x085b04e1"),
from_hex("0x292a4f83"),
from_hex("0x33ab42f3"),
from_hex("0x3b4848d7"),
from_hex("0x35b3b4e3"),
from_hex("0x2b104210"),
],
vec![from_hex("0x36bc80a0"),
from_hex("0x23bc9027"),
from_hex("0x5d3a8ec7"),
from_hex("0x0b24aed6"),
from_hex("0x0ede5278"),
from_hex("0x5e5305a8"),
from_hex("0x39ac900a"),
from_hex("0x05dc1627"),
from_hex("0x4294fabf"),
from_hex("0x6de5d842"),
from_hex("0x2a826d22"),
from_hex("0x1f30553c"),
from_hex("0x340b8c1b"),
from_hex("0x05b2b5d4"),
from_hex("0x752b7fd1"),
from_hex("0x1ee6d240"),
from_hex("0x63125d49"),
from_hex("0x09fe5b3e"),
from_hex("0x05f70546"),
from_hex("0x13eb2cbd"),
from_hex("0x0d833c10"),
from_hex("0x5a629eec"),
from_hex("0x5a7fd158"),
from_hex("0x0eb52380"),
],
vec![from_hex("0x560ad5c4"),
from_hex("0x29645160"),
from_hex("0x1170c734"),
from_hex("0x1822aac9"),
from_hex("0x217db6d3"),
from_hex("0x2e21c8d3"),
from_hex("0x606c5e6a"),
from_hex("0x75faa8f5"),
from_hex("0x3094fa7e"),
from_hex("0x21b00a43"),
from_hex("0x4bb30480"),
from_hex("0x498991be"),
from_hex("0x28b20b19"),
from_hex("0x5c3d4d5f"),
from_hex("0x0b992d6a"),
from_hex("0x2607ef95"),
from_hex("0x24188fae"),
from_hex("0x3bf8a077"),
from_hex("0x33f06cbf"),
from_hex("0x2cd92b31"),
from_hex("0x057d5b1b"),
from_hex("0x344f5403"),
from_hex("0x74b78582"),
from_hex("0x1f3d6a54"),
],
vec![from_hex("0x5f1e1ae8"),
from_hex("0x6136a9a2"),
from_hex("0x470c5e78"),
from_hex("0x02ad2fca"),
from_hex("0x4cd3a6bb"),
from_hex("0x05b4f5c1"),
from_hex("0x20436bea"),
from_hex("0x1bed9ec7"),
from_hex("0x1f29cc65"),
from_hex("0x1417eaa3"),
from_hex("0x0ba88347"),
from_hex("0x0a65070c"),
from_hex("0x03217e79"),
from_hex("0x3e5f5253"),
from_hex("0x60bb876e"),
from_hex("0x320e4cec"),
from_hex("0x53b2c52e"),
from_hex("0x3e1d6eff"),
from_hex("0x687a3e07"),
from_hex("0x112d32bc"),
from_hex("0x5af9296f"),
from_hex("0x2cded641"),
from_hex("0x6ecc492b"),
from_hex("0x45bd2f2c"),
],
vec![from_hex("0x5068b70b"),
from_hex("0x2563dc0f"),
from_hex("0x47e5ec52"),
from_hex("0x6e316d9b"),
from_hex("0x770839b4"),
from_hex("0x4fecdeaa"),
from_hex("0x20e2248a"),
from_hex("0x257fa6ed"),
from_hex("0x21abc9d3"),
from_hex("0x4aaae270"),
from_hex("0x17e21621"),
from_hex("0x70d18ab2"),
from_hex("0x4a23443e"),
from_hex("0x169492c3"),
from_hex("0x627575d6"),
from_hex("0x4bcf6471"),
from_hex("0x070d29e0"),
from_hex("0x75fbfe05"),
from_hex("0x08e3b575"),
from_hex("0x582caf96"),
from_hex("0x0ad360ea"),
from_hex("0x53e6e93d"),
from_hex("0x5ce70e60"),
from_hex("0x68b4d9c8"),
],
vec![from_hex("0x665572ef"),
from_hex("0x02d7409a"),
from_hex("0x645cdaf7"),
from_hex("0x1a6ffc30"),
from_hex("0x1cdb2768"),
from_hex("0x681b647b"),
from_hex("0x2744d691"),
from_hex("0x51749894"),
from_hex("0x1fa88ff1"),
from_hex("0x3b11764e"),
from_hex("0x71fec668"),
from_hex("0x12ad4534"),
from_hex("0x51ce85bf"),
from_hex("0x2fa22845"),
from_hex("0x4279a18a"),
from_hex("0x6436c1c4"),
from_hex("0x00ac710b"),
from_hex("0x64aa70d4"),
from_hex("0x6cb3f64d"),
from_hex("0x73215a9e"),
from_hex("0x1e0d8c6a"),
from_hex("0x43cba3a4"),
from_hex("0x207f2305"),
from_hex("0x3b06e336"),
],
vec![from_hex("0x3e1b5bb9"),
from_hex("0x02392281"),
from_hex("0x18b48bd7"),
from_hex("0x0ed07feb"),
from_hex("0x50fd2ce1"),
from_hex("0x27016dbd"),
from_hex("0x57328674"),
from_hex("0x474cb312"),
from_hex("0x77168659"),
from_hex("0x6adbaa3a"),
from_hex("0x6910fad6"),
from_hex("0x1443e8c4"),
from_hex("0x263c7e3e"),
from_hex("0x034b3bcb"),
from_hex("0x1bdfbbff"),
from_hex("0x0d60038e"),
from_hex("0x57283b50"),
from_hex("0x06989f09"),
from_hex("0x53e02e93"),
from_hex("0x0f36babc"),
from_hex("0x1d11c437"),
from_hex("0x34c59005"),
from_hex("0x0e84eb31"),
from_hex("0x76503e52"),
],
vec![from_hex("0x5172219b"),
from_hex("0x187801e0"),
from_hex("0x484aead8"),
from_hex("0x27658b1c"),
from_hex("0x29264a97"),
from_hex("0x3dce14e1"),
from_hex("0x35996177"),
from_hex("0x5d5371b7"),
from_hex("0x6ec08900"),
from_hex("0x5d816715"),
from_hex("0x20cfbffa"),
from_hex("0x613f7c59"),
from_hex("0x0569fcff"),
from_hex("0x0761a9cb"),
from_hex("0x2cfbcf11"),
from_hex("0x085eea02"),
from_hex("0x4860f9f0"),
from_hex("0x4d205005"),
from_hex("0x57f328bd"),
from_hex("0x1a650f78"),
from_hex("0x46ce7839"),
from_hex("0x770a894b"),
from_hex("0x1c0e9cb6"),
from_hex("0x6e0ca41a"),
],
vec![from_hex("0x0552da59"),
from_hex("0x594dec6b"),
from_hex("0x2aab23ed"),
from_hex("0x60c6eb54"),
from_hex("0x033206e3"),
from_hex("0x0c7a8237"),
from_hex("0x56a98019"),
from_hex("0x5479f680"),
from_hex("0x0c51522a"),
from_hex("0x35d2c421"),
from_hex("0x69a6d90b"),
from_hex("0x5e7946e4"),
from_hex("0x6b48ddca"),
from_hex("0x728e2313"),
from_hex("0x14dad2af"),
from_hex("0x3947f321"),
from_hex("0x67bd011f"),
from_hex("0x60c4f777"),
from_hex("0x472591d6"),
from_hex("0x32731626"),
from_hex("0x70a23d5b"),
from_hex("0x151b6c47"),
from_hex("0x6a67fb25"),
from_hex("0x2fe0c49e"),
],
vec![from_hex("0x54f4561b"),
from_hex("0x15704ee4"),
from_hex("0x16f90bb9"),
from_hex("0x3be1690c"),
from_hex("0x76c1febb"),
from_hex("0x50a35164"),
from_hex("0x509717e0"),
from_hex("0x0355f8d3"),
from_hex("0x668309fd"),
from_hex("0x54efe9b0"),
from_hex("0x49578bc5"),
from_hex("0x02fa220b"),
from_hex("0x2699c296"),
from_hex("0x5b07ec6a"),
from_hex("0x3df439cb"),
from_hex("0x6fa4b39c"),
from_hex("0x09e690d7"),
from_hex("0x0bbce5c4"),
from_hex("0x6a106fd9"),
from_hex("0x1c13ac7f"),
from_hex("0x1347d8fe"),
from_hex("0x4f5e5b3e"),
from_hex("0x6b5802b7"),
from_hex("0x62d98682"),
],
vec![from_hex("0x5a98822d"),
from_hex("0x5f84702e"),
from_hex("0x3126f240"),
from_hex("0x5a1aff1a"),
from_hex("0x77b04e66"),
from_hex("0x48c685c3"),
from_hex("0x355f8209"),
from_hex("0x2e739ce1"),
from_hex("0x1adf9544"),
from_hex("0x1b327099"),
from_hex("0x0ce1a5a0"),
from_hex("0x1129ee7e"),
from_hex("0x5b334254"),
from_hex("0x4d1d8f66"),
from_hex("0x23c29e16"),
from_hex("0x63ac7ba7"),
from_hex("0x513cb4e4"),
from_hex("0x52edd435"),
from_hex("0x4580818e"),
from_hex("0x55516239"),
from_hex("0x628cf778"),
from_hex("0x5eebf087"),
from_hex("0x15def2ec"),
from_hex("0x581ee8ce"),
],
vec![from_hex("0x6b4345c5"),
from_hex("0x62ab4957"),
from_hex("0x4af89e0f"),
from_hex("0x4424f30c"),
from_hex("0x23ad1768"),
from_hex("0x665a9fd6"),
from_hex("0x1c0b5ae1"),
from_hex("0x65abddb8"),
from_hex("0x7039a4b0"),
from_hex("0x21c65f02"),
from_hex("0x539f7cdc"),
from_hex("0x05ad0446"),
from_hex("0x4aae4ae6"),
from_hex("0x258bc9e4"),
from_hex("0x12e4cd47"),
from_hex("0x5a8e8499"),
from_hex("0x21ccbdef"),
from_hex("0x1aee7336"),
from_hex("0x622564eb"),
from_hex("0x5e6d5bbc"),
from_hex("0x48c2117a"),
from_hex("0x418c1333"),
from_hex("0x6afb386a"),
from_hex("0x0c5b7812"),
],
vec![from_hex("0x565753d9"),
from_hex("0x59a7ea4f"),
from_hex("0x37dd5860"),
from_hex("0x5bf14251"),
from_hex("0x56398160"),
from_hex("0x20cbf536"),
from_hex("0x1e49ee8c"),
from_hex("0x30e66c4d"),
from_hex("0x32357c88"),
from_hex("0x595c244d"),
from_hex("0x7464a56d"),
from_hex("0x3a31384e"),
from_hex("0x3d3273be"),
from_hex("0x14d339cb"),
from_hex("0x5044a65c"),
from_hex("0x1cd80ac0"),
from_hex("0x2d6ae173"),
from_hex("0x5bfd70f8"),
from_hex("0x05a66375"),
from_hex("0x29500b8c"),
from_hex("0x08d07343"),
from_hex("0x45bec74b"),
from_hex("0x045faaef"),
from_hex("0x6e763fd3"),
],
vec![from_hex("0x51aa9c1a"),
from_hex("0x6acf4d51"),
from_hex("0x35b040a0"),
from_hex("0x73bf91ea"),
from_hex("0x3177f4ab"),
from_hex("0x579e48cc"),
from_hex("0x241608ab"),
from_hex("0x333e6a9e"),
from_hex("0x0d495ddb"),
from_hex("0x6987b141"),
from_hex("0x18feffde"),
from_hex("0x2c91e2c2"),
from_hex("0x5dd6bff0"),
from_hex("0x5ce61d67"),
from_hex("0x779eb8b2"),
from_hex("0x54826cbb"),
from_hex("0x3001ecb4"),
from_hex("0x154bcd9a"),
from_hex("0x3be72d2e"),
from_hex("0x5455873b"),
from_hex("0x09ab84d6"),
from_hex("0x438c6a8b"),
from_hex("0x45ffda0e"),
from_hex("0x1ce4c9c7"),
],
vec![from_hex("0x35c8f2f0"),
from_hex("0x1dc40835"),
from_hex("0x756cc6f6"),
from_hex("0x0e146d08"),
from_hex("0x0ad9b699"),
from_hex("0x0541f6fa"),
from_hex("0x77b884d0"),
from_hex("0x17db8c98"),
from_hex("0x59c7d04e"),
from_hex("0x3e0eba95"),
from_hex("0x2a28a66e"),
from_hex("0x60566879"),
from_hex("0x1ae1e397"),
from_hex("0x331e0750"),
from_hex("0x38d0f91e"),
from_hex("0x52fcf20d"),
from_hex("0x4508cf06"),
from_hex("0x4826d030"),
from_hex("0x321f7db2"),
from_hex("0x022452ff"),
from_hex("0x375adcb4"),
from_hex("0x69b19019"),
from_hex("0x47442ecd"),
from_hex("0x0222de3d"),
],
vec![from_hex("0x3b30e99a"),
from_hex("0x5b4c7207"),
from_hex("0x71d04e99"),
from_hex("0x1f02c78e"),
from_hex("0x73fc0cdc"),
from_hex("0x4bb751f9"),
from_hex("0x2474d1bc"),
from_hex("0x637b9b71"),
from_hex("0x4766ad4f"),
from_hex("0x33060411"),
from_hex("0x2168b8b4"),
from_hex("0x4f15816e"),
from_hex("0x6ddacf2b"),
from_hex("0x0057c6ad"),
from_hex("0x5bfb91a9"),
from_hex("0x6027e02f"),
from_hex("0x5d967a56"),
from_hex("0x139d4629"),
from_hex("0x41f6cc04"),
from_hex("0x240c7304"),
from_hex("0x131eba30"),
from_hex("0x0cd4affb"),
from_hex("0x72b01bef"),
from_hex("0x4ef7a632"),
],
vec![from_hex("0x09478952"),
from_hex("0x6814a0f0"),
from_hex("0x72a61a71"),
from_hex("0x39bd9d86"),
from_hex("0x3ed1fbfc"),
from_hex("0x653afc45"),
from_hex("0x4c4ddb5d"),
from_hex("0x656b8199"),
from_hex("0x686caf27"),
from_hex("0x5caf0289"),
from_hex("0x20e047b0"),
from_hex("0x736702e2"),
from_hex("0x1b46d6ed"),
from_hex("0x64cd8fdd"),
from_hex("0x475354f5"),
from_hex("0x59f199b8"),
from_hex("0x32d5d81d"),
from_hex("0x2732f5f5"),
from_hex("0x09538182"),
from_hex("0x1c3ac6b0"),
from_hex("0x1f754ae0"),
from_hex("0x442a0cb1"),
from_hex("0x74ccefcd"),
from_hex("0x43013839"),
],
];
pub static ref POSEIDON_BABYBEAR_16_PARAMS: Arc<PoseidonParams<Scalar>> = Arc::new(PoseidonParams::new(16, 7, 8, 13, &MDS16, &RC16));
pub static ref POSEIDON_BABYBEAR_24_PARAMS: Arc<PoseidonParams<Scalar>> = Arc::new(PoseidonParams::new(24, 7, 8, 21, &MDS24, &RC24));
}