poseidon/

params.rs

use std::str::FromStr;

use mina_curves::pasta::{Fp, Fq};
use once_cell::sync::Lazy;

use crate::SpongeParams;

pub mod fq {
    use super::*;

    fn make_params() -> SpongeParams<Fq> {
        SpongeParams {
            mds: [
                [
                    Fq::from_str(
                        "28115781186772277486790024060542467295096710153315236019619365740021995624782",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22098002279041163367053200604969603243328318626084412751290336872362628294144",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "10518156075882958317589806716220047551309200159506906232124952575033472931386",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "8515206633865386306014865142947895502833797732365705727001733785057042819852",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "19310731234716792175834594131802557577955166208124819468043130037927500684373",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "361439796332338311597104753147071943681730695313819021679602959964518909239",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "2193808570710678216879007026210418088296432071066284289131688133644970611483",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "1201496953174589855481629688627002262719699487577300614284420648015658009380",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "11619800255560837597192574795389782851917036920101027584480912719351481334717",
                    )
                        .unwrap(),
                ],
            ],
            round_constants: Box::new([
                [
                    Fq::from_str(
                        "2517640872121921965298496967863234221143680281046699148760560696057284005606",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "3391756047431116221709518926936538303706203177575259437741546230828058541679",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "28193080211857729746868575888309975056941007202713113547154010421664334143056",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "25261619184426186938919514618416881383323154981235406731208902193655587998749",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "5438499261516835502981531641588657477212528137520578797088407969732830437134",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "1447697894671779324954748568939217281372628544919576009518449387265606369859",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "5035532530235542599906399941203951970682478985022204457211063504597080640029",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "18548939393800290417015907795270784249198528773378593112394621615021029911007",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "28314657632459005492203969796973258399484591559931227050853551342156833947891",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "10075465805557971120845970058070916255338843492716768289922460436606689369477",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "21985996556868691161386211003270106475915714625334030557267947035839814254081",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9778523497398309788873186849997676949503189428912377745814036481347657299161",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "6085447467925843146276340167082679235758707259098174769103982431882228334038",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "11214803418623679719680560978819619149235769633101428825693192995405955507848",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "20585482519401972421539035665320299097144487427998598740316244173221216198246",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "18602266896623204184748247002001496873223612100325866696399863661914256384486",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22165919841309962137671309308234475433816142848229812860682345190836583925843",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22833505632200982123686653495190412951871851216487329681987951602744930627412",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "200996541962081036547810490655955282117589336000744078845964972887355639644",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "17159390488590225463405148524511348095493761844950655304775985535830170165304",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "7519689807382250126180254188667761476713509751388558140260305473388567529705",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "14159331841037307097148990917607709903712709092721125605507719995418592745663",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "10490695046555645615062072066940833278139280813429718770298136076375411280286",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9996921069626538041923613626115903019578182147993504053879837245826104687293",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "28009241574980093348462093077828465154604666812509186537490618830383877236685",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "18925279443828804264179873719494108834579217607847079902207023181925588871175",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13126164514615718686767880517156253918404905174962666942976286681458411835722",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "1125667389564136291825905670957082668987611691949011617627091942772124917554",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "12737072162917928935765906421286553437026542524142430058538254259863452556200",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9855113244149548216327019561589719324434080884827484555441182992249251832158",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "6006604346195593001833550983798183088851044846011297061071167569148810544010",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "23783465709464699444911580329342599880163107932561352210466223087637763994288",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "1581060363083815351710754851350813999229829634252940169154424073664057276774",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "24121961545310887440574053281799796355427122479626872394472157625455666323022",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "23925781309638869606256007860000699567158045595326122474217734988331349678475",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "433512980570318160778040929743715681206456334448542248765142091911433454703",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "8080307140515367021419180108267113624095868360927897204642243727009503935719",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13661807750191096117929173962837770733539092996971801228126331071941306856508",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9268394414065063505331314418649987795374055416089324253185088859000252370756",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "22374115023493407761095751712373350824513305398485824175669182288521610150311",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22951274634403942446739133926874770994604864227598567536319143390467218980824",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "21411532836345163980832919797897483979345524322135010935120723250070247464549",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "20688285497159372157224857370703211924056803904697620218749985029000049442943",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "8350087190167057556241775495760369408781696125331535735138679647687106863977",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13485893160159637778707269611856683957779710980787754997470728774769162419576",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "4621792784192688819920303666439776744566536330750316034321950771579978771021",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13900656491552343190424687336475573267660717627286734246676255663734655019912",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "16577037405341365304416318048187907895286388691199320947077947552959834207823",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "17453637937712580666297652202332273322112052411250919589546137386514183913993",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9852736110707561006399582579453396957225552488023642073454517393228764176471",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "8053970357622019747109700798952789019805031210730923951116580579194625334710",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "14566849926060034944494603512439278530775668595134329897253012222562109882008",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "8863944349051942080060073891691580009950648437676309749771884964336231381737",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "16455762285584757654310476505019438984453107876908065440396394186006196612077",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "28098375311516838082882166381119795701982164671360574802728073046992978741339",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13538346067341652694825445642847479918140731375902310280683284825070643960891",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "18313412784975078534612748781201087502203257054025866271209086293337241477805",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "24807061345703288899043018750567607387907450632666147403804744880717736838940",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "16638378638176552952794487891875614248110181610295183306789394461536640085108",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "2342874860138849081032934096750004917991517717553229739958552529472431319656",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "21631810094765090996871180483650934431972930909326270651252393395613356531282",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "2220759912186713489010197903069023809260408491503960321105305330086947471014",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "14815764944505758746761442212662459585220143243155504464852948007238083120696",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "23947619952183462858644581465494050309407721428302029371055887418452994318961",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "25035254658153233628169609451068923631269927394392748023889572264723092874720",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "17468020412163678868776493601957969748197290347006692843306595815987772942732",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "15262198027618900223004625662874755104828479630165814039838611768431063172994",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "25161066724266754383358798644805908588326959881061318668106454787543611445887",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "2454250001039770891411267760383268680504653332090622148533496270387793031332",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "9171946491887082474979985164918822959719377078284664312866368737511724712644",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "6672870238005411132577302023934139592378291207852994424857452575898007687159",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "2950400608762766076731526167833938554190979516192019010641815746350334547745",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "10653725154501691589476837895400001173933804810435931645261606197625601363132",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "12717400214508961810851553873706609743505640660238109459222577386574996883747",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "5871058785976817081042949511195036111847495052209270758342334312740290470200",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "18192562665205900830717234913238180302424621739145466326708104656354353538015",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "19946412409172091711185698839696950657650658896270607012902209489827790455314",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "21997416257528392077410699901606794827305154904508120972585193876767785262539",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "16525092684784199198745517563091041705366544303388462641935777835264970071331",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "27613372589672512522307803997948488817865025374001297632527692577079750053456",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "23369674747888778238616865774843237791546925005553032792584302158017141634655",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "11012136308159330675912474383855146192700147583104742924419195363346115019405",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "20632243971343595216801828590185617698839041744000918292113739726624680548813",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "10530371852841765918702282883445676639977895775479854136871270050807595649710",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "1610594053831245596683250788274018471388810111366046583216577135605955718023",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "452300846172044702598793611907955884294868639769163388132276731316720796255",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22297945145153422883128810575530182077542612397826351322358420927950400316504",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "28212510899948152845929142163236606049756849316851154583029383581129293825706",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "28325924586146971645663587791728624896861517146549428987043066595915712075981",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "23489013325315178311518261165509151135555509351661386106070231815049642443022",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "10150108696154604591036176090028652090941375062280095655463112192524823306544",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "14935856239824547404885450872472169780177654619496758596151670953532153419587",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "4367251608666794961207658726914177158125339342277880902441218521648798930454",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "14278046449956534912766622635951826857049583276976844525135170835571509013020",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "11627801940273881243235293875277734806211947530882079339115454640100174268255",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22853853581419894582873479603685652928885253184240650995805892818180355600894",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "4405193089432137585625363585733613667088817369599257533888439029942466720878",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "26434497741746827048559732407319982377645052620918789373329661707603241810667",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "23558650878002025381506445692526977061352711282820117441110868042756853707843",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "27427423077748345654234924309581695092179468167973406115643356520054395647078",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "17585801825757985265979208086560185342609289319992678737491966299829354657891",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "22079131836316223121286612953926945430480043835170303484162677394496378207190",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "20126865597655889981803452476686954944892814234259869552204215672627920656068",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "5591585339015997308682985123056479221565470335707041924016523106405300562835",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9422316572086279209843572429137982927615080330725918371521370800874341571474",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "2735677349719528139570614238939713941030373684882307164259316901880218894412",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "16229147459127626384090303399894157248853232127961182470501666316464149067069",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "17151067888069760812629817914442472623785916486309268828873486698948911058517",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "13833972862865550568348750465964022581895521701070662509936215512761615491351",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9624679817699048440664645568701817641311119158936258215534754849666144699339",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "10273179847163882031630140477902608240997857384703412878925192706057610103613",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "3172037826021850467928085880043492158321918352296515787555947245998877188849",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "28890802281119993101506497911757988639840653958256859430239635494708187190915",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "23496953773368274731821824281559682992786773767847557735733251263969009271239",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "1509044982655321910215442389040863370827049078919961070795919190828975736187",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13927172650979098916742472053302036482743492746437467103459483008024082210879",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "17248379591027039069313293591621091031164062825086122980769287846951363066520",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "11350333545134487336540967650634077894516131586708748380417042089147896079201",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "639497848254405996993150855123515463224731962182127668267769103213580096582",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "24528361599642320451530127347946798949257664936307333999618279589325586618880",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "8217015496508457685301448884203977810298711070026260090660268003968421268717",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "6703444480721420507060701216472376128524677965704475494357937059812166295103",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "8051365375874262471960241848873604339195556527603956582828833313772444122472",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "10412735174026641936105532807659667596947675372330827493649954160029449767122",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "8447576362386697729021229138353952824970707645851763166490398451107606293885",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "4802965296970904162106502573136505305073730277702271660292532219583823320181",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "3244354881334856885788568976540712586633556478250043997221528214026130052269",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "817270901440592571623549787267103386561304980129799240746702119063425010300",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "6566338353152134577893356938981496347522747926131278635019050445923229718029",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "4854521709622003124815206874897232905514824969466266873443062691298769768277",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "12830134034124699064152980183243986699241944691238427861184919962819448276943",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "24309439157688106320977023683093060719537142150089588950480669629964661236785",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "1853791709949511636795588377016980571084333441972847324139062389997895453872",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "11399505004623970417786749745036397690793259153591025248188283534764565207306",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "6280235834578097246976697944083887557501831809932305676532914637669922657807",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "1516294190187225192808636261678393666537186816904214776860202535671714230097",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "5835813607391397757416951433662507638966861369364000865214031356023042341328",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "25777313996516799380163546628133415256678997511953860435781885414872422583905",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "9749298878960864917089442034293906589697892682402070689770627645324414273893",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "19986612197193695239708718365565978831607994386509967951279410162135133793419",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "5020585421647265067890838871263925730422335215511670656851726444447972642755",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "7256822974971238434100017358319972368738353570339258522235883585691301791128",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9789139064283320903202623693175751994730652446378861671859478926598420184293",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "19283468246375057076525422714896652730563534118070235174488237489890270899533",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "11487321478704551489982188818171823402443882145686911658585221913500937481156",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "16513958012405406860890342996091255867910990589443610357743227675107758695101",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "24764429351173766080138047602436205744310671344674490826288279531917797263231",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "8256258316375000496541664568891934707113720493937218096466691600593595285909",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "26919625894863883593081175799908601863265420311251948374988589188905317081443",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "10135851848127171199130812615581006825969108287418884763125596866448544567342",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "17567146349912867622479843655652582453162587996421871126612027345809646551661",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "2524802431860351616270075327416865184018211992251290134350377936184047953453",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "3417609143162661859785838333493682460709943782149216513733553607075915176256",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "6906455011502599710165862205505812668908382042647994457156780865092846286493",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "21042097659487317081899343674473811663642293019125869396575405454328274948985",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "25222370053690749913129090298406788520061040938312366403907461864202905656238",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "18933201791079410639949505893100361911334261775545573219434897335758052335005",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "14503331557348715387048413780116585195932777696828173626366829282421027153184",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "3558781473325529402549318082942465709639711182863041375748599816583729962116",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "23932570601084008621895097434501731960424360312878373523779451810455362953625",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "13286131463754478912858022007443470896920464302917391606059553157137090717219",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "9969435194445819847988134248075866286921574284754991873902788928171429847506",
                    )
                        .unwrap(),
                ],
                [
                    Fq::from_str(
                        "10821551500865029673311799086099720530496516676117927814621168667836737594374",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "57689402905128519605376551862931564078571458212398163192591670282543962941",
                    )
                        .unwrap(),
                    Fq::from_str(
                        "4484359679395800410695081358212522306960518636189521201445105538223906998486",
                    )
                        .unwrap(),
                ],
            ]),
        }
    }

    pub fn params() -> &'static SpongeParams<Fq> {
        static PARAMS: Lazy<SpongeParams<Fq>> = Lazy::new(make_params);
        &PARAMS
    }
}

pub mod fp {
    use super::*;

    fn make_params() -> SpongeParams<Fp> {
        SpongeParams {
            mds: [
                [
                    Fp::from_str(
                        "12035446894107573964500871153637039653510326950134440362813193268448863222019",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25461374787957152039031444204194007219326765802730624564074257060397341542093",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27667907157110496066452777015908813333407980290333709698851344970789663080149",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4491931056866994439025447213644536587424785196363427220456343191847333476930",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14743631939509747387607291926699970421064627808101543132147270746750887019919",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9448400033389617131295304336481030167723486090288313334230651810071857784477",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10525578725509990281643336361904863911009900817790387635342941550657754064843",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27437632000253211280915908546961303399777448677029255413769125486614773776695",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27566319851776897085443681456689352477426926500749993803132851225169606086988",
                    )
                        .unwrap(),
                ],
            ],

            round_constants: Box::new([
                [
                    Fp::from_str(
                        "21155079691556475130150866428468322463125560312786319980770950159250751855431",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16883442198399350202652499677723930673110172289234921799701652810789093522349",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17030687036425314703519085065002231920937594822150793091243263847382891822670",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "25216718237129482752721276445368692059997901880654047883630276346421457427360",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9054264347380455706540423067244764093107767235485930776517975315876127782582",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26439087121446593160953570192891907825526260324480347638727375735543609856888",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15251000790817261169639394496851831733819930596125214313084182526610855787494",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10861916012597714684433535077722887124099023163589869801449218212493070551767",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18597653523270601187312528478986388028263730767495975370566527202946430104139",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15831416454198644276563319006805490049460322229057756462580029181847589006611",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "15171856919255965617705854914448645702014039524159471542852132430360867202292",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "15488495958879593647482715143904752785889816789652405888927117106448507625751",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "19039802679983063488134304670998725949842655199289961967801223969839823940152",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4720101937153217036737330058775388037616286510783561045464678919473230044408",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10226318327254973427513859412126640040910264416718766418164893837597674300190",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "20878756131129218406920515859235137275859844638301967889441262030146031838819",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7178475685651744631172532830973371642652029385893667810726019303466125436953",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1996970955918516145107673266490486752153434673064635795711751450164177339618",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15205545916434157464929420145756897321482314798910153575340430817222504672630",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25660296961552699573824264215804279051322332899472350724416657386062327210698",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13842611741937412200312851417353455040950878279339067816479233688850376089318",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "1383799642177300432144836486981606294838630135265094078921115713566691160459",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1135532281155277588005319334542025976079676424839948500020664227027300010929",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4384117336930380014868572224801371377488688194169758696438185377724744869360",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "21725577575710270071808882335900370909424604447083353471892004026180492193649",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "676128913284806802699862508051022306366147359505124346651466289788974059668",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25186611339598418732666781049829183886812651492845008333418424746493100589207",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10402240124664763733060094237696964473609580414190944671778761753887884341073",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "11918307118590866200687906627767559273324023585642003803337447146531313172441",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16895677254395661024186292503536662354181715337630376909778003268311296637301",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "23818602699032741669874498456696325705498383130221297580399035778119213224810",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4285193711150023248690088154344086684336247475445482883105661485741762600154",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19133204443389422404056150665863951250222934590192266371578950735825153238612",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "5515589673266504033533906836494002702866463791762187140099560583198974233395",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "11830435563729472715615302060564876527985621376031612798386367965451821182352",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7510711479224915247011074129666445216001563200717943545636462819681638560128",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "24694843201907722940091503626731830056550128225297370217610328578733387733444",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27361655066973784653563425664091383058914302579694897188019422193564924110528",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21606788186194534241166833954371013788633495786419718955480491478044413102713",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "19934060063390905409309407607814787335159021816537006003398035237707924006757",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8495813630060004961768092461554180468161254914257386012937942498774724649553",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27524960680529762202005330464726908693944660961000958842417927307941561848461",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15178481650950399259757805400615635703086255035073919114667254549690862896985",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16164780354695672259791105197274509251141405713012804937107314962551600380870",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10529167793600778056702353412758954281652843049850979705476598375597148191979",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "721141070179074082553302896292167103755384741083338957818644728290501449040",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22044408985956234023934090378372374883099115753118261312473550998188148912041",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27068254103241989852888872162525066148367014691482601147536314217249046186315",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "3880429241956357176819112098792744584376727450211873998699580893624868748961",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17387097125522937623262508065966749501583017524609697127088211568136333655623",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "6256814421247770895467770393029354017922744712896100913895513234184920631289",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "2942627347777337187690939671601251987500285937340386328746818861972711408579",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24031654937764287280548628128490074801809101323243546313826173430897408945397",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14401457902976567713827506689641442844921449636054278900045849050301331732143",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "20170632877385406450742199836933900257692624353889848352407590794211839130727",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24056496193857444725324410428861722338174099794084586764867109123681727290181",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "11257913009612703357266904349759250619633397075667824800196659858304604714965",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "22228158921984425749199071461510152694025757871561406897041788037116931009246",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9152163378317846541430311327336774331416267016980485920222768197583559318682",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13906695403538884432896105059360907560653506400343268230130536740148070289175",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "7220714562509721437034241786731185291972496952091254931195414855962344025067",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27608867305903811397208862801981345878179337369367554478205559689592889691927",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13288465747219756218882697408422850918209170830515545272152965967042670763153",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "8251343892709140154567051772980662609566359215743613773155065627504813327653",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22035238365102171608166944627493632660244312563934708756134297161332908879090",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13560937766273321037807329177749403409731524715067067740487246745322577571823",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "21652518608959234550262559135285358020552897349934571164032339186996805408040",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22479086963324173427634460342145551255011746993910136574926173581069603086891",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13676501958531751140966255121288182631772843001727158043704693838707387130095",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "5680310394102577950568930199056707827608275306479994663197187031893244826674",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25125360450906166639190392763071557410047335755341060350879819485506243289998",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22659254028501616785029594492374243581602744364859762239504348429834224676676",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "23101411405087512171421838856759448177512679869882987631073569441496722536782",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24149774013240355952057123660656464942409328637280437515964899830988178868108",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "5782097512368226173095183217893826020351125522160843964147125728530147423065",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "13540762114500083869920564649399977644344247485313990448129838910231204868111",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20421637734328811337527547703833013277831804985438407401987624070721139913982",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7742664118615900772129122541139124149525273579639574972380600206383923500701",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "1109643801053963021778418773196543643970146666329661268825691230294798976318",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16580663920817053843121063692728699890952505074386761779275436996241901223840",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14638514680222429058240285918830106208025229459346033470787111294847121792366",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "17080385857812672649489217965285727739557573467014392822992021264701563205891",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26176268111736737558502775993925696791974738793095023824029827577569530708665",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4382756253392449071896813428140986330161215829425086284611219278674857536001",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "13934033814940585315406666445960471293638427404971553891617533231178815348902",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27054912732979753314774418228399230433963143177662848084045249524271046173121",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28916070403698593376490976676534962592542013020010643734621202484860041243391",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "24820015636966360150164458094894587765384135259446295278101998130934963922381",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7969535238488580655870884015145760954416088335296905520306227531221721881868",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7690547696740080985104189563436871930607055124031711216224219523236060212249",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "9712576468091272384496248353414290908377825697488757134833205246106605867289",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "12148698031438398980683630141370402088785182722473169207262735228500190477924",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14359657643133476969781351728574842164124292705609900285041476162075031948227",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "23563839965372067275137992801035780013422228997724286060975035719045352435470",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4184634822776323233231956802962638484057536837393405750680645555481330909086",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16249511905185772125762038789038193114431085603985079639889795722501216492487",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "11001863048692031559800673473526311616702863826063550559568315794438941516621",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4702354107983530219070178410740869035350641284373933887080161024348425080464",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23751680507533064238793742311430343910720206725883441625894258483004979501613",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "28670526516158451470169873496541739545860177757793329093045522432279094518766",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3568312993091537758218792253361873752799472566055209125947589819564395417072",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1819755756343439646550062754332039103654718693246396323207323333948654200950",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "5372129954699791301953948907349887257752247843844511069896766784624930478273",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17512156688034945920605615850550150476471921176481039715733979181538491476080",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25777105342317622165159064911913148785971147228777677435200128966844208883059",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "25350392006158741749134238306326265756085455157012701586003300872637887157982",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20096724945283767296886159120145376967480397366990493578897615204296873954844",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8063283381910110762785892100479219642751540456251198202214433355775540036851",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4393613870462297385565277757207010824900723217720226130342463666351557475823",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9874972555132910032057499689351411450892722671352476280351715757363137891038",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23590926474329902351439438151596866311245682682435235170001347511997242904868",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "17723373371137275859467518615551278584842947963894791032296774955869958211070",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2350345015303336966039836492267992193191479606566494799781846958620636621159",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27755207882790211140683010581856487965587066971982625511152297537534623405016",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "6584607987789185408123601849106260907671314994378225066806060862710814193906",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "609759108847171587253578490536519506369136135254150754300671591987320319770",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28435187585965602110074342250910608316032945187476441868666714022529803033083",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "16016664911651770663938916450245705908287192964254704641717751103464322455303",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17551273293154696089066968171579395800922204266630874071186322718903959339163",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20414195497994754529479032467015716938594722029047207834858832838081413050198",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                    "19773307918850685463180290966774465805537520595602496529624568184993487593855",
                )
                .unwrap(),
                Fp::from_str(
                    "24598603838812162820757838364185126333280131847747737533989799467867231166980",
                )
                .unwrap(),
                Fp::from_str(
                    "11040972566103463398651864390163813377135738019556270484707889323659789290225",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "5189242080957784038860188184443287562488963023922086723850863987437818393811",
                )
                .unwrap(),
                Fp::from_str(
                    "1435203288979376557721239239445613396009633263160237764653161500252258220144",
                )
                .unwrap(),
                Fp::from_str(
                    "13066591163578079667911016543985168493088721636164837520689376346534152547210",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "17345901407013599418148210465150865782628422047458024807490502489711252831342",
                )
                .unwrap(),
                Fp::from_str(
                    "22139633362249671900128029132387275539363684188353969065288495002671733200348",
                )
                .unwrap(),
                Fp::from_str(
                    "1061056418502836172283188490483332922126033656372467737207927075184389487061",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "10241738906190857416046229928455551829189196941239601756375665129874835232299",
                )
                .unwrap(),
                Fp::from_str(
                    "27808033332417845112292408673209999320983657696373938259351951416571545364415",
                )
                .unwrap(),
                Fp::from_str(
                    "18820154989873674261497645724903918046694142479240549687085662625471577737140",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "7983688435214640842673294735439196010654951226956101271763849527529940619307",
                )
                .unwrap(),
                Fp::from_str(
                    "17067928657801807648925755556866676899145460770352731818062909643149568271566",
                )
                .unwrap(),
                Fp::from_str(
                    "24472070825156236829515738091791182856425635433388202153358580534810244942762",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "25752201169361795911258625731016717414310986450004737514595241038036936283227",
                )
                .unwrap(),
                Fp::from_str(
                    "26041505376284666160132119888949817249574689146924196064963008712979256107535",
                )
                .unwrap(),
                Fp::from_str(
                    "23977050489096115210391718599021827780049209314283111721864956071820102846008",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "26678257097278788410676026718736087312816016749016738933942134600725962413805",
                )
                .unwrap(),
                Fp::from_str(
                    "10480026985951498884090911619636977502506079971893083605102044931823547311729",
                )
                .unwrap(),
                Fp::from_str(
                    "21126631300593007055117122830961273871167754554670317425822083333557535463396",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "1564862894215434177641156287699106659379648851457681469848362532131406827573",
                )
                .unwrap(),
                Fp::from_str(
                    "13247162472821152334486419054854847522301612781818744556576865965657773174584",
                )
                .unwrap(),
                Fp::from_str(
                    "8673615954922496961704442777870253767001276027366984739283715623634850885984",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "2794525076937490807476666942602262298677291735723129868457629508555429470085",
                )
                .unwrap(),
                Fp::from_str(
                    "4656175953888995612264371467596648522808911819700660048695373348629527757049",
                )
                .unwrap(),
                Fp::from_str(
                    "23221574237857660318443567292601561932489621919104226163978909845174616477329",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "1878392460078272317716114458784636517603142716091316893054365153068227117145",
                )
                .unwrap(),
                Fp::from_str(
                    "2370412714505757731457251173604396662292063533194555369091306667486647634097",
                )
                .unwrap(),
                Fp::from_str(
                    "17409784861870189930766639925394191888667317762328427589153989811980152373276",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "25869136641898166514111941708608048269584233242773814014385564101168774293194",
                )
                .unwrap(),
                Fp::from_str(
                    "11361209360311194794795494027949518465383235799633128250259863567683341091323",
                )
                .unwrap(),
                Fp::from_str(
                    "14913258820718821235077379851098720071902170702113538811112331615559409988569",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "12957012022018304419868287033513141736995211906682903915897515954290678373899",
                )
                .unwrap(),
                Fp::from_str(
                    "17128889547450684566010972445328859295804027707361763477802050112063630550300",
                )
                .unwrap(),
                Fp::from_str(
                    "23329219085372232771288306767242735245018143857623151155581182779769305489903",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "1607741027962933685476527275858938699728586794398382348454736018784568853937",
                )
                .unwrap(),
                Fp::from_str(
                    "2611953825405141009309433982109911976923326848135736099261873796908057448476",
                )
                .unwrap(),
                Fp::from_str(
                    "7372230383134982628913227482618052530364724821976589156840317933676130378411",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "20203606758501212620842735123770014952499754751430660463060696990317556818571",
                )
                .unwrap(),
                Fp::from_str(
                    "4678361398979174017885631008335559529633853759463947250620930343087749944307",
                )
                .unwrap(),
                Fp::from_str(
                    "27176462634198471376002287271754121925750749676999036165457559387195124025594",
                )
                .unwrap(),
            ],
            [
                Fp::from_str(
                    "6361981813552614697928697527332318530502852015189048838072565811230204474643",
                )
                .unwrap(),
                Fp::from_str(
                    "13815234633287489023151647353581705241145927054858922281829444557905946323248",
                )
                .unwrap(),
                Fp::from_str(
                    "10888828634279127981352133512429657747610298502219125571406085952954136470354",
                )
                .unwrap(),
            ],
        ]),
    }
    }

    pub fn params() -> &'static SpongeParams<Fp> {
        static PARAMS: Lazy<SpongeParams<Fp>> = Lazy::new(make_params);
        &PARAMS
    }
}

pub mod fp_legacy {
    use super::*;

    fn make_params() -> SpongeParams<Fp> {
        SpongeParams {
            mds: [
                [
                    Fp::from_str(
                        "5328350144166205084223774245058198666309664348635459768305312917086056785354",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "15214731724107930304595906373487084110291887262136882623959435918484004667388",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22399519358931858664262538157042328690232277435337286643350379269028878354609",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10086628405675314879458652402278736459294354590428582803795166650930540770072",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17127968360683744052278857147989507037142007029142438136689352416106177192235",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14207324749280135281015658576564097509614634975132487654324863824516044294735",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "3059104278162906687184746935153057867173086006783171716838577369156969739687",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16755849208683706534025643823697988418063305979108082130624352443958404325985",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16889774624482628108075965871448623911656600744832339664842346756371603433407",
                    )
                        .unwrap(),
                ],
            ],
            round_constants: Box::new([
                [
                    Fp::from_str(
                        "1346081094044643970582493287085428191977688221215786919106342366360741041016",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10635969173348128974923358283368657934408577270968219574411363948927109531877",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18431955373344919956072236142080066866861234899777299873162413437379924987003",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "5797044060651575840084283729791357462720161727701814038830889113712361837236",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "931288489507796144596974766082847744938192694315568692730730202141894005205",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13659894470945121760517769979107966886673294523737498361566285362771110125394",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "6076231707445968054305995680347976771585015308155855387339303513025362636128",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28822740034050339685362260108484262889265034407340240070058997651710236456303",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23420266473857869790486107029614186913447272961845992963194006142267563993493",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "13753917374184785903125509246122783296344288469304898921025291716613575849357",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22396739346703340038555577564698139382745239004673153148674304627904081092826",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13064238335532551154986111986409392866270911640785653458047811526842088084911",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "23165923875642452719095776619341762858050322341374771345641255745672274104746",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1876216571769482372914291210815859835162659440705283782713345335434924136736",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25448252060136178247213604035267580231762596830634036926922217427938159849142",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "2161875315509206970842862195937323600322108268401381254431163181777726747153",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19159855698625842998331760283165907305622417625829203038229273729196960321630",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24828563875172432296791053766778475681869974948122169083176331088266823626561",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15959479662608710141128458274961057999257961784282074767105536637788386907463",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8006369581283017287449277389162056290714176164680299906116833200510117952858",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18794336794618132129607701188430371953320538976527988886453665523008714542779",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "19408271715954593722501381885401160867835377473312521553027032015227895029571",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13654747284005184272412579731446984220568337794941823533879059135026064413631",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14094055032353750931629930778481002727722804310855727808905931659115939920989",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "13241818625838429282823260827177433104574315653706102174619924764342778921524",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25709259239494174564705048436260891089407557689981668111890003079561388887725",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26866626910239634723971078462134580196819809568632305020800296809092442642381",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "23886826350713085163238005260075062110062681905356997481925492650252417143049",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16853602711255261520713463306790360324679500458440235992292027384928526778856",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18444710386168488194610417945072711530390091945738595259171890487504771614189",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "16896789009769903615328691751424474161656500693270070895928499575572871141439",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23842266984616972287898037872537536999393060934879414668030219493005225085992",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24369698563802298585444760814856330583118549706483939267059237951238240608187",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "25360195173713628054110426524260405937218170863260484655473435413697869858790",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1486437708678506228822038923353468635394979165769861487132708983207562337116",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18653498960429911228442559598959970807723487073275324556015861725806677047150",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "18878179044241268037057256060083772636369783391816038647949347814518015576522",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "178715779905629247116805974152863592571182389085419970371289655361443016848",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8381006794425876451998903949255801618132578446062133243427381291481465852184",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4176946262813877719206528849579392120806054050640974718891398605746592169324",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16376345520728802444699629729684297833862527190772376028981704525651968727081",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8399065769082251057361366626601550736334213197703006866551331927128775757919",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15435308585611812393531506745122614542196708285088622615406141986333182280857",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4082259282787276939431186930090898350392871145699460879678141552997816391817",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26348742719959309014730178326877937464605873211235784184917342950648457078699",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "9707631711734344681918469569872517425107158187591261754498805460753455298868",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27910768846011709391567916011595957279088224137468948238696800459136335473132",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20407239095656434708569263842372155762970847207558227886302782130015730063802",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "22726225412881182965250630589245572283256255052470345984553083359461473893802",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "12443967854426795490638709950679156338200426963050610832781263082981525248175",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27102543658848146076219989119639465430524061997280788166887046421706499775415",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "14427224233985680214097547669945064793149553513421479297921556194475574770861",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22917454832925781549840198815703114840452733537799472739275668965081704937832",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3455076056123630366063931123762198941796412458154689469887583689725886013901",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4513100023937785913596662867311227004762025658663076805918211014066645403017",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18187619530784075723418065322038024507729605774832001333883311123910954334059",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9447065431426150382325592560406989926365684509675374414068135115024495130938",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "3227816098015819796753427754968234889554095489076864339942014527747604603014",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14798316759185072116520458171957899889489461918408669809912344751222514418582",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23013904852315603905843158448056763116188801262838729536210355401378476650033",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "20979191509934291452182967564058656088941447895799901211038858159903580333267",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20772973010251235271448378823573767262405703078344288856168565499702414379868",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10105446427739226002497411811738001382334316505480517822035303561899927603685",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "11079074761356717003579108002319997196881121172538617046865136940931215263187",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4693927775411489288330326150094711670434597808961717172753867514688725690438",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18581720304902876944842830383273503265470859268712618325357902881821721540119",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "3065369948183164725765083504606321683481629263177690053939474679689088169185",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18515622379147081456114962668688706121098539582467584736624699157043365677487",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17563088600719312877716085528177751048248154461245613291986010180187238198006",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "26199746176994924146211004840756471702409132230831594954444947705902602287290",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7576136600627345523051497639367002272003104458453478964661395239732811642605",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20058687874612168338994287374025378897088936171250328231848098497610185784281",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "16894722532414195606958290526999761110785277556463400588047573469106594850228",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13961730805696859614283621225672002906734926278118993580398533742874863598733",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25256842011135514243352951950573936602906198374305137963222382546140030647211",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "18530360047537856737482157200091774590035773602620205695980247565433703032532",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23014819965938599260086897799541446473887833964178378497976832161473586995397",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27911426213258307990762460361663504655967992659180759140364181941291843542489",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "1067338118323302017358103178057182291035336430305886255160210378977812067042",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17219092885519007424608854460610388434712113621163885775309496940189894433620",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16432921127615937542183846559291144733339643093361323334499888895135356545408",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "28608851042959977114787048070153637607786033079364369200270218128830983558707",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10121629780013165888398831090128011045011860641816380162950736555305748332191",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2348036340843128746981122630521268144839343500596932561106759754644596320722",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "16619881370356823200358060093334065394764987467483650323706184068451904156452",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2302436627861989749837563733434625231689351276818486757748445924305258835336",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27514536540953539473280001431110316405453388911725550380123851609652679788049",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "9459277727420672604737117687200019308525004979918488827092207438664125039815",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23425670740358068509956137586663046763224562225383386726193078231034380596217",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7641885067011661443791509688937280323563328029517832788240965464798835873658",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "9579420382351699601929202663836555665702024548386778299996961509578687980280",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18513671386572584282611234979588379470994484682444053600751415262497237017703",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24923151431234706142737221165378041700050312199585085101919834422744926421604",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "21131320841803068139502705966375283830095161079635803028011171241658723560073",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19208476595309656066589572658712717685014329237892885950958199953675225096566",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24023185216737416080949689106968568821656545490748664446389634158498624398204",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "7510552996848634969347937904645640209946785877619890235458182993413526028718",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3694415017252995094553868781762548289196990492336482360084813900937464847638",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9219021070107873028263141554048987416559034633883158827414043929220388719352",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "5058327241234443421111591959922712922949620710493120384930391763032694640881",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13148252221647574076185511663661016015859769210867362839817254885265598775418",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "15186790492457240277904880519227706403545816456632095870015828239411033220638",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "2775942914650502409705888572245750999561427024488403026572311267798009048466",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "6277965230841030155341171319927732572492215818164736949144854827643964384893",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24144742149845235561087977558785057713814731737434473021812189457617252043745",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "25789129719327437503403457598813971826156253950521984610569937361506914183550",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21500534320778995945845999974779950304491968082325255355181901574840373597824",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17185359848218837018503091932245529880546896465437232425673134558221638601375",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "12253896579078110143384981818031883112606762215016553811786428215758384195713",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "12956658260778456372481429232709881794962204180363200699121804724437678625542",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3023603786717368708677300377055384474816569333060487675635618249403832078921",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4186492855716808019562789862833898284927736051002588766326482010810259565130",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4263939782228419774639068267872291539552889472311225829898746091327730032923",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24068843626280451423530509388397151179174104901782990365720205643492047328816",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "14564937827374621319716285527475223392664010281568256859627186463065876537730",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28367596550218705971881480694115935470211319172596432472834880507822452927283",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28712267437482356021504544448225827500268648754270274754623969882031853409874",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4542596163006916397403529184431773692747461300288194722982487051249951403191",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2530461821259252672899452671728393208543894014761816288817584587718369998371",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "12886393063011539390567049190923398676964700147222878509238966758839020897414",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "21593897590707514492037699253654745501762191795293908682495110982956631870528",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13233005790593128135480716846773978578237145313006994631606474472023504621256",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21621863098292803642478350494794106282518362577273973885587684567452726939909",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "26068620073001644720969640099644251616742620988609091568084348314770436291745",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18248589586787935500122854210401321966459127818593446990365211078521058875685",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21247134484403265289037859533347798468858819117600251067578809852124865474448",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "7947383127165915366383984718363902897504221803836013123394785749404572432524",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22173041014621867335598230447618036223462011647696367239478182269973488867154",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16773227734018849308448505860847939069870370055633571816925675705713088305139",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10708707957340055662073314227607620808612686977606082605219160019699644826999",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21249897193797038261479589555720746994050836195265348846222835266344091683000",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "12581195059139097540117398803363514148192715293133623516709277290477633379593",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "19779599816866992123290302397082614570282926215253589712189610064229996603178",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21749216503901548676985371189807470207364320167486559936962401093285243029177",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17600045923623503357380202389718735904174992978547372448837488832457719009224",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "2732872979548118117758016335601225525660858727422778256671975055129965858636",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13703031005128062046175331918702218558750713240446179585947851411173844703597",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28447710105386636841938034820015573492556750872924193415447818187228356409281",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "28539960355005748517007309210788803416171161412204526246799800716567376494244",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21329318452221893900731030722137844458345358926323127858742388587761302609863",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28135302149599894709369178097439582767613940517471323224020113411362601191873",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "24980774120400248734054527936006392540889095705961960837980443629260392758683",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20339911045808632098936066397942175169549806052128535543540543556255197716643",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7929293103930252545581851978492699598413941396422930641071359388697302362494",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "8911092207145893152276662096451247820054843777071569723455408545101628926203",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19648860643145256523615441075182036100116634560394529500146405733687718224516",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14635387208623683806428528837466762532853903031263830054986064902455379735903",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "11555212214346132926966321609673228184079851030522218543981385635403167028692",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20896918157639814425520058178561910811657326967880217845710779511927814874973",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4650158165912007049140499755153804318686705949436165235742106170124284287326",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "13880660273492757167295696447853232191657893303250187467329180558670697369810",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8043529172463774320604378774840863923445982272478964686447801046272917236836",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2134399296482715903442913099374581981696436050603410080564843555725771329441",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "27320952903412641133501507962185246982787769547770982814240701526492601978122",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23417491374379751329394424924400186404791519133465537872457405970098902747611",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17612427354278346772575179176139417348059847375297761006336024476146551185903",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10710998507064742997612080847223278109404482930427999113323732519626499166548",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14958094513415797513745395709487730603918953350067504982704138489305723550923",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24096319595904213497633343966229498735553590589105811393277073274927955202995",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "17983724131200292654039765185049138356840415443160477259330748730019147254309",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17598096800487588874709548646068838880468456205252324677357706597166777506441",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27420647821110229619898200875848631488422182349567475956209153112306555222281",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "448538544835457571662601142415301047108854812427100562339376187510452313026",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23494184556634922103535803143214434479598067155171780264810485708203176455201",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22626342941879801989161990529511235538216563009907378573817996229389756621777",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "26128268137723417163973860961686381960826033145738852158792607959175787222856",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20225791828042873305317281581105429726352058325970107209484198122707862156597",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7538871133759632802857159609785118198934349221046986784429069814655215585732",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "26184554861259642274153262777073624024579929401668865520166966302070394487366",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28755259264665180745537307265993667261709206143628938749669440804401623257679",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "11896066093033549470312328497237649508068258723531931099214795928200015717321",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "21657721599978732693249012287058163532690942515202465984736373311077240614059",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9214914097169852704753116653702415951907628005986883140609006971322091003693",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18710111680849814325169297240208687402588261569152088592693815711857504371037",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "6813635166770764528979084175325709935892248249948967889926276426090222296643",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20546585456429436268067726231902751119458200511988152296570567167520382569278",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20087466019194902429054761607398988292568594301671509779549344754172952693871",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "28185105286740691904534067831357491310995891986363455251895371651360605333143",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10108348212894231193041286244259038275269464277821588425688314560368589986063",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "11433633215392393209829215018579238412423821563056156785641278458497271271546",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "27870881917195016999862550657996865268956893566432995492427618003637597051321",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "102309803677783876701097881491240456320211833502658383473112057006867019389",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22844040227595875612525628393174357057929113317578127744718774517498324646590",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "18364790233947478619325319418813215212267974311771564959136180502266118026133",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2480624341921718230432383518425561514824501138863702825916674641657321180841",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16778939567530361665956758171503829349658551798564323167725356065198936433124",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "11947564511486966895926950599696532964589539443187518177489990556481125699966",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3133187646540385483015602955087323554103587039123577645562801570574691666057",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27704797101265438206569218421707753788081674727344603874614391656565567951541",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "13001484695584753475562184349533365512515447041450030471627087395341039487710",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "477322000667279478600757543806155989948171541982639893984064422067850617496",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13913755821658634147813329813115566967428755223601185963529801459396673113438",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "16621869429023470107454028095846067937827722393398508604914831452950874033411",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21755744236927410239079501831014076529931327263341620300431356747367343619046",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26538666591151124505694487799121414506088199961481579132019627484065014831180",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "3066480818457008068617042549071052338581291837882909165666223566402713429090",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16182268213934119294035309949459684472027705439038023775276926916166831108357",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28907604876608422892474268478706783033050951245339691569015166507728369585190",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "27973960109508292680965426133498827831691369851701664449575719912259359998113",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1456924360278399121996742356757866616312146358469991014696110099534285524446",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8234248752911525485438611255163504976087091103090603316695312869292347668495",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "8716078950082339630026654067608811496722305720644485560320987802533380421009",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19016744645809919602099479306503354923553336014593353020688463619133130053825",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24379650661051444982012238084495990858827340608012118841005379796362233056432",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "2245379544097631382062919677963998259142792890502492881341386639439507471783",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28788137434161061988371619554419440748189388934884757179010092973102292086583",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7187000185648741287953633167647835668543536354944774631102766873251849991238",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "18319349500538500800225762827448369057030532278398270164660609327776487168142",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "2622932985948021877314529887962683530522545893985767148345336304947201715671",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "13805188629797792210337544360632964855143280581052079479249966961215582531026",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "27457600993464082637917106210690168172469473943609357897393615707457194410878",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "15448646156961779103834447043970817898237835202826003934642165760908058355399",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9396792545729486882231669677795667529746274932273033601723318032992363022062",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "9927877141952679457141759789181418464292082444806533413864151258248124544859",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23827901395971835838179844085051957393677906360196119690926757794561937573142",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3273544693673216914876067527455588276979859627093391584406340272737391174619",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "19571510438350300564152393820251652609646082150148656806391655428002614034315",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "4458840243585913642400750597703353770666314833058197517675446022682775625834",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "6452218213610300363069953741424106105609715382419342511693148495219793324457",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "14558167930891460678441266912176752652821641543245953113671886345167213541771",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10650967986920075561478528461783351160938460620955779955379459848889204404950",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19990009778942542934049216419052172134625404062770188357110708518621145688588",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "26855242974447190235826233682457047761532515293146087151296725996543442567035",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22785340043356532865086769889360674409753343398766563441587096485751538658065",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28603049427449348335651629195385434188071937908693764500052489540779792538285",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "20545812864989828913452616721240947168977365844984763819184465128164378967167",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23234068381345797209897730226956922073109641728569353961504167817770340037954",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26031714567641615877877111172701145299483019910006153132858512509897185854695",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "9512221744061419790435674197238913998387834650389922233458121639503195504983",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "12587458000103271975978240683793268604398305885278203470492658961734100340536",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9670291694005369437277651504604785512303147991710650505302465204429311229197",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "26995526763045548800439747262386290359229145489609341602564040676717570935439",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23742712112104280264401317024221734961713400615669958343926511931219510484675",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27931469778579449247589315744656633392873808631802461175539563849884447358271",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "20669006894143187877081688942720159738269397552445286314270368345994751825389",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26891772301075275370472640177651637211280740381619976926886106618375467277414",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28387986011980449959047232529988203397251084614417760995257355718700961696092",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "6579105010484741592730389416372694666279917604793318157514380025250233913402",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "11007035767869292700964744408562802781669930023548892567535397874932420229930",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "981148366863906885900456473323410468923514528856216824044152942069412627408",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "22213671088722307302576907504985884923571642958053627659840326928319445671280",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "1318836216310789598614608105109389429335273432455224127576823891011367206122",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "25586582796990779718352441955439394949194222626688223867952982491529809559257",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "4923739488579452777913681531125585976446366144127161879759262506690369040090",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23505612338866210737103599484620591026802005128655081877133994175016351514827",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "323887003859465324514901860965142186539600668250760639664361851354147799637",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10198923064967306784017949469108033682156920551672348936591491217255268794658",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "9593680688139131432883442351722730169325112619984238956948153423155998917175",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "27027988263960602112273050725720071355535922812577299127302015348825197871870",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "14419883951157390867695097127684346981136020111885301573583640959136319507752",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "5104414988075833278683649298543440897371415916271358703850262680431809374355",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "24739655595299332818980677669648719986462429574612913501586844601377825836782",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "28522818684103966731129743408029731246564480741348128436668680764518115102581",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21520350704208288978690888796633940487888044365108767319141211249242880355961",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "17391005598311948834360476853940353239444383292422171321575043660157438608537",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "15367833944125677011173327826570204350687925236257190051755087781855930646142",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21715073802090413714601069529558707101797361591183718695054701329871284436172",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8994093285353831008525761670339342200997965950202092028313103110478252647618",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "8370824693889782161629525898408725452177580012023459750897244954935682978671",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16123253540853556024347150096993154278773652905830608614979368087152152043083",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "3535380953353495025888433493640531836449699255364366295870140701379497967423",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "6954518484798178646508803478426114267143074508396663899281411171704702743829",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "28903134801897070276701950388422104654018369750191967384271618837091859516942",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "20872505363530172448468374920196608937030884647150175861507911076568784054834",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "6902861581703501105786795670676641959401710346423594578401934671029571262513",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10124161387604183369443890585742198433184078889862870469507328332805848271064",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10488004060799269337071647841224034919633445750252076195310163972966405029030",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "507704911991278613147490289466075160618843900088471236546244459176211783848",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7252739745607302667257774481690407709040936359589867974787811552896597703097",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23278073497974004442836030100920157527910770509761505828038443336325476654930",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "22766285055433137793164317120096790621982728188995759745859222009100808389090",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "23129058299483468195787339200845749049960038336751758017949899311636830205152",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "16665333681978951552434356320651834889869437822496200946959897681307959400425",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "12145699202182574939376505075528461451757079041659894988784442097333218352048",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "26340666275844437932755852805027863696219004039301187587209926587657008948704",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19208771804191839410002226941825269105677187954811130189835856228258013753206",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "21957102494792377508237608216278079874536155315851198461024084071231867104453",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "6933367436450995525851693784691226222726503560893470094614235356287049091852",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "15707767379191450768747057313641112321773921923533732633534831270357733757271",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "27661963645951389261638591385668507557739541354225916772550248746235106571003",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "19699458096897937575096494582288688995241392471402204995195057374756282223421",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "902873385171181344315871113842580653512118892800584003934454469411716098791",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "17184835876565576154014372215369798779520343573944211203710896053325717110660",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "664657295519303589036289440053175741110032988007278988577620229144220576240",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "10803972669668998371638869508774217165881281885838503958226056357738500321396",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "2329846733754251453632375727999372856194157027336139087170310553870624325301",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "14139944357035048486675740400655356660678187875721949218090128899571575479791",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18368148273419807418427674359327442879484531833435081951870369910704734685351",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "10480273665080572189328459165704340191901489646067580012574464138528963201459",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21773636700078124500346009061678153597323236568110076029811348966753228682835",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "18184268307211429260956076021417309535471438696101133218049142374847151474905",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "25957533025669311312382992376854735734491934602484112256289764602447226406852",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22223261506176684934865714490719116745135417403915426392159449667435294570739",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "22937309162832499167063076416585504361695925730111272512450449042837586253575",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "16956181785481598286719868503945127919581091625126206673934113115358441284347",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "8497782777197814773596870810881707148695901557289856910220737358078100998191",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "21135503731586600979470064722475007625236017670426339278983640892218291297054",
                    )
                        .unwrap(),
                ],
                [
                    Fp::from_str(
                        "17809297343844488723046665739910571149089769215421130894378638450427880983923",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "72435395972188389387093550708873189001876361107443937983754878061522372356",
                    )
                        .unwrap(),
                    Fp::from_str(
                        "7511239878692099209014947248389283109997289411550315391143819429585903287870",
                    )
                        .unwrap(),
                ],
            ]),
        }
    }

    pub fn params() -> &'static SpongeParams<Fp> {
        static PARAMS: Lazy<SpongeParams<Fp>> = Lazy::new(make_params);
        &PARAMS
    }
}