1extern crate alloc;
2use crate::poseidon::ArithmeticSpongeParams;
3use alloc::vec;
4use core::str::FromStr;
5use mina_curves::pasta::Fq;
6use once_cell::sync::Lazy;
7
8fn params() -> ArithmeticSpongeParams<Fq> {
11 ArithmeticSpongeParams {
12 mds: vec![
13 vec![
14 Fq::from_str(
15 "25059545165736646824438510995018528850798284624488112529736697979897721366717",
16 )
17 .unwrap(),
18 Fq::from_str(
19 "16698749787253722942243837797889445179074274353678606740096686335476872429399",
20 )
21 .unwrap(),
22 Fq::from_str(
23 "8431542578059462988142441820574484670502416261430105626118810753064502454172",
24 )
25 .unwrap(),
26 ],
27 vec![
28 Fq::from_str(
29 "24729854844697760654067608751525498327180690314591492982304918187023029914826",
30 )
31 .unwrap(),
32 Fq::from_str(
33 "1121552144213806241339137182024814961508305746462827911242566288860442556748",
34 )
35 .unwrap(),
36 Fq::from_str(
37 "13091758359064753420271764138904670126701916846914918026096660522220974412796",
38 )
39 .unwrap(),
40 ],
41 vec![
42 Fq::from_str(
43 "14318325434506839029297004068378670093722923223466359838374948921878384497878",
44 )
45 .unwrap(),
46 Fq::from_str(
47 "21049625586117008961018856577112352485632537866388888422067379870460247825481",
48 )
49 .unwrap(),
50 Fq::from_str(
51 "11967204246156045515212780049644733421582972293043836026003728262137316485428",
52 )
53 .unwrap(),
54 ],
55 ],
56 round_constants: vec![
57 vec![
58 Fq::from_str(
59 "27823288320934189888335104419667051541440213716337979953029039814477122015803",
60 )
61 .unwrap(),
62 Fq::from_str(
63 "7253519329434178666336171171011092435792450637855327869661074429483992798663",
64 )
65 .unwrap(),
66 Fq::from_str(
67 "12943190030917713819083161989292505641412002214667543002424543294305586713622",
68 )
69 .unwrap(),
70 ],
71 vec![
72 Fq::from_str(
73 "27652450736585745228854776198724711889399928847227796610514615862285675851603",
74 )
75 .unwrap(),
76 Fq::from_str(
77 "14974144387861463358629448488728583756510094143360287299992064027672013096218",
78 )
79 .unwrap(),
80 Fq::from_str(
81 "7097911473075039536684392748485048129620058816999734741035507137919094344000",
82 )
83 .unwrap(),
84 ],
85 vec![
86 Fq::from_str(
87 "9833471627477871590542564294396788818371219099618369953520953128833069622998",
88 )
89 .unwrap(),
90 Fq::from_str(
91 "1216722705894969315906023467727879380441696627034784137237245320657648994073",
92 )
93 .unwrap(),
94 Fq::from_str(
95 "23711484374443627488130462875874481115682053816071105446952037381155017895779",
96 )
97 .unwrap(),
98 ],
99 vec![
100 Fq::from_str(
101 "20334834189812750348389095362218130162301260954195045344340626330588177435942",
102 )
103 .unwrap(),
104 Fq::from_str(
105 "4366529093468402654059406041856606540091882399834904947969748538808812090209",
106 )
107 .unwrap(),
108 Fq::from_str(
109 "19522556558624240319308906783506879200944684005866343832929046513996276368523",
110 )
111 .unwrap(),
112 ],
113 vec![
114 Fq::from_str(
115 "23468156490044127088707992399042874063294495237928703268006456122691893114531",
116 )
117 .unwrap(),
118 Fq::from_str(
119 "10734041842950229608874281327056547473719120183996972794393760960989413485309",
120 )
121 .unwrap(),
122 Fq::from_str(
123 "3234488841736382875399536096222344212453291206089588556042783786752950726222",
124 )
125 .unwrap(),
126 ],
127 vec![
128 Fq::from_str(
129 "7306686533350672818132556583061081086083445583634785280645571504913340166178",
130 )
131 .unwrap(),
132 Fq::from_str(
133 "10055837153364380487257619433543992440564488619143210451383396316865395141767",
134 )
135 .unwrap(),
136 Fq::from_str(
137 "17005554504252596333905431799020688136174578956026736789538843112027911340688",
138 )
139 .unwrap(),
140 ],
141 vec![
142 Fq::from_str(
143 "11088831290647913265184319169987825710158339243590017331996929570375044581141",
144 )
145 .unwrap(),
146 Fq::from_str(
147 "18272514567796081346048223631818362002154999137167000861967874931307115963229",
148 )
149 .unwrap(),
150 Fq::from_str(
151 "2041522009924764288246767723256644894737485859434724922096489305438150594740",
152 )
153 .unwrap(),
154 ],
155 vec![
156 Fq::from_str(
157 "11154210356751829838084431411705166756691650190195364032751879907682556256563",
158 )
159 .unwrap(),
160 Fq::from_str(
161 "23653929191474563116794828027291046485627178938492016942565292972650213420708",
162 )
163 .unwrap(),
164 Fq::from_str(
165 "10285757729660670290227890459658768244478343389595417793240783735403842747803",
166 )
167 .unwrap(),
168 ],
169 vec![
170 Fq::from_str(
171 "27122162076320933627388879342386660773804566925381935727677186578594924773004",
172 )
173 .unwrap(),
174 Fq::from_str(
175 "25134653885736994960102027470761976149413229279137043556790564613470281817026",
176 )
177 .unwrap(),
178 Fq::from_str(
179 "6659993804933127797936877003954612022106867848874586482405999929720922911898",
180 )
181 .unwrap(),
182 ],
183 vec![
184 Fq::from_str(
185 "1999981756946475588545224006048368808065463727746380893415897089701535614681",
186 )
187 .unwrap(),
188 Fq::from_str(
189 "117353258519553885966322353309393133659964765643696354970870351531909803419",
190 )
191 .unwrap(),
192 Fq::from_str(
193 "6394630448856946333677807337170062255969284635756530106258303122060761829375",
194 )
195 .unwrap(),
196 ],
197 vec![
198 Fq::from_str(
199 "10402812455948335282625861441472459100503153859758204506020258199084032529891",
200 )
201 .unwrap(),
202 Fq::from_str(
203 "24521576250845873373537149390654765866957414335470107480004100764170074644129",
204 )
205 .unwrap(),
206 Fq::from_str(
207 "28343148273143818383375888384222625178643820136230475659994359540667696060401",
208 )
209 .unwrap(),
210 ],
211 vec![
212 Fq::from_str(
213 "19466274031477176253567256907114468319559962421369951854132011198919308086813",
214 )
215 .unwrap(),
216 Fq::from_str(
217 "15950373298313107490097624474333726880960801439930364792944142444680782981647",
218 )
219 .unwrap(),
220 Fq::from_str(
221 "17502012461772831993035812876278636151120700925824710547719185259039723973873",
222 )
223 .unwrap(),
224 ],
225 vec![
226 Fq::from_str(
227 "13427943193313984564171438077343446106584745896824089935661921301233540577663",
228 )
229 .unwrap(),
230 Fq::from_str(
231 "19169237962582795898123052276700824726897554497737731003794686518711369308701",
232 )
233 .unwrap(),
234 Fq::from_str(
235 "9083808098781854981749406088158848274120691731417104666413783119140757689434",
236 )
237 .unwrap(),
238 ],
239 vec![
240 Fq::from_str(
241 "3085572928600572710130215355481483413152463940337003200200686333839836936060",
242 )
243 .unwrap(),
244 Fq::from_str(
245 "6423923726405952993270285921266354528708083436156049822651047436988725799335",
246 )
247 .unwrap(),
248 Fq::from_str(
249 "11711163607312960445460153090393005414044253191457667104588071606706527083035",
250 )
251 .unwrap(),
252 ],
253 vec![
254 Fq::from_str(
255 "22862764769570580579955370870655020558642400260785510683021349826526091593487",
256 )
257 .unwrap(),
258 Fq::from_str(
259 "27106527830212782583531586155197640258773355519954630305727973089302997251797",
260 )
261 .unwrap(),
262 Fq::from_str(
263 "16868720082666046473782251283858811018289758418191781142790257643516182531272",
264 )
265 .unwrap(),
266 ],
267 vec![
268 Fq::from_str(
269 "23158332713461282002423665990353034524451940720249144308509697639018478890344",
270 )
271 .unwrap(),
272 Fq::from_str(
273 "4196222884247438401050717959999141753538715859111095883718384227804271580571",
274 )
275 .unwrap(),
276 Fq::from_str(
277 "22572557742560406175483660351232922626321427879380236408573364865152875751999",
278 )
279 .unwrap(),
280 ],
281 vec![
282 Fq::from_str(
283 "6498384178588263785275487016065720553418371000134613854044334919909896078231",
284 )
285 .unwrap(),
286 Fq::from_str(
287 "19713457172464396779910830357144111010125169288012289325852007667562797201617",
288 )
289 .unwrap(),
290 Fq::from_str(
291 "9370618609381654599580351346089018265074763897101213494189302119360756555515",
292 )
293 .unwrap(),
294 ],
295 vec![
296 Fq::from_str(
297 "17332110085907729652621872688438506098032926644356340523235380228784153361946",
298 )
299 .unwrap(),
300 Fq::from_str(
301 "15828217198541208438489225959666895536847479530801819210983017536719128875310",
302 )
303 .unwrap(),
304 Fq::from_str(
305 "22909304389117426005516739639132057953847831090140119017131773808660581359339",
306 )
307 .unwrap(),
308 ],
309 vec![
310 Fq::from_str(
311 "13274846258473860762348270229895556617343668531781906800111616196606379168678",
312 )
313 .unwrap(),
314 Fq::from_str(
315 "20563817685937794654177709363835160405142894424010788995801747935877119235477",
316 )
317 .unwrap(),
318 Fq::from_str(
319 "20063600011389636949850146896035168067037303328482473908141578341678944583640",
320 )
321 .unwrap(),
322 ],
323 vec![
324 Fq::from_str(
325 "15561372644915625354729031742269409074452750500059702572378336917069173281200",
326 )
327 .unwrap(),
328 Fq::from_str(
329 "1198490580487628040011397824278054034135841708228898001350812771879916960859",
330 )
331 .unwrap(),
332 Fq::from_str(
333 "18879421345448691096589106007214815329241576402832734110268197859756832871926",
334 )
335 .unwrap(),
336 ],
337 vec![
338 Fq::from_str(
339 "27399632471000964892968952930054846863781961828780329177494048571243833336763",
340 )
341 .unwrap(),
342 Fq::from_str(
343 "2834864942083315409826100384502236980961959328095446142898875620023252496233",
344 )
345 .unwrap(),
346 Fq::from_str(
347 "4869045848545701242953923765295279010470656159359352534992875895020324731123",
348 )
349 .unwrap(),
350 ],
351 vec![
352 Fq::from_str(
353 "14325690392479768681007652408098324173976655892283539787053225046370602615453",
354 )
355 .unwrap(),
356 Fq::from_str(
357 "25414347192966841451685828069955147897403238857128755301675290249558576625379",
358 )
359 .unwrap(),
360 Fq::from_str(
361 "16590289516213461810017744664371295027301564689635234008641715363769691252951",
362 )
363 .unwrap(),
364 ],
365 vec![
366 Fq::from_str(
367 "7999784177991937194560403228390571132248134775394758539082341051882961743020",
368 )
369 .unwrap(),
370 Fq::from_str(
371 "27627395050531728876502002078316976742781103442109539911472055005902825690089",
372 )
373 .unwrap(),
374 Fq::from_str(
375 "18036356111926470640247668504029296840956365668466479796170120459318979414011",
376 )
377 .unwrap(),
378 ],
379 vec![
380 Fq::from_str(
381 "5913242795575813219801658492942666827872903959995896555280069960017119884723",
382 )
383 .unwrap(),
384 Fq::from_str(
385 "14937809672911513589131385409454363020800493802245991188388679796557583708641",
386 )
387 .unwrap(),
388 Fq::from_str(
389 "3172852326416764473757677332305817213305384800572730229499136253125245597387",
390 )
391 .unwrap(),
392 ],
393 vec![
394 Fq::from_str(
395 "1832396283457909430686926169612235735546922286254241081539828449889942491358",
396 )
397 .unwrap(),
398 Fq::from_str(
399 "28715821183944831340251190244581222742951105435037341519427068245935486106710",
400 )
401 .unwrap(),
402 Fq::from_str(
403 "14690804016462235339916279821852369558429158839477443587616468985654313024916",
404 )
405 .unwrap(),
406 ],
407 vec![
408 Fq::from_str(
409 "10594946257886875886350188493790544854294225726533811714616959802551003511354",
410 )
411 .unwrap(),
412 Fq::from_str(
413 "16258660270470428008977128056439132854218579917105801771424980524100431529141",
414 )
415 .unwrap(),
416 Fq::from_str(
417 "14389177900004589865692617486629808338224936524382373991229450083375030187419",
418 )
419 .unwrap(),
420 ],
421 vec![
422 Fq::from_str(
423 "5254897446260226925010930278774739002366094838197608352776711034691419167908",
424 )
425 .unwrap(),
426 Fq::from_str(
427 "10017451766970898293191969301037043760556997294605718695671614691099240320486",
428 )
429 .unwrap(),
430 Fq::from_str(
431 "10377472495000399544094005473576037833003171018156457133642162749306784348836",
432 )
433 .unwrap(),
434 ],
435 vec![
436 Fq::from_str(
437 "23218136335641731339524766058408447175805302377930780974300993009302336516500",
438 )
439 .unwrap(),
440 Fq::from_str(
441 "20191488824991124775021487716004416112776365506510575739204924567600203901269",
442 )
443 .unwrap(),
444 Fq::from_str(
445 "110606975331244410915904098772946457859594892267516924942421765736318866617",
446 )
447 .unwrap(),
448 ],
449 vec![
450 Fq::from_str(
451 "23027069668757981664879070455867290821752779218098836684714327441246591774759",
452 )
453 .unwrap(),
454 Fq::from_str(
455 "4589247739673767474307973868199446429401684489991453077155492434850787381702",
456 )
457 .unwrap(),
458 Fq::from_str(
459 "6379670142720597470858520674745082918596505550095259476677356817872026090713",
460 )
461 .unwrap(),
462 ],
463 vec![
464 Fq::from_str(
465 "19764864476474764903616550282446756103765436833072775572851316648333869235114",
466 )
467 .unwrap(),
468 Fq::from_str(
469 "12894898442410371982703732271804085318212494678649934125021268012840299185637",
470 )
471 .unwrap(),
472 Fq::from_str(
473 "4894374129066677193060314651654909732906317879933995748486904122303748724381",
474 )
475 .unwrap(),
476 ],
477 vec![
478 Fq::from_str(
479 "9392947448126670174003480248219776361392113047007441983095267747240201787052",
480 )
481 .unwrap(),
482 Fq::from_str(
483 "17448004227122961073493138290943872881683504888463872361350949670680638193246",
484 )
485 .unwrap(),
486 Fq::from_str(
487 "24898908270148995600292988565336948748670477048995196059344166957302253353468",
488 )
489 .unwrap(),
490 ],
491 vec![
492 Fq::from_str(
493 "17672969484563875329340665269765905710099865885284111146969980578304648998989",
494 )
495 .unwrap(),
496 Fq::from_str(
497 "17315183356963381222871645160515357484888194239021894873634846607120433299603",
498 )
499 .unwrap(),
500 Fq::from_str(
501 "16657291105770020999163388035414073826686069942847209725990896237129724531623",
502 )
503 .unwrap(),
504 ],
505 vec![
506 Fq::from_str(
507 "20045358898180937726150285529789401521185856403599282370725965114285467221394",
508 )
509 .unwrap(),
510 Fq::from_str(
511 "7604720689465762204259558177050824657125765219907087093134275946944476764623",
512 )
513 .unwrap(),
514 Fq::from_str(
515 "4946157133141303389791048466320735878774808191447977218588320463643439643617",
516 )
517 .unwrap(),
518 ],
519 vec![
520 Fq::from_str(
521 "16095543778893367554646246146733094380954235388863918230797975064302848608110",
522 )
523 .unwrap(),
524 Fq::from_str(
525 "9495028757440948201524349973141898811031260740727574963230822567659024070475",
526 )
527 .unwrap(),
528 Fq::from_str(
529 "15652394153551772951410898217296838776100645778717025418259184512269824513281",
530 )
531 .unwrap(),
532 ],
533 vec![
534 Fq::from_str(
535 "22221075851011525495207739030167842998461976982084095286887110082203892655949",
536 )
537 .unwrap(),
538 Fq::from_str(
539 "9773505979109619840461605806117798267810157941804844442655531835520967463113",
540 )
541 .unwrap(),
542 Fq::from_str(
543 "9699921110253873916726596291176974227884871755181878140734719120429532053002",
544 )
545 .unwrap(),
546 ],
547 vec![
548 Fq::from_str(
549 "17682231260051753498617845281951269726537935653976607531850308842757348601329",
550 )
551 .unwrap(),
552 Fq::from_str(
553 "18026887242590310014427209724078991193599958030254077118842503456583403950827",
554 )
555 .unwrap(),
556 Fq::from_str(
557 "25015306241717221564050692754953747248185536052663170582824605966511132780487",
558 )
559 .unwrap(),
560 ],
561 vec![
562 Fq::from_str(
563 "16913017783534832741366331557377027835283393598087920619147327295000966841306",
564 )
565 .unwrap(),
566 Fq::from_str(
567 "14346687497088016967038616732353182101844963538110413455107565365722012953284",
568 )
569 .unwrap(),
570 Fq::from_str(
571 "5306566980905870284116776586767806070957377455264987606648038923624253495328",
572 )
573 .unwrap(),
574 ],
575 vec![
576 Fq::from_str(
577 "1776756375313230649731428479835496304149043878892306245847918259342669070843",
578 )
579 .unwrap(),
580 Fq::from_str(
581 "490116546446566363527874936210269421699868025744627465261205141315457929764",
582 )
583 .unwrap(),
584 Fq::from_str(
585 "15895862901922909582174688550455317647454688607836801729345729632260371594678",
586 )
587 .unwrap(),
588 ],
589 vec![
590 Fq::from_str(
591 "13688862447353097641921417721564599384304916802983599264426675175604875742315",
592 )
593 .unwrap(),
594 Fq::from_str(
595 "24548198092994361104088706233911543485350973671834385909863857501675802878279",
596 )
597 .unwrap(),
598 Fq::from_str(
599 "13459479827606540544689621578844182868859283770589890980132135394570347186061",
600 )
601 .unwrap(),
602 ],
603 vec![
604 Fq::from_str(
605 "24044394058320635022361075601656905043313553792325674538366784156913803812196",
606 )
607 .unwrap(),
608 Fq::from_str(
609 "13224911244448701263582762940879464967836683002210854167321246073960841644522",
610 )
611 .unwrap(),
612 Fq::from_str(
613 "8458040493721843207908979005771386571338972860793346258045061108188537269575",
614 )
615 .unwrap(),
616 ],
617 vec![
618 Fq::from_str(
619 "3373954096140863425424783847439718500809124286660183499962641073452219575239",
620 )
621 .unwrap(),
622 Fq::from_str(
623 "20786023834921480994573103385555575391782193954100981434750965529916600088428",
624 )
625 .unwrap(),
626 Fq::from_str(
627 "4062313531423140960397881434049476366932415559401603628257162927863296206641",
628 )
629 .unwrap(),
630 ],
631 vec![
632 Fq::from_str(
633 "1898020409546207805320648144920011726191859363441411206281917919526161244598",
634 )
635 .unwrap(),
636 Fq::from_str(
637 "24277367400752675228358431727080852820923883244494414698417676920127526770088",
638 )
639 .unwrap(),
640 Fq::from_str(
641 "27041649732785968593009926556186278849799597604234485085263424041769060430672",
642 )
643 .unwrap(),
644 ],
645 vec![
646 Fq::from_str(
647 "21584002498671958383320932658470323644925729001241157174062149135688934590153",
648 )
649 .unwrap(),
650 Fq::from_str(
651 "296461973635637542200993277788422285516983090690405454296351759221006819546",
652 )
653 .unwrap(),
654 Fq::from_str(
655 "8818839967799505500555627771598501831696804919367222237507197660660892665148",
656 )
657 .unwrap(),
658 ],
659 vec![
660 Fq::from_str(
661 "4439337387294703935549667847378420965887876421209156336246561071020526953695",
662 )
663 .unwrap(),
664 Fq::from_str(
665 "27771844118085313731256751422668441516968763521122036346441924658635531209834",
666 )
667 .unwrap(),
668 Fq::from_str(
669 "7599670163703076794117421319905831310613637703095599713786252660612843368075",
670 )
671 .unwrap(),
672 ],
673 vec![
674 Fq::from_str(
675 "12193036087689296361781682831088176514376474290884092260169857032550680408546",
676 )
677 .unwrap(),
678 Fq::from_str(
679 "25791228645469784134598013409595043692878987806412190415747720776255632142972",
680 )
681 .unwrap(),
682 Fq::from_str(
683 "8504882545271841062057911639581320453656588156705418395838850434018335784764",
684 )
685 .unwrap(),
686 ],
687 vec![
688 Fq::from_str(
689 "9130894449689099154616722799255778500706692445872833148087121191022987751351",
690 )
691 .unwrap(),
692 Fq::from_str(
693 "21553577145491938499114888018915447040714863615699957078888430024590510223125",
694 )
695 .unwrap(),
696 Fq::from_str(
697 "8307396866731830889712140446282281226154409273955284908758959517111805068379",
698 )
699 .unwrap(),
700 ],
701 vec![
702 Fq::from_str(
703 "20697895431092576068009892921110410029570860731610412906827921169156559036877",
704 )
705 .unwrap(),
706 Fq::from_str(
707 "25847730491997591203980701133953084257949899509409890411883471391399589272255",
708 )
709 .unwrap(),
710 Fq::from_str(
711 "27068530132452520868806589188908435601314783511462339379808399629696227108300",
712 )
713 .unwrap(),
714 ],
715 vec![
716 Fq::from_str(
717 "20579165271364650486101631743580639117276566815442383429004130800710012624677",
718 )
719 .unwrap(),
720 Fq::from_str(
721 "2049872261441584532266169243588650339607343237488816821021818230059988793881",
722 )
723 .unwrap(),
724 Fq::from_str(
725 "5229222520976935575159907831883087156061470447412599430611711892673497144820",
726 )
727 .unwrap(),
728 ],
729 vec![
730 Fq::from_str(
731 "16888076312477210105490768408731364790051105858421097779712165387651960648918",
732 )
733 .unwrap(),
734 Fq::from_str(
735 "2063328481371063362698477795877294174447601367525854450572877036817950486588",
736 )
737 .unwrap(),
738 Fq::from_str(
739 "9978860706589405700636863259000379424111716695830255414810479786243742448788",
740 )
741 .unwrap(),
742 ],
743 vec![
744 Fq::from_str(
745 "10317246955612741053663756285229154782235034400014758881046851747850823867516",
746 )
747 .unwrap(),
748 Fq::from_str(
749 "13593887292763642751523995903547641851467767154363297491262315140569344482619",
750 )
751 .unwrap(),
752 Fq::from_str(
753 "23402502496341059894809445627668621422181262255992641144517916256091271283596",
754 )
755 .unwrap(),
756 ],
757 vec![
758 Fq::from_str(
759 "21967434350664893350794692419887682460286669021917537287854750673456386148796",
760 )
761 .unwrap(),
762 Fq::from_str(
763 "23353689534149296842880441871386688481067867589772985300786059302345245225322",
764 )
765 .unwrap(),
766 Fq::from_str(
767 "23735357311909906399385947858290446886270449558355528121401365099315742122681",
768 )
769 .unwrap(),
770 ],
771 vec![
772 Fq::from_str(
773 "10912898365787795098976682182552503726774830131561177111534481011887568028225",
774 )
775 .unwrap(),
776 Fq::from_str(
777 "24870024081013773996332492735582388115312107253015059784314149687041374665561",
778 )
779 .unwrap(),
780 Fq::from_str(
781 "14959251092871859358484341584905048546998757007023469906733200814028817787676",
782 )
783 .unwrap(),
784 ],
785 vec![
786 Fq::from_str(
787 "4862971281682736739478329712142805000991054403202074379778464975706269552737",
788 )
789 .unwrap(),
790 Fq::from_str(
791 "18880974505260055428677233450169574923539187497744705144686621167223290501713",
792 )
793 .unwrap(),
794 Fq::from_str(
795 "15019860251830177408295304948562135143018077531659007557525973719668356977506",
796 )
797 .unwrap(),
798 ],
799 vec![
800 Fq::from_str(
801 "20568371280002005481616540220671990391004159655382801184704914533391923227442",
802 )
803 .unwrap(),
804 Fq::from_str(
805 "17618564901060519653065801707062565705965252069071642419351201848751288646311",
806 )
807 .unwrap(),
808 Fq::from_str(
809 "6175806441176276214249342720153255252512916129811023844537243081853881530586",
810 )
811 .unwrap(),
812 ],
813 vec![
814 Fq::from_str(
815 "296698681032659410437385638424768886607081580850224832109048866253174706324",
816 )
817 .unwrap(),
818 Fq::from_str(
819 "7268871617745116292779237678539517235521185661165310960197803054547440338193",
820 )
821 .unwrap(),
822 Fq::from_str(
823 "16341563652551468195688432165785741488638381548308118992703945905571040710551",
824 )
825 .unwrap(),
826 ],
827 vec![
828 Fq::from_str(
829 "20802839862702262365306655858469071118895773474002102559223288884562755221802",
830 )
831 .unwrap(),
832 Fq::from_str(
833 "8463358659774659224604995990679067672391550969286021897665237635502349549078",
834 )
835 .unwrap(),
836 Fq::from_str(
837 "15978158329915368408793563753006455633333602546915141756185279989524351398011",
838 )
839 .unwrap(),
840 ],
841 vec![
842 Fq::from_str(
843 "17622341778239430423221939745175386197971754657696111634181640277323050526814",
844 )
845 .unwrap(),
846 Fq::from_str(
847 "10608335237642480929422693089800206983573202659550442733156493623334131463648",
848 )
849 .unwrap(),
850 Fq::from_str(
851 "4030685945296549297325867649675145444613863086399488872024691844215015865404",
852 )
853 .unwrap(),
854 ],
855 vec![
856 Fq::from_str(
857 "13622512335702925704246239293965891829357706731007005465669806728128070589631",
858 )
859 .unwrap(),
860 Fq::from_str(
861 "28096860376731134760587904422020552532782566250134663540225061105608367763617",
862 )
863 .unwrap(),
864 Fq::from_str(
865 "23408844245917750106421907693053932839460443870282241477420090247810403742130",
866 )
867 .unwrap(),
868 ],
869 vec![
870 Fq::from_str(
871 "1333283643113200911795408607575124847498003548266053936354869116413818233994",
872 )
873 .unwrap(),
874 Fq::from_str(
875 "5114627784027951102582115213264649034477290065123683766415035791913182621990",
876 )
877 .unwrap(),
878 Fq::from_str(
879 "12764392856508616755454501281162355366590010491252202055937861522683929322726",
880 )
881 .unwrap(),
882 ],
883 vec![
884 Fq::from_str(
885 "17151467035003081822551161487450697402952914914532916714361135117937359660435",
886 )
887 .unwrap(),
888 Fq::from_str(
889 "5790806510531167647314677971786602969791369262808321427822737321737295918626",
890 )
891 .unwrap(),
892 Fq::from_str(
893 "25402570155872412453028168278079114058150183483929245811506328339445321991585",
894 )
895 .unwrap(),
896 ],
897 vec![
898 Fq::from_str(
899 "12920564330262937347355086382215038686842973035591062422536047377306795551956",
900 )
901 .unwrap(),
902 Fq::from_str(
903 "12250718187966551349934722909284957659425918779784022718640942555655844833782",
904 )
905 .unwrap(),
906 Fq::from_str(
907 "20895727170003937274470408646745579174029123755980503191289166493378198853753",
908 )
909 .unwrap(),
910 ],
911 vec![
912 Fq::from_str(
913 "15956841763991535793203092153585710767934653432429666292367107371891246878431",
914 )
915 .unwrap(),
916 Fq::from_str(
917 "165004921874760145525553135393467831289178931448821175010841518884068397358",
918 )
919 .unwrap(),
920 Fq::from_str(
921 "21701359314438421232412634090067127199084976819670003578888860920096628455908",
922 )
923 .unwrap(),
924 ],
925 vec![
926 Fq::from_str(
927 "6848902582754636090737517131578591551788309332465803574486567584842713095075",
928 )
929 .unwrap(),
930 Fq::from_str(
931 "9148729239860297908222294166176107790125495380930731971791358581588488088179",
932 )
933 .unwrap(),
934 Fq::from_str(
935 "8358777029774639487464736856867300896187008886831215496030522112768313792659",
936 )
937 .unwrap(),
938 ],
939 vec![
940 Fq::from_str(
941 "27763005231503543326388909385720946430141828710795454442053340035715385775564",
942 )
943 .unwrap(),
944 Fq::from_str(
945 "22636772741960501900595405662321074335936299276173491651140399382705798268766",
946 )
947 .unwrap(),
948 Fq::from_str(
949 "24200783367862580793810376984298862005065285339141826318611417638508272680935",
950 )
951 .unwrap(),
952 ],
953 vec![
954 Fq::from_str(
955 "822600333766772255824054922496304222560196931439044456446485963982870790028",
956 )
957 .unwrap(),
958 Fq::from_str(
959 "11620067212793640354075687381092798024341928813664220586751309617921494471627",
960 )
961 .unwrap(),
962 Fq::from_str(
963 "25396694389942268941157432367167881033474136344183279866045115614823524486381",
964 )
965 .unwrap(),
966 ],
967 vec![
968 Fq::from_str(
969 "7950044866662305700342331645322097694799649174330586954392082006195652431589",
970 )
971 .unwrap(),
972 Fq::from_str(
973 "22840933456350447931596740831047097851905435130998852812846918451453709541072",
974 )
975 .unwrap(),
976 Fq::from_str(
977 "5952562873278923355396014494234833112602416727163262543950012068378966526374",
978 )
979 .unwrap(),
980 ],
981 vec![
982 Fq::from_str(
983 "14941744106899001396490468834896552276228477518658489130424851675983796484223",
984 )
985 .unwrap(),
986 Fq::from_str(
987 "8411858922787427790040186603365979935733234451728885815156429633351516622170",
988 )
989 .unwrap(),
990 Fq::from_str(
991 "25728130512642084604375585079417861667709258338193885601642539891291402554672",
992 )
993 .unwrap(),
994 ],
995 vec![
996 Fq::from_str(
997 "20604517750643336005470932595806868673102682184328905598449933465373164368567",
998 )
999 .unwrap(),
1000 Fq::from_str(
1001 "18692086501272312775058232861104840534405554074751818414995965413576504506898",
1002 )
1003 .unwrap(),
1004 Fq::from_str(
1005 "5269470419857278770474250796707995245651827289253410681285877302520855951649",
1006 )
1007 .unwrap(),
1008 ],
1009 vec![
1010 Fq::from_str(
1011 "132958317750014592125353639381410869535729112359715476758774573020346177038",
1012 )
1013 .unwrap(),
1014 Fq::from_str(
1015 "17193272337125758342712697198430394405858515930784181707588441236523237399507",
1016 )
1017 .unwrap(),
1018 Fq::from_str(
1019 "6907588900146294348775248591028498082882128985613063249028470164033147125714",
1020 )
1021 .unwrap(),
1022 ],
1023 vec![
1024 Fq::from_str(
1025 "16309200565821244573168333253815499203949927814550835828103574182056728678956",
1026 )
1027 .unwrap(),
1028 Fq::from_str(
1029 "4607702890113363215119270116443817064683508025122288758534057630367234921015",
1030 )
1031 .unwrap(),
1032 Fq::from_str(
1033 "11237233790658676278102726466515564713414270355327201961157117083230382852243",
1034 )
1035 .unwrap(),
1036 ],
1037 vec![
1038 Fq::from_str(
1039 "10064330808822528140235288193284673078859867025792057686345339813053087817354",
1040 )
1041 .unwrap(),
1042 Fq::from_str(
1043 "25051392317202122071857024659315208391485135039862063722352057784569902851363",
1044 )
1045 .unwrap(),
1046 Fq::from_str(
1047 "22126617513529506569359166365810362424423294611767941651490344758258540414004",
1048 )
1049 .unwrap(),
1050 ],
1051 vec![
1052 Fq::from_str(
1053 "12091746476208536681080525048942500448418433204654951972926283776785275935445",
1054 )
1055 .unwrap(),
1056 Fq::from_str(
1057 "12111265990251598624141275756247422663513559759757319153701374783734518534525",
1058 )
1059 .unwrap(),
1060 Fq::from_str(
1061 "26739984777421171183341767053331505211465422029143782259686543457935639077074",
1062 )
1063 .unwrap(),
1064 ],
1065 vec![
1066 Fq::from_str(
1067 "7819054201259648899956766259173509994826070622646983709427380262867238635463",
1068 )
1069 .unwrap(),
1070 Fq::from_str(
1071 "10445115028929965619698941897016402172414044576496139170399391316067978563932",
1072 )
1073 .unwrap(),
1074 Fq::from_str(
1075 "19684711726373570147937187126430934630002495670017015298886915356480224463252",
1076 )
1077 .unwrap(),
1078 ],
1079 vec![
1080 Fq::from_str(
1081 "11239307846668865409559961011092791606629566617449107300929575297206367273772",
1082 )
1083 .unwrap(),
1084 Fq::from_str(
1085 "28805033990368921872277896029043745855817246151363711680251631474098318414959",
1086 )
1087 .unwrap(),
1088 Fq::from_str(
1089 "18401979852581903763050302976527384564541846667710514970197455751949363551773",
1090 )
1091 .unwrap(),
1092 ],
1093 vec![
1094 Fq::from_str(
1095 "28263368266760706140556936890723050350981960590399696453960533699777929937332",
1096 )
1097 .unwrap(),
1098 Fq::from_str(
1099 "13171701559671490165454061311663500722478022888953080003164558696925706691950",
1100 )
1101 .unwrap(),
1102 Fq::from_str(
1103 "19602525380638837013300511621093845194121859856160220235414966930348094741920",
1104 )
1105 .unwrap(),
1106 ],
1107 vec![
1108 Fq::from_str(
1109 "25875044639134258735138554352016034131847861924507451443931721478575773042344",
1110 )
1111 .unwrap(),
1112 Fq::from_str(
1113 "1286919834973261464274310810959674232070230673485764517044208498391267530988",
1114 )
1115 .unwrap(),
1116 Fq::from_str(
1117 "12782511029953763844753944101233413908378422219581060868637062846684140416599",
1118 )
1119 .unwrap(),
1120 ],
1121 vec![
1122 Fq::from_str(
1123 "13777170936966635591451775007775796682884247670199445877358680218373012583133",
1124 )
1125 .unwrap(),
1126 Fq::from_str(
1127 "13914069095415962019849305704612514109938496116014955678392598600149568146470",
1128 )
1129 .unwrap(),
1130 Fq::from_str(
1131 "6783088795558416833900023860884913748051142639172416787734707305655085393583",
1132 )
1133 .unwrap(),
1134 ],
1135 vec![
1136 Fq::from_str(
1137 "23759768419633407428810307098986751935262813445177317925266674188878521655568",
1138 )
1139 .unwrap(),
1140 Fq::from_str(
1141 "6216329803333944314103957880878676099988045568818271561443283432381325370083",
1142 )
1143 .unwrap(),
1144 Fq::from_str(
1145 "25114051080902804484727511815467173212803244349938543937989789439460074114186",
1146 )
1147 .unwrap(),
1148 ],
1149 vec![
1150 Fq::from_str(
1151 "1180226883916835404878157801250992605812628262348217873510319284727730147381",
1152 )
1153 .unwrap(),
1154 Fq::from_str(
1155 "28284648834460517620415684321276302970692148546984768206724059094698247703614",
1156 )
1157 .unwrap(),
1158 Fq::from_str(
1159 "24033429483804377793699007789045563117176754720883449007735536724064971910209",
1160 )
1161 .unwrap(),
1162 ],
1163 vec![
1164 Fq::from_str(
1165 "24837980504224007072003842463132805986188595503848986775222831487536454430702",
1166 )
1167 .unwrap(),
1168 Fq::from_str(
1169 "7321472857412311158120212341338101751477713807416898032253162676888996785560",
1170 )
1171 .unwrap(),
1172 Fq::from_str(
1173 "16969570257066093255532410834694788936815887939867116143226504248562357179280",
1174 )
1175 .unwrap(),
1176 ],
1177 vec![
1178 Fq::from_str(
1179 "4125673734564343532339577642546830393637205447174011175535077670456408467503",
1180 )
1181 .unwrap(),
1182 Fq::from_str(
1183 "10632713303134500465283168727266716395067246541628032088845987128902453337705",
1184 )
1185 .unwrap(),
1186 Fq::from_str(
1187 "9574680283229048309682722855094170144602083182060214720561022770315159925050",
1188 )
1189 .unwrap(),
1190 ],
1191 vec![
1192 Fq::from_str(
1193 "25200516884616393326554198239117840577353244771178619578270272915036798525203",
1194 )
1195 .unwrap(),
1196 Fq::from_str(
1197 "8016037998616729200273828218865709942562955788458067024686069967773623280702",
1198 )
1199 .unwrap(),
1200 Fq::from_str(
1201 "23152730567726048528634883257060835573481024340136073260056069507023870894846",
1202 )
1203 .unwrap(),
1204 ],
1205 vec![
1206 Fq::from_str(
1207 "4936905020024289826614920724630062129669650361835193562496220267355967500709",
1208 )
1209 .unwrap(),
1210 Fq::from_str(
1211 "18184641423707818974834811540508053654673520711184768800680158891503991754351",
1212 )
1213 .unwrap(),
1214 Fq::from_str(
1215 "27444333582924293137279963432375877042954535401580653830648855025913046131946",
1216 )
1217 .unwrap(),
1218 ],
1219 vec![
1220 Fq::from_str(
1221 "19258787990037904339970574900663327047151333605558856194461096727736980981409",
1222 )
1223 .unwrap(),
1224 Fq::from_str(
1225 "7307247571008211080591958435739460884694126720317257874083215846110062993851",
1226 )
1227 .unwrap(),
1228 Fq::from_str(
1229 "26746958803361511836036369403239292474668097850167071971132263374551313661859",
1230 )
1231 .unwrap(),
1232 ],
1233 vec![
1234 Fq::from_str(
1235 "2986707284687082908367239099770334052301679778803284796428725648583327571996",
1236 )
1237 .unwrap(),
1238 Fq::from_str(
1239 "11076872572044729168706875668696902097477024573484865352103135025101837260335",
1240 )
1241 .unwrap(),
1242 Fq::from_str(
1243 "7676893881767745856368855909105588397337840304590696665395773396488415841368",
1244 )
1245 .unwrap(),
1246 ],
1247 vec![
1248 Fq::from_str(
1249 "8035879860710675293804855837795384803722427367423273349615911494186867635695",
1250 )
1251 .unwrap(),
1252 Fq::from_str(
1253 "8777228662288028976220651807443998778731851272244712495838227067153229552036",
1254 )
1255 .unwrap(),
1256 Fq::from_str(
1257 "9404729766074943289512201205781943537326342248324517034957699512018199204738",
1258 )
1259 .unwrap(),
1260 ],
1261 vec![
1262 Fq::from_str(
1263 "28138039971941229743877350137198714871803339371774209928210486168306126282046",
1264 )
1265 .unwrap(),
1266 Fq::from_str(
1267 "24746372913562546565307551019536112359520027514996722419915199065654026706269",
1268 )
1269 .unwrap(),
1270 Fq::from_str(
1271 "5992908251399318789048901337027258610373870655662449861810221050890563237785",
1272 )
1273 .unwrap(),
1274 ],
1275 vec![
1276 Fq::from_str(
1277 "8986662495311798908019190514368815106790964767556070538172234209887075670815",
1278 )
1279 .unwrap(),
1280 Fq::from_str(
1281 "7819511120920480038906806637526904433010099047963872696607543518954984324963",
1282 )
1283 .unwrap(),
1284 Fq::from_str(
1285 "20040748576462413617236432113139264992338669108015478382493668322296306085726",
1286 )
1287 .unwrap(),
1288 ],
1289 vec![
1290 Fq::from_str(
1291 "12604124251667268108802430657250418818373981324591677149693775791311237018115",
1292 )
1293 .unwrap(),
1294 Fq::from_str(
1295 "3713446680888938926487722727702881477451007635693922407499275812693082163524",
1296 )
1297 .unwrap(),
1298 Fq::from_str(
1299 "4729722979346651955109002515433891123630816656581607922377526264122826791278",
1300 )
1301 .unwrap(),
1302 ],
1303 vec![
1304 Fq::from_str(
1305 "16455155466899261355363975391464726179721089911718581260053823330812044805329",
1306 )
1307 .unwrap(),
1308 Fq::from_str(
1309 "27164824221249686345132567624748537410457840627513096638619870411838704887939",
1310 )
1311 .unwrap(),
1312 Fq::from_str(
1313 "16276969634012778467682584281076733912813949584479602315250697584070339970173",
1314 )
1315 .unwrap(),
1316 ],
1317 vec![
1318 Fq::from_str(
1319 "25641921087422510763187305803178924090589997867692682422161021888360562111214",
1320 )
1321 .unwrap(),
1322 Fq::from_str(
1323 "3667017006482520184366983251713265998942338144600409725070021931240855063242",
1324 )
1325 .unwrap(),
1326 Fq::from_str(
1327 "16624027448839826107498199322162430278228409173124621849582911009734159268523",
1328 )
1329 .unwrap(),
1330 ],
1331 vec![
1332 Fq::from_str(
1333 "26317000137938324098695631123138063604840025944173958478354566632124186905402",
1334 )
1335 .unwrap(),
1336 Fq::from_str(
1337 "26340841271036888065816939024344358177648115802586515509528813558078622483283",
1338 )
1339 .unwrap(),
1340 Fq::from_str(
1341 "26760792070192677486356259617078495242352693159824472284838522738202103374517",
1342 )
1343 .unwrap(),
1344 ],
1345 vec![
1346 Fq::from_str(
1347 "12721771512080997403280267277695539784262535121086502864139373913498888705215",
1348 )
1349 .unwrap(),
1350 Fq::from_str(
1351 "22548741447254480389350118476622153801605101093013811309651936063066499340364",
1352 )
1353 .unwrap(),
1354 Fq::from_str(
1355 "27978367330497576661463216897542761474015119849207592150731961184044447336019",
1356 )
1357 .unwrap(),
1358 ],
1359 vec![
1360 Fq::from_str(
1361 "25747063373517637067792390107027157627279718780430393414118399515398493230570",
1362 )
1363 .unwrap(),
1364 Fq::from_str(
1365 "20151199118555759838932276113163555479083735668386566652089241087017456180596",
1366 )
1367 .unwrap(),
1368 Fq::from_str(
1369 "18879014815739649515414305835536994932451911664341341839193146489857284960764",
1370 )
1371 .unwrap(),
1372 ],
1373 vec![
1374 Fq::from_str(
1375 "3810373645102571961856835110796286023878561472775937446095180271215591973482",
1376 )
1377 .unwrap(),
1378 Fq::from_str(
1379 "21670724524877659990430014767408914315012249576025971870416576542969889929722",
1380 )
1381 .unwrap(),
1382 Fq::from_str(
1383 "3915354581322191374887706360194439190056113572215823372708498368264986411752",
1384 )
1385 .unwrap(),
1386 ],
1387 vec![
1388 Fq::from_str(
1389 "25396010083988081390296945409600690498532747776857675039749936403891275914607",
1390 )
1391 .unwrap(),
1392 Fq::from_str(
1393 "27390501373018759994091671141783422648482925902652559051505224556105818276432",
1394 )
1395 .unwrap(),
1396 Fq::from_str(
1397 "21943756395113869385673889596972393684048914861116005493936041142864388308640",
1398 )
1399 .unwrap(),
1400 ],
1401 vec![
1402 Fq::from_str(
1403 "21009529429359499435346117020843766611662779822918934812595290904562681460194",
1404 )
1405 .unwrap(),
1406 Fq::from_str(
1407 "4403095793362209982879649985124453117401775317228756238293170861698283724152",
1408 )
1409 .unwrap(),
1410 Fq::from_str(
1411 "13402721305808954031052740171341806281977967539270936940650446104784640742956",
1412 )
1413 .unwrap(),
1414 ],
1415 vec![
1416 Fq::from_str(
1417 "27491349623398243944682353258003517841463983130426355707277141054509970413931",
1418 )
1419 .unwrap(),
1420 Fq::from_str(
1421 "839162295650533705111165213845914661169544698196543148318540951139745338443",
1422 )
1423 .unwrap(),
1424 Fq::from_str(
1425 "2360031015226134235320333722839592171180466963140089662936226146376372598269",
1426 )
1427 .unwrap(),
1428 ],
1429 vec![
1430 Fq::from_str(
1431 "23187073805281466301515357725635655379740035976872552251192653562569108948332",
1432 )
1433 .unwrap(),
1434 Fq::from_str(
1435 "13415450340633894897579130593672628357474718745976391717544515771527056769433",
1436 )
1437 .unwrap(),
1438 Fq::from_str(
1439 "20551598721856083916810924558283736201557848101716997060847530300465710342492",
1440 )
1441 .unwrap(),
1442 ],
1443 vec![
1444 Fq::from_str(
1445 "3672594647865661748928752317746079229095373133257293162774720337138304704736",
1446 )
1447 .unwrap(),
1448 Fq::from_str(
1449 "28656412123828764424722913154831876184400121058128257557942467880106263931024",
1450 )
1451 .unwrap(),
1452 Fq::from_str(
1453 "12488798341044520189714771416078903136558391518843419705687775573556817797577",
1454 )
1455 .unwrap(),
1456 ],
1457 ],
1458 }
1459}
1460
1461pub fn static_params() -> &'static ArithmeticSpongeParams<Fq> {
1463 static PARAMS: Lazy<ArithmeticSpongeParams<Fq>> = Lazy::new(params);
1464 &PARAMS
1465}