use crate::poseidon::ArithmeticSpongeParams;
use mina_curves::pasta::Fq;
use once_cell::sync::Lazy;
use std::str::FromStr;
fn params() -> ArithmeticSpongeParams<Fq> {
ArithmeticSpongeParams {
mds: vec![
vec![
Fq::from_str(
"25059545165736646824438510995018528850798284624488112529736697979897721366717",
)
.unwrap(),
Fq::from_str(
"16698749787253722942243837797889445179074274353678606740096686335476872429399",
)
.unwrap(),
Fq::from_str(
"8431542578059462988142441820574484670502416261430105626118810753064502454172",
)
.unwrap(),
],
vec![
Fq::from_str(
"24729854844697760654067608751525498327180690314591492982304918187023029914826",
)
.unwrap(),
Fq::from_str(
"1121552144213806241339137182024814961508305746462827911242566288860442556748",
)
.unwrap(),
Fq::from_str(
"13091758359064753420271764138904670126701916846914918026096660522220974412796",
)
.unwrap(),
],
vec![
Fq::from_str(
"14318325434506839029297004068378670093722923223466359838374948921878384497878",
)
.unwrap(),
Fq::from_str(
"21049625586117008961018856577112352485632537866388888422067379870460247825481",
)
.unwrap(),
Fq::from_str(
"11967204246156045515212780049644733421582972293043836026003728262137316485428",
)
.unwrap(),
],
],
round_constants: vec![
vec![
Fq::from_str(
"27823288320934189888335104419667051541440213716337979953029039814477122015803",
)
.unwrap(),
Fq::from_str(
"7253519329434178666336171171011092435792450637855327869661074429483992798663",
)
.unwrap(),
Fq::from_str(
"12943190030917713819083161989292505641412002214667543002424543294305586713622",
)
.unwrap(),
],
vec![
Fq::from_str(
"27652450736585745228854776198724711889399928847227796610514615862285675851603",
)
.unwrap(),
Fq::from_str(
"14974144387861463358629448488728583756510094143360287299992064027672013096218",
)
.unwrap(),
Fq::from_str(
"7097911473075039536684392748485048129620058816999734741035507137919094344000",
)
.unwrap(),
],
vec![
Fq::from_str(
"9833471627477871590542564294396788818371219099618369953520953128833069622998",
)
.unwrap(),
Fq::from_str(
"1216722705894969315906023467727879380441696627034784137237245320657648994073",
)
.unwrap(),
Fq::from_str(
"23711484374443627488130462875874481115682053816071105446952037381155017895779",
)
.unwrap(),
],
vec![
Fq::from_str(
"20334834189812750348389095362218130162301260954195045344340626330588177435942",
)
.unwrap(),
Fq::from_str(
"4366529093468402654059406041856606540091882399834904947969748538808812090209",
)
.unwrap(),
Fq::from_str(
"19522556558624240319308906783506879200944684005866343832929046513996276368523",
)
.unwrap(),
],
vec![
Fq::from_str(
"23468156490044127088707992399042874063294495237928703268006456122691893114531",
)
.unwrap(),
Fq::from_str(
"10734041842950229608874281327056547473719120183996972794393760960989413485309",
)
.unwrap(),
Fq::from_str(
"3234488841736382875399536096222344212453291206089588556042783786752950726222",
)
.unwrap(),
],
vec![
Fq::from_str(
"7306686533350672818132556583061081086083445583634785280645571504913340166178",
)
.unwrap(),
Fq::from_str(
"10055837153364380487257619433543992440564488619143210451383396316865395141767",
)
.unwrap(),
Fq::from_str(
"17005554504252596333905431799020688136174578956026736789538843112027911340688",
)
.unwrap(),
],
vec![
Fq::from_str(
"11088831290647913265184319169987825710158339243590017331996929570375044581141",
)
.unwrap(),
Fq::from_str(
"18272514567796081346048223631818362002154999137167000861967874931307115963229",
)
.unwrap(),
Fq::from_str(
"2041522009924764288246767723256644894737485859434724922096489305438150594740",
)
.unwrap(),
],
vec![
Fq::from_str(
"11154210356751829838084431411705166756691650190195364032751879907682556256563",
)
.unwrap(),
Fq::from_str(
"23653929191474563116794828027291046485627178938492016942565292972650213420708",
)
.unwrap(),
Fq::from_str(
"10285757729660670290227890459658768244478343389595417793240783735403842747803",
)
.unwrap(),
],
vec![
Fq::from_str(
"27122162076320933627388879342386660773804566925381935727677186578594924773004",
)
.unwrap(),
Fq::from_str(
"25134653885736994960102027470761976149413229279137043556790564613470281817026",
)
.unwrap(),
Fq::from_str(
"6659993804933127797936877003954612022106867848874586482405999929720922911898",
)
.unwrap(),
],
vec![
Fq::from_str(
"1999981756946475588545224006048368808065463727746380893415897089701535614681",
)
.unwrap(),
Fq::from_str(
"117353258519553885966322353309393133659964765643696354970870351531909803419",
)
.unwrap(),
Fq::from_str(
"6394630448856946333677807337170062255969284635756530106258303122060761829375",
)
.unwrap(),
],
vec![
Fq::from_str(
"10402812455948335282625861441472459100503153859758204506020258199084032529891",
)
.unwrap(),
Fq::from_str(
"24521576250845873373537149390654765866957414335470107480004100764170074644129",
)
.unwrap(),
Fq::from_str(
"28343148273143818383375888384222625178643820136230475659994359540667696060401",
)
.unwrap(),
],
vec![
Fq::from_str(
"19466274031477176253567256907114468319559962421369951854132011198919308086813",
)
.unwrap(),
Fq::from_str(
"15950373298313107490097624474333726880960801439930364792944142444680782981647",
)
.unwrap(),
Fq::from_str(
"17502012461772831993035812876278636151120700925824710547719185259039723973873",
)
.unwrap(),
],
vec![
Fq::from_str(
"13427943193313984564171438077343446106584745896824089935661921301233540577663",
)
.unwrap(),
Fq::from_str(
"19169237962582795898123052276700824726897554497737731003794686518711369308701",
)
.unwrap(),
Fq::from_str(
"9083808098781854981749406088158848274120691731417104666413783119140757689434",
)
.unwrap(),
],
vec![
Fq::from_str(
"3085572928600572710130215355481483413152463940337003200200686333839836936060",
)
.unwrap(),
Fq::from_str(
"6423923726405952993270285921266354528708083436156049822651047436988725799335",
)
.unwrap(),
Fq::from_str(
"11711163607312960445460153090393005414044253191457667104588071606706527083035",
)
.unwrap(),
],
vec![
Fq::from_str(
"22862764769570580579955370870655020558642400260785510683021349826526091593487",
)
.unwrap(),
Fq::from_str(
"27106527830212782583531586155197640258773355519954630305727973089302997251797",
)
.unwrap(),
Fq::from_str(
"16868720082666046473782251283858811018289758418191781142790257643516182531272",
)
.unwrap(),
],
vec![
Fq::from_str(
"23158332713461282002423665990353034524451940720249144308509697639018478890344",
)
.unwrap(),
Fq::from_str(
"4196222884247438401050717959999141753538715859111095883718384227804271580571",
)
.unwrap(),
Fq::from_str(
"22572557742560406175483660351232922626321427879380236408573364865152875751999",
)
.unwrap(),
],
vec![
Fq::from_str(
"6498384178588263785275487016065720553418371000134613854044334919909896078231",
)
.unwrap(),
Fq::from_str(
"19713457172464396779910830357144111010125169288012289325852007667562797201617",
)
.unwrap(),
Fq::from_str(
"9370618609381654599580351346089018265074763897101213494189302119360756555515",
)
.unwrap(),
],
vec![
Fq::from_str(
"17332110085907729652621872688438506098032926644356340523235380228784153361946",
)
.unwrap(),
Fq::from_str(
"15828217198541208438489225959666895536847479530801819210983017536719128875310",
)
.unwrap(),
Fq::from_str(
"22909304389117426005516739639132057953847831090140119017131773808660581359339",
)
.unwrap(),
],
vec![
Fq::from_str(
"13274846258473860762348270229895556617343668531781906800111616196606379168678",
)
.unwrap(),
Fq::from_str(
"20563817685937794654177709363835160405142894424010788995801747935877119235477",
)
.unwrap(),
Fq::from_str(
"20063600011389636949850146896035168067037303328482473908141578341678944583640",
)
.unwrap(),
],
vec![
Fq::from_str(
"15561372644915625354729031742269409074452750500059702572378336917069173281200",
)
.unwrap(),
Fq::from_str(
"1198490580487628040011397824278054034135841708228898001350812771879916960859",
)
.unwrap(),
Fq::from_str(
"18879421345448691096589106007214815329241576402832734110268197859756832871926",
)
.unwrap(),
],
vec![
Fq::from_str(
"27399632471000964892968952930054846863781961828780329177494048571243833336763",
)
.unwrap(),
Fq::from_str(
"2834864942083315409826100384502236980961959328095446142898875620023252496233",
)
.unwrap(),
Fq::from_str(
"4869045848545701242953923765295279010470656159359352534992875895020324731123",
)
.unwrap(),
],
vec![
Fq::from_str(
"14325690392479768681007652408098324173976655892283539787053225046370602615453",
)
.unwrap(),
Fq::from_str(
"25414347192966841451685828069955147897403238857128755301675290249558576625379",
)
.unwrap(),
Fq::from_str(
"16590289516213461810017744664371295027301564689635234008641715363769691252951",
)
.unwrap(),
],
vec![
Fq::from_str(
"7999784177991937194560403228390571132248134775394758539082341051882961743020",
)
.unwrap(),
Fq::from_str(
"27627395050531728876502002078316976742781103442109539911472055005902825690089",
)
.unwrap(),
Fq::from_str(
"18036356111926470640247668504029296840956365668466479796170120459318979414011",
)
.unwrap(),
],
vec![
Fq::from_str(
"5913242795575813219801658492942666827872903959995896555280069960017119884723",
)
.unwrap(),
Fq::from_str(
"14937809672911513589131385409454363020800493802245991188388679796557583708641",
)
.unwrap(),
Fq::from_str(
"3172852326416764473757677332305817213305384800572730229499136253125245597387",
)
.unwrap(),
],
vec![
Fq::from_str(
"1832396283457909430686926169612235735546922286254241081539828449889942491358",
)
.unwrap(),
Fq::from_str(
"28715821183944831340251190244581222742951105435037341519427068245935486106710",
)
.unwrap(),
Fq::from_str(
"14690804016462235339916279821852369558429158839477443587616468985654313024916",
)
.unwrap(),
],
vec![
Fq::from_str(
"10594946257886875886350188493790544854294225726533811714616959802551003511354",
)
.unwrap(),
Fq::from_str(
"16258660270470428008977128056439132854218579917105801771424980524100431529141",
)
.unwrap(),
Fq::from_str(
"14389177900004589865692617486629808338224936524382373991229450083375030187419",
)
.unwrap(),
],
vec![
Fq::from_str(
"5254897446260226925010930278774739002366094838197608352776711034691419167908",
)
.unwrap(),
Fq::from_str(
"10017451766970898293191969301037043760556997294605718695671614691099240320486",
)
.unwrap(),
Fq::from_str(
"10377472495000399544094005473576037833003171018156457133642162749306784348836",
)
.unwrap(),
],
vec![
Fq::from_str(
"23218136335641731339524766058408447175805302377930780974300993009302336516500",
)
.unwrap(),
Fq::from_str(
"20191488824991124775021487716004416112776365506510575739204924567600203901269",
)
.unwrap(),
Fq::from_str(
"110606975331244410915904098772946457859594892267516924942421765736318866617",
)
.unwrap(),
],
vec![
Fq::from_str(
"23027069668757981664879070455867290821752779218098836684714327441246591774759",
)
.unwrap(),
Fq::from_str(
"4589247739673767474307973868199446429401684489991453077155492434850787381702",
)
.unwrap(),
Fq::from_str(
"6379670142720597470858520674745082918596505550095259476677356817872026090713",
)
.unwrap(),
],
vec![
Fq::from_str(
"19764864476474764903616550282446756103765436833072775572851316648333869235114",
)
.unwrap(),
Fq::from_str(
"12894898442410371982703732271804085318212494678649934125021268012840299185637",
)
.unwrap(),
Fq::from_str(
"4894374129066677193060314651654909732906317879933995748486904122303748724381",
)
.unwrap(),
],
vec![
Fq::from_str(
"9392947448126670174003480248219776361392113047007441983095267747240201787052",
)
.unwrap(),
Fq::from_str(
"17448004227122961073493138290943872881683504888463872361350949670680638193246",
)
.unwrap(),
Fq::from_str(
"24898908270148995600292988565336948748670477048995196059344166957302253353468",
)
.unwrap(),
],
vec![
Fq::from_str(
"17672969484563875329340665269765905710099865885284111146969980578304648998989",
)
.unwrap(),
Fq::from_str(
"17315183356963381222871645160515357484888194239021894873634846607120433299603",
)
.unwrap(),
Fq::from_str(
"16657291105770020999163388035414073826686069942847209725990896237129724531623",
)
.unwrap(),
],
vec![
Fq::from_str(
"20045358898180937726150285529789401521185856403599282370725965114285467221394",
)
.unwrap(),
Fq::from_str(
"7604720689465762204259558177050824657125765219907087093134275946944476764623",
)
.unwrap(),
Fq::from_str(
"4946157133141303389791048466320735878774808191447977218588320463643439643617",
)
.unwrap(),
],
vec![
Fq::from_str(
"16095543778893367554646246146733094380954235388863918230797975064302848608110",
)
.unwrap(),
Fq::from_str(
"9495028757440948201524349973141898811031260740727574963230822567659024070475",
)
.unwrap(),
Fq::from_str(
"15652394153551772951410898217296838776100645778717025418259184512269824513281",
)
.unwrap(),
],
vec![
Fq::from_str(
"22221075851011525495207739030167842998461976982084095286887110082203892655949",
)
.unwrap(),
Fq::from_str(
"9773505979109619840461605806117798267810157941804844442655531835520967463113",
)
.unwrap(),
Fq::from_str(
"9699921110253873916726596291176974227884871755181878140734719120429532053002",
)
.unwrap(),
],
vec![
Fq::from_str(
"17682231260051753498617845281951269726537935653976607531850308842757348601329",
)
.unwrap(),
Fq::from_str(
"18026887242590310014427209724078991193599958030254077118842503456583403950827",
)
.unwrap(),
Fq::from_str(
"25015306241717221564050692754953747248185536052663170582824605966511132780487",
)
.unwrap(),
],
vec![
Fq::from_str(
"16913017783534832741366331557377027835283393598087920619147327295000966841306",
)
.unwrap(),
Fq::from_str(
"14346687497088016967038616732353182101844963538110413455107565365722012953284",
)
.unwrap(),
Fq::from_str(
"5306566980905870284116776586767806070957377455264987606648038923624253495328",
)
.unwrap(),
],
vec![
Fq::from_str(
"1776756375313230649731428479835496304149043878892306245847918259342669070843",
)
.unwrap(),
Fq::from_str(
"490116546446566363527874936210269421699868025744627465261205141315457929764",
)
.unwrap(),
Fq::from_str(
"15895862901922909582174688550455317647454688607836801729345729632260371594678",
)
.unwrap(),
],
vec![
Fq::from_str(
"13688862447353097641921417721564599384304916802983599264426675175604875742315",
)
.unwrap(),
Fq::from_str(
"24548198092994361104088706233911543485350973671834385909863857501675802878279",
)
.unwrap(),
Fq::from_str(
"13459479827606540544689621578844182868859283770589890980132135394570347186061",
)
.unwrap(),
],
vec![
Fq::from_str(
"24044394058320635022361075601656905043313553792325674538366784156913803812196",
)
.unwrap(),
Fq::from_str(
"13224911244448701263582762940879464967836683002210854167321246073960841644522",
)
.unwrap(),
Fq::from_str(
"8458040493721843207908979005771386571338972860793346258045061108188537269575",
)
.unwrap(),
],
vec![
Fq::from_str(
"3373954096140863425424783847439718500809124286660183499962641073452219575239",
)
.unwrap(),
Fq::from_str(
"20786023834921480994573103385555575391782193954100981434750965529916600088428",
)
.unwrap(),
Fq::from_str(
"4062313531423140960397881434049476366932415559401603628257162927863296206641",
)
.unwrap(),
],
vec![
Fq::from_str(
"1898020409546207805320648144920011726191859363441411206281917919526161244598",
)
.unwrap(),
Fq::from_str(
"24277367400752675228358431727080852820923883244494414698417676920127526770088",
)
.unwrap(),
Fq::from_str(
"27041649732785968593009926556186278849799597604234485085263424041769060430672",
)
.unwrap(),
],
vec![
Fq::from_str(
"21584002498671958383320932658470323644925729001241157174062149135688934590153",
)
.unwrap(),
Fq::from_str(
"296461973635637542200993277788422285516983090690405454296351759221006819546",
)
.unwrap(),
Fq::from_str(
"8818839967799505500555627771598501831696804919367222237507197660660892665148",
)
.unwrap(),
],
vec![
Fq::from_str(
"4439337387294703935549667847378420965887876421209156336246561071020526953695",
)
.unwrap(),
Fq::from_str(
"27771844118085313731256751422668441516968763521122036346441924658635531209834",
)
.unwrap(),
Fq::from_str(
"7599670163703076794117421319905831310613637703095599713786252660612843368075",
)
.unwrap(),
],
vec![
Fq::from_str(
"12193036087689296361781682831088176514376474290884092260169857032550680408546",
)
.unwrap(),
Fq::from_str(
"25791228645469784134598013409595043692878987806412190415747720776255632142972",
)
.unwrap(),
Fq::from_str(
"8504882545271841062057911639581320453656588156705418395838850434018335784764",
)
.unwrap(),
],
vec![
Fq::from_str(
"9130894449689099154616722799255778500706692445872833148087121191022987751351",
)
.unwrap(),
Fq::from_str(
"21553577145491938499114888018915447040714863615699957078888430024590510223125",
)
.unwrap(),
Fq::from_str(
"8307396866731830889712140446282281226154409273955284908758959517111805068379",
)
.unwrap(),
],
vec![
Fq::from_str(
"20697895431092576068009892921110410029570860731610412906827921169156559036877",
)
.unwrap(),
Fq::from_str(
"25847730491997591203980701133953084257949899509409890411883471391399589272255",
)
.unwrap(),
Fq::from_str(
"27068530132452520868806589188908435601314783511462339379808399629696227108300",
)
.unwrap(),
],
vec![
Fq::from_str(
"20579165271364650486101631743580639117276566815442383429004130800710012624677",
)
.unwrap(),
Fq::from_str(
"2049872261441584532266169243588650339607343237488816821021818230059988793881",
)
.unwrap(),
Fq::from_str(
"5229222520976935575159907831883087156061470447412599430611711892673497144820",
)
.unwrap(),
],
vec![
Fq::from_str(
"16888076312477210105490768408731364790051105858421097779712165387651960648918",
)
.unwrap(),
Fq::from_str(
"2063328481371063362698477795877294174447601367525854450572877036817950486588",
)
.unwrap(),
Fq::from_str(
"9978860706589405700636863259000379424111716695830255414810479786243742448788",
)
.unwrap(),
],
vec![
Fq::from_str(
"10317246955612741053663756285229154782235034400014758881046851747850823867516",
)
.unwrap(),
Fq::from_str(
"13593887292763642751523995903547641851467767154363297491262315140569344482619",
)
.unwrap(),
Fq::from_str(
"23402502496341059894809445627668621422181262255992641144517916256091271283596",
)
.unwrap(),
],
vec![
Fq::from_str(
"21967434350664893350794692419887682460286669021917537287854750673456386148796",
)
.unwrap(),
Fq::from_str(
"23353689534149296842880441871386688481067867589772985300786059302345245225322",
)
.unwrap(),
Fq::from_str(
"23735357311909906399385947858290446886270449558355528121401365099315742122681",
)
.unwrap(),
],
vec![
Fq::from_str(
"10912898365787795098976682182552503726774830131561177111534481011887568028225",
)
.unwrap(),
Fq::from_str(
"24870024081013773996332492735582388115312107253015059784314149687041374665561",
)
.unwrap(),
Fq::from_str(
"14959251092871859358484341584905048546998757007023469906733200814028817787676",
)
.unwrap(),
],
vec![
Fq::from_str(
"4862971281682736739478329712142805000991054403202074379778464975706269552737",
)
.unwrap(),
Fq::from_str(
"18880974505260055428677233450169574923539187497744705144686621167223290501713",
)
.unwrap(),
Fq::from_str(
"15019860251830177408295304948562135143018077531659007557525973719668356977506",
)
.unwrap(),
],
vec![
Fq::from_str(
"20568371280002005481616540220671990391004159655382801184704914533391923227442",
)
.unwrap(),
Fq::from_str(
"17618564901060519653065801707062565705965252069071642419351201848751288646311",
)
.unwrap(),
Fq::from_str(
"6175806441176276214249342720153255252512916129811023844537243081853881530586",
)
.unwrap(),
],
vec![
Fq::from_str(
"296698681032659410437385638424768886607081580850224832109048866253174706324",
)
.unwrap(),
Fq::from_str(
"7268871617745116292779237678539517235521185661165310960197803054547440338193",
)
.unwrap(),
Fq::from_str(
"16341563652551468195688432165785741488638381548308118992703945905571040710551",
)
.unwrap(),
],
vec![
Fq::from_str(
"20802839862702262365306655858469071118895773474002102559223288884562755221802",
)
.unwrap(),
Fq::from_str(
"8463358659774659224604995990679067672391550969286021897665237635502349549078",
)
.unwrap(),
Fq::from_str(
"15978158329915368408793563753006455633333602546915141756185279989524351398011",
)
.unwrap(),
],
vec![
Fq::from_str(
"17622341778239430423221939745175386197971754657696111634181640277323050526814",
)
.unwrap(),
Fq::from_str(
"10608335237642480929422693089800206983573202659550442733156493623334131463648",
)
.unwrap(),
Fq::from_str(
"4030685945296549297325867649675145444613863086399488872024691844215015865404",
)
.unwrap(),
],
vec![
Fq::from_str(
"13622512335702925704246239293965891829357706731007005465669806728128070589631",
)
.unwrap(),
Fq::from_str(
"28096860376731134760587904422020552532782566250134663540225061105608367763617",
)
.unwrap(),
Fq::from_str(
"23408844245917750106421907693053932839460443870282241477420090247810403742130",
)
.unwrap(),
],
vec![
Fq::from_str(
"1333283643113200911795408607575124847498003548266053936354869116413818233994",
)
.unwrap(),
Fq::from_str(
"5114627784027951102582115213264649034477290065123683766415035791913182621990",
)
.unwrap(),
Fq::from_str(
"12764392856508616755454501281162355366590010491252202055937861522683929322726",
)
.unwrap(),
],
vec![
Fq::from_str(
"17151467035003081822551161487450697402952914914532916714361135117937359660435",
)
.unwrap(),
Fq::from_str(
"5790806510531167647314677971786602969791369262808321427822737321737295918626",
)
.unwrap(),
Fq::from_str(
"25402570155872412453028168278079114058150183483929245811506328339445321991585",
)
.unwrap(),
],
vec![
Fq::from_str(
"12920564330262937347355086382215038686842973035591062422536047377306795551956",
)
.unwrap(),
Fq::from_str(
"12250718187966551349934722909284957659425918779784022718640942555655844833782",
)
.unwrap(),
Fq::from_str(
"20895727170003937274470408646745579174029123755980503191289166493378198853753",
)
.unwrap(),
],
vec![
Fq::from_str(
"15956841763991535793203092153585710767934653432429666292367107371891246878431",
)
.unwrap(),
Fq::from_str(
"165004921874760145525553135393467831289178931448821175010841518884068397358",
)
.unwrap(),
Fq::from_str(
"21701359314438421232412634090067127199084976819670003578888860920096628455908",
)
.unwrap(),
],
vec![
Fq::from_str(
"6848902582754636090737517131578591551788309332465803574486567584842713095075",
)
.unwrap(),
Fq::from_str(
"9148729239860297908222294166176107790125495380930731971791358581588488088179",
)
.unwrap(),
Fq::from_str(
"8358777029774639487464736856867300896187008886831215496030522112768313792659",
)
.unwrap(),
],
vec![
Fq::from_str(
"27763005231503543326388909385720946430141828710795454442053340035715385775564",
)
.unwrap(),
Fq::from_str(
"22636772741960501900595405662321074335936299276173491651140399382705798268766",
)
.unwrap(),
Fq::from_str(
"24200783367862580793810376984298862005065285339141826318611417638508272680935",
)
.unwrap(),
],
vec![
Fq::from_str(
"822600333766772255824054922496304222560196931439044456446485963982870790028",
)
.unwrap(),
Fq::from_str(
"11620067212793640354075687381092798024341928813664220586751309617921494471627",
)
.unwrap(),
Fq::from_str(
"25396694389942268941157432367167881033474136344183279866045115614823524486381",
)
.unwrap(),
],
vec![
Fq::from_str(
"7950044866662305700342331645322097694799649174330586954392082006195652431589",
)
.unwrap(),
Fq::from_str(
"22840933456350447931596740831047097851905435130998852812846918451453709541072",
)
.unwrap(),
Fq::from_str(
"5952562873278923355396014494234833112602416727163262543950012068378966526374",
)
.unwrap(),
],
vec![
Fq::from_str(
"14941744106899001396490468834896552276228477518658489130424851675983796484223",
)
.unwrap(),
Fq::from_str(
"8411858922787427790040186603365979935733234451728885815156429633351516622170",
)
.unwrap(),
Fq::from_str(
"25728130512642084604375585079417861667709258338193885601642539891291402554672",
)
.unwrap(),
],
vec![
Fq::from_str(
"20604517750643336005470932595806868673102682184328905598449933465373164368567",
)
.unwrap(),
Fq::from_str(
"18692086501272312775058232861104840534405554074751818414995965413576504506898",
)
.unwrap(),
Fq::from_str(
"5269470419857278770474250796707995245651827289253410681285877302520855951649",
)
.unwrap(),
],
vec![
Fq::from_str(
"132958317750014592125353639381410869535729112359715476758774573020346177038",
)
.unwrap(),
Fq::from_str(
"17193272337125758342712697198430394405858515930784181707588441236523237399507",
)
.unwrap(),
Fq::from_str(
"6907588900146294348775248591028498082882128985613063249028470164033147125714",
)
.unwrap(),
],
vec![
Fq::from_str(
"16309200565821244573168333253815499203949927814550835828103574182056728678956",
)
.unwrap(),
Fq::from_str(
"4607702890113363215119270116443817064683508025122288758534057630367234921015",
)
.unwrap(),
Fq::from_str(
"11237233790658676278102726466515564713414270355327201961157117083230382852243",
)
.unwrap(),
],
vec![
Fq::from_str(
"10064330808822528140235288193284673078859867025792057686345339813053087817354",
)
.unwrap(),
Fq::from_str(
"25051392317202122071857024659315208391485135039862063722352057784569902851363",
)
.unwrap(),
Fq::from_str(
"22126617513529506569359166365810362424423294611767941651490344758258540414004",
)
.unwrap(),
],
vec![
Fq::from_str(
"12091746476208536681080525048942500448418433204654951972926283776785275935445",
)
.unwrap(),
Fq::from_str(
"12111265990251598624141275756247422663513559759757319153701374783734518534525",
)
.unwrap(),
Fq::from_str(
"26739984777421171183341767053331505211465422029143782259686543457935639077074",
)
.unwrap(),
],
vec![
Fq::from_str(
"7819054201259648899956766259173509994826070622646983709427380262867238635463",
)
.unwrap(),
Fq::from_str(
"10445115028929965619698941897016402172414044576496139170399391316067978563932",
)
.unwrap(),
Fq::from_str(
"19684711726373570147937187126430934630002495670017015298886915356480224463252",
)
.unwrap(),
],
vec![
Fq::from_str(
"11239307846668865409559961011092791606629566617449107300929575297206367273772",
)
.unwrap(),
Fq::from_str(
"28805033990368921872277896029043745855817246151363711680251631474098318414959",
)
.unwrap(),
Fq::from_str(
"18401979852581903763050302976527384564541846667710514970197455751949363551773",
)
.unwrap(),
],
vec![
Fq::from_str(
"28263368266760706140556936890723050350981960590399696453960533699777929937332",
)
.unwrap(),
Fq::from_str(
"13171701559671490165454061311663500722478022888953080003164558696925706691950",
)
.unwrap(),
Fq::from_str(
"19602525380638837013300511621093845194121859856160220235414966930348094741920",
)
.unwrap(),
],
vec![
Fq::from_str(
"25875044639134258735138554352016034131847861924507451443931721478575773042344",
)
.unwrap(),
Fq::from_str(
"1286919834973261464274310810959674232070230673485764517044208498391267530988",
)
.unwrap(),
Fq::from_str(
"12782511029953763844753944101233413908378422219581060868637062846684140416599",
)
.unwrap(),
],
vec![
Fq::from_str(
"13777170936966635591451775007775796682884247670199445877358680218373012583133",
)
.unwrap(),
Fq::from_str(
"13914069095415962019849305704612514109938496116014955678392598600149568146470",
)
.unwrap(),
Fq::from_str(
"6783088795558416833900023860884913748051142639172416787734707305655085393583",
)
.unwrap(),
],
vec![
Fq::from_str(
"23759768419633407428810307098986751935262813445177317925266674188878521655568",
)
.unwrap(),
Fq::from_str(
"6216329803333944314103957880878676099988045568818271561443283432381325370083",
)
.unwrap(),
Fq::from_str(
"25114051080902804484727511815467173212803244349938543937989789439460074114186",
)
.unwrap(),
],
vec![
Fq::from_str(
"1180226883916835404878157801250992605812628262348217873510319284727730147381",
)
.unwrap(),
Fq::from_str(
"28284648834460517620415684321276302970692148546984768206724059094698247703614",
)
.unwrap(),
Fq::from_str(
"24033429483804377793699007789045563117176754720883449007735536724064971910209",
)
.unwrap(),
],
vec![
Fq::from_str(
"24837980504224007072003842463132805986188595503848986775222831487536454430702",
)
.unwrap(),
Fq::from_str(
"7321472857412311158120212341338101751477713807416898032253162676888996785560",
)
.unwrap(),
Fq::from_str(
"16969570257066093255532410834694788936815887939867116143226504248562357179280",
)
.unwrap(),
],
vec![
Fq::from_str(
"4125673734564343532339577642546830393637205447174011175535077670456408467503",
)
.unwrap(),
Fq::from_str(
"10632713303134500465283168727266716395067246541628032088845987128902453337705",
)
.unwrap(),
Fq::from_str(
"9574680283229048309682722855094170144602083182060214720561022770315159925050",
)
.unwrap(),
],
vec![
Fq::from_str(
"25200516884616393326554198239117840577353244771178619578270272915036798525203",
)
.unwrap(),
Fq::from_str(
"8016037998616729200273828218865709942562955788458067024686069967773623280702",
)
.unwrap(),
Fq::from_str(
"23152730567726048528634883257060835573481024340136073260056069507023870894846",
)
.unwrap(),
],
vec![
Fq::from_str(
"4936905020024289826614920724630062129669650361835193562496220267355967500709",
)
.unwrap(),
Fq::from_str(
"18184641423707818974834811540508053654673520711184768800680158891503991754351",
)
.unwrap(),
Fq::from_str(
"27444333582924293137279963432375877042954535401580653830648855025913046131946",
)
.unwrap(),
],
vec![
Fq::from_str(
"19258787990037904339970574900663327047151333605558856194461096727736980981409",
)
.unwrap(),
Fq::from_str(
"7307247571008211080591958435739460884694126720317257874083215846110062993851",
)
.unwrap(),
Fq::from_str(
"26746958803361511836036369403239292474668097850167071971132263374551313661859",
)
.unwrap(),
],
vec![
Fq::from_str(
"2986707284687082908367239099770334052301679778803284796428725648583327571996",
)
.unwrap(),
Fq::from_str(
"11076872572044729168706875668696902097477024573484865352103135025101837260335",
)
.unwrap(),
Fq::from_str(
"7676893881767745856368855909105588397337840304590696665395773396488415841368",
)
.unwrap(),
],
vec![
Fq::from_str(
"8035879860710675293804855837795384803722427367423273349615911494186867635695",
)
.unwrap(),
Fq::from_str(
"8777228662288028976220651807443998778731851272244712495838227067153229552036",
)
.unwrap(),
Fq::from_str(
"9404729766074943289512201205781943537326342248324517034957699512018199204738",
)
.unwrap(),
],
vec![
Fq::from_str(
"28138039971941229743877350137198714871803339371774209928210486168306126282046",
)
.unwrap(),
Fq::from_str(
"24746372913562546565307551019536112359520027514996722419915199065654026706269",
)
.unwrap(),
Fq::from_str(
"5992908251399318789048901337027258610373870655662449861810221050890563237785",
)
.unwrap(),
],
vec![
Fq::from_str(
"8986662495311798908019190514368815106790964767556070538172234209887075670815",
)
.unwrap(),
Fq::from_str(
"7819511120920480038906806637526904433010099047963872696607543518954984324963",
)
.unwrap(),
Fq::from_str(
"20040748576462413617236432113139264992338669108015478382493668322296306085726",
)
.unwrap(),
],
vec![
Fq::from_str(
"12604124251667268108802430657250418818373981324591677149693775791311237018115",
)
.unwrap(),
Fq::from_str(
"3713446680888938926487722727702881477451007635693922407499275812693082163524",
)
.unwrap(),
Fq::from_str(
"4729722979346651955109002515433891123630816656581607922377526264122826791278",
)
.unwrap(),
],
vec![
Fq::from_str(
"16455155466899261355363975391464726179721089911718581260053823330812044805329",
)
.unwrap(),
Fq::from_str(
"27164824221249686345132567624748537410457840627513096638619870411838704887939",
)
.unwrap(),
Fq::from_str(
"16276969634012778467682584281076733912813949584479602315250697584070339970173",
)
.unwrap(),
],
vec![
Fq::from_str(
"25641921087422510763187305803178924090589997867692682422161021888360562111214",
)
.unwrap(),
Fq::from_str(
"3667017006482520184366983251713265998942338144600409725070021931240855063242",
)
.unwrap(),
Fq::from_str(
"16624027448839826107498199322162430278228409173124621849582911009734159268523",
)
.unwrap(),
],
vec![
Fq::from_str(
"26317000137938324098695631123138063604840025944173958478354566632124186905402",
)
.unwrap(),
Fq::from_str(
"26340841271036888065816939024344358177648115802586515509528813558078622483283",
)
.unwrap(),
Fq::from_str(
"26760792070192677486356259617078495242352693159824472284838522738202103374517",
)
.unwrap(),
],
vec![
Fq::from_str(
"12721771512080997403280267277695539784262535121086502864139373913498888705215",
)
.unwrap(),
Fq::from_str(
"22548741447254480389350118476622153801605101093013811309651936063066499340364",
)
.unwrap(),
Fq::from_str(
"27978367330497576661463216897542761474015119849207592150731961184044447336019",
)
.unwrap(),
],
vec![
Fq::from_str(
"25747063373517637067792390107027157627279718780430393414118399515398493230570",
)
.unwrap(),
Fq::from_str(
"20151199118555759838932276113163555479083735668386566652089241087017456180596",
)
.unwrap(),
Fq::from_str(
"18879014815739649515414305835536994932451911664341341839193146489857284960764",
)
.unwrap(),
],
vec![
Fq::from_str(
"3810373645102571961856835110796286023878561472775937446095180271215591973482",
)
.unwrap(),
Fq::from_str(
"21670724524877659990430014767408914315012249576025971870416576542969889929722",
)
.unwrap(),
Fq::from_str(
"3915354581322191374887706360194439190056113572215823372708498368264986411752",
)
.unwrap(),
],
vec![
Fq::from_str(
"25396010083988081390296945409600690498532747776857675039749936403891275914607",
)
.unwrap(),
Fq::from_str(
"27390501373018759994091671141783422648482925902652559051505224556105818276432",
)
.unwrap(),
Fq::from_str(
"21943756395113869385673889596972393684048914861116005493936041142864388308640",
)
.unwrap(),
],
vec![
Fq::from_str(
"21009529429359499435346117020843766611662779822918934812595290904562681460194",
)
.unwrap(),
Fq::from_str(
"4403095793362209982879649985124453117401775317228756238293170861698283724152",
)
.unwrap(),
Fq::from_str(
"13402721305808954031052740171341806281977967539270936940650446104784640742956",
)
.unwrap(),
],
vec![
Fq::from_str(
"27491349623398243944682353258003517841463983130426355707277141054509970413931",
)
.unwrap(),
Fq::from_str(
"839162295650533705111165213845914661169544698196543148318540951139745338443",
)
.unwrap(),
Fq::from_str(
"2360031015226134235320333722839592171180466963140089662936226146376372598269",
)
.unwrap(),
],
vec![
Fq::from_str(
"23187073805281466301515357725635655379740035976872552251192653562569108948332",
)
.unwrap(),
Fq::from_str(
"13415450340633894897579130593672628357474718745976391717544515771527056769433",
)
.unwrap(),
Fq::from_str(
"20551598721856083916810924558283736201557848101716997060847530300465710342492",
)
.unwrap(),
],
vec![
Fq::from_str(
"3672594647865661748928752317746079229095373133257293162774720337138304704736",
)
.unwrap(),
Fq::from_str(
"28656412123828764424722913154831876184400121058128257557942467880106263931024",
)
.unwrap(),
Fq::from_str(
"12488798341044520189714771416078903136558391518843419705687775573556817797577",
)
.unwrap(),
],
],
}
}
pub fn static_params() -> &'static ArithmeticSpongeParams<Fq> {
static PARAMS: Lazy<ArithmeticSpongeParams<Fq>> = Lazy::new(params);
&PARAMS
}