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