1use mina_curves::pasta::Fq;
2use mina_poseidon::poseidon::ArithmeticSpongeParams;
3use once_cell::sync::Lazy;
4
5type Params = ArithmeticSpongeParams<Fq, 60>;
6
7use std::str::FromStr;
10
11fn params() -> Params {
12 Params {
13 mds: [
14 [
15 Fq::from_str(
16 "13841249378323021054377890016443265503914469864575312305567855128857444259487",
17 )
18 .unwrap(),
19 Fq::from_str(
20 "13474541630870351706035366868551274745344722775965283971488625444792482938921",
21 )
22 .unwrap(),
23 Fq::from_str(
24 "12151399309130104322934698634832550272633145452940229406831079937203453962655",
25 )
26 .unwrap(),
27 ],
28 [
29 Fq::from_str(
30 "23740172672243477188057832304277375136172708212574345504502655344614455663606",
31 )
32 .unwrap(),
33 Fq::from_str(
34 "21546379895052337509105835711466137751271439534383664473903037983361236182649",
35 )
36 .unwrap(),
37 Fq::from_str(
38 "23066889761122039690865858791355498392807739602525834512710419267656039395072",
39 )
40 .unwrap(),
41 ],
42 [
43 Fq::from_str(
44 "21257914241847355181936015256361686342208107590210872866396751638657186725269",
45 )
46 .unwrap(),
47 Fq::from_str(
48 "26067439960311266372107947555750482427352889677249991931425889311346331301244",
49 )
50 .unwrap(),
51 Fq::from_str(
52 "12928079059102104389399617486508810710959599542061627402082516871089532252204",
53 )
54 .unwrap(),
55 ],
56 ],
57 round_constants: [
58 [
59 Fq::from_str(
60 "26670984196527839467673167978149437755844366956321273026656650542011198272197",
61 )
62 .unwrap(),
63 Fq::from_str(
64 "26013004827491165884682917918428377897255879902000375849310858738009760470562",
65 )
66 .unwrap(),
67 Fq::from_str(
68 "5420685313310124987480400044757399826914052519997427998887189691416232403245",
69 )
70 .unwrap(),
71 ],
72 [
73 Fq::from_str(
74 "7380609437725388759172027592963234162853451534319456286538277978633614936971",
75 )
76 .unwrap(),
77 Fq::from_str(
78 "9966232995568830110180758641581023485115951463148554382368561029317340036027",
79 )
80 .unwrap(),
81 Fq::from_str(
82 "28754092216755158675001416045004197886112586989030713157273469167863632395356",
83 )
84 .unwrap(),
85 ],
86 [
87 Fq::from_str(
88 "28357886559269113664297190499547194903533546901013467270751349984975123919000",
89 )
90 .unwrap(),
91 Fq::from_str(
92 "19730820496452085203255679263480518276180414649569269459731768952000235952971",
93 )
94 .unwrap(),
95 Fq::from_str(
96 "6101012598333622734057793807254456227076559878860659397169023699671171625527",
97 )
98 .unwrap(),
99 ],
100 [
101 Fq::from_str(
102 "19354296086288079144159688795327823522398391728875212438965010638655375455562",
103 )
104 .unwrap(),
105 Fq::from_str(
106 "963886109865447521127743832003203330310842182698308283277967974115778110471",
107 )
108 .unwrap(),
109 Fq::from_str(
110 "4281563786504771719885397038176034931017772107152448013142531584031665653873",
111 )
112 .unwrap(),
113 ],
114 [
115 Fq::from_str(
116 "22434977466990605082277346891649372581276997387643726171473862867763924117097",
117 )
118 .unwrap(),
119 Fq::from_str(
120 "13174550665662255841009687929042395185477189619407134958480174063404635971634",
121 )
122 .unwrap(),
123 Fq::from_str(
124 "26005789312462815321328498182081852420665006828682992304348915245386398610873",
125 )
126 .unwrap(),
127 ],
128 [
129 Fq::from_str(
130 "14261478113012663354046752356759087159765688199500179875954642395193867447371",
131 )
132 .unwrap(),
133 Fq::from_str(
134 "5319741634899083444347353099902602066490888021034732217012556056837111902901",
135 )
136 .unwrap(),
137 Fq::from_str(
138 "24281416757910026946666445460917181064060869667150825997973925467333387775115",
139 )
140 .unwrap(),
141 ],
142 [
143 Fq::from_str(
144 "15416895049592059092638358872355212898998998908558794698876839869683256456004",
145 )
146 .unwrap(),
147 Fq::from_str(
148 "15390253357931539610194542193095570692890805122713279610257215942935464374719",
149 )
150 .unwrap(),
151 Fq::from_str(
152 "20789588747734416786711125246746886476076139970160040037960650024173751844025",
153 )
154 .unwrap(),
155 ],
156 [
157 Fq::from_str(
158 "19268124713110905659901812882050400279035919397728249325940775594990663211110",
159 )
160 .unwrap(),
161 Fq::from_str(
162 "12195786313905509291107072431512687605919725851081638502151678111133621832441",
163 )
164 .unwrap(),
165 Fq::from_str(
166 "10996797254442470598461241872576533474264956098948895636942413022641449567843",
167 )
168 .unwrap(),
169 ],
170 [
171 Fq::from_str(
172 "16031386136507188699582593290815695992163943378269473017916874103066734548603",
173 )
174 .unwrap(),
175 Fq::from_str(
176 "26393086215631991843496465996980424738477421979529423684963588301934817887804",
177 )
178 .unwrap(),
179 Fq::from_str(
180 "10020908459421884208513359412128136167359628801846395421852688157171038382652",
181 )
182 .unwrap(),
183 ],
184 [
185 Fq::from_str(
186 "2275674645721881281344332559044371002228696505945826386093638383129626987820",
187 )
188 .unwrap(),
189 Fq::from_str(
190 "20871954636987436302289348956897439215309251875529050679580127597263497272022",
191 )
192 .unwrap(),
193 Fq::from_str(
194 "2805912099911037452690852710034714538324835563618608205533675796786012172540",
195 )
196 .unwrap(),
197 ],
198 [
199 Fq::from_str(
200 "12915788094434266346171730509109106471648198000850852516599691611952366277595",
201 )
202 .unwrap(),
203 Fq::from_str(
204 "10455858116745097341023546462392222663807393446470812029549928814838698828197",
205 )
206 .unwrap(),
207 Fq::from_str(
208 "18548429514862373104120945125763670495246981395802510059301488453312220138142",
209 )
210 .unwrap(),
211 ],
212 [
213 Fq::from_str(
214 "15373116094599762914903524023093729273461654612461234960666295498677422349953",
215 )
216 .unwrap(),
217 Fq::from_str(
218 "3525617356615259862195106796336657658007178396368139338747079341939583684666",
219 )
220 .unwrap(),
221 Fq::from_str(
222 "12023105750813777481149114228471616659998426860941299094537298344838126075345",
223 )
224 .unwrap(),
225 ],
226 [
227 Fq::from_str(
228 "26587730386641627909670986517353025269633372837450910451825098440250303207114",
229 )
230 .unwrap(),
231 Fq::from_str(
232 "9074270097550873666867300148771600909014032474714272120531292635080024578351",
233 )
234 .unwrap(),
235 Fq::from_str(
236 "16615827041072034692314621590279489654646723822721197974770794031303667078327",
237 )
238 .unwrap(),
239 ],
240 [
241 Fq::from_str(
242 "20461572479624705365303610120753007669488016680882759421045733709021889519289",
243 )
244 .unwrap(),
245 Fq::from_str(
246 "26965967315571780826140179998689464673459701276445944370512797087644375234978",
247 )
248 .unwrap(),
249 Fq::from_str(
250 "28024057220417802371648952762950742790050995995116405638415899316978666577934",
251 )
252 .unwrap(),
253 ],
254 [
255 Fq::from_str(
256 "21950318517032882689049872365078159816107931788675573974069114493584495431253",
257 )
258 .unwrap(),
259 Fq::from_str(
260 "19426502278378560572857838763658840255394172603117177227007593438933781199090",
261 )
262 .unwrap(),
263 Fq::from_str(
264 "17109968150768182960870375097797329526321434967783065142585178988441418255970",
265 )
266 .unwrap(),
267 ],
268 [
269 Fq::from_str(
270 "4900697972992083407198577086201839674947019834151233581099269472024415286865",
271 )
272 .unwrap(),
273 Fq::from_str(
274 "21257266248810969336901990518010397339194787485618799904331928858369131592715",
275 )
276 .unwrap(),
277 Fq::from_str(
278 "7853338111392902876480479512761358182087148519956105729210068733325256641242",
279 )
280 .unwrap(),
281 ],
282 [
283 Fq::from_str(
284 "14953731463927686511781103109299419908680866708971902685494637646180828533194",
285 )
286 .unwrap(),
287 Fq::from_str(
288 "1039568133358048217256645444858779690222593722360933428132029595856197231708",
289 )
290 .unwrap(),
291 Fq::from_str(
292 "21957403689654416397064622231922871551099838312101526423356724466906188357692",
293 )
294 .unwrap(),
295 ],
296 [
297 Fq::from_str(
298 "26854225070716528408870645522239189278896427207500130710682305948803020238931",
299 )
300 .unwrap(),
301 Fq::from_str(
302 "26943892344604571557701285028044912982696825664345334371487484451303282475647",
303 )
304 .unwrap(),
305 Fq::from_str(
306 "1055486347679417723372054024522800671210435936363188971739620139282176021577",
307 )
308 .unwrap(),
309 ],
310 [
311 Fq::from_str(
312 "12039988523641802893655502894224498050885828461811563074139032284005801213403",
313 )
314 .unwrap(),
315 Fq::from_str(
316 "8902157540895169828625719473847119761637916797736988512418726291566892375478",
317 )
318 .unwrap(),
319 Fq::from_str(
320 "19808247018928888974783844516743773328294296650472582590579002155958871262899",
321 )
322 .unwrap(),
323 ],
324 [
325 Fq::from_str(
326 "1166679276532448467842854177763358821231571989731998006764195336801763455021",
327 )
328 .unwrap(),
329 Fq::from_str(
330 "3606106570684658925413634110366206918044489665389891978146383152327787874509",
331 )
332 .unwrap(),
333 Fq::from_str(
334 "6852721786435315500790559962812048058053541164453308515683899928808277370093",
335 )
336 .unwrap(),
337 ],
338 [
339 Fq::from_str(
340 "13806687138702327718737608018875659025193922209134042758115965685374173572631",
341 )
342 .unwrap(),
343 Fq::from_str(
344 "22097540835610763700704213032962472026569342000865482925296449079325231775952",
345 )
346 .unwrap(),
347 Fq::from_str(
348 "23854994668788070518164362677404876296654138145727636839907804381279830692184",
349 )
350 .unwrap(),
351 ],
352 [
353 Fq::from_str(
354 "14328285116930040297167480888093252040682222507378296723083675894276997543320",
355 )
356 .unwrap(),
357 Fq::from_str(
358 "20209427422345103632021534022650468075947344519137728114160624684121322455710",
359 )
360 .unwrap(),
361 Fq::from_str(
362 "27033255520536361062197858564300467125597172428228104135004669745440717000280",
363 )
364 .unwrap(),
365 ],
366 [
367 Fq::from_str(
368 "28248381813468035169220139433513611820173498138773431024157751299160860251101",
369 )
370 .unwrap(),
371 Fq::from_str(
372 "21526871958088430765907319854118302865893119689569733282961302685994303096697",
373 )
374 .unwrap(),
375 Fq::from_str(
376 "4746295740702898653769939686610795189271514521752909912067264117422778228375",
377 )
378 .unwrap(),
379 ],
380 [
381 Fq::from_str(
382 "9101401092044932317062159778689819323115945875284594416907500031473455978135",
383 )
384 .unwrap(),
385 Fq::from_str(
386 "27308974038596559880820319745148649731010999017812218694960076804027626479421",
387 )
388 .unwrap(),
389 Fq::from_str(
390 "27024963874124411093581981994784661747591122603933013537982183388422444695841",
391 )
392 .unwrap(),
393 ],
394 [
395 Fq::from_str(
396 "21057964411478038759944416368533075071641109811620242561938792043892897144239",
397 )
398 .unwrap(),
399 Fq::from_str(
400 "7934667723159326341262909811771836782101934647017223031384894873861929276033",
401 )
402 .unwrap(),
403 Fq::from_str(
404 "24057087430176896270365331032150773107194301890269528289146941949706298382245",
405 )
406 .unwrap(),
407 ],
408 [
409 Fq::from_str(
410 "24872091794585731195123232743434894841960966480807109028172616559410714340378",
411 )
412 .unwrap(),
413 Fq::from_str(
414 "15518684264925082319927189973387561377010439235348248553623063845923579402660",
415 )
416 .unwrap(),
417 Fq::from_str(
418 "14948609980173019585444594725654208043748147783660285932086415887394611752597",
419 )
420 .unwrap(),
421 ],
422 [
423 Fq::from_str(
424 "10984170585530607867489913407826422000086932773059636533222090923195886168825",
425 )
426 .unwrap(),
427 Fq::from_str(
428 "9321826953632892919090736157541940967379221312916602977566838169907380096870",
429 )
430 .unwrap(),
431 Fq::from_str(
432 "17487804874644538928028029763348613533582076810998020571125589343942948265817",
433 )
434 .unwrap(),
435 ],
436 [
437 Fq::from_str(
438 "15275480059698629965360784554938662843156630611714827458212571654634240046605",
439 )
440 .unwrap(),
441 Fq::from_str(
442 "26413670478329619782619613350537218886176471689804000980910258836369485101702",
443 )
444 .unwrap(),
445 Fq::from_str(
446 "22110235271545922012664286788630290002548452970188851575240062241974646215797",
447 )
448 .unwrap(),
449 ],
450 [
451 Fq::from_str(
452 "5711011179980344348611755788272653483339509530994363809978304737350075716000",
453 )
454 .unwrap(),
455 Fq::from_str(
456 "23953629463804192365925501930661733866204203811414692118288576654795847703470",
457 )
458 .unwrap(),
459 Fq::from_str(
460 "5136563821326800571661592018591914751723715382808500909300542629456466994789",
461 )
462 .unwrap(),
463 ],
464 [
465 Fq::from_str(
466 "21002177360068475415405665266698677701230625062874672384664043086721899565078",
467 )
468 .unwrap(),
469 Fq::from_str(
470 "16160705656234082318664468980148954204257542989847179985485042083802028404005",
471 )
472 .unwrap(),
473 Fq::from_str(
474 "9584652138885123343129154370726916454016668838741647553957283602972361563118",
475 )
476 .unwrap(),
477 ],
478 [
479 Fq::from_str(
480 "11976558678099062367003807661135049597791370468907580902513666607265118739358",
481 )
482 .unwrap(),
483 Fq::from_str(
484 "17770574027300583122009021603974295849535945441531452157529578670591628790562",
485 )
486 .unwrap(),
487 Fq::from_str(
488 "8779857893007641767450158410931422967669604621388757865092237959422562566512",
489 )
490 .unwrap(),
491 ],
492 [
493 Fq::from_str(
494 "1106764359170752442062364091255316123175951798705034870298529962585584020572",
495 )
496 .unwrap(),
497 Fq::from_str(
498 "14282358984863272931851137163247018760911529915646224138003781953088609751794",
499 )
500 .unwrap(),
501 Fq::from_str(
502 "23068266846998739315579280127999495081981085207657183174657687901108103620833",
503 )
504 .unwrap(),
505 ],
506 [
507 Fq::from_str(
508 "8653390726873789662036821861474930339237642221033368679523999558683634039983",
509 )
510 .unwrap(),
511 Fq::from_str(
512 "21189350969079886399299663440211026207756289316640749637497110786199356061458",
513 )
514 .unwrap(),
515 Fq::from_str(
516 "5874508707195808729739662175554323653263260150428377752434606463967243900638",
517 )
518 .unwrap(),
519 ],
520 [
521 Fq::from_str(
522 "22562647947455785733109059717137970098038603103702164680034643705156923696289",
523 )
524 .unwrap(),
525 Fq::from_str(
526 "28784044665662723346322790792841446800014639216013400198981660575412845188995",
527 )
528 .unwrap(),
529 Fq::from_str(
530 "21617548860882346762468289662184539964972003273262239453456162866555087501784",
531 )
532 .unwrap(),
533 ],
534 [
535 Fq::from_str(
536 "7921707293863412887763762425340047557212461768642176100113995468887128120848",
537 )
538 .unwrap(),
539 Fq::from_str(
540 "5079638071684390339031549260477894630888951581139107799635162857532169033203",
541 )
542 .unwrap(),
543 Fq::from_str(
544 "1906474501718235725268246233868869738847898113905316888545913829010490521322",
545 )
546 .unwrap(),
547 ],
548 [
549 Fq::from_str(
550 "15010703057223301210797194186273140083891325609163657533528230982592512926640",
551 )
552 .unwrap(),
553 Fq::from_str(
554 "10211530488461406492044942258309860029358718988798555599263583230449549386184",
555 )
556 .unwrap(),
557 Fq::from_str(
558 "7926214251232883423235385814093337865027940862721299192910052080502780132651",
559 )
560 .unwrap(),
561 ],
562 [
563 Fq::from_str(
564 "1615858616585740214171190013584453494816062927677997768793286983960714636586",
565 )
566 .unwrap(),
567 Fq::from_str(
568 "6300851832008087933477316424296862623492613015770943553911344820034487697725",
569 )
570 .unwrap(),
571 Fq::from_str(
572 "16997495024966063782859434171461822461915808567641951044575476421161801044996",
573 )
574 .unwrap(),
575 ],
576 [
577 Fq::from_str(
578 "19093867154823521476631513454884258559801391479742181351464825851713886882804",
579 )
580 .unwrap(),
581 Fq::from_str(
582 "9876623979316708918029048066191049762079725911343449898764854106968461086193",
583 )
584 .unwrap(),
585 Fq::from_str(
586 "7438377435815100341595798523554450500128694745187932659511819662569177641879",
587 )
588 .unwrap(),
589 ],
590 [
591 Fq::from_str(
592 "13237643488507212932551762727914712522464902552479712766778808080089035951383",
593 )
594 .unwrap(),
595 Fq::from_str(
596 "1319931255447271194675270558717799001431869893418472253731223591074983480311",
597 )
598 .unwrap(),
599 Fq::from_str(
600 "7612481215526800118812690896530728866481443352597194934339693910825696483013",
601 )
602 .unwrap(),
603 ],
604 [
605 Fq::from_str(
606 "21648850356578602757279748986908901999065310414626834013406905545000047414361",
607 )
608 .unwrap(),
609 Fq::from_str(
610 "5114318994465500116617192593880584287425659388356129222869162968973137431628",
611 )
612 .unwrap(),
613 Fq::from_str(
614 "14274034502399536699480454286342319572996073205595632914757715057595605987972",
615 )
616 .unwrap(),
617 ],
618 [
619 Fq::from_str(
620 "26790719393278821612050895247884938435625613110754118299610499799014565923461",
621 )
622 .unwrap(),
623 Fq::from_str(
624 "4610514154584214123082003352374212407564345220952368178746170358675112402908",
625 )
626 .unwrap(),
627 Fq::from_str(
628 "1698630880910166583271254572454135552446512741333083347763483525435981457103",
629 )
630 .unwrap(),
631 ],
632 [
633 Fq::from_str(
634 "20552720912510443152155372945469698492199625763926700431467362374595133355503",
635 )
636 .unwrap(),
637 Fq::from_str(
638 "13027934210042230481275252151174239452268620117959842710803374999950407743674",
639 )
640 .unwrap(),
641 Fq::from_str(
642 "12928773210332716904967599591061654461064257952845874859809010183743576804183",
643 )
644 .unwrap(),
645 ],
646 [
647 Fq::from_str(
648 "9898388983730091833586496876143319487640591474664562180048110968261504227763",
649 )
650 .unwrap(),
651 Fq::from_str(
652 "246696781145054333994875178319722243107187829835409556837932862368780043827",
653 )
654 .unwrap(),
655 Fq::from_str(
656 "3643500059049840720789605431319295724288225718414327982164300578592452239677",
657 )
658 .unwrap(),
659 ],
660 [
661 Fq::from_str(
662 "3565425667601106009770782071884148125071341260281920273751052503326375058481",
663 )
664 .unwrap(),
665 Fq::from_str(
666 "11864389139266614505889554458655451207930913861631435830492116979608557714974",
667 )
668 .unwrap(),
669 Fq::from_str(
670 "8274657129590003581058306529364964194968347052625573424884303363838851417154",
671 )
672 .unwrap(),
673 ],
674 [
675 Fq::from_str(
676 "1275743209701804744206403454856572943723564090814290111897584099271022701779",
677 )
678 .unwrap(),
679 Fq::from_str(
680 "21973662159342416905656953138735231968923660220069068196765641337893610648313",
681 )
682 .unwrap(),
683 Fq::from_str(
684 "25894732957240328820500628771930855661060611454759858073185019889253632110910",
685 )
686 .unwrap(),
687 ],
688 [
689 Fq::from_str(
690 "24235983361660621912660346593434103797222337145613774587667715180072880402932",
691 )
692 .unwrap(),
693 Fq::from_str(
694 "28064151545062294376369933084121731998678552213732523790998247369967442851222",
695 )
696 .unwrap(),
697 Fq::from_str(
698 "17349893890535912362335854141505342728498068491067316154965484585819728433057",
699 )
700 .unwrap(),
701 ],
702 [
703 Fq::from_str(
704 "15761968906322825313255937439984951429369868993224115833647535952461101665403",
705 )
706 .unwrap(),
707 Fq::from_str(
708 "12730132432828071741894158325728434195442074356127747454789604974311569256382",
709 )
710 .unwrap(),
711 Fq::from_str(
712 "15546396661635542412156226214532349631117485335067100794480597316674413181741",
713 )
714 .unwrap(),
715 ],
716 [
717 Fq::from_str(
718 "26114367077546812088524649139586722615602988031071908939189781274012523720259",
719 )
720 .unwrap(),
721 Fq::from_str(
722 "24120384959346861175854010829333655347217114314748265093541001656605937854873",
723 )
724 .unwrap(),
725 Fq::from_str(
726 "19948360916941737903881302285818644687244482456463503655644971939056521509651",
727 )
728 .unwrap(),
729 ],
730 [
731 Fq::from_str(
732 "19726197518649987200467574937800886411552656360200944676459718139782252781161",
733 )
734 .unwrap(),
735 Fq::from_str(
736 "28474607446546947575504882600162047140263193547832650495916965063574806568486",
737 )
738 .unwrap(),
739 Fq::from_str(
740 "23853413930706347232024181413476257923113376782352708959863255759270297482643",
741 )
742 .unwrap(),
743 ],
744 [
745 Fq::from_str(
746 "12172967092520478036533278879321417885370166446952416302138802149554076887765",
747 )
748 .unwrap(),
749 Fq::from_str(
750 "23009599418043991694882996890518263678873774603216345360596994131664213566862",
751 )
752 .unwrap(),
753 Fq::from_str(
754 "10115258270635971171995411905168552695793622404699352160197062614831363007330",
755 )
756 .unwrap(),
757 ],
758 [
759 Fq::from_str(
760 "11872854830696109949651382814501844672018549027397589681743730297592698621988",
761 )
762 .unwrap(),
763 Fq::from_str(
764 "27242375034974808335639708106328197436180434795006391706142292135621509320179",
765 )
766 .unwrap(),
767 Fq::from_str(
768 "12240585689619491656334069880205175383446802092185679587077983154058337550941",
769 )
770 .unwrap(),
771 ],
772 [
773 Fq::from_str(
774 "21354477485311779262361916142854589865704748405272954734490890336687615138805",
775 )
776 .unwrap(),
777 Fq::from_str(
778 "23957401946708184815950634880682726184066491070197994539079194824221621571898",
779 )
780 .unwrap(),
781 Fq::from_str(
782 "8357936131918521617894415271376877545637994736685320868457215391964819334380",
783 )
784 .unwrap(),
785 ],
786 [
787 Fq::from_str(
788 "23556508762893476575740526218250109012025360589353787405830042158273933308342",
789 )
790 .unwrap(),
791 Fq::from_str(
792 "26459483525453534734424286694012535960391097465802298977757104519791714946079",
793 )
794 .unwrap(),
795 Fq::from_str(
796 "10475806893121710950614249918125355895080858562674206501925615132176728614089",
797 )
798 .unwrap(),
799 ],
800 [
801 Fq::from_str(
802 "509921547172201949904713166493001584273069976849368713467345580264015783495",
803 )
804 .unwrap(),
805 Fq::from_str(
806 "18125203608474211016238804504111319380002458161505700677366869384368972046217",
807 )
808 .unwrap(),
809 Fq::from_str(
810 "21924276575871168170965471499148658434002761718539337627176793776405331995359",
811 )
812 .unwrap(),
813 ],
814 [
815 Fq::from_str(
816 "20766228186393497584471782099005176987747009290594643934202011294470303807376",
817 )
818 .unwrap(),
819 Fq::from_str(
820 "14375963887626641531579004947270417067489282157820693664981439571201925786507",
821 )
822 .unwrap(),
823 Fq::from_str(
824 "21159389101933617620301753100914640106752229791897141844262326158946032983368",
825 )
826 .unwrap(),
827 ],
828 [
829 Fq::from_str(
830 "4461134990679762924709186776053724197764516354075947521348677372357740214228",
831 )
832 .unwrap(),
833 Fq::from_str(
834 "16252169654788390820854791971943967502618323077922450508362670811049952999068",
835 )
836 .unwrap(),
837 Fq::from_str(
838 "12230304177499919762152198881532284912863465765960540568879309220349311440639",
839 )
840 .unwrap(),
841 ],
842 [
843 Fq::from_str(
844 "28841011969818167186628412469014473288587924982384920380582573823320491690149",
845 )
846 .unwrap(),
847 Fq::from_str(
848 "2799323756756092759606808189644604436886324385103205704619694119270259152673",
849 )
850 .unwrap(),
851 Fq::from_str(
852 "7552245287463888227716869296827175678848435662455435319330135096459780527367",
853 )
854 .unwrap(),
855 ],
856 [
857 Fq::from_str(
858 "14559878705009013461912521439177189262826320003053264136037120330161817373798",
859 )
860 .unwrap(),
861 Fq::from_str(
862 "135149832293512941307855088962585950397809468736297008779181618805608043951",
863 )
864 .unwrap(),
865 Fq::from_str(
866 "10076925352984375920319893131906409552943218948970513115140185752025602734367",
867 )
868 .unwrap(),
869 ],
870 [
871 Fq::from_str(
872 "21180884538099273847084389539895114475410666123121133636810594347139251692132",
873 )
874 .unwrap(),
875 Fq::from_str(
876 "16264335492355657460979899000171576784721337003978974122245774555132733725877",
877 )
878 .unwrap(),
879 Fq::from_str(
880 "11243620954294652682442140545184810781230200439960589447680494425973184831880",
881 )
882 .unwrap(),
883 ],
884 [
885 Fq::from_str(
886 "11960277331258705530567654798295965395742512385392290832518951609500109974170",
887 )
888 .unwrap(),
889 Fq::from_str(
890 "12193804570375975216227507559799714885990198774010330434569978857678369247842",
891 )
892 .unwrap(),
893 Fq::from_str(
894 "19383474201008690035488023798780015353919506197647243443206760029489523188626",
895 )
896 .unwrap(),
897 ],
898 ],
899 }
900}
901
902pub fn static_params() -> &'static Params {
903 static PARAMS: Lazy<Params> = Lazy::new(params);
904 &PARAMS
905}