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