1extern crate alloc;
2
3use crate::{pasta::FULL_ROUNDS, poseidon::ArithmeticSpongeParams};
4use ark_ff::Field;
5use core::{fmt::Debug, str::FromStr};
6
7type Params<FieldType> = ArithmeticSpongeParams<FieldType, FULL_ROUNDS>;
8
9#[must_use]
21#[allow(clippy::too_many_lines)]
22pub fn kimchi_dummy<Err: Debug, Fp: Field + FromStr<Err = Err>>() -> Params<Fp> {
23 Params {
24 mds: [
25 [
26 Fp::from_str(
27 "12035446894107573964500871153637039653510326950134440362813193268448863222019",
28 )
29 .unwrap(),
30 Fp::from_str(
31 "25461374787957152039031444204194007219326765802730624564074257060397341542093",
32 )
33 .unwrap(),
34 Fp::from_str(
35 "27667907157110496066452777015908813333407980290333709698851344970789663080149",
36 )
37 .unwrap(),
38 ],
39 [
40 Fp::from_str(
41 "4491931056866994439025447213644536587424785196363427220456343191847333476930",
42 )
43 .unwrap(),
44 Fp::from_str(
45 "14743631939509747387607291926699970421064627808101543132147270746750887019919",
46 )
47 .unwrap(),
48 Fp::from_str(
49 "9448400033389617131295304336481030167723486090288313334230651810071857784477",
50 )
51 .unwrap(),
52 ],
53 [
54 Fp::from_str(
55 "10525578725509990281643336361904863911009900817790387635342941550657754064843",
56 )
57 .unwrap(),
58 Fp::from_str(
59 "27437632000253211280915908546961303399777448677029255413769125486614773776695",
60 )
61 .unwrap(),
62 Fp::from_str(
63 "27566319851776897085443681456689352477426926500749993803132851225169606086988",
64 )
65 .unwrap(),
66 ],
67 ],
68
69 round_constants: [
70 [
71 Fp::from_str(
72 "21155079691556475130150866428468322463125560312786319980770950159250751855431",
73 )
74 .unwrap(),
75 Fp::from_str(
76 "16883442198399350202652499677723930673110172289234921799701652810789093522349",
77 )
78 .unwrap(),
79 Fp::from_str(
80 "17030687036425314703519085065002231920937594822150793091243263847382891822670",
81 )
82 .unwrap(),
83 ],
84 [
85 Fp::from_str(
86 "25216718237129482752721276445368692059997901880654047883630276346421457427360",
87 )
88 .unwrap(),
89 Fp::from_str(
90 "9054264347380455706540423067244764093107767235485930776517975315876127782582",
91 )
92 .unwrap(),
93 Fp::from_str(
94 "26439087121446593160953570192891907825526260324480347638727375735543609856888",
95 )
96 .unwrap(),
97 ],
98 [
99 Fp::from_str(
100 "15251000790817261169639394496851831733819930596125214313084182526610855787494",
101 )
102 .unwrap(),
103 Fp::from_str(
104 "10861916012597714684433535077722887124099023163589869801449218212493070551767",
105 )
106 .unwrap(),
107 Fp::from_str(
108 "18597653523270601187312528478986388028263730767495975370566527202946430104139",
109 )
110 .unwrap(),
111 ],
112 [
113 Fp::from_str(
114 "15831416454198644276563319006805490049460322229057756462580029181847589006611",
115 )
116 .unwrap(),
117 Fp::from_str(
118 "15171856919255965617705854914448645702014039524159471542852132430360867202292",
119 )
120 .unwrap(),
121 Fp::from_str(
122 "15488495958879593647482715143904752785889816789652405888927117106448507625751",
123 )
124 .unwrap(),
125 ],
126 [
127 Fp::from_str(
128 "19039802679983063488134304670998725949842655199289961967801223969839823940152",
129 )
130 .unwrap(),
131 Fp::from_str(
132 "4720101937153217036737330058775388037616286510783561045464678919473230044408",
133 )
134 .unwrap(),
135 Fp::from_str(
136 "10226318327254973427513859412126640040910264416718766418164893837597674300190",
137 )
138 .unwrap(),
139 ],
140 [
141 Fp::from_str(
142 "20878756131129218406920515859235137275859844638301967889441262030146031838819",
143 )
144 .unwrap(),
145 Fp::from_str(
146 "7178475685651744631172532830973371642652029385893667810726019303466125436953",
147 )
148 .unwrap(),
149 Fp::from_str(
150 "1996970955918516145107673266490486752153434673064635795711751450164177339618",
151 )
152 .unwrap(),
153 ],
154 [
155 Fp::from_str(
156 "15205545916434157464929420145756897321482314798910153575340430817222504672630",
157 )
158 .unwrap(),
159 Fp::from_str(
160 "25660296961552699573824264215804279051322332899472350724416657386062327210698",
161 )
162 .unwrap(),
163 Fp::from_str(
164 "13842611741937412200312851417353455040950878279339067816479233688850376089318",
165 )
166 .unwrap(),
167 ],
168 [
169 Fp::from_str(
170 "1383799642177300432144836486981606294838630135265094078921115713566691160459",
171 )
172 .unwrap(),
173 Fp::from_str(
174 "1135532281155277588005319334542025976079676424839948500020664227027300010929",
175 )
176 .unwrap(),
177 Fp::from_str(
178 "4384117336930380014868572224801371377488688194169758696438185377724744869360",
179 )
180 .unwrap(),
181 ],
182 [
183 Fp::from_str(
184 "21725577575710270071808882335900370909424604447083353471892004026180492193649",
185 )
186 .unwrap(),
187 Fp::from_str(
188 "676128913284806802699862508051022306366147359505124346651466289788974059668",
189 )
190 .unwrap(),
191 Fp::from_str(
192 "25186611339598418732666781049829183886812651492845008333418424746493100589207",
193 )
194 .unwrap(),
195 ],
196 [
197 Fp::from_str(
198 "10402240124664763733060094237696964473609580414190944671778761753887884341073",
199 )
200 .unwrap(),
201 Fp::from_str(
202 "11918307118590866200687906627767559273324023585642003803337447146531313172441",
203 )
204 .unwrap(),
205 Fp::from_str(
206 "16895677254395661024186292503536662354181715337630376909778003268311296637301",
207 )
208 .unwrap(),
209 ],
210 [
211 Fp::from_str(
212 "23818602699032741669874498456696325705498383130221297580399035778119213224810",
213 )
214 .unwrap(),
215 Fp::from_str(
216 "4285193711150023248690088154344086684336247475445482883105661485741762600154",
217 )
218 .unwrap(),
219 Fp::from_str(
220 "19133204443389422404056150665863951250222934590192266371578950735825153238612",
221 )
222 .unwrap(),
223 ],
224 [
225 Fp::from_str(
226 "5515589673266504033533906836494002702866463791762187140099560583198974233395",
227 )
228 .unwrap(),
229 Fp::from_str(
230 "11830435563729472715615302060564876527985621376031612798386367965451821182352",
231 )
232 .unwrap(),
233 Fp::from_str(
234 "7510711479224915247011074129666445216001563200717943545636462819681638560128",
235 )
236 .unwrap(),
237 ],
238 [
239 Fp::from_str(
240 "24694843201907722940091503626731830056550128225297370217610328578733387733444",
241 )
242 .unwrap(),
243 Fp::from_str(
244 "27361655066973784653563425664091383058914302579694897188019422193564924110528",
245 )
246 .unwrap(),
247 Fp::from_str(
248 "21606788186194534241166833954371013788633495786419718955480491478044413102713",
249 )
250 .unwrap(),
251 ],
252 [
253 Fp::from_str(
254 "19934060063390905409309407607814787335159021816537006003398035237707924006757",
255 )
256 .unwrap(),
257 Fp::from_str(
258 "8495813630060004961768092461554180468161254914257386012937942498774724649553",
259 )
260 .unwrap(),
261 Fp::from_str(
262 "27524960680529762202005330464726908693944660961000958842417927307941561848461",
263 )
264 .unwrap(),
265 ],
266 [
267 Fp::from_str(
268 "15178481650950399259757805400615635703086255035073919114667254549690862896985",
269 )
270 .unwrap(),
271 Fp::from_str(
272 "16164780354695672259791105197274509251141405713012804937107314962551600380870",
273 )
274 .unwrap(),
275 Fp::from_str(
276 "10529167793600778056702353412758954281652843049850979705476598375597148191979",
277 )
278 .unwrap(),
279 ],
280 [
281 Fp::from_str(
282 "721141070179074082553302896292167103755384741083338957818644728290501449040",
283 )
284 .unwrap(),
285 Fp::from_str(
286 "22044408985956234023934090378372374883099115753118261312473550998188148912041",
287 )
288 .unwrap(),
289 Fp::from_str(
290 "27068254103241989852888872162525066148367014691482601147536314217249046186315",
291 )
292 .unwrap(),
293 ],
294 [
295 Fp::from_str(
296 "3880429241956357176819112098792744584376727450211873998699580893624868748961",
297 )
298 .unwrap(),
299 Fp::from_str(
300 "17387097125522937623262508065966749501583017524609697127088211568136333655623",
301 )
302 .unwrap(),
303 Fp::from_str(
304 "6256814421247770895467770393029354017922744712896100913895513234184920631289",
305 )
306 .unwrap(),
307 ],
308 [
309 Fp::from_str(
310 "2942627347777337187690939671601251987500285937340386328746818861972711408579",
311 )
312 .unwrap(),
313 Fp::from_str(
314 "24031654937764287280548628128490074801809101323243546313826173430897408945397",
315 )
316 .unwrap(),
317 Fp::from_str(
318 "14401457902976567713827506689641442844921449636054278900045849050301331732143",
319 )
320 .unwrap(),
321 ],
322 [
323 Fp::from_str(
324 "20170632877385406450742199836933900257692624353889848352407590794211839130727",
325 )
326 .unwrap(),
327 Fp::from_str(
328 "24056496193857444725324410428861722338174099794084586764867109123681727290181",
329 )
330 .unwrap(),
331 Fp::from_str(
332 "11257913009612703357266904349759250619633397075667824800196659858304604714965",
333 )
334 .unwrap(),
335 ],
336 [
337 Fp::from_str(
338 "22228158921984425749199071461510152694025757871561406897041788037116931009246",
339 )
340 .unwrap(),
341 Fp::from_str(
342 "9152163378317846541430311327336774331416267016980485920222768197583559318682",
343 )
344 .unwrap(),
345 Fp::from_str(
346 "13906695403538884432896105059360907560653506400343268230130536740148070289175",
347 )
348 .unwrap(),
349 ],
350 [
351 Fp::from_str(
352 "7220714562509721437034241786731185291972496952091254931195414855962344025067",
353 )
354 .unwrap(),
355 Fp::from_str(
356 "27608867305903811397208862801981345878179337369367554478205559689592889691927",
357 )
358 .unwrap(),
359 Fp::from_str(
360 "13288465747219756218882697408422850918209170830515545272152965967042670763153",
361 )
362 .unwrap(),
363 ],
364 [
365 Fp::from_str(
366 "8251343892709140154567051772980662609566359215743613773155065627504813327653",
367 )
368 .unwrap(),
369 Fp::from_str(
370 "22035238365102171608166944627493632660244312563934708756134297161332908879090",
371 )
372 .unwrap(),
373 Fp::from_str(
374 "13560937766273321037807329177749403409731524715067067740487246745322577571823",
375 )
376 .unwrap(),
377 ],
378 [
379 Fp::from_str(
380 "21652518608959234550262559135285358020552897349934571164032339186996805408040",
381 )
382 .unwrap(),
383 Fp::from_str(
384 "22479086963324173427634460342145551255011746993910136574926173581069603086891",
385 )
386 .unwrap(),
387 Fp::from_str(
388 "13676501958531751140966255121288182631772843001727158043704693838707387130095",
389 )
390 .unwrap(),
391 ],
392 [
393 Fp::from_str(
394 "5680310394102577950568930199056707827608275306479994663197187031893244826674",
395 )
396 .unwrap(),
397 Fp::from_str(
398 "25125360450906166639190392763071557410047335755341060350879819485506243289998",
399 )
400 .unwrap(),
401 Fp::from_str(
402 "22659254028501616785029594492374243581602744364859762239504348429834224676676",
403 )
404 .unwrap(),
405 ],
406 [
407 Fp::from_str(
408 "23101411405087512171421838856759448177512679869882987631073569441496722536782",
409 )
410 .unwrap(),
411 Fp::from_str(
412 "24149774013240355952057123660656464942409328637280437515964899830988178868108",
413 )
414 .unwrap(),
415 Fp::from_str(
416 "5782097512368226173095183217893826020351125522160843964147125728530147423065",
417 )
418 .unwrap(),
419 ],
420 [
421 Fp::from_str(
422 "13540762114500083869920564649399977644344247485313990448129838910231204868111",
423 )
424 .unwrap(),
425 Fp::from_str(
426 "20421637734328811337527547703833013277831804985438407401987624070721139913982",
427 )
428 .unwrap(),
429 Fp::from_str(
430 "7742664118615900772129122541139124149525273579639574972380600206383923500701",
431 )
432 .unwrap(),
433 ],
434 [
435 Fp::from_str(
436 "1109643801053963021778418773196543643970146666329661268825691230294798976318",
437 )
438 .unwrap(),
439 Fp::from_str(
440 "16580663920817053843121063692728699890952505074386761779275436996241901223840",
441 )
442 .unwrap(),
443 Fp::from_str(
444 "14638514680222429058240285918830106208025229459346033470787111294847121792366",
445 )
446 .unwrap(),
447 ],
448 [
449 Fp::from_str(
450 "17080385857812672649489217965285727739557573467014392822992021264701563205891",
451 )
452 .unwrap(),
453 Fp::from_str(
454 "26176268111736737558502775993925696791974738793095023824029827577569530708665",
455 )
456 .unwrap(),
457 Fp::from_str(
458 "4382756253392449071896813428140986330161215829425086284611219278674857536001",
459 )
460 .unwrap(),
461 ],
462 [
463 Fp::from_str(
464 "13934033814940585315406666445960471293638427404971553891617533231178815348902",
465 )
466 .unwrap(),
467 Fp::from_str(
468 "27054912732979753314774418228399230433963143177662848084045249524271046173121",
469 )
470 .unwrap(),
471 Fp::from_str(
472 "28916070403698593376490976676534962592542013020010643734621202484860041243391",
473 )
474 .unwrap(),
475 ],
476 [
477 Fp::from_str(
478 "24820015636966360150164458094894587765384135259446295278101998130934963922381",
479 )
480 .unwrap(),
481 Fp::from_str(
482 "7969535238488580655870884015145760954416088335296905520306227531221721881868",
483 )
484 .unwrap(),
485 Fp::from_str(
486 "7690547696740080985104189563436871930607055124031711216224219523236060212249",
487 )
488 .unwrap(),
489 ],
490 [
491 Fp::from_str(
492 "9712576468091272384496248353414290908377825697488757134833205246106605867289",
493 )
494 .unwrap(),
495 Fp::from_str(
496 "12148698031438398980683630141370402088785182722473169207262735228500190477924",
497 )
498 .unwrap(),
499 Fp::from_str(
500 "14359657643133476969781351728574842164124292705609900285041476162075031948227",
501 )
502 .unwrap(),
503 ],
504 [
505 Fp::from_str(
506 "23563839965372067275137992801035780013422228997724286060975035719045352435470",
507 )
508 .unwrap(),
509 Fp::from_str(
510 "4184634822776323233231956802962638484057536837393405750680645555481330909086",
511 )
512 .unwrap(),
513 Fp::from_str(
514 "16249511905185772125762038789038193114431085603985079639889795722501216492487",
515 )
516 .unwrap(),
517 ],
518 [
519 Fp::from_str(
520 "11001863048692031559800673473526311616702863826063550559568315794438941516621",
521 )
522 .unwrap(),
523 Fp::from_str(
524 "4702354107983530219070178410740869035350641284373933887080161024348425080464",
525 )
526 .unwrap(),
527 Fp::from_str(
528 "23751680507533064238793742311430343910720206725883441625894258483004979501613",
529 )
530 .unwrap(),
531 ],
532 [
533 Fp::from_str(
534 "28670526516158451470169873496541739545860177757793329093045522432279094518766",
535 )
536 .unwrap(),
537 Fp::from_str(
538 "3568312993091537758218792253361873752799472566055209125947589819564395417072",
539 )
540 .unwrap(),
541 Fp::from_str(
542 "1819755756343439646550062754332039103654718693246396323207323333948654200950",
543 )
544 .unwrap(),
545 ],
546 [
547 Fp::from_str(
548 "5372129954699791301953948907349887257752247843844511069896766784624930478273",
549 )
550 .unwrap(),
551 Fp::from_str(
552 "17512156688034945920605615850550150476471921176481039715733979181538491476080",
553 )
554 .unwrap(),
555 Fp::from_str(
556 "25777105342317622165159064911913148785971147228777677435200128966844208883059",
557 )
558 .unwrap(),
559 ],
560 [
561 Fp::from_str(
562 "25350392006158741749134238306326265756085455157012701586003300872637887157982",
563 )
564 .unwrap(),
565 Fp::from_str(
566 "20096724945283767296886159120145376967480397366990493578897615204296873954844",
567 )
568 .unwrap(),
569 Fp::from_str(
570 "8063283381910110762785892100479219642751540456251198202214433355775540036851",
571 )
572 .unwrap(),
573 ],
574 [
575 Fp::from_str(
576 "4393613870462297385565277757207010824900723217720226130342463666351557475823",
577 )
578 .unwrap(),
579 Fp::from_str(
580 "9874972555132910032057499689351411450892722671352476280351715757363137891038",
581 )
582 .unwrap(),
583 Fp::from_str(
584 "23590926474329902351439438151596866311245682682435235170001347511997242904868",
585 )
586 .unwrap(),
587 ],
588 [
589 Fp::from_str(
590 "17723373371137275859467518615551278584842947963894791032296774955869958211070",
591 )
592 .unwrap(),
593 Fp::from_str(
594 "2350345015303336966039836492267992193191479606566494799781846958620636621159",
595 )
596 .unwrap(),
597 Fp::from_str(
598 "27755207882790211140683010581856487965587066971982625511152297537534623405016",
599 )
600 .unwrap(),
601 ],
602 [
603 Fp::from_str(
604 "6584607987789185408123601849106260907671314994378225066806060862710814193906",
605 )
606 .unwrap(),
607 Fp::from_str(
608 "609759108847171587253578490536519506369136135254150754300671591987320319770",
609 )
610 .unwrap(),
611 Fp::from_str(
612 "28435187585965602110074342250910608316032945187476441868666714022529803033083",
613 )
614 .unwrap(),
615 ],
616 [
617 Fp::from_str(
618 "16016664911651770663938916450245705908287192964254704641717751103464322455303",
619 )
620 .unwrap(),
621 Fp::from_str(
622 "17551273293154696089066968171579395800922204266630874071186322718903959339163",
623 )
624 .unwrap(),
625 Fp::from_str(
626 "20414195497994754529479032467015716938594722029047207834858832838081413050198",
627 )
628 .unwrap(),
629 ],
630 [
631 Fp::from_str(
632 "19773307918850685463180290966774465805537520595602496529624568184993487593855",
633 )
634 .unwrap(),
635 Fp::from_str(
636 "24598603838812162820757838364185126333280131847747737533989799467867231166980",
637 )
638 .unwrap(),
639 Fp::from_str(
640 "11040972566103463398651864390163813377135738019556270484707889323659789290225",
641 )
642 .unwrap(),
643 ],
644 [
645 Fp::from_str(
646 "5189242080957784038860188184443287562488963023922086723850863987437818393811",
647 )
648 .unwrap(),
649 Fp::from_str(
650 "1435203288979376557721239239445613396009633263160237764653161500252258220144",
651 )
652 .unwrap(),
653 Fp::from_str(
654 "13066591163578079667911016543985168493088721636164837520689376346534152547210",
655 )
656 .unwrap(),
657 ],
658 [
659 Fp::from_str(
660 "17345901407013599418148210465150865782628422047458024807490502489711252831342",
661 )
662 .unwrap(),
663 Fp::from_str(
664 "22139633362249671900128029132387275539363684188353969065288495002671733200348",
665 )
666 .unwrap(),
667 Fp::from_str(
668 "1061056418502836172283188490483332922126033656372467737207927075184389487061",
669 )
670 .unwrap(),
671 ],
672 [
673 Fp::from_str(
674 "10241738906190857416046229928455551829189196941239601756375665129874835232299",
675 )
676 .unwrap(),
677 Fp::from_str(
678 "27808033332417845112292408673209999320983657696373938259351951416571545364415",
679 )
680 .unwrap(),
681 Fp::from_str(
682 "18820154989873674261497645724903918046694142479240549687085662625471577737140",
683 )
684 .unwrap(),
685 ],
686 [
687 Fp::from_str(
688 "7983688435214640842673294735439196010654951226956101271763849527529940619307",
689 )
690 .unwrap(),
691 Fp::from_str(
692 "17067928657801807648925755556866676899145460770352731818062909643149568271566",
693 )
694 .unwrap(),
695 Fp::from_str(
696 "24472070825156236829515738091791182856425635433388202153358580534810244942762",
697 )
698 .unwrap(),
699 ],
700 [
701 Fp::from_str(
702 "25752201169361795911258625731016717414310986450004737514595241038036936283227",
703 )
704 .unwrap(),
705 Fp::from_str(
706 "26041505376284666160132119888949817249574689146924196064963008712979256107535",
707 )
708 .unwrap(),
709 Fp::from_str(
710 "23977050489096115210391718599021827780049209314283111721864956071820102846008",
711 )
712 .unwrap(),
713 ],
714 [
715 Fp::from_str(
716 "26678257097278788410676026718736087312816016749016738933942134600725962413805",
717 )
718 .unwrap(),
719 Fp::from_str(
720 "10480026985951498884090911619636977502506079971893083605102044931823547311729",
721 )
722 .unwrap(),
723 Fp::from_str(
724 "21126631300593007055117122830961273871167754554670317425822083333557535463396",
725 )
726 .unwrap(),
727 ],
728 [
729 Fp::from_str(
730 "1564862894215434177641156287699106659379648851457681469848362532131406827573",
731 )
732 .unwrap(),
733 Fp::from_str(
734 "13247162472821152334486419054854847522301612781818744556576865965657773174584",
735 )
736 .unwrap(),
737 Fp::from_str(
738 "8673615954922496961704442777870253767001276027366984739283715623634850885984",
739 )
740 .unwrap(),
741 ],
742 [
743 Fp::from_str(
744 "2794525076937490807476666942602262298677291735723129868457629508555429470085",
745 )
746 .unwrap(),
747 Fp::from_str(
748 "4656175953888995612264371467596648522808911819700660048695373348629527757049",
749 )
750 .unwrap(),
751 Fp::from_str(
752 "23221574237857660318443567292601561932489621919104226163978909845174616477329",
753 )
754 .unwrap(),
755 ],
756 [
757 Fp::from_str(
758 "1878392460078272317716114458784636517603142716091316893054365153068227117145",
759 )
760 .unwrap(),
761 Fp::from_str(
762 "2370412714505757731457251173604396662292063533194555369091306667486647634097",
763 )
764 .unwrap(),
765 Fp::from_str(
766 "17409784861870189930766639925394191888667317762328427589153989811980152373276",
767 )
768 .unwrap(),
769 ],
770 [
771 Fp::from_str(
772 "25869136641898166514111941708608048269584233242773814014385564101168774293194",
773 )
774 .unwrap(),
775 Fp::from_str(
776 "11361209360311194794795494027949518465383235799633128250259863567683341091323",
777 )
778 .unwrap(),
779 Fp::from_str(
780 "14913258820718821235077379851098720071902170702113538811112331615559409988569",
781 )
782 .unwrap(),
783 ],
784 [
785 Fp::from_str(
786 "12957012022018304419868287033513141736995211906682903915897515954290678373899",
787 )
788 .unwrap(),
789 Fp::from_str(
790 "17128889547450684566010972445328859295804027707361763477802050112063630550300",
791 )
792 .unwrap(),
793 Fp::from_str(
794 "23329219085372232771288306767242735245018143857623151155581182779769305489903",
795 )
796 .unwrap(),
797 ],
798 [
799 Fp::from_str(
800 "1607741027962933685476527275858938699728586794398382348454736018784568853937",
801 )
802 .unwrap(),
803 Fp::from_str(
804 "2611953825405141009309433982109911976923326848135736099261873796908057448476",
805 )
806 .unwrap(),
807 Fp::from_str(
808 "7372230383134982628913227482618052530364724821976589156840317933676130378411",
809 )
810 .unwrap(),
811 ],
812 [
813 Fp::from_str(
814 "20203606758501212620842735123770014952499754751430660463060696990317556818571",
815 )
816 .unwrap(),
817 Fp::from_str(
818 "4678361398979174017885631008335559529633853759463947250620930343087749944307",
819 )
820 .unwrap(),
821 Fp::from_str(
822 "27176462634198471376002287271754121925750749676999036165457559387195124025594",
823 )
824 .unwrap(),
825 ],
826 [
827 Fp::from_str(
828 "6361981813552614697928697527332318530502852015189048838072565811230204474643",
829 )
830 .unwrap(),
831 Fp::from_str(
832 "13815234633287489023151647353581705241145927054858922281829444557905946323248",
833 )
834 .unwrap(),
835 Fp::from_str(
836 "10888828634279127981352133512429657747610298502219125571406085952954136470354",
837 )
838 .unwrap(),
839 ],
840 ],
841 }
842}