1use decaf377::Fq;
2use poseidon_parameters::v1::{
3 Alpha, ArcMatrix, Matrix, MdsMatrix, OptimizedArcMatrix, OptimizedMdsMatrices,
4 PoseidonParameters, RoundNumbers, SquareMatrix,
5};
6
7pub const fn rate_6() -> PoseidonParameters<7, 6, 49, 36, 39, 7, 273, 31> {
9 PoseidonParameters {
10 M: 128,
11 arc: ArcMatrix::<39, 7, 273>::new_from_known([
12 Fq::from_montgomery_limbs([
13 15142982440796561447,
14 11586951767160912790,
15 2554152473571518408,
16 1060132733599829191,
17 ]),
18 Fq::from_montgomery_limbs([
19 5004052621280210368,
20 17001459709892607063,
21 7681637351760180567,
22 370325849830378477,
23 ]),
24 Fq::from_montgomery_limbs([
25 12700316700887579682,
26 10527071459591008162,
27 4649940422809756001,
28 1164398790994859766,
29 ]),
30 Fq::from_montgomery_limbs([
31 14166576988026094609,
32 7313392791454005322,
33 12003933110859736764,
34 497349496445067730,
35 ]),
36 Fq::from_montgomery_limbs([
37 660800666505769101,
38 8654643871558439567,
39 14263148622483513593,
40 820049075817239934,
41 ]),
42 Fq::from_montgomery_limbs([
43 3633256971691786185,
44 10090676851691033833,
45 14588357423182388197,
46 831634409758195705,
47 ]),
48 Fq::from_montgomery_limbs([
49 6492287632409988134,
50 12046607076154115291,
51 17147959445519551317,
52 461021671425820687,
53 ]),
54 Fq::from_montgomery_limbs([
55 14444046072241906262,
56 11260694318344083229,
57 15743364178797140854,
58 866446994798567454,
59 ]),
60 Fq::from_montgomery_limbs([
61 3641312158605685211,
62 14157364044999263645,
63 16784472236570305027,
64 425843099497195003,
65 ]),
66 Fq::from_montgomery_limbs([
67 17723864121788076174,
68 13911937024562874191,
69 12749454259525933628,
70 451378649043069085,
71 ]),
72 Fq::from_montgomery_limbs([
73 12784133990119646353,
74 17654455838119254543,
75 14047536069777387226,
76 645204516252515303,
77 ]),
78 Fq::from_montgomery_limbs([
79 1959581704190940037,
80 13929985394687694163,
81 11022302142929130035,
82 283707020686355664,
83 ]),
84 Fq::from_montgomery_limbs([
85 8629032034013359758,
86 8320916390268264398,
87 11188435069201519314,
88 1277918481865788038,
89 ]),
90 Fq::from_montgomery_limbs([
91 1783621120979741815,
92 10125702604889014266,
93 7859706914940359291,
94 1258189548796714111,
95 ]),
96 Fq::from_montgomery_limbs([
97 4197085784563434882,
98 243889206587889894,
99 328885806087941395,
100 929695947751686179,
101 ]),
102 Fq::from_montgomery_limbs([
103 6420634290533400711,
104 3371757063543007366,
105 8900632765923820105,
106 371199850895065588,
107 ]),
108 Fq::from_montgomery_limbs([
109 9679924820095672851,
110 5191301328839079795,
111 1468702730043861612,
112 1130258788388916276,
113 ]),
114 Fq::from_montgomery_limbs([
115 14270884667693338729,
116 18421783881067727877,
117 702505960635108322,
118 876601962183112334,
119 ]),
120 Fq::from_montgomery_limbs([
121 12801928710162774032,
122 15709283060501093378,
123 2508615709628312314,
124 924328772397935430,
125 ]),
126 Fq::from_montgomery_limbs([
127 9019134492733417932,
128 4614098400696239641,
129 291908476903718505,
130 879711180612784839,
131 ]),
132 Fq::from_montgomery_limbs([
133 12296479578360854848,
134 3423354675244851904,
135 17098596077633953792,
136 378482623029323224,
137 ]),
138 Fq::from_montgomery_limbs([
139 13200816203042245771,
140 15381254577926224952,
141 14688424257545082743,
142 884773501591309967,
143 ]),
144 Fq::from_montgomery_limbs([
145 16263843110415550162,
146 14001011937262187824,
147 2325893788175944450,
148 427344840846697831,
149 ]),
150 Fq::from_montgomery_limbs([
151 10712788406702291397,
152 14628016237392831746,
153 12076323935029775432,
154 746032296870665924,
155 ]),
156 Fq::from_montgomery_limbs([
157 7577844083779539683,
158 8593563853045273470,
159 6762705862919489296,
160 1011466592883577533,
161 ]),
162 Fq::from_montgomery_limbs([
163 10970204418416076913,
164 4397529361571105931,
165 15590416832284287611,
166 432035610777585218,
167 ]),
168 Fq::from_montgomery_limbs([
169 13604542201065871088,
170 8000646895858538916,
171 7463535664974476191,
172 112496092381655883,
173 ]),
174 Fq::from_montgomery_limbs([
175 5448941064349247150,
176 18035446383961421934,
177 9688851655819494355,
178 314108334517577725,
179 ]),
180 Fq::from_montgomery_limbs([
181 13216339084640418338,
182 18208749029142079159,
183 2801888902925820506,
184 1144112407212441278,
185 ]),
186 Fq::from_montgomery_limbs([
187 10386335329700935468,
188 13018324118118161010,
189 2406041197881630048,
190 1324098854417409495,
191 ]),
192 Fq::from_montgomery_limbs([
193 2690622444332381359,
194 2738375881209676440,
195 17836986493178387691,
196 868260556757543816,
197 ]),
198 Fq::from_montgomery_limbs([
199 9714850335178297908,
200 2509018678236953449,
201 1040431953277617242,
202 408671886406597132,
203 ]),
204 Fq::from_montgomery_limbs([
205 707163896186597409,
206 13903930520829310823,
207 14380446875360964889,
208 798432165792010570,
209 ]),
210 Fq::from_montgomery_limbs([
211 12820993772370131859,
212 3069542795148551755,
213 4040592593739183911,
214 977377017483241698,
215 ]),
216 Fq::from_montgomery_limbs([
217 4384064590197914518,
218 11440426390601473487,
219 3890530701580791196,
220 991346454205769097,
221 ]),
222 Fq::from_montgomery_limbs([
223 2745693351823380117,
224 3687897447624002689,
225 13955517171460419947,
226 904061096631428006,
227 ]),
228 Fq::from_montgomery_limbs([
229 1760514697396940568,
230 6095881437414931654,
231 3928451548254372674,
232 247578034773164640,
233 ]),
234 Fq::from_montgomery_limbs([
235 16683268981822865275,
236 15797990746305502978,
237 12125148959239662231,
238 449202381506144581,
239 ]),
240 Fq::from_montgomery_limbs([
241 1544285291520736591,
242 5232522639692590592,
243 14175161601321791260,
244 1003097983515138607,
245 ]),
246 Fq::from_montgomery_limbs([
247 13865967627227239358,
248 4354525642109054184,
249 5021238725820305528,
250 906854086996571433,
251 ]),
252 Fq::from_montgomery_limbs([
253 15375530278413617622,
254 7761235083504109835,
255 15924872860758961429,
256 537333030355735422,
257 ]),
258 Fq::from_montgomery_limbs([
259 13872782625772992287,
260 2068079588750918007,
261 17083661114150680976,
262 191043765855622193,
263 ]),
264 Fq::from_montgomery_limbs([
265 489795382124266981,
266 9316407371494156111,
267 16300320024181640604,
268 1307068723907147815,
269 ]),
270 Fq::from_montgomery_limbs([
271 77890204043514297,
272 14999308260055033106,
273 16273406145240730287,
274 1230840137172288304,
275 ]),
276 Fq::from_montgomery_limbs([
277 9003111034130458080,
278 14053560383370232566,
279 14148009681833335599,
280 84069116658731520,
281 ]),
282 Fq::from_montgomery_limbs([
283 1986315671557859076,
284 944997752628096648,
285 6737867794955410335,
286 792066859500791592,
287 ]),
288 Fq::from_montgomery_limbs([
289 11554157552429322652,
290 6015547764843714345,
291 3599229111267661129,
292 1102309536290663120,
293 ]),
294 Fq::from_montgomery_limbs([
295 16401157455500798150,
296 2599298290463801395,
297 4428490753223095655,
298 516522849079366838,
299 ]),
300 Fq::from_montgomery_limbs([
301 7623242261478057757,
302 3618111358832343565,
303 1696272282252986964,
304 280076732551033967,
305 ]),
306 Fq::from_montgomery_limbs([
307 13071470547050819875,
308 20719442839602638,
309 9223499824514905062,
310 1041977639884177823,
311 ]),
312 Fq::from_montgomery_limbs([
313 1150980008515938579,
314 12791886596105604965,
315 11797006328775889799,
316 132341159056314927,
317 ]),
318 Fq::from_montgomery_limbs([
319 16356304185985037124,
320 18355100705716380177,
321 1487696971024578548,
322 1163163264873917501,
323 ]),
324 Fq::from_montgomery_limbs([
325 8790136689831869026,
326 9859012327886066746,
327 1622774421779032220,
328 680128396913817531,
329 ]),
330 Fq::from_montgomery_limbs([
331 2440240671160835195,
332 5639103082516719016,
333 16233642885930425961,
334 459387979334747122,
335 ]),
336 Fq::from_montgomery_limbs([
337 3071531689091094489,
338 11779374527227589848,
339 5879834474282319317,
340 392743474596485606,
341 ]),
342 Fq::from_montgomery_limbs([
343 3786139316484579004,
344 7465575270640816353,
345 3301786867662477611,
346 919080835077506714,
347 ]),
348 Fq::from_montgomery_limbs([
349 4241677901554464615,
350 14852259420419314449,
351 9789117952977925786,
352 1276159211529108963,
353 ]),
354 Fq::from_montgomery_limbs([
355 15762815448669571633,
356 7231481802108863616,
357 8209538117580382786,
358 894055725982675524,
359 ]),
360 Fq::from_montgomery_limbs([
361 3283548778124636488,
362 17961129609378056584,
363 12441299600811628613,
364 709973667467565902,
365 ]),
366 Fq::from_montgomery_limbs([
367 1675404449995783699,
368 17666259544497784614,
369 13412804093386962519,
370 434991501447979808,
371 ]),
372 Fq::from_montgomery_limbs([
373 17976226742991442453,
374 14546337615752094946,
375 6516407789910488272,
376 1036976265682484688,
377 ]),
378 Fq::from_montgomery_limbs([
379 13972137480979054280,
380 1231617287998224018,
381 8770959412540690803,
382 274349352586037174,
383 ]),
384 Fq::from_montgomery_limbs([
385 14183071713815614452,
386 12618349549865293619,
387 4916959733988057866,
388 228836586859139895,
389 ]),
390 Fq::from_montgomery_limbs([
391 2619860170191204767,
392 6934658348682381942,
393 445022332707100685,
394 525184674849718520,
395 ]),
396 Fq::from_montgomery_limbs([
397 10672109165350813992,
398 13411227948301334538,
399 7449776000632083055,
400 11625548609868921,
401 ]),
402 Fq::from_montgomery_limbs([
403 6408656838496226261,
404 10947889213454603074,
405 15967755490758556438,
406 18592735561502547,
407 ]),
408 Fq::from_montgomery_limbs([
409 5719054350460464154,
410 7527902657216442354,
411 5295945207916573176,
412 1277891579319310511,
413 ]),
414 Fq::from_montgomery_limbs([
415 7105816865111098866,
416 4412124756024705272,
417 4327040274749466413,
418 598090016113808041,
419 ]),
420 Fq::from_montgomery_limbs([
421 14284938317479677602,
422 545805528309510796,
423 102974980360120576,
424 899208167330224593,
425 ]),
426 Fq::from_montgomery_limbs([
427 5366620062124263126,
428 13693679210134795513,
429 8256935418799663781,
430 300801001668016020,
431 ]),
432 Fq::from_montgomery_limbs([
433 16666288670655775443,
434 14215432659130173847,
435 10678349345487712045,
436 253025966523940173,
437 ]),
438 Fq::from_montgomery_limbs([
439 6560188020165350685,
440 12696821494974958005,
441 2143653898969513475,
442 494844631437184679,
443 ]),
444 Fq::from_montgomery_limbs([
445 13593887229322257028,
446 4816959067341413725,
447 11133022091159268235,
448 612414996504397371,
449 ]),
450 Fq::from_montgomery_limbs([
451 4493136462766479434,
452 9962442648546643845,
453 10853590841986868899,
454 915809217863755522,
455 ]),
456 Fq::from_montgomery_limbs([
457 5214032566506119292,
458 11323013569723200047,
459 18236741420002046410,
460 941445927442235049,
461 ]),
462 Fq::from_montgomery_limbs([
463 6205769808699672756,
464 10246354759179081834,
465 15794825809172864679,
466 391230400284939041,
467 ]),
468 Fq::from_montgomery_limbs([
469 10116008430714875822,
470 9911045248650761841,
471 9928250721052258527,
472 1185128099055962746,
473 ]),
474 Fq::from_montgomery_limbs([
475 2754748402734001689,
476 17481760215560470485,
477 11108275517987128040,
478 348615537989168903,
479 ]),
480 Fq::from_montgomery_limbs([
481 13782224526187933341,
482 17030959399708586099,
483 15775077522611833532,
484 290351976048235673,
485 ]),
486 Fq::from_montgomery_limbs([
487 4412648891557328130,
488 11831420266571130198,
489 9622609839094253285,
490 639422212319659804,
491 ]),
492 Fq::from_montgomery_limbs([
493 8394758426176289938,
494 11674917207711491310,
495 7857067218925827640,
496 1264271461076358629,
497 ]),
498 Fq::from_montgomery_limbs([
499 10524729381187531101,
500 6565819519130692503,
501 16455243200834114571,
502 1113660583135941246,
503 ]),
504 Fq::from_montgomery_limbs([
505 4910640324547367503,
506 7067950532806399572,
507 15713931663221284957,
508 678204411073496593,
509 ]),
510 Fq::from_montgomery_limbs([
511 17524781941219231334,
512 14436265047853993106,
513 10996160202266791558,
514 586004270078950889,
515 ]),
516 Fq::from_montgomery_limbs([
517 14088867458599093720,
518 2106970093596697979,
519 12220921713367378788,
520 618714343685517328,
521 ]),
522 Fq::from_montgomery_limbs([
523 13932309166033056776,
524 14069500197080883428,
525 17852601968294832436,
526 305995160171313882,
527 ]),
528 Fq::from_montgomery_limbs([
529 13426729481828305095,
530 7452289540294927985,
531 6441597690310943218,
532 1276798385624416753,
533 ]),
534 Fq::from_montgomery_limbs([
535 15655620409673762414,
536 3933061560128724680,
537 5010270981571820124,
538 220150600325447216,
539 ]),
540 Fq::from_montgomery_limbs([
541 1057266741773269348,
542 17485469765347279593,
543 9555353042208049027,
544 1246738101059957518,
545 ]),
546 Fq::from_montgomery_limbs([
547 10770884181623310580,
548 8877029614675920762,
549 13991352514348114517,
550 1230612668702201686,
551 ]),
552 Fq::from_montgomery_limbs([
553 15095255137495972889,
554 10892244248329151219,
555 11620083234647182892,
556 868324939988635652,
557 ]),
558 Fq::from_montgomery_limbs([
559 16875353652867044098,
560 11044339467067704334,
561 4725495506316385244,
562 751264243578502741,
563 ]),
564 Fq::from_montgomery_limbs([
565 641704525978654163,
566 17754251290783679148,
567 14269956822024939667,
568 156185085842124354,
569 ]),
570 Fq::from_montgomery_limbs([
571 6461798206210941852,
572 6476027702683698308,
573 1734931238850329993,
574 290399632377126477,
575 ]),
576 Fq::from_montgomery_limbs([
577 8091575218940757791,
578 5709045878190771843,
579 1459237052414398801,
580 276967051734326786,
581 ]),
582 Fq::from_montgomery_limbs([
583 11612189501971032754,
584 8427470897363557012,
585 8611179978421665778,
586 759746899153341383,
587 ]),
588 Fq::from_montgomery_limbs([
589 6954134997737035694,
590 10268732943041819889,
591 14604130092481798797,
592 846640249172985022,
593 ]),
594 Fq::from_montgomery_limbs([
595 7190233069227170594,
596 5561401768913144101,
597 1445785661167706223,
598 651525665098162949,
599 ]),
600 Fq::from_montgomery_limbs([
601 9217546346311075388,
602 11071132921926268863,
603 15917748726189064849,
604 1251775227051161244,
605 ]),
606 Fq::from_montgomery_limbs([
607 10390884162889041261,
608 16176571899127336650,
609 10615791626897231355,
610 642115614053282820,
611 ]),
612 Fq::from_montgomery_limbs([
613 17238403316934198029,
614 13759340588486548936,
615 6092125402785041680,
616 230724379449110850,
617 ]),
618 Fq::from_montgomery_limbs([
619 1508952168622687260,
620 8480288040262420498,
621 1917577574060388838,
622 1254153906405997789,
623 ]),
624 Fq::from_montgomery_limbs([
625 13254932503780193579,
626 12662991171495849740,
627 2932469488008999350,
628 1254958848016626489,
629 ]),
630 Fq::from_montgomery_limbs([
631 863236748932298852,
632 7531642076948568445,
633 10425812845553160509,
634 563371573575694666,
635 ]),
636 Fq::from_montgomery_limbs([
637 3280480068018390373,
638 10989862717157633913,
639 16572854018482057186,
640 113384026788145572,
641 ]),
642 Fq::from_montgomery_limbs([
643 11491036808249350882,
644 3627925597439189593,
645 785824861964165853,
646 215791427072358220,
647 ]),
648 Fq::from_montgomery_limbs([
649 7066074229281293800,
650 13321822906632769865,
651 3996439965503887948,
652 1564366489909582,
653 ]),
654 Fq::from_montgomery_limbs([
655 7382263529174205793,
656 14901486809768854424,
657 3687940160755015064,
658 91446740043994899,
659 ]),
660 Fq::from_montgomery_limbs([
661 11979694890244940318,
662 2563830158714032427,
663 9819921513414604825,
664 870663742752411934,
665 ]),
666 Fq::from_montgomery_limbs([
667 1600021421033761986,
668 8201138969411280812,
669 17030652845294033608,
670 12175051723204743,
671 ]),
672 Fq::from_montgomery_limbs([
673 1850310843394039419,
674 1954532768801601911,
675 9226966238277907828,
676 1236975459555124690,
677 ]),
678 Fq::from_montgomery_limbs([
679 16345060141053822550,
680 2663786082800954949,
681 9784580111187431074,
682 818513014765649539,
683 ]),
684 Fq::from_montgomery_limbs([
685 16446391408112544104,
686 9380932902331254953,
687 7071379728384813096,
688 646895171875290856,
689 ]),
690 Fq::from_montgomery_limbs([
691 2378405837694151935,
692 13313303748778516106,
693 5453795007116110093,
694 1101728113109054876,
695 ]),
696 Fq::from_montgomery_limbs([
697 11103307651772077753,
698 12554518811578576783,
699 12962391676951625000,
700 52064702946163453,
701 ]),
702 Fq::from_montgomery_limbs([
703 7926549255154919159,
704 12556509793741807839,
705 8290515496020439025,
706 258653521926883600,
707 ]),
708 Fq::from_montgomery_limbs([
709 307299355354566495,
710 17945732282126444629,
711 5433370265316074894,
712 460536024110656568,
713 ]),
714 Fq::from_montgomery_limbs([
715 5763861568912805530,
716 17141796164103068870,
717 2848893594009159478,
718 1261756298628549918,
719 ]),
720 Fq::from_montgomery_limbs([
721 3229487655955554305,
722 14944270980978379931,
723 9844844119202542915,
724 234743086760476866,
725 ]),
726 Fq::from_montgomery_limbs([
727 2342004844464551443,
728 1279967885187315863,
729 373313457964011347,
730 1079422596885440278,
731 ]),
732 Fq::from_montgomery_limbs([
733 1952007392466585094,
734 11762818037481718593,
735 16662923564394512208,
736 893001431908838762,
737 ]),
738 Fq::from_montgomery_limbs([
739 106763804585413546,
740 14271628963442624240,
741 590027926779466412,
742 57257575012574740,
743 ]),
744 Fq::from_montgomery_limbs([
745 16630768758834449311,
746 422003402188528512,
747 12098463822102798962,
748 159137531863727176,
749 ]),
750 Fq::from_montgomery_limbs([
751 15534331691675530779,
752 7061806693665915536,
753 16952361759388884403,
754 1053244934847428200,
755 ]),
756 Fq::from_montgomery_limbs([
757 9263591902583432602,
758 7558693853599155266,
759 14896692490740080749,
760 1313322134212571400,
761 ]),
762 Fq::from_montgomery_limbs([
763 15314480314637379126,
764 1151647617314553881,
765 17769711940094483975,
766 1199725079245274287,
767 ]),
768 Fq::from_montgomery_limbs([
769 7963766923607262431,
770 12935141255115233618,
771 12948228604583141176,
772 360484743040385122,
773 ]),
774 Fq::from_montgomery_limbs([
775 3259283452211432293,
776 17170672158941172313,
777 3570208516876138657,
778 1045429527322967456,
779 ]),
780 Fq::from_montgomery_limbs([
781 1765653178452548393,
782 6627965412101454655,
783 12661490346413822347,
784 978755993134545199,
785 ]),
786 Fq::from_montgomery_limbs([
787 142797348951966355,
788 5680553790994685398,
789 810985092665822303,
790 289501802913912482,
791 ]),
792 Fq::from_montgomery_limbs([
793 8095554876468743411,
794 9181238692547872814,
795 13704917242845320718,
796 866066458565737675,
797 ]),
798 Fq::from_montgomery_limbs([
799 5618373333754035477,
800 16633102630691350807,
801 10343904648768900571,
802 949315695648845008,
803 ]),
804 Fq::from_montgomery_limbs([
805 10496943145011706036,
806 10929716347158307141,
807 11553769369075211708,
808 1156430459068926506,
809 ]),
810 Fq::from_montgomery_limbs([
811 3889976630621922060,
812 9491334042353419195,
813 9943086516865463752,
814 462137530016129102,
815 ]),
816 Fq::from_montgomery_limbs([
817 14851654499263418555,
818 8665479737435134577,
819 9236486044957348017,
820 1285301549410464570,
821 ]),
822 Fq::from_montgomery_limbs([
823 7032376007033081754,
824 8938792808860946217,
825 3397334075607636452,
826 1167008250605621029,
827 ]),
828 Fq::from_montgomery_limbs([
829 10427481727006183439,
830 3824318376195666571,
831 1544453519691883408,
832 1045681207836001052,
833 ]),
834 Fq::from_montgomery_limbs([
835 8928604482578123459,
836 13973435534214403451,
837 15227973464547816988,
838 1229619095421485591,
839 ]),
840 Fq::from_montgomery_limbs([
841 4131997010006110231,
842 8734538168607192092,
843 5033945745534142948,
844 1277988214099374488,
845 ]),
846 Fq::from_montgomery_limbs([
847 7299169039441587737,
848 2287517025912039400,
849 5920702563974091346,
850 687869072690227692,
851 ]),
852 Fq::from_montgomery_limbs([
853 6148873693348937540,
854 8423800650513424718,
855 13147300378355369290,
856 1251696519717235960,
857 ]),
858 Fq::from_montgomery_limbs([
859 8030856695051151637,
860 10312034347138903675,
861 10835031793863243014,
862 356820600815810125,
863 ]),
864 Fq::from_montgomery_limbs([
865 888403096248430880,
866 456025372404859213,
867 15679766799242003387,
868 331916255940957050,
869 ]),
870 Fq::from_montgomery_limbs([
871 11302383770835780508,
872 16138456171506112495,
873 4451261995311188362,
874 326167792976852851,
875 ]),
876 Fq::from_montgomery_limbs([
877 12620205064271173241,
878 5865309702805720081,
879 5860769966892734734,
880 960482480478038522,
881 ]),
882 Fq::from_montgomery_limbs([
883 12917044525272992137,
884 17120989425489435715,
885 17218371420168852178,
886 100206712207827792,
887 ]),
888 Fq::from_montgomery_limbs([
889 5324266172011654367,
890 5689211424378054902,
891 13406842486269119334,
892 232294740918000310,
893 ]),
894 Fq::from_montgomery_limbs([
895 8539429359150556585,
896 10134859336768345709,
897 15233097762752119955,
898 731468941704353059,
899 ]),
900 Fq::from_montgomery_limbs([
901 10594565907991339987,
902 3638446029011375614,
903 1076241376615234382,
904 91321489252748304,
905 ]),
906 Fq::from_montgomery_limbs([
907 7150892232338862131,
908 15181691199330314635,
909 5084197575257990721,
910 970732723520969453,
911 ]),
912 Fq::from_montgomery_limbs([
913 14117187289068639852,
914 3124767309289558236,
915 13224466604519094715,
916 428140550724790451,
917 ]),
918 Fq::from_montgomery_limbs([
919 14415259957437088686,
920 1795634329615314624,
921 2942903263296282359,
922 1012688804870889787,
923 ]),
924 Fq::from_montgomery_limbs([
925 16612890529511826604,
926 7596386633939850032,
927 5924746967850324505,
928 65893974101627502,
929 ]),
930 Fq::from_montgomery_limbs([
931 4944775760295616420,
932 17454746499425782002,
933 7483609147553356481,
934 669769743129713618,
935 ]),
936 Fq::from_montgomery_limbs([
937 8550535250927460379,
938 14244832580975560343,
939 10645153178392827451,
940 166145496718571589,
941 ]),
942 Fq::from_montgomery_limbs([
943 9472382061922092532,
944 12599919710080842820,
945 17660755505335019341,
946 951845755731906033,
947 ]),
948 Fq::from_montgomery_limbs([
949 7377011861447992951,
950 14177185276539188245,
951 16485545164384506751,
952 69008004491455439,
953 ]),
954 Fq::from_montgomery_limbs([
955 7269422847571440384,
956 10971182983165050190,
957 10477114392953393609,
958 529340264286832500,
959 ]),
960 Fq::from_montgomery_limbs([
961 13548253733030119113,
962 18088771080273253716,
963 5912265224571254564,
964 960653798531692016,
965 ]),
966 Fq::from_montgomery_limbs([
967 14593305211432266861,
968 13978513480108154064,
969 12072035272437813296,
970 238383478016939515,
971 ]),
972 Fq::from_montgomery_limbs([
973 14430090856465614687,
974 2808920183931810539,
975 2024298398014953733,
976 368635335239145011,
977 ]),
978 Fq::from_montgomery_limbs([
979 6675901818525858406,
980 9691159442966147586,
981 5200040876915433586,
982 1110689247130868755,
983 ]),
984 Fq::from_montgomery_limbs([
985 13172765826410278322,
986 13976386792584577667,
987 8689999043086184378,
988 259436890611363824,
989 ]),
990 Fq::from_montgomery_limbs([
991 84751421588979831,
992 14888392918538911455,
993 5486551275818624189,
994 951800733297191582,
995 ]),
996 Fq::from_montgomery_limbs([
997 15334319937719221770,
998 11563835865217739090,
999 18090033619866166811,
1000 678279699900803053,
1001 ]),
1002 Fq::from_montgomery_limbs([
1003 15589602438316257145,
1004 1666336392544054075,
1005 8107996193749583854,
1006 23283085724274977,
1007 ]),
1008 Fq::from_montgomery_limbs([
1009 6797724227011875266,
1010 11367852742974149411,
1011 6678291715699080418,
1012 92125477783429941,
1013 ]),
1014 Fq::from_montgomery_limbs([
1015 15080983138964048420,
1016 537488507591658978,
1017 16294679657097133087,
1018 1191852563555895615,
1019 ]),
1020 Fq::from_montgomery_limbs([
1021 4338903643143774627,
1022 11044337452245898206,
1023 15830174313418706999,
1024 31920243523174840,
1025 ]),
1026 Fq::from_montgomery_limbs([
1027 8492021065892592922,
1028 7492942567998031746,
1029 10227910279589795050,
1030 947691312997138730,
1031 ]),
1032 Fq::from_montgomery_limbs([
1033 9561116086048874539,
1034 18073885101683330337,
1035 14636134925092176090,
1036 722339593463585968,
1037 ]),
1038 Fq::from_montgomery_limbs([
1039 41785100841227711,
1040 17666935019222315365,
1041 4927473313984438107,
1042 67884280271688399,
1043 ]),
1044 Fq::from_montgomery_limbs([
1045 1446967628258656962,
1046 11243844490161767343,
1047 16958413638051813042,
1048 1004693359077776727,
1049 ]),
1050 Fq::from_montgomery_limbs([
1051 9629608502131673092,
1052 2882928936333963073,
1053 15987483283589685207,
1054 660673428262656412,
1055 ]),
1056 Fq::from_montgomery_limbs([
1057 2443606364563185491,
1058 10139467314740663228,
1059 15189229884372483835,
1060 1290830618469438802,
1061 ]),
1062 Fq::from_montgomery_limbs([
1063 3046319622343455954,
1064 3931730478916712920,
1065 8623867774890709346,
1066 1201913658507810759,
1067 ]),
1068 Fq::from_montgomery_limbs([
1069 14392864240168621772,
1070 17867735212625517017,
1071 2772429327165542818,
1072 836534298808933,
1073 ]),
1074 Fq::from_montgomery_limbs([
1075 1151940341306701400,
1076 3833643241309263777,
1077 13096509072792897905,
1078 752108833686380875,
1079 ]),
1080 Fq::from_montgomery_limbs([
1081 5229009174997575511,
1082 6605658491463927698,
1083 15536337046468055686,
1084 157609910170207177,
1085 ]),
1086 Fq::from_montgomery_limbs([
1087 8741468218382317460,
1088 7144323380514935844,
1089 8672006512648752584,
1090 1334645244751689770,
1091 ]),
1092 Fq::from_montgomery_limbs([
1093 10735754706394522516,
1094 4616532568937564832,
1095 15473812904469788516,
1096 326598703312455138,
1097 ]),
1098 Fq::from_montgomery_limbs([
1099 13470305024595632219,
1100 3964162559887319987,
1101 4104496442465768155,
1102 575184728889423472,
1103 ]),
1104 Fq::from_montgomery_limbs([
1105 7024155969680638810,
1106 1248446637476984159,
1107 3946566487106719690,
1108 78713827286502076,
1109 ]),
1110 Fq::from_montgomery_limbs([
1111 1167875954574760034,
1112 7519910968010082415,
1113 15211147069856354453,
1114 750498091773211075,
1115 ]),
1116 Fq::from_montgomery_limbs([
1117 2863941003802949509,
1118 14521430537116398940,
1119 17833674840165779294,
1120 1117243092487510999,
1121 ]),
1122 Fq::from_montgomery_limbs([
1123 3988048134544140696,
1124 4164314985762153852,
1125 5192160405207219362,
1126 537616833580442108,
1127 ]),
1128 Fq::from_montgomery_limbs([
1129 11691596547822673173,
1130 2072119953696732776,
1131 6048298284479353132,
1132 1041936268987727800,
1133 ]),
1134 Fq::from_montgomery_limbs([
1135 5195217310941133128,
1136 983742991580727110,
1137 15582341176749546934,
1138 192949243806351219,
1139 ]),
1140 Fq::from_montgomery_limbs([
1141 989864604993544245,
1142 10337084476006024351,
1143 6399045939932107087,
1144 349553169959482485,
1145 ]),
1146 Fq::from_montgomery_limbs([
1147 1083252708106498385,
1148 14683159496360594363,
1149 6249116681658609726,
1150 965679621626703084,
1151 ]),
1152 Fq::from_montgomery_limbs([
1153 15520366118357711305,
1154 15455325080109246278,
1155 15912772926708879347,
1156 1181106395388318589,
1157 ]),
1158 Fq::from_montgomery_limbs([
1159 10606086519021812869,
1160 8982436141916758768,
1161 8984252788653949566,
1162 94441446490162493,
1163 ]),
1164 Fq::from_montgomery_limbs([
1165 3989193979672410706,
1166 14522119372119676520,
1167 6031184060057719655,
1168 876537182738173910,
1169 ]),
1170 Fq::from_montgomery_limbs([
1171 6542858007243344725,
1172 10468817694619667802,
1173 1374963053947997860,
1174 281508730046968385,
1175 ]),
1176 Fq::from_montgomery_limbs([
1177 2121254413916702881,
1178 11174399821186314401,
1179 642752851055260652,
1180 172419384352924756,
1181 ]),
1182 Fq::from_montgomery_limbs([
1183 14933138168325040251,
1184 18073996174008481460,
1185 7709184193316921275,
1186 77928985789134259,
1187 ]),
1188 Fq::from_montgomery_limbs([
1189 14183089598463409576,
1190 9599657595270154138,
1191 10401242555342360511,
1192 1031862193117340540,
1193 ]),
1194 Fq::from_montgomery_limbs([
1195 17077860441038791206,
1196 6907855957939974514,
1197 7600347021193310054,
1198 225485956370582495,
1199 ]),
1200 Fq::from_montgomery_limbs([
1201 14475416504140964933,
1202 6622123083135972798,
1203 9257366424078234840,
1204 1254195725521864761,
1205 ]),
1206 Fq::from_montgomery_limbs([
1207 18280884764210583702,
1208 16338431925875586014,
1209 14128385164093913939,
1210 598858774608218822,
1211 ]),
1212 Fq::from_montgomery_limbs([
1213 4251295228276607623,
1214 14698477834719362145,
1215 1576184780996848894,
1216 571585722355337029,
1217 ]),
1218 Fq::from_montgomery_limbs([
1219 13272236615232894643,
1220 14010494529183759900,
1221 800023943280278947,
1222 298394511556555918,
1223 ]),
1224 Fq::from_montgomery_limbs([
1225 10782700402615775164,
1226 14412830325727077172,
1227 4994923730339550224,
1228 1079837299050839065,
1229 ]),
1230 Fq::from_montgomery_limbs([
1231 3621380562787996822,
1232 9464307808788620312,
1233 13909924710435794908,
1234 954766105382202190,
1235 ]),
1236 Fq::from_montgomery_limbs([
1237 17420485363085974001,
1238 9021049394344178089,
1239 8712760747075739797,
1240 568515634248632496,
1241 ]),
1242 Fq::from_montgomery_limbs([
1243 5631572804871766736,
1244 5280080317359998903,
1245 10662020310256217520,
1246 409512057651566449,
1247 ]),
1248 Fq::from_montgomery_limbs([
1249 492276079446892838,
1250 2465000468485598245,
1251 8673960199484145367,
1252 1223371911459041820,
1253 ]),
1254 Fq::from_montgomery_limbs([
1255 16206685073675005008,
1256 13515283938452316993,
1257 8657484044144188143,
1258 555324291337764049,
1259 ]),
1260 Fq::from_montgomery_limbs([
1261 12258020657657344839,
1262 14080584073572047035,
1263 1786385914292976334,
1264 890045806750446876,
1265 ]),
1266 Fq::from_montgomery_limbs([
1267 5437561110469019457,
1268 4195656535041473973,
1269 16642453980220687614,
1270 66446192393822025,
1271 ]),
1272 Fq::from_montgomery_limbs([
1273 11378296852796405140,
1274 13948486972729474860,
1275 13814823936920393870,
1276 543448461574407786,
1277 ]),
1278 Fq::from_montgomery_limbs([
1279 15861083328916660546,
1280 10580336230427962464,
1281 8314263211374088393,
1282 462499203598507289,
1283 ]),
1284 Fq::from_montgomery_limbs([
1285 3596880637235637430,
1286 7244702719747713366,
1287 7698652078859897602,
1288 339166837713921764,
1289 ]),
1290 Fq::from_montgomery_limbs([
1291 16434053565692243270,
1292 856826524108649327,
1293 582888221769745389,
1294 231849743296221718,
1295 ]),
1296 Fq::from_montgomery_limbs([
1297 13466829214638063330,
1298 11871004193533817602,
1299 8715083865527535935,
1300 772758187739256383,
1301 ]),
1302 Fq::from_montgomery_limbs([
1303 2215715304482300708,
1304 6939601967594674311,
1305 9762471006918361079,
1306 751422865267861919,
1307 ]),
1308 Fq::from_montgomery_limbs([
1309 8660358354344868439,
1310 10887567579928131536,
1311 4636772766460938216,
1312 875861572717087557,
1313 ]),
1314 Fq::from_montgomery_limbs([
1315 3718962475606244056,
1316 3574286178071706662,
1317 13969021013516480159,
1318 674248673994385489,
1319 ]),
1320 Fq::from_montgomery_limbs([
1321 13879628242113969355,
1322 15611868744516972804,
1323 689523972787487196,
1324 272170949885373985,
1325 ]),
1326 Fq::from_montgomery_limbs([
1327 731217591867043834,
1328 12057204063676562058,
1329 9968800370062020379,
1330 54367310812503073,
1331 ]),
1332 Fq::from_montgomery_limbs([
1333 10847577089461485884,
1334 14781720798335935361,
1335 2050883758009058177,
1336 1227443941313558442,
1337 ]),
1338 Fq::from_montgomery_limbs([
1339 15484525416052326375,
1340 10433705807314230036,
1341 15903522838889990919,
1342 544585322945419235,
1343 ]),
1344 Fq::from_montgomery_limbs([
1345 5074309280962037193,
1346 5217880605983656639,
1347 14510200362648483018,
1348 557494968888174908,
1349 ]),
1350 Fq::from_montgomery_limbs([
1351 5195138641573043477,
1352 9406776113353168661,
1353 14027024671301857164,
1354 845631148216790994,
1355 ]),
1356 Fq::from_montgomery_limbs([
1357 17960866561088745173,
1358 7239612137411824399,
1359 608332955631666951,
1360 1339588249269723610,
1361 ]),
1362 Fq::from_montgomery_limbs([
1363 6645023811265252448,
1364 359090506368957415,
1365 13186732800236585001,
1366 636175819244839498,
1367 ]),
1368 Fq::from_montgomery_limbs([
1369 9658258475735190727,
1370 14527591238813797995,
1371 16927575748315332307,
1372 1301180113169078950,
1373 ]),
1374 Fq::from_montgomery_limbs([
1375 2426687195330334614,
1376 1677243348703957868,
1377 280959539850383222,
1378 1302367371047198015,
1379 ]),
1380 Fq::from_montgomery_limbs([
1381 2824388857182280398,
1382 387310680804206136,
1383 5259604914427521138,
1384 1184806076664523237,
1385 ]),
1386 Fq::from_montgomery_limbs([
1387 7574972296183053595,
1388 15822886777846030642,
1389 12388539958981301194,
1390 559152516777131559,
1391 ]),
1392 Fq::from_montgomery_limbs([
1393 12201036799149233249,
1394 17892988483166995904,
1395 18084947728796372356,
1396 675956869171241463,
1397 ]),
1398 Fq::from_montgomery_limbs([
1399 16104554650380896914,
1400 4746900513825001701,
1401 6829416706759018904,
1402 220904217190207835,
1403 ]),
1404 Fq::from_montgomery_limbs([
1405 17292549212841163737,
1406 2352946917715655598,
1407 10473544622578247206,
1408 331414403574303893,
1409 ]),
1410 Fq::from_montgomery_limbs([
1411 11411751507285114977,
1412 6456131281833042189,
1413 9429033659401855692,
1414 1204457583147690703,
1415 ]),
1416 Fq::from_montgomery_limbs([
1417 13351228652344837450,
1418 3406524763947142470,
1419 9081889404473741581,
1420 940424223754317289,
1421 ]),
1422 Fq::from_montgomery_limbs([
1423 14630628062553504316,
1424 6262447828497056896,
1425 18085717084217406803,
1426 799246626583428302,
1427 ]),
1428 Fq::from_montgomery_limbs([
1429 864375154255180873,
1430 14000240309598220542,
1431 1750007932942661463,
1432 761312485749733723,
1433 ]),
1434 Fq::from_montgomery_limbs([
1435 14345179008259546406,
1436 6736994392830783692,
1437 5908556958000542218,
1438 1253865209554350406,
1439 ]),
1440 Fq::from_montgomery_limbs([
1441 9764377369274365673,
1442 9072647876947127557,
1443 2341472943201056441,
1444 929216282518283791,
1445 ]),
1446 Fq::from_montgomery_limbs([
1447 12859964114531846483,
1448 13694745246472282132,
1449 2013500954373579911,
1450 751364861274622110,
1451 ]),
1452 Fq::from_montgomery_limbs([
1453 175177818989840916,
1454 4770111355878906194,
1455 12267383210154126463,
1456 131920286091241797,
1457 ]),
1458 Fq::from_montgomery_limbs([
1459 6349104885803077585,
1460 18001260594929500797,
1461 14793230544956264458,
1462 669871090964351917,
1463 ]),
1464 Fq::from_montgomery_limbs([
1465 1792126764165083108,
1466 6081987124440657035,
1467 5531241762790015809,
1468 85100796395211080,
1469 ]),
1470 Fq::from_montgomery_limbs([
1471 11335525023979482372,
1472 13822295879245716952,
1473 777769361600630976,
1474 852248906668581924,
1475 ]),
1476 Fq::from_montgomery_limbs([
1477 2057611721707481944,
1478 12549766028751733826,
1479 3184617081367493745,
1480 17035887437619700,
1481 ]),
1482 Fq::from_montgomery_limbs([
1483 5033510300536938046,
1484 14319156262351107248,
1485 14453339555250931608,
1486 1300088399042594667,
1487 ]),
1488 Fq::from_montgomery_limbs([
1489 586365878943401533,
1490 10219333061949038245,
1491 7972787616665459187,
1492 1180682599170166362,
1493 ]),
1494 Fq::from_montgomery_limbs([
1495 8677310049713074877,
1496 6209659062870853276,
1497 6361763165884296788,
1498 1086786531947345096,
1499 ]),
1500 Fq::from_montgomery_limbs([
1501 4779669491370037827,
1502 13794675476884129106,
1503 2856260482144566523,
1504 815058410432730978,
1505 ]),
1506 Fq::from_montgomery_limbs([
1507 8349785262387520653,
1508 14703604045323517453,
1509 10665488643511503896,
1510 1190736588532344714,
1511 ]),
1512 Fq::from_montgomery_limbs([
1513 9753136258891648437,
1514 7592309943578822500,
1515 18234430885873993524,
1516 946608033429176051,
1517 ]),
1518 Fq::from_montgomery_limbs([
1519 8862120093151408513,
1520 9919781382246740055,
1521 1639967479777957120,
1522 548895009658598348,
1523 ]),
1524 Fq::from_montgomery_limbs([
1525 13150047014556861649,
1526 9895352886349978940,
1527 607603433543469096,
1528 825078058460205935,
1529 ]),
1530 Fq::from_montgomery_limbs([
1531 10677514517763000310,
1532 1869057220976501750,
1533 7668490026500068131,
1534 645375934459787109,
1535 ]),
1536 Fq::from_montgomery_limbs([
1537 8393901821323241932,
1538 7155803376644055598,
1539 5465256629438666110,
1540 467809976924970962,
1541 ]),
1542 Fq::from_montgomery_limbs([
1543 8008789779293081850,
1544 17333068400582244417,
1545 864473515802821379,
1546 712131972755422562,
1547 ]),
1548 Fq::from_montgomery_limbs([
1549 5260641048740129119,
1550 11495506189219575805,
1551 1976170684554961654,
1552 583558279245420304,
1553 ]),
1554 Fq::from_montgomery_limbs([
1555 10607922137491563126,
1556 16997507064637422660,
1557 16243052688991164520,
1558 620318480202596319,
1559 ]),
1560 Fq::from_montgomery_limbs([
1561 8682850641454705537,
1562 4234371891064954414,
1563 11030571520428482979,
1564 775687601614273649,
1565 ]),
1566 Fq::from_montgomery_limbs([
1567 12248979915462901096,
1568 1794636648127247975,
1569 16388845185353268388,
1570 1257257804440120883,
1571 ]),
1572 Fq::from_montgomery_limbs([
1573 17181365213230240819,
1574 3933917789297525218,
1575 774796165591114183,
1576 628159510187755171,
1577 ]),
1578 Fq::from_montgomery_limbs([
1579 9201407700189177387,
1580 14700424513123193347,
1581 18288661468232834482,
1582 407382537568434540,
1583 ]),
1584 Fq::from_montgomery_limbs([
1585 11966891449526246216,
1586 6846368159746727324,
1587 5421814018651935761,
1588 1007837491484494646,
1589 ]),
1590 Fq::from_montgomery_limbs([
1591 3054672449338249840,
1592 772010416012553897,
1593 804919836093674272,
1594 60934971449786311,
1595 ]),
1596 Fq::from_montgomery_limbs([
1597 3349955854192164124,
1598 12023516821995660430,
1599 14073054570207692346,
1600 391152224081538807,
1601 ]),
1602 Fq::from_montgomery_limbs([
1603 4393818606630194054,
1604 11894249453630174803,
1605 11407464681452601419,
1606 527342257675756743,
1607 ]),
1608 Fq::from_montgomery_limbs([
1609 593191207061949875,
1610 394301333075100218,
1611 15992303837511873397,
1612 1258463696198082538,
1613 ]),
1614 Fq::from_montgomery_limbs([
1615 7392815618978882544,
1616 8600193649781721343,
1617 10001082189003162790,
1618 160465744058402439,
1619 ]),
1620 Fq::from_montgomery_limbs([
1621 5982722207731997556,
1622 9327097271719907983,
1623 16837081471143367937,
1624 1323283752393867441,
1625 ]),
1626 Fq::from_montgomery_limbs([
1627 15234580594321690160,
1628 14480758270368693259,
1629 7897576353120019799,
1630 1211836381357568240,
1631 ]),
1632 Fq::from_montgomery_limbs([
1633 17534396175019205578,
1634 3323788238042131357,
1635 16622036826489890791,
1636 893487708746761741,
1637 ]),
1638 Fq::from_montgomery_limbs([
1639 3851834168141787069,
1640 11582510337408899680,
1641 15343784808633432566,
1642 461896544402216282,
1643 ]),
1644 Fq::from_montgomery_limbs([
1645 1182215324455482337,
1646 1943242735522063011,
1647 4144863718139895080,
1648 243576649285589719,
1649 ]),
1650 ]),
1651 mds: MdsMatrix::new_from_known([
1652 Fq::from_montgomery_limbs([
1653 14878706952858838161,
1654 15410104227655356999,
1655 17393275270132988194,
1656 905602962502284432,
1657 ]),
1658 Fq::from_montgomery_limbs([
1659 17721242321237835775,
1660 11985636621509722110,
1661 11478464757469040638,
1662 960562638525520553,
1663 ]),
1664 Fq::from_montgomery_limbs([
1665 17640631015407645126,
1666 17416650484724036037,
1667 14803487960933328666,
1668 554882262980868625,
1669 ]),
1670 Fq::from_montgomery_limbs([
1671 10632745392742701465,
1672 7191381972905833266,
1673 10576427669223334706,
1674 1037506184958051122,
1675 ]),
1676 Fq::from_montgomery_limbs([
1677 7989155441247042094,
1678 18276457113184108543,
1679 17999817914616464103,
1680 943187440870955565,
1681 ]),
1682 Fq::from_montgomery_limbs([
1683 18204910156218979669,
1684 16293041589642941780,
1685 9975069610392864084,
1686 1088801882579738168,
1687 ]),
1688 Fq::from_montgomery_limbs([
1689 15441359965645378481,
1690 7022857083512140090,
1691 11162758362666494739,
1692 1108530997049617801,
1693 ]),
1694 Fq::from_montgomery_limbs([
1695 17721242321237835775,
1696 11985636621509722110,
1697 11478464757469040638,
1698 960562638525520553,
1699 ]),
1700 Fq::from_montgomery_limbs([
1701 17640631015407645126,
1702 17416650484724036037,
1703 14803487960933328666,
1704 554882262980868625,
1705 ]),
1706 Fq::from_montgomery_limbs([
1707 10632745392742701465,
1708 7191381972905833266,
1709 10576427669223334706,
1710 1037506184958051122,
1711 ]),
1712 Fq::from_montgomery_limbs([
1713 7989155441247042094,
1714 18276457113184108543,
1715 17999817914616464103,
1716 943187440870955565,
1717 ]),
1718 Fq::from_montgomery_limbs([
1719 18204910156218979669,
1720 16293041589642941780,
1721 9975069610392864084,
1722 1088801882579738168,
1723 ]),
1724 Fq::from_montgomery_limbs([
1725 15441359965645378481,
1726 7022857083512140090,
1727 11162758362666494739,
1728 1108530997049617801,
1729 ]),
1730 Fq::from_montgomery_limbs([
1731 7802104352665277001,
1732 1712233803072817444,
1733 12180777293186749586,
1734 1125441666595228915,
1735 ]),
1736 Fq::from_montgomery_limbs([
1737 17640631015407645126,
1738 17416650484724036037,
1739 14803487960933328666,
1740 554882262980868625,
1741 ]),
1742 Fq::from_montgomery_limbs([
1743 10632745392742701465,
1744 7191381972905833266,
1745 10576427669223334706,
1746 1037506184958051122,
1747 ]),
1748 Fq::from_montgomery_limbs([
1749 7989155441247042094,
1750 18276457113184108543,
1751 17999817914616464103,
1752 943187440870955565,
1753 ]),
1754 Fq::from_montgomery_limbs([
1755 18204910156218979669,
1756 16293041589642941780,
1757 9975069610392864084,
1758 1088801882579738168,
1759 ]),
1760 Fq::from_montgomery_limbs([
1761 15441359965645378481,
1762 7022857083512140090,
1763 11162758362666494739,
1764 1108530997049617801,
1765 ]),
1766 Fq::from_montgomery_limbs([
1767 7802104352665277001,
1768 1712233803072817444,
1769 12180777293186749586,
1770 1125441666595228915,
1771 ]),
1772 Fq::from_montgomery_limbs([
1773 7330330845985706257,
1774 6947957132670498679,
1775 9373711551562393463,
1776 1140097580201425214,
1777 ]),
1778 Fq::from_montgomery_limbs([
1779 10632745392742701465,
1780 7191381972905833266,
1781 10576427669223334706,
1782 1037506184958051122,
1783 ]),
1784 Fq::from_montgomery_limbs([
1785 7989155441247042094,
1786 18276457113184108543,
1787 17999817914616464103,
1788 943187440870955565,
1789 ]),
1790 Fq::from_montgomery_limbs([
1791 18204910156218979669,
1792 16293041589642941780,
1793 9975069610392864084,
1794 1088801882579738168,
1795 ]),
1796 Fq::from_montgomery_limbs([
1797 15441359965645378481,
1798 7022857083512140090,
1799 11162758362666494739,
1800 1108530997049617801,
1801 ]),
1802 Fq::from_montgomery_limbs([
1803 7802104352665277001,
1804 1712233803072817444,
1805 12180777293186749586,
1806 1125441666595228915,
1807 ]),
1808 Fq::from_montgomery_limbs([
1809 7330330845985706257,
1810 6947957132670498679,
1811 9373711551562393463,
1812 1140097580201425214,
1813 ]),
1814 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
1815 Fq::from_montgomery_limbs([
1816 7989155441247042094,
1817 18276457113184108543,
1818 17999817914616464103,
1819 943187440870955565,
1820 ]),
1821 Fq::from_montgomery_limbs([
1822 18204910156218979669,
1823 16293041589642941780,
1824 9975069610392864084,
1825 1088801882579738168,
1826 ]),
1827 Fq::from_montgomery_limbs([
1828 15441359965645378481,
1829 7022857083512140090,
1830 11162758362666494739,
1831 1108530997049617801,
1832 ]),
1833 Fq::from_montgomery_limbs([
1834 7802104352665277001,
1835 1712233803072817444,
1836 12180777293186749586,
1837 1125441666595228915,
1838 ]),
1839 Fq::from_montgomery_limbs([
1840 7330330845985706257,
1841 6947957132670498679,
1842 9373711551562393463,
1843 1140097580201425214,
1844 ]),
1845 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
1846 Fq::from_montgomery_limbs([
1847 829043150522309210,
1848 7485532467658058089,
1849 17072453966431109601,
1850 610297755857677130,
1851 ]),
1852 Fq::from_montgomery_limbs([
1853 18204910156218979669,
1854 16293041589642941780,
1855 9975069610392864084,
1856 1088801882579738168,
1857 ]),
1858 Fq::from_montgomery_limbs([
1859 15441359965645378481,
1860 7022857083512140090,
1861 11162758362666494739,
1862 1108530997049617801,
1863 ]),
1864 Fq::from_montgomery_limbs([
1865 7802104352665277001,
1866 1712233803072817444,
1867 12180777293186749586,
1868 1125441666595228915,
1869 ]),
1870 Fq::from_montgomery_limbs([
1871 7330330845985706257,
1872 6947957132670498679,
1873 9373711551562393463,
1874 1140097580201425214,
1875 ]),
1876 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
1877 Fq::from_montgomery_limbs([
1878 829043150522309210,
1879 7485532467658058089,
1880 17072453966431109601,
1881 610297755857677130,
1882 ]),
1883 Fq::from_montgomery_limbs([
1884 18043687544558598371,
1885 8708325242362018018,
1886 16625116017321440141,
1887 277441131490434312,
1888 ]),
1889 Fq::from_montgomery_limbs([
1890 15441359965645378481,
1891 7022857083512140090,
1892 11162758362666494739,
1893 1108530997049617801,
1894 ]),
1895 Fq::from_montgomery_limbs([
1896 7802104352665277001,
1897 1712233803072817444,
1898 12180777293186749586,
1899 1125441666595228915,
1900 ]),
1901 Fq::from_montgomery_limbs([
1902 7330330845985706257,
1903 6947957132670498679,
1904 9373711551562393463,
1905 1140097580201425214,
1906 ]),
1907 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
1908 Fq::from_montgomery_limbs([
1909 829043150522309210,
1910 7485532467658058089,
1911 17072453966431109601,
1912 610297755857677130,
1913 ]),
1914 Fq::from_montgomery_limbs([
1915 18043687544558598371,
1916 8708325242362018018,
1917 16625116017321440141,
1918 277441131490434312,
1919 ]),
1920 Fq::from_montgomery_limbs([
1921 1903578231313020389,
1922 13252279451564941743,
1923 6429417326301386859,
1924 900077037001125169,
1925 ]),
1926 ]),
1927 alpha: Alpha::Exponent(17),
1928 rounds: RoundNumbers { r_P: 31, r_F: 8 },
1929 optimized_mds: OptimizedMdsMatrices {
1930 M_hat: SquareMatrix::<6, 36>::new_from_known([
1931 Fq::from_montgomery_limbs([
1932 17640631015407645126,
1933 17416650484724036037,
1934 14803487960933328666,
1935 554882262980868625,
1936 ]),
1937 Fq::from_montgomery_limbs([
1938 10632745392742701465,
1939 7191381972905833266,
1940 10576427669223334706,
1941 1037506184958051122,
1942 ]),
1943 Fq::from_montgomery_limbs([
1944 7989155441247042094,
1945 18276457113184108543,
1946 17999817914616464103,
1947 943187440870955565,
1948 ]),
1949 Fq::from_montgomery_limbs([
1950 18204910156218979669,
1951 16293041589642941780,
1952 9975069610392864084,
1953 1088801882579738168,
1954 ]),
1955 Fq::from_montgomery_limbs([
1956 15441359965645378481,
1957 7022857083512140090,
1958 11162758362666494739,
1959 1108530997049617801,
1960 ]),
1961 Fq::from_montgomery_limbs([
1962 7802104352665277001,
1963 1712233803072817444,
1964 12180777293186749586,
1965 1125441666595228915,
1966 ]),
1967 Fq::from_montgomery_limbs([
1968 10632745392742701465,
1969 7191381972905833266,
1970 10576427669223334706,
1971 1037506184958051122,
1972 ]),
1973 Fq::from_montgomery_limbs([
1974 7989155441247042094,
1975 18276457113184108543,
1976 17999817914616464103,
1977 943187440870955565,
1978 ]),
1979 Fq::from_montgomery_limbs([
1980 18204910156218979669,
1981 16293041589642941780,
1982 9975069610392864084,
1983 1088801882579738168,
1984 ]),
1985 Fq::from_montgomery_limbs([
1986 15441359965645378481,
1987 7022857083512140090,
1988 11162758362666494739,
1989 1108530997049617801,
1990 ]),
1991 Fq::from_montgomery_limbs([
1992 7802104352665277001,
1993 1712233803072817444,
1994 12180777293186749586,
1995 1125441666595228915,
1996 ]),
1997 Fq::from_montgomery_limbs([
1998 7330330845985706257,
1999 6947957132670498679,
2000 9373711551562393463,
2001 1140097580201425214,
2002 ]),
2003 Fq::from_montgomery_limbs([
2004 7989155441247042094,
2005 18276457113184108543,
2006 17999817914616464103,
2007 943187440870955565,
2008 ]),
2009 Fq::from_montgomery_limbs([
2010 18204910156218979669,
2011 16293041589642941780,
2012 9975069610392864084,
2013 1088801882579738168,
2014 ]),
2015 Fq::from_montgomery_limbs([
2016 15441359965645378481,
2017 7022857083512140090,
2018 11162758362666494739,
2019 1108530997049617801,
2020 ]),
2021 Fq::from_montgomery_limbs([
2022 7802104352665277001,
2023 1712233803072817444,
2024 12180777293186749586,
2025 1125441666595228915,
2026 ]),
2027 Fq::from_montgomery_limbs([
2028 7330330845985706257,
2029 6947957132670498679,
2030 9373711551562393463,
2031 1140097580201425214,
2032 ]),
2033 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2034 Fq::from_montgomery_limbs([
2035 18204910156218979669,
2036 16293041589642941780,
2037 9975069610392864084,
2038 1088801882579738168,
2039 ]),
2040 Fq::from_montgomery_limbs([
2041 15441359965645378481,
2042 7022857083512140090,
2043 11162758362666494739,
2044 1108530997049617801,
2045 ]),
2046 Fq::from_montgomery_limbs([
2047 7802104352665277001,
2048 1712233803072817444,
2049 12180777293186749586,
2050 1125441666595228915,
2051 ]),
2052 Fq::from_montgomery_limbs([
2053 7330330845985706257,
2054 6947957132670498679,
2055 9373711551562393463,
2056 1140097580201425214,
2057 ]),
2058 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2059 Fq::from_montgomery_limbs([
2060 829043150522309210,
2061 7485532467658058089,
2062 17072453966431109601,
2063 610297755857677130,
2064 ]),
2065 Fq::from_montgomery_limbs([
2066 15441359965645378481,
2067 7022857083512140090,
2068 11162758362666494739,
2069 1108530997049617801,
2070 ]),
2071 Fq::from_montgomery_limbs([
2072 7802104352665277001,
2073 1712233803072817444,
2074 12180777293186749586,
2075 1125441666595228915,
2076 ]),
2077 Fq::from_montgomery_limbs([
2078 7330330845985706257,
2079 6947957132670498679,
2080 9373711551562393463,
2081 1140097580201425214,
2082 ]),
2083 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2084 Fq::from_montgomery_limbs([
2085 829043150522309210,
2086 7485532467658058089,
2087 17072453966431109601,
2088 610297755857677130,
2089 ]),
2090 Fq::from_montgomery_limbs([
2091 18043687544558598371,
2092 8708325242362018018,
2093 16625116017321440141,
2094 277441131490434312,
2095 ]),
2096 Fq::from_montgomery_limbs([
2097 7802104352665277001,
2098 1712233803072817444,
2099 12180777293186749586,
2100 1125441666595228915,
2101 ]),
2102 Fq::from_montgomery_limbs([
2103 7330330845985706257,
2104 6947957132670498679,
2105 9373711551562393463,
2106 1140097580201425214,
2107 ]),
2108 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2109 Fq::from_montgomery_limbs([
2110 829043150522309210,
2111 7485532467658058089,
2112 17072453966431109601,
2113 610297755857677130,
2114 ]),
2115 Fq::from_montgomery_limbs([
2116 18043687544558598371,
2117 8708325242362018018,
2118 16625116017321440141,
2119 277441131490434312,
2120 ]),
2121 Fq::from_montgomery_limbs([
2122 1903578231313020389,
2123 13252279451564941743,
2124 6429417326301386859,
2125 900077037001125169,
2126 ]),
2127 ]),
2128 v: Matrix::<1, 6, 6>::new_from_known([
2129 Fq::from_montgomery_limbs([
2130 17721242321237835775,
2131 11985636621509722110,
2132 11478464757469040638,
2133 960562638525520553,
2134 ]),
2135 Fq::from_montgomery_limbs([
2136 17640631015407645126,
2137 17416650484724036037,
2138 14803487960933328666,
2139 554882262980868625,
2140 ]),
2141 Fq::from_montgomery_limbs([
2142 10632745392742701465,
2143 7191381972905833266,
2144 10576427669223334706,
2145 1037506184958051122,
2146 ]),
2147 Fq::from_montgomery_limbs([
2148 7989155441247042094,
2149 18276457113184108543,
2150 17999817914616464103,
2151 943187440870955565,
2152 ]),
2153 Fq::from_montgomery_limbs([
2154 18204910156218979669,
2155 16293041589642941780,
2156 9975069610392864084,
2157 1088801882579738168,
2158 ]),
2159 Fq::from_montgomery_limbs([
2160 15441359965645378481,
2161 7022857083512140090,
2162 11162758362666494739,
2163 1108530997049617801,
2164 ]),
2165 ]),
2166 w: Matrix::<6, 1, 6>::new_from_known([
2167 Fq::from_montgomery_limbs([
2168 17721242321237835775,
2169 11985636621509722110,
2170 11478464757469040638,
2171 960562638525520553,
2172 ]),
2173 Fq::from_montgomery_limbs([
2174 17640631015407645126,
2175 17416650484724036037,
2176 14803487960933328666,
2177 554882262980868625,
2178 ]),
2179 Fq::from_montgomery_limbs([
2180 10632745392742701465,
2181 7191381972905833266,
2182 10576427669223334706,
2183 1037506184958051122,
2184 ]),
2185 Fq::from_montgomery_limbs([
2186 7989155441247042094,
2187 18276457113184108543,
2188 17999817914616464103,
2189 943187440870955565,
2190 ]),
2191 Fq::from_montgomery_limbs([
2192 18204910156218979669,
2193 16293041589642941780,
2194 9975069610392864084,
2195 1088801882579738168,
2196 ]),
2197 Fq::from_montgomery_limbs([
2198 15441359965645378481,
2199 7022857083512140090,
2200 11162758362666494739,
2201 1108530997049617801,
2202 ]),
2203 ]),
2204 M_prime: SquareMatrix::<7, 49>::new_from_known([
2205 Fq::from_montgomery_limbs([
2206 9015221291577245683,
2207 8239323489949974514,
2208 1646089257421115374,
2209 958099254763297437,
2210 ]),
2211 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2212 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2213 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2214 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2215 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2216 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2217 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2218 Fq::from_montgomery_limbs([
2219 17640631015407645126,
2220 17416650484724036037,
2221 14803487960933328666,
2222 554882262980868625,
2223 ]),
2224 Fq::from_montgomery_limbs([
2225 10632745392742701465,
2226 7191381972905833266,
2227 10576427669223334706,
2228 1037506184958051122,
2229 ]),
2230 Fq::from_montgomery_limbs([
2231 7989155441247042094,
2232 18276457113184108543,
2233 17999817914616464103,
2234 943187440870955565,
2235 ]),
2236 Fq::from_montgomery_limbs([
2237 18204910156218979669,
2238 16293041589642941780,
2239 9975069610392864084,
2240 1088801882579738168,
2241 ]),
2242 Fq::from_montgomery_limbs([
2243 15441359965645378481,
2244 7022857083512140090,
2245 11162758362666494739,
2246 1108530997049617801,
2247 ]),
2248 Fq::from_montgomery_limbs([
2249 7802104352665277001,
2250 1712233803072817444,
2251 12180777293186749586,
2252 1125441666595228915,
2253 ]),
2254 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2255 Fq::from_montgomery_limbs([
2256 10632745392742701465,
2257 7191381972905833266,
2258 10576427669223334706,
2259 1037506184958051122,
2260 ]),
2261 Fq::from_montgomery_limbs([
2262 7989155441247042094,
2263 18276457113184108543,
2264 17999817914616464103,
2265 943187440870955565,
2266 ]),
2267 Fq::from_montgomery_limbs([
2268 18204910156218979669,
2269 16293041589642941780,
2270 9975069610392864084,
2271 1088801882579738168,
2272 ]),
2273 Fq::from_montgomery_limbs([
2274 15441359965645378481,
2275 7022857083512140090,
2276 11162758362666494739,
2277 1108530997049617801,
2278 ]),
2279 Fq::from_montgomery_limbs([
2280 7802104352665277001,
2281 1712233803072817444,
2282 12180777293186749586,
2283 1125441666595228915,
2284 ]),
2285 Fq::from_montgomery_limbs([
2286 7330330845985706257,
2287 6947957132670498679,
2288 9373711551562393463,
2289 1140097580201425214,
2290 ]),
2291 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2292 Fq::from_montgomery_limbs([
2293 7989155441247042094,
2294 18276457113184108543,
2295 17999817914616464103,
2296 943187440870955565,
2297 ]),
2298 Fq::from_montgomery_limbs([
2299 18204910156218979669,
2300 16293041589642941780,
2301 9975069610392864084,
2302 1088801882579738168,
2303 ]),
2304 Fq::from_montgomery_limbs([
2305 15441359965645378481,
2306 7022857083512140090,
2307 11162758362666494739,
2308 1108530997049617801,
2309 ]),
2310 Fq::from_montgomery_limbs([
2311 7802104352665277001,
2312 1712233803072817444,
2313 12180777293186749586,
2314 1125441666595228915,
2315 ]),
2316 Fq::from_montgomery_limbs([
2317 7330330845985706257,
2318 6947957132670498679,
2319 9373711551562393463,
2320 1140097580201425214,
2321 ]),
2322 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2323 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2324 Fq::from_montgomery_limbs([
2325 18204910156218979669,
2326 16293041589642941780,
2327 9975069610392864084,
2328 1088801882579738168,
2329 ]),
2330 Fq::from_montgomery_limbs([
2331 15441359965645378481,
2332 7022857083512140090,
2333 11162758362666494739,
2334 1108530997049617801,
2335 ]),
2336 Fq::from_montgomery_limbs([
2337 7802104352665277001,
2338 1712233803072817444,
2339 12180777293186749586,
2340 1125441666595228915,
2341 ]),
2342 Fq::from_montgomery_limbs([
2343 7330330845985706257,
2344 6947957132670498679,
2345 9373711551562393463,
2346 1140097580201425214,
2347 ]),
2348 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2349 Fq::from_montgomery_limbs([
2350 829043150522309210,
2351 7485532467658058089,
2352 17072453966431109601,
2353 610297755857677130,
2354 ]),
2355 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2356 Fq::from_montgomery_limbs([
2357 15441359965645378481,
2358 7022857083512140090,
2359 11162758362666494739,
2360 1108530997049617801,
2361 ]),
2362 Fq::from_montgomery_limbs([
2363 7802104352665277001,
2364 1712233803072817444,
2365 12180777293186749586,
2366 1125441666595228915,
2367 ]),
2368 Fq::from_montgomery_limbs([
2369 7330330845985706257,
2370 6947957132670498679,
2371 9373711551562393463,
2372 1140097580201425214,
2373 ]),
2374 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2375 Fq::from_montgomery_limbs([
2376 829043150522309210,
2377 7485532467658058089,
2378 17072453966431109601,
2379 610297755857677130,
2380 ]),
2381 Fq::from_montgomery_limbs([
2382 18043687544558598371,
2383 8708325242362018018,
2384 16625116017321440141,
2385 277441131490434312,
2386 ]),
2387 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2388 Fq::from_montgomery_limbs([
2389 7802104352665277001,
2390 1712233803072817444,
2391 12180777293186749586,
2392 1125441666595228915,
2393 ]),
2394 Fq::from_montgomery_limbs([
2395 7330330845985706257,
2396 6947957132670498679,
2397 9373711551562393463,
2398 1140097580201425214,
2399 ]),
2400 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2401 Fq::from_montgomery_limbs([
2402 829043150522309210,
2403 7485532467658058089,
2404 17072453966431109601,
2405 610297755857677130,
2406 ]),
2407 Fq::from_montgomery_limbs([
2408 18043687544558598371,
2409 8708325242362018018,
2410 16625116017321440141,
2411 277441131490434312,
2412 ]),
2413 Fq::from_montgomery_limbs([
2414 1903578231313020389,
2415 13252279451564941743,
2416 6429417326301386859,
2417 900077037001125169,
2418 ]),
2419 ]),
2420 M_doubleprime: SquareMatrix::<7, 49>::new_from_known([
2421 Fq::from_montgomery_limbs([
2422 14878706952858838161,
2423 15410104227655356999,
2424 17393275270132988194,
2425 905602962502284432,
2426 ]),
2427 Fq::from_montgomery_limbs([
2428 17721242321237835775,
2429 11985636621509722110,
2430 11478464757469040638,
2431 960562638525520553,
2432 ]),
2433 Fq::from_montgomery_limbs([
2434 17640631015407645126,
2435 17416650484724036037,
2436 14803487960933328666,
2437 554882262980868625,
2438 ]),
2439 Fq::from_montgomery_limbs([
2440 10632745392742701465,
2441 7191381972905833266,
2442 10576427669223334706,
2443 1037506184958051122,
2444 ]),
2445 Fq::from_montgomery_limbs([
2446 7989155441247042094,
2447 18276457113184108543,
2448 17999817914616464103,
2449 943187440870955565,
2450 ]),
2451 Fq::from_montgomery_limbs([
2452 18204910156218979669,
2453 16293041589642941780,
2454 9975069610392864084,
2455 1088801882579738168,
2456 ]),
2457 Fq::from_montgomery_limbs([
2458 15441359965645378481,
2459 7022857083512140090,
2460 11162758362666494739,
2461 1108530997049617801,
2462 ]),
2463 Fq::from_montgomery_limbs([
2464 6933713838801944433,
2465 16845582094611513195,
2466 18106981831632269118,
2467 1315719765541495999,
2468 ]),
2469 Fq::from_montgomery_limbs([
2470 9015221291577245683,
2471 8239323489949974514,
2472 1646089257421115374,
2473 958099254763297437,
2474 ]),
2475 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2476 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2477 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2478 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2479 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2480 Fq::from_montgomery_limbs([
2481 11025937787709817432,
2482 2848215840891863663,
2483 12003429085947921194,
2484 123169188111155826,
2485 ]),
2486 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2487 Fq::from_montgomery_limbs([
2488 9015221291577245683,
2489 8239323489949974514,
2490 1646089257421115374,
2491 958099254763297437,
2492 ]),
2493 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2494 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2495 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2496 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2497 Fq::from_montgomery_limbs([
2498 12625372430371999830,
2499 16677955247940128803,
2500 7323211740492754581,
2501 634092645821649835,
2502 ]),
2503 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2504 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2505 Fq::from_montgomery_limbs([
2506 9015221291577245683,
2507 8239323489949974514,
2508 1646089257421115374,
2509 958099254763297437,
2510 ]),
2511 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2512 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2513 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2514 Fq::from_montgomery_limbs([
2515 8476375831616065903,
2516 8302751278140753414,
2517 4675397025515049474,
2518 916054888187664134,
2519 ]),
2520 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2521 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2522 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2523 Fq::from_montgomery_limbs([
2524 9015221291577245683,
2525 8239323489949974514,
2526 1646089257421115374,
2527 958099254763297437,
2528 ]),
2529 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2530 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2531 Fq::from_montgomery_limbs([
2532 10397071512469717592,
2533 5168805500057287779,
2534 15231087545157212262,
2535 795647437775574917,
2536 ]),
2537 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2538 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2539 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2540 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2541 Fq::from_montgomery_limbs([
2542 9015221291577245683,
2543 8239323489949974514,
2544 1646089257421115374,
2545 958099254763297437,
2546 ]),
2547 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2548 Fq::from_montgomery_limbs([
2549 4753644871978862709,
2550 5862282760667146308,
2551 12460694012157225697,
2552 599558919665641703,
2553 ]),
2554 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2555 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2556 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2557 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2558 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2559 Fq::from_montgomery_limbs([
2560 9015221291577245683,
2561 8239323489949974514,
2562 1646089257421115374,
2563 958099254763297437,
2564 ]),
2565 ]),
2566 M_inverse: SquareMatrix::<7, 49>::new_from_known([
2567 Fq::from_montgomery_limbs([
2568 18289540298934006401,
2569 12620611207485559719,
2570 12496121289749056322,
2571 817144512748384706,
2572 ]),
2573 Fq::from_montgomery_limbs([
2574 15589773063064153532,
2575 10937873166103048610,
2576 6318262381745988044,
2577 164305025615087669,
2578 ]),
2579 Fq::from_montgomery_limbs([
2580 15945838893269705074,
2581 12231655940729207770,
2582 16783976632846575746,
2583 1109102887521365908,
2584 ]),
2585 Fq::from_montgomery_limbs([
2586 6834634673379885361,
2587 14313980702431346769,
2588 11799433102834887335,
2589 414159939376644417,
2590 ]),
2591 Fq::from_montgomery_limbs([
2592 6202864031195801806,
2593 9008291636618939950,
2594 4452886644180013898,
2595 834656796167786155,
2596 ]),
2597 Fq::from_montgomery_limbs([
2598 257831097013115576,
2599 868816813650478155,
2600 3804928554730106375,
2601 37318070574597666,
2602 ]),
2603 Fq::from_montgomery_limbs([
2604 12731957617084167734,
2605 10385122202334236509,
2606 6304526407551965622,
2607 473830859466044865,
2608 ]),
2609 Fq::from_montgomery_limbs([
2610 15589773063064153532,
2611 10937873166103048610,
2612 6318262381745988044,
2613 164305025615087669,
2614 ]),
2615 Fq::from_montgomery_limbs([
2616 6846034351900465196,
2617 14922456655897598264,
2618 3385387262061980880,
2619 41120221023296058,
2620 ]),
2621 Fq::from_montgomery_limbs([
2622 15382748348274919943,
2623 17176897444608801178,
2624 9672737639142736111,
2625 667324299238078128,
2626 ]),
2627 Fq::from_montgomery_limbs([
2628 15347282079877344563,
2629 7118861760574925591,
2630 14639960435031189354,
2631 496118406637979928,
2632 ]),
2633 Fq::from_montgomery_limbs([
2634 10633984218986397485,
2635 1476776383719121929,
2636 18242946201412975574,
2637 235737836971566080,
2638 ]),
2639 Fq::from_montgomery_limbs([
2640 13255078662550912877,
2641 6201099884138924934,
2642 16598544366614787861,
2643 517978551803961280,
2644 ]),
2645 Fq::from_montgomery_limbs([
2646 16511322183643786520,
2647 12899213679171041629,
2648 10327663219981717303,
2649 101291905845336522,
2650 ]),
2651 Fq::from_montgomery_limbs([
2652 15945838893269705074,
2653 12231655940729207770,
2654 16783976632846575746,
2655 1109102887521365908,
2656 ]),
2657 Fq::from_montgomery_limbs([
2658 15382748348274919943,
2659 17176897444608801178,
2660 9672737639142736111,
2661 667324299238078128,
2662 ]),
2663 Fq::from_montgomery_limbs([
2664 14205197080554911234,
2665 18284593956791143607,
2666 9307844449907611885,
2667 840522240017846486,
2668 ]),
2669 Fq::from_montgomery_limbs([
2670 15159258319784243147,
2671 14082599260628033239,
2672 6774164385877933413,
2673 747982014981801174,
2674 ]),
2675 Fq::from_montgomery_limbs([
2676 1720795814776594401,
2677 1331741422739941001,
2678 1433030060135444919,
2679 661580976464017359,
2680 ]),
2681 Fq::from_montgomery_limbs([
2682 18293763308414053579,
2683 18299155137503640753,
2684 10462936480575081846,
2685 453983746301356936,
2686 ]),
2687 Fq::from_montgomery_limbs([
2688 4581286503082050232,
2689 12284808854596259078,
2690 3289926894666988909,
2691 902128282614826112,
2692 ]),
2693 Fq::from_montgomery_limbs([
2694 6834634673379885361,
2695 14313980702431346769,
2696 11799433102834887335,
2697 414159939376644417,
2698 ]),
2699 Fq::from_montgomery_limbs([
2700 15347282079877344563,
2701 7118861760574925591,
2702 14639960435031189354,
2703 496118406637979928,
2704 ]),
2705 Fq::from_montgomery_limbs([
2706 15159258319784243147,
2707 14082599260628033239,
2708 6774164385877933413,
2709 747982014981801174,
2710 ]),
2711 Fq::from_montgomery_limbs([
2712 8459024031946559011,
2713 9756324734815253725,
2714 14081981857002652443,
2715 1295411099915753127,
2716 ]),
2717 Fq::from_montgomery_limbs([
2718 12916186197107076085,
2719 5935794698380416041,
2720 14163718741243160273,
2721 1284207706380505486,
2722 ]),
2723 Fq::from_montgomery_limbs([
2724 18200592249652917081,
2725 10952824854756428652,
2726 13221851894140961386,
2727 952100497899551398,
2728 ]),
2729 Fq::from_montgomery_limbs([
2730 7909306592215715661,
2731 12372000920976206381,
2732 13047646210570006173,
2733 1134258014683902124,
2734 ]),
2735 Fq::from_montgomery_limbs([
2736 6202864031195801806,
2737 9008291636618939950,
2738 4452886644180013898,
2739 834656796167786155,
2740 ]),
2741 Fq::from_montgomery_limbs([
2742 10633984218986397485,
2743 1476776383719121929,
2744 18242946201412975574,
2745 235737836971566080,
2746 ]),
2747 Fq::from_montgomery_limbs([
2748 1720795814776594401,
2749 1331741422739941001,
2750 1433030060135444919,
2751 661580976464017359,
2752 ]),
2753 Fq::from_montgomery_limbs([
2754 12916186197107076085,
2755 5935794698380416041,
2756 14163718741243160273,
2757 1284207706380505486,
2758 ]),
2759 Fq::from_montgomery_limbs([
2760 3910809514494604292,
2761 8483245271389311552,
2762 16246267851842217096,
2763 18865255698597878,
2764 ]),
2765 Fq::from_montgomery_limbs([
2766 3026843501192760993,
2767 8380473052143493977,
2768 3054950936628239486,
2769 722212886196682246,
2770 ]),
2771 Fq::from_montgomery_limbs([
2772 17640176946983601983,
2773 7851638753013976420,
2774 7953773760774643320,
2775 1060395049618029567,
2776 ]),
2777 Fq::from_montgomery_limbs([
2778 257831097013115576,
2779 868816813650478155,
2780 3804928554730106375,
2781 37318070574597666,
2782 ]),
2783 Fq::from_montgomery_limbs([
2784 13255078662550912877,
2785 6201099884138924934,
2786 16598544366614787861,
2787 517978551803961280,
2788 ]),
2789 Fq::from_montgomery_limbs([
2790 18293763308414053579,
2791 18299155137503640753,
2792 10462936480575081846,
2793 453983746301356936,
2794 ]),
2795 Fq::from_montgomery_limbs([
2796 18200592249652917081,
2797 10952824854756428652,
2798 13221851894140961386,
2799 952100497899551398,
2800 ]),
2801 Fq::from_montgomery_limbs([
2802 3026843501192760993,
2803 8380473052143493977,
2804 3054950936628239486,
2805 722212886196682246,
2806 ]),
2807 Fq::from_montgomery_limbs([
2808 6947786146630418877,
2809 15369056627168554704,
2810 17602917142112233480,
2811 860079864989181067,
2812 ]),
2813 Fq::from_montgomery_limbs([
2814 12292153329582579311,
2815 12340018229585837748,
2816 16138005556776207249,
2817 689763430924300574,
2818 ]),
2819 Fq::from_montgomery_limbs([
2820 12731957617084167734,
2821 10385122202334236509,
2822 6304526407551965622,
2823 473830859466044865,
2824 ]),
2825 Fq::from_montgomery_limbs([
2826 16511322183643786520,
2827 12899213679171041629,
2828 10327663219981717303,
2829 101291905845336522,
2830 ]),
2831 Fq::from_montgomery_limbs([
2832 4581286503082050232,
2833 12284808854596259078,
2834 3289926894666988909,
2835 902128282614826112,
2836 ]),
2837 Fq::from_montgomery_limbs([
2838 7909306592215715661,
2839 12372000920976206381,
2840 13047646210570006173,
2841 1134258014683902124,
2842 ]),
2843 Fq::from_montgomery_limbs([
2844 17640176946983601983,
2845 7851638753013976420,
2846 7953773760774643320,
2847 1060395049618029567,
2848 ]),
2849 Fq::from_montgomery_limbs([
2850 12292153329582579311,
2851 12340018229585837748,
2852 16138005556776207249,
2853 689763430924300574,
2854 ]),
2855 Fq::from_montgomery_limbs([
2856 11306146037240305765,
2857 10984198068608188499,
2858 1191708097986331420,
2859 836519420285054905,
2860 ]),
2861 ]),
2862 M_hat_inverse: SquareMatrix::<6, 36>::new_from_known([
2863 Fq::from_montgomery_limbs([
2864 3792453098216396897,
2865 12628553005522469477,
2866 16642002769880465331,
2867 421042619293543187,
2868 ]),
2869 Fq::from_montgomery_limbs([
2870 10263844291975416107,
2871 13672341457628810763,
2872 12509513995609872959,
2873 205381282018859586,
2874 ]),
2875 Fq::from_montgomery_limbs([
2876 10784713721876928946,
2877 5674574537437802090,
2878 12687938002553184071,
2879 136316472684139419,
2880 ]),
2881 Fq::from_montgomery_limbs([
2882 16070813810583366554,
2883 1956961633890359529,
2884 13965208031005279836,
2885 927951972604280320,
2886 ]),
2887 Fq::from_montgomery_limbs([
2888 6738933144333850617,
2889 6100304390614169754,
2890 1210061970152249951,
2891 909818292837236776,
2892 ]),
2893 Fq::from_montgomery_limbs([
2894 9669791352790763084,
2895 10325954078533278386,
2896 9503492366281944368,
2897 1040674818174287413,
2898 ]),
2899 Fq::from_montgomery_limbs([
2900 10263844291975416107,
2901 13672341457628810763,
2902 12509513995609872959,
2903 205381282018859586,
2904 ]),
2905 Fq::from_montgomery_limbs([
2906 6412844366295084778,
2907 7666866282335076917,
2908 1998128405856404681,
2909 74724070388243614,
2910 ]),
2911 Fq::from_montgomery_limbs([
2912 2820801561543625657,
2913 2418377097726488830,
2914 6026234412050937676,
2915 1126089764215992130,
2916 ]),
2917 Fq::from_montgomery_limbs([
2918 8551209674866173640,
2919 6260366140671248954,
2920 12081978629156052449,
2921 1140556338048141522,
2922 ]),
2923 Fq::from_montgomery_limbs([
2924 3127468548134575066,
2925 584585047777214689,
2926 7762916153904627652,
2927 166598529350882438,
2928 ]),
2929 Fq::from_montgomery_limbs([
2930 7594054111820467981,
2931 8571015412052249811,
2932 6107608647809765519,
2933 1023873926642050928,
2934 ]),
2935 Fq::from_montgomery_limbs([
2936 10784713721876928946,
2937 5674574537437802090,
2938 12687938002553184071,
2939 136316472684139419,
2940 ]),
2941 Fq::from_montgomery_limbs([
2942 2820801561543625657,
2943 2418377097726488830,
2944 6026234412050937676,
2945 1126089764215992130,
2946 ]),
2947 Fq::from_montgomery_limbs([
2948 10427240268737712782,
2949 8508693586717179156,
2950 9391845005515956255,
2951 937208025112203554,
2952 ]),
2953 Fq::from_montgomery_limbs([
2954 8182900134894401237,
2955 12638356435589207249,
2956 2514008238224928511,
2957 262393601667707271,
2958 ]),
2959 Fq::from_montgomery_limbs([
2960 9827417092260447852,
2961 9328415136733098350,
2962 7749975888478067278,
2963 1296132886589595648,
2964 ]),
2965 Fq::from_montgomery_limbs([
2966 16287831069372846812,
2967 12117020194152290696,
2968 2582012005292236373,
2969 964219332138367410,
2970 ]),
2971 Fq::from_montgomery_limbs([
2972 16070813810583366554,
2973 1956961633890359529,
2974 13965208031005279836,
2975 927951972604280320,
2976 ]),
2977 Fq::from_montgomery_limbs([
2978 8551209674866173640,
2979 6260366140671248954,
2980 12081978629156052449,
2981 1140556338048141522,
2982 ]),
2983 Fq::from_montgomery_limbs([
2984 8182900134894401237,
2985 12638356435589207249,
2986 2514008238224928511,
2987 262393601667707271,
2988 ]),
2989 Fq::from_montgomery_limbs([
2990 2689211423437640460,
2991 9937738931024806642,
2992 16752771701136165272,
2993 1203240695252068537,
2994 ]),
2995 Fq::from_montgomery_limbs([
2996 4340203757804311965,
2997 12676662818122060527,
2998 8325672080044279362,
2999 1087811919015138569,
3000 ]),
3001 Fq::from_montgomery_limbs([
3002 14389282186921406518,
3003 13071685447061354484,
3004 9323961789214815202,
3005 798867032561203873,
3006 ]),
3007 Fq::from_montgomery_limbs([
3008 6738933144333850617,
3009 6100304390614169754,
3010 1210061970152249951,
3011 909818292837236776,
3012 ]),
3013 Fq::from_montgomery_limbs([
3014 3127468548134575066,
3015 584585047777214689,
3016 7762916153904627652,
3017 166598529350882438,
3018 ]),
3019 Fq::from_montgomery_limbs([
3020 9827417092260447852,
3021 9328415136733098350,
3022 7749975888478067278,
3023 1296132886589595648,
3024 ]),
3025 Fq::from_montgomery_limbs([
3026 4340203757804311965,
3027 12676662818122060527,
3028 8325672080044279362,
3029 1087811919015138569,
3030 ]),
3031 Fq::from_montgomery_limbs([
3032 16937615735900532927,
3033 2828202157217662325,
3034 11653172729566405164,
3035 102608297022837914,
3036 ]),
3037 Fq::from_montgomery_limbs([
3038 10698441721372329435,
3039 14189560518339287134,
3040 16709548602960206315,
3041 1115736315296030670,
3042 ]),
3043 Fq::from_montgomery_limbs([
3044 9669791352790763084,
3045 10325954078533278386,
3046 9503492366281944368,
3047 1040674818174287413,
3048 ]),
3049 Fq::from_montgomery_limbs([
3050 7594054111820467981,
3051 8571015412052249811,
3052 6107608647809765519,
3053 1023873926642050928,
3054 ]),
3055 Fq::from_montgomery_limbs([
3056 16287831069372846812,
3057 12117020194152290696,
3058 2582012005292236373,
3059 964219332138367410,
3060 ]),
3061 Fq::from_montgomery_limbs([
3062 14389282186921406518,
3063 13071685447061354484,
3064 9323961789214815202,
3065 798867032561203873,
3066 ]),
3067 Fq::from_montgomery_limbs([
3068 10698441721372329435,
3069 14189560518339287134,
3070 16709548602960206315,
3071 1115736315296030670,
3072 ]),
3073 Fq::from_montgomery_limbs([
3074 4200873270792393235,
3075 10250359348562610182,
3076 13119023895300261973,
3077 870734268521497409,
3078 ]),
3079 ]),
3080 M_00: Fq::from_montgomery_limbs([
3081 14878706952858838161,
3082 15410104227655356999,
3083 17393275270132988194,
3084 905602962502284432,
3085 ]),
3086 M_i: Matrix::<7, 7, 49>::new_from_known([
3087 Fq::from_montgomery_limbs([
3088 9015221291577245683,
3089 8239323489949974514,
3090 1646089257421115374,
3091 958099254763297437,
3092 ]),
3093 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3094 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3095 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3096 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3097 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3098 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3099 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3100 Fq::from_montgomery_limbs([
3101 3417057834288542701,
3102 14660334709638275173,
3103 15697961235617927687,
3104 541283478161011852,
3105 ]),
3106 Fq::from_montgomery_limbs([
3107 7015809488978334700,
3108 16756137731097346041,
3109 4299145747412822878,
3110 425771021418967410,
3111 ]),
3112 Fq::from_montgomery_limbs([
3113 11403455157288865564,
3114 17867822347283350530,
3115 6642326758447081407,
3116 347793598737965121,
3117 ]),
3118 Fq::from_montgomery_limbs([
3119 3281498772575130056,
3120 15793155797823121930,
3121 13825210503534495803,
3122 403937498710078315,
3123 ]),
3124 Fq::from_montgomery_limbs([
3125 14433853750795786283,
3126 6064690325535561885,
3127 8568546552249237512,
3128 321732587903564709,
3129 ]),
3130 Fq::from_montgomery_limbs([
3131 6678655391923876018,
3132 8629057843778719427,
3133 9842628707936041139,
3134 63076861057827674,
3135 ]),
3136 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3137 Fq::from_montgomery_limbs([
3138 7015809488978334700,
3139 16756137731097346041,
3140 4299145747412822878,
3141 425771021418967410,
3142 ]),
3143 Fq::from_montgomery_limbs([
3144 2912519858324498512,
3145 6507880465488943086,
3146 4272821136041054916,
3147 111743668526988613,
3148 ]),
3149 Fq::from_montgomery_limbs([
3150 1748445869324305294,
3151 9551769637184621333,
3152 15854660035338842641,
3153 935843652651688174,
3154 ]),
3155 Fq::from_montgomery_limbs([
3156 16017478920517952465,
3157 12052990841260496131,
3158 1846258033159005439,
3159 1283952887503997049,
3160 ]),
3161 Fq::from_montgomery_limbs([
3162 13375753074817350454,
3163 1048153563921378033,
3164 9203345202329021202,
3165 240551250239901980,
3166 ]),
3167 Fq::from_montgomery_limbs([
3168 11153565452311437343,
3169 15840896398791388390,
3170 6651106066134943770,
3171 1041420503258293522,
3172 ]),
3173 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3174 Fq::from_montgomery_limbs([
3175 11403455157288865564,
3176 17867822347283350530,
3177 6642326758447081407,
3178 347793598737965121,
3179 ]),
3180 Fq::from_montgomery_limbs([
3181 1748445869324305294,
3182 9551769637184621333,
3183 15854660035338842641,
3184 935843652651688174,
3185 ]),
3186 Fq::from_montgomery_limbs([
3187 12634906865313795269,
3188 11036595778607414197,
3189 3160889789817653150,
3190 123157168832279614,
3191 ]),
3192 Fq::from_montgomery_limbs([
3193 8716577469114679639,
3194 13354977326657221151,
3195 13192299021058097299,
3196 1294655858266660253,
3197 ]),
3198 Fq::from_montgomery_limbs([
3199 13373336070740714862,
3200 8730572127209811217,
3201 7187749001613674585,
3202 593376019371200200,
3203 ]),
3204 Fq::from_montgomery_limbs([
3205 10026036648949247362,
3206 12678383936758102898,
3207 11178426371544881076,
3208 1002297129682557342,
3209 ]),
3210 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3211 Fq::from_montgomery_limbs([
3212 3281498772575130056,
3213 15793155797823121930,
3214 13825210503534495803,
3215 403937498710078315,
3216 ]),
3217 Fq::from_montgomery_limbs([
3218 16017478920517952465,
3219 12052990841260496131,
3220 1846258033159005439,
3221 1283952887503997049,
3222 ]),
3223 Fq::from_montgomery_limbs([
3224 8716577469114679639,
3225 13354977326657221151,
3226 13192299021058097299,
3227 1294655858266660253,
3228 ]),
3229 Fq::from_montgomery_limbs([
3230 14690633444146561299,
3231 13456453518898387751,
3232 10432348396252513416,
3233 1242585437512358865,
3234 ]),
3235 Fq::from_montgomery_limbs([
3236 14102570081274067998,
3237 8257296766039180005,
3238 7790604469177448243,
3239 143690956943080350,
3240 ]),
3241 Fq::from_montgomery_limbs([
3242 8465733138989536717,
3243 2929735846155108951,
3244 4450573983160870127,
3245 472219173524401119,
3246 ]),
3247 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3248 Fq::from_montgomery_limbs([
3249 14433853750795786283,
3250 6064690325535561885,
3251 8568546552249237512,
3252 321732587903564709,
3253 ]),
3254 Fq::from_montgomery_limbs([
3255 13375753074817350454,
3256 1048153563921378033,
3257 9203345202329021202,
3258 240551250239901980,
3259 ]),
3260 Fq::from_montgomery_limbs([
3261 13373336070740714862,
3262 8730572127209811217,
3263 7187749001613674585,
3264 593376019371200200,
3265 ]),
3266 Fq::from_montgomery_limbs([
3267 14102570081274067998,
3268 8257296766039180005,
3269 7790604469177448243,
3270 143690956943080350,
3271 ]),
3272 Fq::from_montgomery_limbs([
3273 4085032723309791110,
3274 4665611504008924558,
3275 11824165711550330487,
3276 578201258376880126,
3277 ]),
3278 Fq::from_montgomery_limbs([
3279 11519276958617059096,
3280 13454485508887725898,
3281 7249926774019308728,
3282 1072756789797212364,
3283 ]),
3284 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3285 Fq::from_montgomery_limbs([
3286 6678655391923876018,
3287 8629057843778719427,
3288 9842628707936041139,
3289 63076861057827674,
3290 ]),
3291 Fq::from_montgomery_limbs([
3292 11153565452311437343,
3293 15840896398791388390,
3294 6651106066134943770,
3295 1041420503258293522,
3296 ]),
3297 Fq::from_montgomery_limbs([
3298 10026036648949247362,
3299 12678383936758102898,
3300 11178426371544881076,
3301 1002297129682557342,
3302 ]),
3303 Fq::from_montgomery_limbs([
3304 8465733138989536717,
3305 2929735846155108951,
3306 4450573983160870127,
3307 472219173524401119,
3308 ]),
3309 Fq::from_montgomery_limbs([
3310 11519276958617059096,
3311 13454485508887725898,
3312 7249926774019308728,
3313 1072756789797212364,
3314 ]),
3315 Fq::from_montgomery_limbs([
3316 8573207762665625898,
3317 16056334493165972918,
3318 10346718250214646205,
3319 1191123760209144883,
3320 ]),
3321 ]),
3322 v_collection: [
3323 Matrix::<1, 6, 6>::new_from_known([
3324 Fq::from_montgomery_limbs([
3325 17721242321237835775,
3326 11985636621509722110,
3327 11478464757469040638,
3328 960562638525520553,
3329 ]),
3330 Fq::from_montgomery_limbs([
3331 17640631015407645126,
3332 17416650484724036037,
3333 14803487960933328666,
3334 554882262980868625,
3335 ]),
3336 Fq::from_montgomery_limbs([
3337 10632745392742701465,
3338 7191381972905833266,
3339 10576427669223334706,
3340 1037506184958051122,
3341 ]),
3342 Fq::from_montgomery_limbs([
3343 7989155441247042094,
3344 18276457113184108543,
3345 17999817914616464103,
3346 943187440870955565,
3347 ]),
3348 Fq::from_montgomery_limbs([
3349 18204910156218979669,
3350 16293041589642941780,
3351 9975069610392864084,
3352 1088801882579738168,
3353 ]),
3354 Fq::from_montgomery_limbs([
3355 15441359965645378481,
3356 7022857083512140090,
3357 11162758362666494739,
3358 1108530997049617801,
3359 ]),
3360 ]),
3361 Matrix::<1, 6, 6>::new_from_known([
3362 Fq::from_montgomery_limbs([
3363 10644639721044274615,
3364 16734510270636734171,
3365 6265966780522802029,
3366 1180401342618465036,
3367 ]),
3368 Fq::from_montgomery_limbs([
3369 1254097908378330934,
3370 13601601811345135765,
3371 15071243631801644424,
3372 297593012698954223,
3373 ]),
3374 Fq::from_montgomery_limbs([
3375 10771062345226876930,
3376 7469649658028794228,
3377 3597902033882677100,
3378 608350358812428664,
3379 ]),
3380 Fq::from_montgomery_limbs([
3381 10231075707837198839,
3382 11530522131003023037,
3383 1802721152151214035,
3384 1212125375706727806,
3385 ]),
3386 Fq::from_montgomery_limbs([
3387 548206758129328348,
3388 778220363894850734,
3389 12082251172806692919,
3390 593860302507973656,
3391 ]),
3392 Fq::from_montgomery_limbs([
3393 6029427183938663855,
3394 17136269120728144851,
3395 7031277897576748532,
3396 978052702327451285,
3397 ]),
3398 ]),
3399 Matrix::<1, 6, 6>::new_from_known([
3400 Fq::from_montgomery_limbs([
3401 14583548544607776390,
3402 1455594659839297233,
3403 7503148269133459078,
3404 979881557166431467,
3405 ]),
3406 Fq::from_montgomery_limbs([
3407 4091794927241778027,
3408 3984934849444513902,
3409 4168704414264273635,
3410 1243153189837659840,
3411 ]),
3412 Fq::from_montgomery_limbs([
3413 13672227389423134641,
3414 7889118255497550145,
3415 10535716868579808028,
3416 727851871568307361,
3417 ]),
3418 Fq::from_montgomery_limbs([
3419 1805790605077811102,
3420 13328027295111756288,
3421 15284753467090911646,
3422 476755389437853977,
3423 ]),
3424 Fq::from_montgomery_limbs([
3425 6818887996128827024,
3426 12980010109101424586,
3427 17837508282492360706,
3428 804695904048021645,
3429 ]),
3430 Fq::from_montgomery_limbs([
3431 9531071905126860029,
3432 10560990131084904417,
3433 3843562488879133086,
3434 427342220830413508,
3435 ]),
3436 ]),
3437 Matrix::<1, 6, 6>::new_from_known([
3438 Fq::from_montgomery_limbs([
3439 12999307184917437199,
3440 4460278989335054240,
3441 8039372983916400823,
3442 524229825913330581,
3443 ]),
3444 Fq::from_montgomery_limbs([
3445 13201924241923240556,
3446 11745564486322152121,
3447 2471694394944636145,
3448 181216534789741406,
3449 ]),
3450 Fq::from_montgomery_limbs([
3451 4934105058811497644,
3452 12271038025203690017,
3453 7436143789682315585,
3454 998806416030886275,
3455 ]),
3456 Fq::from_montgomery_limbs([
3457 13725255261959326942,
3458 8555513885879208558,
3459 955378272993441581,
3460 297008239472103166,
3461 ]),
3462 Fq::from_montgomery_limbs([
3463 10371095811858205849,
3464 8804518571176544229,
3465 11002636904361592873,
3466 660578117299637260,
3467 ]),
3468 Fq::from_montgomery_limbs([
3469 8307653710943752623,
3470 2839318436416200448,
3471 12213117778126871947,
3472 1025759164655249254,
3473 ]),
3474 ]),
3475 Matrix::<1, 6, 6>::new_from_known([
3476 Fq::from_montgomery_limbs([
3477 11863327563780294024,
3478 10993730767593839696,
3479 9502873035480842903,
3480 1097248076762680248,
3481 ]),
3482 Fq::from_montgomery_limbs([
3483 6808878885915903933,
3484 8278632955554852373,
3485 12719166835729596674,
3486 804467256685775329,
3487 ]),
3488 Fq::from_montgomery_limbs([
3489 16008107817056775055,
3490 8608502583580218397,
3491 2796011695423831437,
3492 949203486167282741,
3493 ]),
3494 Fq::from_montgomery_limbs([
3495 9591171450453062265,
3496 6399710760130247553,
3497 16473627252289324238,
3498 199489766710074990,
3499 ]),
3500 Fq::from_montgomery_limbs([
3501 2126693132859812176,
3502 10946771068545746672,
3503 16987361148217467014,
3504 545647818048109007,
3505 ]),
3506 Fq::from_montgomery_limbs([
3507 11988059750093062229,
3508 9298754840020496938,
3509 15035120852882985245,
3510 1192754512132360647,
3511 ]),
3512 ]),
3513 Matrix::<1, 6, 6>::new_from_known([
3514 Fq::from_montgomery_limbs([
3515 8283981142206306939,
3516 15468588506068845291,
3517 14286327059693983748,
3518 168088448899207140,
3519 ]),
3520 Fq::from_montgomery_limbs([
3521 10471089395398769453,
3522 96236653784383214,
3523 16648343620891915559,
3524 253629587649938570,
3525 ]),
3526 Fq::from_montgomery_limbs([
3527 2122557167897006073,
3528 6496047148498928328,
3529 4866370458783575330,
3530 393653606927582732,
3531 ]),
3532 Fq::from_montgomery_limbs([
3533 1613936452873278524,
3534 13810247455069732717,
3535 15313868045534267346,
3536 1243393042619890514,
3537 ]),
3538 Fq::from_montgomery_limbs([
3539 15475354144715027231,
3540 7573523099482013249,
3541 12718534995660881344,
3542 1280011735315941795,
3543 ]),
3544 Fq::from_montgomery_limbs([
3545 16713988261819571430,
3546 2839652657083011646,
3547 3620474509759339159,
3548 813365112700437390,
3549 ]),
3550 ]),
3551 Matrix::<1, 6, 6>::new_from_known([
3552 Fq::from_montgomery_limbs([
3553 5224860601737206030,
3554 471099951455807337,
3555 4240850224623809066,
3556 1213277143090320240,
3557 ]),
3558 Fq::from_montgomery_limbs([
3559 8044997223262572963,
3560 8080347158505061529,
3561 3228586894312007285,
3562 331597882779275433,
3563 ]),
3564 Fq::from_montgomery_limbs([
3565 1208998236383405070,
3566 1447425529631254332,
3567 8002978071615560825,
3568 1168296975382357177,
3569 ]),
3570 Fq::from_montgomery_limbs([
3571 3717552334324548558,
3572 14379760040658949225,
3573 17287286958139444106,
3574 498156372540796351,
3575 ]),
3576 Fq::from_montgomery_limbs([
3577 7205892599830853163,
3578 15212333206847125686,
3579 5699921803433736310,
3580 905915093597247729,
3581 ]),
3582 Fq::from_montgomery_limbs([
3583 755943729919434357,
3584 10577236669397908241,
3585 14468710867857253298,
3586 1024324011896165462,
3587 ]),
3588 ]),
3589 Matrix::<1, 6, 6>::new_from_known([
3590 Fq::from_montgomery_limbs([
3591 8058282063231996405,
3592 17257430900010574484,
3593 2158055163476481194,
3594 595100858348853692,
3595 ]),
3596 Fq::from_montgomery_limbs([
3597 15085559623482919871,
3598 3472078672722908583,
3599 4599317711792091602,
3600 222588611222065167,
3601 ]),
3602 Fq::from_montgomery_limbs([
3603 15424099905499014070,
3604 8434797005632313353,
3605 8131086932997815225,
3606 1036565779889668097,
3607 ]),
3608 Fq::from_montgomery_limbs([
3609 1382697922847342157,
3610 4665453833795528964,
3611 9747274806721360803,
3612 148779622932294522,
3613 ]),
3614 Fq::from_montgomery_limbs([
3615 4432837085227621901,
3616 3625643010647482210,
3617 9188161200126159834,
3618 1031489011263833493,
3619 ]),
3620 Fq::from_montgomery_limbs([
3621 2595560161561027549,
3622 10106811297951765366,
3623 17488308776579863485,
3624 206455909861435406,
3625 ]),
3626 ]),
3627 Matrix::<1, 6, 6>::new_from_known([
3628 Fq::from_montgomery_limbs([
3629 820166082021164174,
3630 9749064658839893621,
3631 2697165176777711952,
3632 1013643423254794247,
3633 ]),
3634 Fq::from_montgomery_limbs([
3635 11434285783669558858,
3636 13584809878479701720,
3637 3915545683544186278,
3638 1023126538570256918,
3639 ]),
3640 Fq::from_montgomery_limbs([
3641 2165364699284154689,
3642 12685002878895760637,
3643 6867136501788661212,
3644 674836357022179385,
3645 ]),
3646 Fq::from_montgomery_limbs([
3647 9371284124941532260,
3648 7254488926567729428,
3649 14153148852060364975,
3650 563833886155167209,
3651 ]),
3652 Fq::from_montgomery_limbs([
3653 12983913502532225115,
3654 10422261732254055015,
3655 9682741985590349706,
3656 1152902980215236093,
3657 ]),
3658 Fq::from_montgomery_limbs([
3659 53453825694603265,
3660 7363785068269762421,
3661 10014136818496735189,
3662 418364251047633957,
3663 ]),
3664 ]),
3665 Matrix::<1, 6, 6>::new_from_known([
3666 Fq::from_montgomery_limbs([
3667 9089547361822769623,
3668 2614400882196504844,
3669 18171746873737288094,
3670 75978327930221735,
3671 ]),
3672 Fq::from_montgomery_limbs([
3673 16792233542280595044,
3674 9194009742559712662,
3675 16681314096151276162,
3676 141104854369611948,
3677 ]),
3678 Fq::from_montgomery_limbs([
3679 14121587945665084254,
3680 4285652051739813435,
3681 908329507035055833,
3682 1170458112249762210,
3683 ]),
3684 Fq::from_montgomery_limbs([
3685 17832160706398652605,
3686 12757316993880307572,
3687 17823976387828534641,
3688 1060884446639737566,
3689 ]),
3690 Fq::from_montgomery_limbs([
3691 12238967831419693891,
3692 17285564337796726189,
3693 772363080009335540,
3694 1133022491303716360,
3695 ]),
3696 Fq::from_montgomery_limbs([
3697 7101023699634357749,
3698 6639281158265807289,
3699 4981868997280764642,
3700 985691418122098087,
3701 ]),
3702 ]),
3703 Matrix::<1, 6, 6>::new_from_known([
3704 Fq::from_montgomery_limbs([
3705 11269122037409773082,
3706 12011421319544460999,
3707 1334150225599331569,
3708 2858146322225763,
3709 ]),
3710 Fq::from_montgomery_limbs([
3711 9313709853509185496,
3712 16206428797220002184,
3713 13680333402027486517,
3714 1242753153191996216,
3715 ]),
3716 Fq::from_montgomery_limbs([
3717 17569743508708392526,
3718 3142648113271106845,
3719 1634996132313805038,
3720 345389980530236831,
3721 ]),
3722 Fq::from_montgomery_limbs([
3723 13214675085238735159,
3724 17546363296125310843,
3725 15104140193957885186,
3726 1009608979945975479,
3727 ]),
3728 Fq::from_montgomery_limbs([
3729 13156206507994500002,
3730 15331136932468936255,
3731 18120353711369546595,
3732 212936761308279860,
3733 ]),
3734 Fq::from_montgomery_limbs([
3735 15728832258520667556,
3736 2222718495126847960,
3737 9069363803574780412,
3738 1252511052567294538,
3739 ]),
3740 ]),
3741 Matrix::<1, 6, 6>::new_from_known([
3742 Fq::from_montgomery_limbs([
3743 15318220334729666071,
3744 10085274749271496451,
3745 13235713280652147722,
3746 745052808139004576,
3747 ]),
3748 Fq::from_montgomery_limbs([
3749 13156235912943986954,
3750 5448235351584523656,
3751 14912753996910833259,
3752 1074562042912540040,
3753 ]),
3754 Fq::from_montgomery_limbs([
3755 10973489371567110798,
3756 13864494226359434162,
3757 2551801121655091132,
3758 842122627627640172,
3759 ]),
3760 Fq::from_montgomery_limbs([
3761 16434063247854180644,
3762 4535379715543303383,
3763 15837253172489347337,
3764 811511753879666188,
3765 ]),
3766 Fq::from_montgomery_limbs([
3767 17168911107864577236,
3768 43950174469174547,
3769 5104860072131484949,
3770 973362737471998355,
3771 ]),
3772 Fq::from_montgomery_limbs([
3773 7931655442728732623,
3774 2231832287024216001,
3775 1215678170119206083,
3776 809922596417314673,
3777 ]),
3778 ]),
3779 Matrix::<1, 6, 6>::new_from_known([
3780 Fq::from_montgomery_limbs([
3781 11089365147905175739,
3782 17689470198615435650,
3783 1802029570881529665,
3784 323182645037342266,
3785 ]),
3786 Fq::from_montgomery_limbs([
3787 15969427871111504498,
3788 5489904452991350903,
3789 6060256254335150822,
3790 327519122975337122,
3791 ]),
3792 Fq::from_montgomery_limbs([
3793 8372741465623248660,
3794 14241887742859321780,
3795 5732992227950195767,
3796 39295360183511289,
3797 ]),
3798 Fq::from_montgomery_limbs([
3799 1187756953137288615,
3800 6353707652463699269,
3801 16025288734445909769,
3802 689723399381686930,
3803 ]),
3804 Fq::from_montgomery_limbs([
3805 3641027043425346704,
3806 7529359599459005223,
3807 2263874390889253898,
3808 1174711192482135891,
3809 ]),
3810 Fq::from_montgomery_limbs([
3811 14213602576882685129,
3812 1072450781726178504,
3813 9166004798283088170,
3814 288986234043895133,
3815 ]),
3816 ]),
3817 Matrix::<1, 6, 6>::new_from_known([
3818 Fq::from_montgomery_limbs([
3819 9857091378959575712,
3820 4700244761781549157,
3821 11886572911958021128,
3822 978573057754163783,
3823 ]),
3824 Fq::from_montgomery_limbs([
3825 6859829417840328625,
3826 5380908914233546421,
3827 9985382358422821006,
3828 809479275163892841,
3829 ]),
3830 Fq::from_montgomery_limbs([
3831 7129905675772133963,
3832 9947583967153283633,
3833 11488752011523120045,
3834 70770661730429235,
3835 ]),
3836 Fq::from_montgomery_limbs([
3837 10339301687172431688,
3838 7034120066892139373,
3839 278535235730000358,
3840 1037618672688193269,
3841 ]),
3842 Fq::from_montgomery_limbs([
3843 8073945182151246976,
3844 8024480602729778451,
3845 14228737842273667747,
3846 5601376964086932,
3847 ]),
3848 Fq::from_montgomery_limbs([
3849 17455241286370251178,
3850 5877720710031178913,
3851 9559992722432789829,
3852 1325168601990716931,
3853 ]),
3854 ]),
3855 Matrix::<1, 6, 6>::new_from_known([
3856 Fq::from_montgomery_limbs([
3857 4443170007910122686,
3858 7353422220255768461,
3859 15086677032035138267,
3860 1000401307557218310,
3861 ]),
3862 Fq::from_montgomery_limbs([
3863 6016899902613423969,
3864 17460518555665406782,
3865 3732816219387681456,
3866 602171657802810010,
3867 ]),
3868 Fq::from_montgomery_limbs([
3869 17215551508008455197,
3870 14155576318076749717,
3871 287763472218567445,
3872 348594781061367360,
3873 ]),
3874 Fq::from_montgomery_limbs([
3875 13673281300516729195,
3876 2214275010578136594,
3877 5278640382055069707,
3878 862836485498449760,
3879 ]),
3880 Fq::from_montgomery_limbs([
3881 14604602086577261525,
3882 17331229080491881983,
3883 9761345074674761926,
3884 92431445071525752,
3885 ]),
3886 Fq::from_montgomery_limbs([
3887 288667004247211189,
3888 8068558316435185759,
3889 34133259048288536,
3890 632325899262964414,
3891 ]),
3892 ]),
3893 Matrix::<1, 6, 6>::new_from_known([
3894 Fq::from_montgomery_limbs([
3895 4414532264671055849,
3896 13933747433746332421,
3897 13027565118143790352,
3898 1050571576397137370,
3899 ]),
3900 Fq::from_montgomery_limbs([
3901 10778047724985809400,
3902 1316157346886280268,
3903 10174764403037871455,
3904 1310251685035182702,
3905 ]),
3906 Fq::from_montgomery_limbs([
3907 2901779093000588757,
3908 14345292131236108270,
3909 325687763253834560,
3910 1302296993426055332,
3911 ]),
3912 Fq::from_montgomery_limbs([
3913 10195270688246580514,
3914 15529132938808577668,
3915 16655748986619374751,
3916 1334926369645181743,
3917 ]),
3918 Fq::from_montgomery_limbs([
3919 10219117138329677661,
3920 17968691841862978952,
3921 2586002244710590318,
3922 890496969841145620,
3923 ]),
3924 Fq::from_montgomery_limbs([
3925 2498245601951074289,
3926 1598646875827827107,
3927 890275996690762376,
3928 77165559003555915,
3929 ]),
3930 ]),
3931 Matrix::<1, 6, 6>::new_from_known([
3932 Fq::from_montgomery_limbs([
3933 2988605310258792866,
3934 15957801327838169961,
3935 7584840999811153279,
3936 434926945147154735,
3937 ]),
3938 Fq::from_montgomery_limbs([
3939 9597713906228190573,
3940 13530531350309731794,
3941 11006707392867763256,
3942 1180021669203726874,
3943 ]),
3944 Fq::from_montgomery_limbs([
3945 3103797984913840610,
3946 13327065637625915613,
3947 7317743376243954428,
3948 454606898571769263,
3949 ]),
3950 Fq::from_montgomery_limbs([
3951 13418762319452988162,
3952 7011698969983978549,
3953 10043811570622910529,
3954 1219725988569937648,
3955 ]),
3956 Fq::from_montgomery_limbs([
3957 16415739938738212197,
3958 18000325972331813382,
3959 2937222969358261592,
3960 751420552035148970,
3961 ]),
3962 Fq::from_montgomery_limbs([
3963 18143523461998133814,
3964 17501449569222234751,
3965 11831229978852878240,
3966 230065434288493720,
3967 ]),
3968 ]),
3969 Matrix::<1, 6, 6>::new_from_known([
3970 Fq::from_montgomery_limbs([
3971 390587431735370215,
3972 6070182885512254444,
3973 15678300086321846232,
3974 658622796995655025,
3975 ]),
3976 Fq::from_montgomery_limbs([
3977 11187073703980753366,
3978 11256592440200977896,
3979 1503110027135689183,
3980 1132851611041610655,
3981 ]),
3982 Fq::from_montgomery_limbs([
3983 13154916648506390915,
3984 5339482676807482888,
3985 7230250399862288620,
3986 218460204422790571,
3987 ]),
3988 Fq::from_montgomery_limbs([
3989 9102410326146594084,
3990 6165251247104570609,
3991 17897733375690573799,
3992 920164771069067785,
3993 ]),
3994 Fq::from_montgomery_limbs([
3995 17285085289295929853,
3996 16238198804092185825,
3997 16251509486414134096,
3998 1084909706592090544,
3999 ]),
4000 Fq::from_montgomery_limbs([
4001 3880782017033225674,
4002 4873252603362867352,
4003 14459262730771211791,
4004 163174741264077656,
4005 ]),
4006 ]),
4007 Matrix::<1, 6, 6>::new_from_known([
4008 Fq::from_montgomery_limbs([
4009 4363513037339290429,
4010 11071402644779655945,
4011 18203948441237058377,
4012 487870628328334554,
4013 ]),
4014 Fq::from_montgomery_limbs([
4015 9854620422114551002,
4016 11862250176770700568,
4017 874594626487585300,
4018 932096667364472947,
4019 ]),
4020 Fq::from_montgomery_limbs([
4021 2172530204291601442,
4022 6393872278636522840,
4023 684019909052108375,
4024 180921268676761997,
4025 ]),
4026 Fq::from_montgomery_limbs([
4027 747820584568953283,
4028 11441694611866320992,
4029 4524856196876367929,
4030 874564518710804172,
4031 ]),
4032 Fq::from_montgomery_limbs([
4033 7299335342253825037,
4034 12867703813750147845,
4035 7941311700245180087,
4036 1108892033870182325,
4037 ]),
4038 Fq::from_montgomery_limbs([
4039 17832410557204971163,
4040 4075792975869963488,
4041 7197135716780572438,
4042 152677169125496593,
4043 ]),
4044 ]),
4045 Matrix::<1, 6, 6>::new_from_known([
4046 Fq::from_montgomery_limbs([
4047 10163931248253127785,
4048 1981713163631115965,
4049 3150372916074444430,
4050 470994848988866265,
4051 ]),
4052 Fq::from_montgomery_limbs([
4053 15083629881223276978,
4054 2015879515814390952,
4055 11644449746714623084,
4056 946361618448877426,
4057 ]),
4058 Fq::from_montgomery_limbs([
4059 16592814677886046887,
4060 8039452671655169748,
4061 2594546365519790998,
4062 584104276493702607,
4063 ]),
4064 Fq::from_montgomery_limbs([
4065 17407066489676124305,
4066 8656046168534251407,
4067 3138964226038501382,
4068 514356098263219093,
4069 ]),
4070 Fq::from_montgomery_limbs([
4071 15942565322057954282,
4072 6097316293590202889,
4073 6372629697231874413,
4074 113242342217125329,
4075 ]),
4076 Fq::from_montgomery_limbs([
4077 11571924722120150581,
4078 13912164049336724059,
4079 2502413236406840486,
4080 679604324439169221,
4081 ]),
4082 ]),
4083 Matrix::<1, 6, 6>::new_from_known([
4084 Fq::from_montgomery_limbs([
4085 11231555889522859185,
4086 12838308109173382219,
4087 14989494611471795387,
4088 1234334251746422128,
4089 ]),
4090 Fq::from_montgomery_limbs([
4091 11820760137592674131,
4092 13233941704214912620,
4093 9184955620669308585,
4094 760535087243845704,
4095 ]),
4096 Fq::from_montgomery_limbs([
4097 18251843258930069429,
4098 6913182660293023569,
4099 15611295871669355399,
4100 543202252785444658,
4101 ]),
4102 Fq::from_montgomery_limbs([
4103 3623801569902716815,
4104 12012005568369974445,
4105 8975238911566253998,
4106 1306561840926137970,
4107 ]),
4108 Fq::from_montgomery_limbs([
4109 11553511503558092125,
4110 12278824151250337447,
4111 14503589672502199303,
4112 1306659756102330132,
4113 ]),
4114 Fq::from_montgomery_limbs([
4115 15708785553057654326,
4116 3840692890311772930,
4117 4102206509788468425,
4118 440698181344607784,
4119 ]),
4120 ]),
4121 Matrix::<1, 6, 6>::new_from_known([
4122 Fq::from_montgomery_limbs([
4123 8058055302582355971,
4124 5700106105541005064,
4125 7460926738156841111,
4126 462277946682165887,
4127 ]),
4128 Fq::from_montgomery_limbs([
4129 4851568100746305461,
4130 6584456459134975532,
4131 17460185792418666468,
4132 793703974849869892,
4133 ]),
4134 Fq::from_montgomery_limbs([
4135 1493013092751501655,
4136 6157234009848897017,
4137 14948235164845831294,
4138 1116239172277392848,
4139 ]),
4140 Fq::from_montgomery_limbs([
4141 541291017778122597,
4142 4361606389405799905,
4143 13559255135673617904,
4144 164046297400629617,
4145 ]),
4146 Fq::from_montgomery_limbs([
4147 6157883725635917010,
4148 7921949762718398664,
4149 8097426475493743176,
4150 285172774886131081,
4151 ]),
4152 Fq::from_montgomery_limbs([
4153 276501516953041810,
4154 15996807350070926146,
4155 1269758076943886300,
4156 195784581070827446,
4157 ]),
4158 ]),
4159 Matrix::<1, 6, 6>::new_from_known([
4160 Fq::from_montgomery_limbs([
4161 4853469952320798393,
4162 17379711604415333498,
4163 11341428304819039080,
4164 766000305508925099,
4165 ]),
4166 Fq::from_montgomery_limbs([
4167 1723028172270801784,
4168 7846165827796379646,
4169 4636451005692610955,
4170 871151940476972966,
4171 ]),
4172 Fq::from_montgomery_limbs([
4173 6590646061221323902,
4174 889461654044032879,
4175 1505496877923673922,
4176 752475483640516924,
4177 ]),
4178 Fq::from_montgomery_limbs([
4179 13045448500706444324,
4180 8361654882120486231,
4181 4205925187373381862,
4182 277826998934433801,
4183 ]),
4184 Fq::from_montgomery_limbs([
4185 9675553409793389785,
4186 5667173122152825040,
4187 8083271914684780456,
4188 706216661468574727,
4189 ]),
4190 Fq::from_montgomery_limbs([
4191 14266510371042388064,
4192 7106905440715991100,
4193 10411622989018615279,
4194 894382081849790039,
4195 ]),
4196 ]),
4197 Matrix::<1, 6, 6>::new_from_known([
4198 Fq::from_montgomery_limbs([
4199 9268336790197882301,
4200 12070173591607011265,
4201 7396189305808814103,
4202 6826922221427887,
4203 ]),
4204 Fq::from_montgomery_limbs([
4205 11481176188982883772,
4206 15479330738046464105,
4207 15874300506335824,
4208 418080356004810461,
4209 ]),
4210 Fq::from_montgomery_limbs([
4211 8402920895853151075,
4212 11319528131289558551,
4213 11236635718047704076,
4214 590562434419913557,
4215 ]),
4216 Fq::from_montgomery_limbs([
4217 11942015297507883097,
4218 16315121378556649183,
4219 668425812435475072,
4220 1203236348881767128,
4221 ]),
4222 Fq::from_montgomery_limbs([
4223 14719743395974511202,
4224 1514583382813202278,
4225 3223906165579006067,
4226 1338589921222659040,
4227 ]),
4228 Fq::from_montgomery_limbs([
4229 11353873627418368002,
4230 17696069599691683167,
4231 17867255547403463352,
4232 256390082737611698,
4233 ]),
4234 ]),
4235 Matrix::<1, 6, 6>::new_from_known([
4236 Fq::from_montgomery_limbs([
4237 3183181278357516648,
4238 10539132954816790294,
4239 14186140147230647162,
4240 782128376830566716,
4241 ]),
4242 Fq::from_montgomery_limbs([
4243 24279344590760052,
4244 1500125118480868266,
4245 1805095232159146495,
4246 1156936758956513949,
4247 ]),
4248 Fq::from_montgomery_limbs([
4249 10537024754772614474,
4250 3289834431146907946,
4251 204955315838625775,
4252 635285322161689619,
4253 ]),
4254 Fq::from_montgomery_limbs([
4255 10063527467101509243,
4256 6065807056365479935,
4257 17027546583602504025,
4258 991768228369353932,
4259 ]),
4260 Fq::from_montgomery_limbs([
4261 10809287584503006407,
4262 1968797130899798907,
4263 15335034484681843481,
4264 581199600450356946,
4265 ]),
4266 Fq::from_montgomery_limbs([
4267 5342411348500260963,
4268 6851928330103451454,
4269 17931963062212165213,
4270 1333165923948214303,
4271 ]),
4272 ]),
4273 Matrix::<1, 6, 6>::new_from_known([
4274 Fq::from_montgomery_limbs([
4275 5362873004958210141,
4276 4780911804231906429,
4277 491658981443450273,
4278 865870945658130370,
4279 ]),
4280 Fq::from_montgomery_limbs([
4281 16170855628896579013,
4282 16924415594421177943,
4283 18099375624011254510,
4284 1172947874675982311,
4285 ]),
4286 Fq::from_montgomery_limbs([
4287 2313253813846593553,
4288 6024058999881721714,
4289 3460494784065903603,
4290 200192466049298184,
4291 ]),
4292 Fq::from_montgomery_limbs([
4293 16495862644170305555,
4294 1027481903728649974,
4295 18424464377133050050,
4296 286370147149132790,
4297 ]),
4298 Fq::from_montgomery_limbs([
4299 10500420552294712757,
4300 1190864375567816587,
4301 7753792083623713506,
4302 527733109368565721,
4303 ]),
4304 Fq::from_montgomery_limbs([
4305 14443372038206196537,
4306 7620145268069197030,
4307 14646532763986835342,
4308 456340242357593922,
4309 ]),
4310 ]),
4311 Matrix::<1, 6, 6>::new_from_known([
4312 Fq::from_montgomery_limbs([
4313 9232251606394270216,
4314 14408677736204106911,
4315 13271324872968281,
4316 759107595695446407,
4317 ]),
4318 Fq::from_montgomery_limbs([
4319 17249519010359595711,
4320 3324593693860748091,
4321 17110518692688522506,
4322 1222951351162422358,
4323 ]),
4324 Fq::from_montgomery_limbs([
4325 18126276283902025445,
4326 4360757737312030104,
4327 7886535856284373354,
4328 1092174897468921446,
4329 ]),
4330 Fq::from_montgomery_limbs([
4331 1062163077313937380,
4332 11987404733688401354,
4333 13771857460633546591,
4334 404835587063112873,
4335 ]),
4336 Fq::from_montgomery_limbs([
4337 16497288776209779034,
4338 2880366049054710506,
4339 253042145042914898,
4340 795216235095539205,
4341 ]),
4342 Fq::from_montgomery_limbs([
4343 13406148328760919071,
4344 7241933139744138143,
4345 12901549130103097508,
4346 622176358374555103,
4347 ]),
4348 ]),
4349 Matrix::<1, 6, 6>::new_from_known([
4350 Fq::from_montgomery_limbs([
4351 8839697166194087406,
4352 4483906360586614080,
4353 14882309942760908718,
4354 26805057196885842,
4355 ]),
4356 Fq::from_montgomery_limbs([
4357 7780277578177316464,
4358 8830183239891425324,
4359 17543080001337922949,
4360 763106694028031052,
4361 ]),
4362 Fq::from_montgomery_limbs([
4363 1380876235740608953,
4364 7727437954586184212,
4365 6573237846455394763,
4366 348129619934932866,
4367 ]),
4368 Fq::from_montgomery_limbs([
4369 14022759702194409553,
4370 8495575903624052978,
4371 4435568764932750980,
4372 556954649769758600,
4373 ]),
4374 Fq::from_montgomery_limbs([
4375 10833230885057379503,
4376 14946233534988385740,
4377 3482517598744002245,
4378 312685728556510786,
4379 ]),
4380 Fq::from_montgomery_limbs([
4381 4935346722124605172,
4382 797590664817406232,
4383 6711744841558593604,
4384 1113832946092370199,
4385 ]),
4386 ]),
4387 Matrix::<1, 6, 6>::new_from_known([
4388 Fq::from_montgomery_limbs([
4389 4507604340829135994,
4390 6192904589647086945,
4391 349044365259597977,
4392 1152686511406973589,
4393 ]),
4394 Fq::from_montgomery_limbs([
4395 195352152493747630,
4396 5233440319211994798,
4397 932481733874805995,
4398 509755197807725335,
4399 ]),
4400 Fq::from_montgomery_limbs([
4401 6237574338367694863,
4402 18409691934826828587,
4403 2269618770290486313,
4404 1105546858321591640,
4405 ]),
4406 Fq::from_montgomery_limbs([
4407 12982330271334867216,
4408 3689728804743182371,
4409 11969860905888785248,
4410 384135728283136906,
4411 ]),
4412 Fq::from_montgomery_limbs([
4413 18265210337391869731,
4414 11610294943475185851,
4415 7713269183082030658,
4416 64710928906612284,
4417 ]),
4418 Fq::from_montgomery_limbs([
4419 17581461696584771576,
4420 1251761997536591051,
4421 8677916614754373573,
4422 11467824250957215,
4423 ]),
4424 ]),
4425 Matrix::<1, 6, 6>::new_from_known([
4426 Fq::from_montgomery_limbs([
4427 5293383473840045151,
4428 14232932703686129211,
4429 16580168622608048461,
4430 944952712971843416,
4431 ]),
4432 Fq::from_montgomery_limbs([
4433 1172918766922903979,
4434 5995995512044846696,
4435 7739257607297521882,
4436 1042510915533280011,
4437 ]),
4438 Fq::from_montgomery_limbs([
4439 1981724477088009475,
4440 13354315713534102679,
4441 11891854408097089989,
4442 92846148123740243,
4443 ]),
4444 Fq::from_montgomery_limbs([
4445 976886551936370648,
4446 14904356347049243804,
4447 14591979302472212806,
4448 1213715283121821429,
4449 ]),
4450 Fq::from_montgomery_limbs([
4451 15587984398787314569,
4452 16826502960315805008,
4453 12894364377505862261,
4454 1260461626778401163,
4455 ]),
4456 Fq::from_montgomery_limbs([
4457 4959549071568407724,
4458 16406890426995168379,
4459 5205271867547136181,
4460 625367672303411178,
4461 ]),
4462 ]),
4463 Matrix::<1, 6, 6>::new_from_known([
4464 Fq::from_montgomery_limbs([
4465 4469737807624992151,
4466 13646441970050473001,
4467 14103514615210198911,
4468 951934596751743825,
4469 ]),
4470 Fq::from_montgomery_limbs([
4471 179935223424484463,
4472 2716781758867967994,
4473 13772831748270319508,
4474 559465738003921114,
4475 ]),
4476 Fq::from_montgomery_limbs([
4477 3732370725359378315,
4478 109679493243276219,
4479 881555622161027305,
4480 772217225730861177,
4481 ]),
4482 Fq::from_montgomery_limbs([
4483 2034891371688198908,
4484 15927708347683796662,
4485 2835422031008901944,
4486 942335024460335016,
4487 ]),
4488 Fq::from_montgomery_limbs([
4489 10874231289292346814,
4490 11117313284388646608,
4491 16125883931973538451,
4492 1333477728458259050,
4493 ]),
4494 Fq::from_montgomery_limbs([
4495 5836661691500937581,
4496 2582555451477250318,
4497 16743568702164980685,
4498 1095040268607012655,
4499 ]),
4500 ]),
4501 ],
4502 w_hat_collection: [
4503 Matrix::<6, 1, 6>::new_from_known([
4504 Fq::from_montgomery_limbs([
4505 6933713838801944433,
4506 16845582094611513195,
4507 18106981831632269118,
4508 1315719765541495999,
4509 ]),
4510 Fq::from_montgomery_limbs([
4511 11025937787709817432,
4512 2848215840891863663,
4513 12003429085947921194,
4514 123169188111155826,
4515 ]),
4516 Fq::from_montgomery_limbs([
4517 12625372430371999830,
4518 16677955247940128803,
4519 7323211740492754581,
4520 634092645821649835,
4521 ]),
4522 Fq::from_montgomery_limbs([
4523 8476375831616065903,
4524 8302751278140753414,
4525 4675397025515049474,
4526 916054888187664134,
4527 ]),
4528 Fq::from_montgomery_limbs([
4529 10397071512469717592,
4530 5168805500057287779,
4531 15231087545157212262,
4532 795647437775574917,
4533 ]),
4534 Fq::from_montgomery_limbs([
4535 4753644871978862709,
4536 5862282760667146308,
4537 12460694012157225697,
4538 599558919665641703,
4539 ]),
4540 ]),
4541 Matrix::<6, 1, 6>::new_from_known([
4542 Fq::from_montgomery_limbs([
4543 3525611259680496361,
4544 16850996105995319551,
4545 5895804919214678528,
4546 391214039273829079,
4547 ]),
4548 Fq::from_montgomery_limbs([
4549 16383982061649260213,
4550 7412768188479417373,
4551 18252968433587413341,
4552 921842098972532091,
4553 ]),
4554 Fq::from_montgomery_limbs([
4555 4293960317930015621,
4556 15005027020601642292,
4557 14505531830207858927,
4558 1015323632458039193,
4559 ]),
4560 Fq::from_montgomery_limbs([
4561 6752151532781968377,
4562 16993009794999287001,
4563 14092320031767020691,
4564 1182677145301447547,
4565 ]),
4566 Fq::from_montgomery_limbs([
4567 16314233041829270002,
4568 3649678206581272066,
4569 11390243497395273567,
4570 313040234242687401,
4571 ]),
4572 Fq::from_montgomery_limbs([
4573 16897077646049598862,
4574 5408248314355013755,
4575 10936401950030912526,
4576 513592532346930326,
4577 ]),
4578 ]),
4579 Matrix::<6, 1, 6>::new_from_known([
4580 Fq::from_montgomery_limbs([
4581 10142077329767560760,
4582 6792944251304638223,
4583 7902051751595654458,
4584 52562103742172771,
4585 ]),
4586 Fq::from_montgomery_limbs([
4587 4124245661449561978,
4588 16104205151533781959,
4589 12907591592992771975,
4590 375874492004655234,
4591 ]),
4592 Fq::from_montgomery_limbs([
4593 721737094669186114,
4594 9206501775775148139,
4595 4450459856140585915,
4596 711734015520322130,
4597 ]),
4598 Fq::from_montgomery_limbs([
4599 614920776545720184,
4600 9338526590820186332,
4601 3423803905067391290,
4602 1297483125050494498,
4603 ]),
4604 Fq::from_montgomery_limbs([
4605 5114006628798839509,
4606 10631775008980466663,
4607 3587509331998934684,
4608 1269615621594518563,
4609 ]),
4610 Fq::from_montgomery_limbs([
4611 10586294365539695697,
4612 13070162917427803989,
4613 5131427260750659378,
4614 185094384545327415,
4615 ]),
4616 ]),
4617 Matrix::<6, 1, 6>::new_from_known([
4618 Fq::from_montgomery_limbs([
4619 15393156556409725569,
4620 12069454178577165134,
4621 10615051884848589576,
4622 627431092634767494,
4623 ]),
4624 Fq::from_montgomery_limbs([
4625 2254585774072887271,
4626 9054648099999668560,
4627 10092512970859140868,
4628 128794736276163271,
4629 ]),
4630 Fq::from_montgomery_limbs([
4631 9634188559612410031,
4632 11231916523014098458,
4633 9347609823309203991,
4634 350537733562293921,
4635 ]),
4636 Fq::from_montgomery_limbs([
4637 712883344164921598,
4638 12267969327296118133,
4639 18415463544294982318,
4640 453347153304216575,
4641 ]),
4642 Fq::from_montgomery_limbs([
4643 6354724406448162447,
4644 16973074452059542227,
4645 1742850061709863465,
4646 29248222949323830,
4647 ]),
4648 Fq::from_montgomery_limbs([
4649 5847808690552004737,
4650 2583092622487380856,
4651 16226455529753322167,
4652 622812582439549387,
4653 ]),
4654 ]),
4655 Matrix::<6, 1, 6>::new_from_known([
4656 Fq::from_montgomery_limbs([
4657 8037108896489144647,
4658 11600187371086455875,
4659 14226278393962213262,
4660 1257430093680684711,
4661 ]),
4662 Fq::from_montgomery_limbs([
4663 17768344430228638036,
4664 12362984821927414562,
4665 8755702286219707347,
4666 1052522743722421089,
4667 ]),
4668 Fq::from_montgomery_limbs([
4669 6518969013844050226,
4670 10104698889580418215,
4671 12831301188037688559,
4672 783109772397025172,
4673 ]),
4674 Fq::from_montgomery_limbs([
4675 6181962216281397012,
4676 8791420351320694807,
4677 5845391987758232061,
4678 691946495243473347,
4679 ]),
4680 Fq::from_montgomery_limbs([
4681 555663508144587651,
4682 2813166513808555896,
4683 9604748549845359549,
4684 1115460934710212864,
4685 ]),
4686 Fq::from_montgomery_limbs([
4687 638373104524889548,
4688 6961133691969109992,
4689 16899272275885442322,
4690 107354495377389126,
4691 ]),
4692 ]),
4693 Matrix::<6, 1, 6>::new_from_known([
4694 Fq::from_montgomery_limbs([
4695 359839753750440452,
4696 16872903944693818879,
4697 9182594678934428762,
4698 157875028486713218,
4699 ]),
4700 Fq::from_montgomery_limbs([
4701 18133892901854313763,
4702 2808183347815612802,
4703 13420838164084790320,
4704 592901990662685620,
4705 ]),
4706 Fq::from_montgomery_limbs([
4707 2972894661558754427,
4708 10007808519010762631,
4709 9092666282720580619,
4710 1045475284031737143,
4711 ]),
4712 Fq::from_montgomery_limbs([
4713 11312374728773702090,
4714 14199049380673735694,
4715 6883328492121377672,
4716 254205863439515968,
4717 ]),
4718 Fq::from_montgomery_limbs([
4719 1622439358680448127,
4720 16670668058993745597,
4721 4548903667405006277,
4722 711571731093376968,
4723 ]),
4724 Fq::from_montgomery_limbs([
4725 17647983290779098291,
4726 516914030435843715,
4727 12098656310263379019,
4728 275469573180901388,
4729 ]),
4730 ]),
4731 Matrix::<6, 1, 6>::new_from_known([
4732 Fq::from_montgomery_limbs([
4733 8548644889741041300,
4734 16958143034062232997,
4735 13155023865968925107,
4736 527671552750155065,
4737 ]),
4738 Fq::from_montgomery_limbs([
4739 13280891140215524593,
4740 3305529464796220554,
4741 13769067712411857696,
4742 194876564429210557,
4743 ]),
4744 Fq::from_montgomery_limbs([
4745 4744158468698697612,
4746 16501033922635430369,
4747 13118709481247752005,
4748 455296334218894134,
4749 ]),
4750 Fq::from_montgomery_limbs([
4751 3276121206714262439,
4752 4384108406151911994,
4753 10320409945935199931,
4754 1129505288669932775,
4755 ]),
4756 Fq::from_montgomery_limbs([
4757 4802683862047720627,
4758 12048656597166121442,
4759 2985941889978900161,
4760 1215862908384237465,
4761 ]),
4762 Fq::from_montgomery_limbs([
4763 9878053342652269422,
4764 6952038940472105574,
4765 13204721887023621809,
4766 104559270963520601,
4767 ]),
4768 ]),
4769 Matrix::<6, 1, 6>::new_from_known([
4770 Fq::from_montgomery_limbs([
4771 2884484268998399392,
4772 7516340773367415265,
4773 17967577411328781785,
4774 71104776242823513,
4775 ]),
4776 Fq::from_montgomery_limbs([
4777 6836357534971200276,
4778 12307486411100090586,
4779 3725741383492541705,
4780 708703587844324306,
4781 ]),
4782 Fq::from_montgomery_limbs([
4783 16065785508863042824,
4784 13168438874677663185,
4785 10334681499739682637,
4786 537952869573618152,
4787 ]),
4788 Fq::from_montgomery_limbs([
4789 4276306945181457487,
4790 11319798687621632943,
4791 11337729997070203637,
4792 154843360608516964,
4793 ]),
4794 Fq::from_montgomery_limbs([
4795 15091173599951556922,
4796 10089665296762720564,
4797 1001320269268178313,
4798 1278999239679089342,
4799 ]),
4800 Fq::from_montgomery_limbs([
4801 6790806302663889439,
4802 15630966142638650191,
4803 7219114191273641870,
4804 607000211505329118,
4805 ]),
4806 ]),
4807 Matrix::<6, 1, 6>::new_from_known([
4808 Fq::from_montgomery_limbs([
4809 10941156742810682792,
4810 13379581544377778361,
4811 13597487267674595073,
4812 856893196159093362,
4813 ]),
4814 Fq::from_montgomery_limbs([
4815 12116163542944543584,
4816 10494464956681785456,
4817 5328861516400529745,
4818 1198358765731586889,
4819 ]),
4820 Fq::from_montgomery_limbs([
4821 18189172451487902278,
4822 4704482581638044529,
4823 984078958545158234,
4824 1214725173814978653,
4825 ]),
4826 Fq::from_montgomery_limbs([
4827 5693469689620468779,
4828 9572644835043944500,
4829 2366490855072377760,
4830 976822768924111263,
4831 ]),
4832 Fq::from_montgomery_limbs([
4833 13490986302612722028,
4834 1283285868432826268,
4835 15164008493321253514,
4836 443251753067442416,
4837 ]),
4838 Fq::from_montgomery_limbs([
4839 13150294025593833313,
4840 5620721896853634047,
4841 4766918037148084086,
4842 1004371804232239176,
4843 ]),
4844 ]),
4845 Matrix::<6, 1, 6>::new_from_known([
4846 Fq::from_montgomery_limbs([
4847 11674076986569886445,
4848 14273565036215986478,
4849 7256033114853758831,
4850 1243175635214446154,
4851 ]),
4852 Fq::from_montgomery_limbs([
4853 13391657488427814604,
4854 11740905283874021531,
4855 9224412564843665854,
4856 277256927127426063,
4857 ]),
4858 Fq::from_montgomery_limbs([
4859 9479795538791379585,
4860 12974816116199774846,
4861 12093010719550875010,
4862 5065395771365623,
4863 ]),
4864 Fq::from_montgomery_limbs([
4865 8817914873159831624,
4866 2104380883716865129,
4867 18076504449817050016,
4868 651566378088004291,
4869 ]),
4870 Fq::from_montgomery_limbs([
4871 2593549556231375650,
4872 9464329604880807882,
4873 931952291445829364,
4874 1296192193647975938,
4875 ]),
4876 Fq::from_montgomery_limbs([
4877 6791830127635900713,
4878 5571583372402235342,
4879 5980079258218847792,
4880 609581694037305767,
4881 ]),
4882 ]),
4883 Matrix::<6, 1, 6>::new_from_known([
4884 Fq::from_montgomery_limbs([
4885 3590436137035362796,
4886 6878827383468400586,
4887 2087187619625759972,
4888 366519334389468484,
4889 ]),
4890 Fq::from_montgomery_limbs([
4891 8466797588269795178,
4892 6233162019605045514,
4893 7818079020321919455,
4894 1299893902682642414,
4895 ]),
4896 Fq::from_montgomery_limbs([
4897 13213818269144599466,
4898 1289947883313972118,
4899 4059701246652915385,
4900 12056266522820237,
4901 ]),
4902 Fq::from_montgomery_limbs([
4903 4508800680162331521,
4904 15986068886298500867,
4905 14977838885955851194,
4906 38157078418942241,
4907 ]),
4908 Fq::from_montgomery_limbs([
4909 13953378503175087488,
4910 2632607770308512210,
4911 13562084469560012417,
4912 245249845748719170,
4913 ]),
4914 Fq::from_montgomery_limbs([
4915 14192710935721498803,
4916 10423371171643016558,
4917 8787645447508907660,
4918 1222320713106865517,
4919 ]),
4920 ]),
4921 Matrix::<6, 1, 6>::new_from_known([
4922 Fq::from_montgomery_limbs([
4923 11672182316223918869,
4924 6397196540158184432,
4925 16362125278956639955,
4926 487254253940971622,
4927 ]),
4928 Fq::from_montgomery_limbs([
4929 3466115228336022838,
4930 17336865038830586933,
4931 15011622032603429066,
4932 886109464755529302,
4933 ]),
4934 Fq::from_montgomery_limbs([
4935 60790403003891626,
4936 11789627958407425130,
4937 18093678967772149866,
4938 163664659042316929,
4939 ]),
4940 Fq::from_montgomery_limbs([
4941 11752605341201064356,
4942 17735918082592333925,
4943 6652470350194431394,
4944 889452019796415044,
4945 ]),
4946 Fq::from_montgomery_limbs([
4947 8401712234167110287,
4948 10960633415813906272,
4949 11916450035773002049,
4950 1182232446618175169,
4951 ]),
4952 Fq::from_montgomery_limbs([
4953 10396262244990196196,
4954 13566621656449952195,
4955 17637374041715454767,
4956 487328172506255483,
4957 ]),
4958 ]),
4959 Matrix::<6, 1, 6>::new_from_known([
4960 Fq::from_montgomery_limbs([
4961 359851191963578459,
4962 6093707674603330913,
4963 12382809233400904418,
4964 822869288595513424,
4965 ]),
4966 Fq::from_montgomery_limbs([
4967 8685375674428402008,
4968 11116570913984986227,
4969 13141958117760910576,
4970 694631449425721940,
4971 ]),
4972 Fq::from_montgomery_limbs([
4973 13799808203577028319,
4974 17015236177612766046,
4975 13321925256996230040,
4976 83728605392058044,
4977 ]),
4978 Fq::from_montgomery_limbs([
4979 11345927491644574710,
4980 6729113552022061366,
4981 489680359452713554,
4982 1063665064872602168,
4983 ]),
4984 Fq::from_montgomery_limbs([
4985 5144672341518660971,
4986 13584780511637830006,
4987 8111044646642319859,
4988 760808052520956883,
4989 ]),
4990 Fq::from_montgomery_limbs([
4991 10534617268344014793,
4992 13365424830059569868,
4993 15323686518176324368,
4994 630253372526730391,
4995 ]),
4996 ]),
4997 Matrix::<6, 1, 6>::new_from_known([
4998 Fq::from_montgomery_limbs([
4999 5574736329985492350,
5000 1394240824897034276,
5001 12869158727379905882,
5002 927371660714513620,
5003 ]),
5004 Fq::from_montgomery_limbs([
5005 6250879616233772588,
5006 14830533363705576088,
5007 11405716231454843078,
5008 302485753651389813,
5009 ]),
5010 Fq::from_montgomery_limbs([
5011 9376998902591535768,
5012 10870546783769916945,
5013 8867938913668980167,
5014 168036903158516371,
5015 ]),
5016 Fq::from_montgomery_limbs([
5017 17665300127173928717,
5018 16211022938249470990,
5019 17778018974492488988,
5020 1035038949736118270,
5021 ]),
5022 Fq::from_montgomery_limbs([
5023 8713486127840843643,
5024 12284089155092108591,
5025 9199322335133216480,
5026 1254936361875119138,
5027 ]),
5028 Fq::from_montgomery_limbs([
5029 10672903121209769745,
5030 1541284167923703332,
5031 354508315039816196,
5032 1077919680069474774,
5033 ]),
5034 ]),
5035 Matrix::<6, 1, 6>::new_from_known([
5036 Fq::from_montgomery_limbs([
5037 6003956627532398687,
5038 12900385821050494701,
5039 13212436788748797499,
5040 550552294639902063,
5041 ]),
5042 Fq::from_montgomery_limbs([
5043 14895950277557938580,
5044 3197587119252958842,
5045 1370401976516442748,
5046 185312282262907769,
5047 ]),
5048 Fq::from_montgomery_limbs([
5049 4334813612319164060,
5050 1249839787510419412,
5051 2014732433360765992,
5052 674486378020601344,
5053 ]),
5054 Fq::from_montgomery_limbs([
5055 16372536311394952793,
5056 16876000734634230902,
5057 16256142784705290990,
5058 1216045970949193228,
5059 ]),
5060 Fq::from_montgomery_limbs([
5061 7511261605071474477,
5062 12731027885113475848,
5063 7275278577140348070,
5064 1332751723743282012,
5065 ]),
5066 Fq::from_montgomery_limbs([
5067 2087120385657061588,
5068 5805219940951110446,
5069 13072060426636966211,
5070 863754038349923743,
5071 ]),
5072 ]),
5073 Matrix::<6, 1, 6>::new_from_known([
5074 Fq::from_montgomery_limbs([
5075 9861938477894648572,
5076 1261863888379893097,
5077 1659273544923639757,
5078 1175309734597332353,
5079 ]),
5080 Fq::from_montgomery_limbs([
5081 3160898884988868850,
5082 12315548764431121182,
5083 12829922584215852165,
5084 56495588159121736,
5085 ]),
5086 Fq::from_montgomery_limbs([
5087 9126361106532779429,
5088 8812351712430538764,
5089 16651360315827640335,
5090 488907765340195245,
5091 ]),
5092 Fq::from_montgomery_limbs([
5093 8831436795438293115,
5094 389432919099331880,
5095 4151373017145697434,
5096 20487081091778889,
5097 ]),
5098 Fq::from_montgomery_limbs([
5099 1478664308612791336,
5100 8186322499300142837,
5101 14558475073251694928,
5102 808252273304974762,
5103 ]),
5104 Fq::from_montgomery_limbs([
5105 15607838810385275909,
5106 12674581021244262249,
5107 1909980166381620782,
5108 345071109506949067,
5109 ]),
5110 ]),
5111 Matrix::<6, 1, 6>::new_from_known([
5112 Fq::from_montgomery_limbs([
5113 10897251009229233031,
5114 3820618022447517075,
5115 10985787470877927823,
5116 403556049280121762,
5117 ]),
5118 Fq::from_montgomery_limbs([
5119 930794418602631676,
5120 4219345337777307051,
5121 12545787195024594643,
5122 727460251993377030,
5123 ]),
5124 Fq::from_montgomery_limbs([
5125 1295669867887905036,
5126 9507152194066574702,
5127 7109356788802489574,
5128 787002368140653778,
5129 ]),
5130 Fq::from_montgomery_limbs([
5131 3498224858763889755,
5132 302153864491265874,
5133 14518919122820805288,
5134 961799431413434867,
5135 ]),
5136 Fq::from_montgomery_limbs([
5137 14579188115252453346,
5138 8486675243511966662,
5139 4198502112353568422,
5140 266466804927785090,
5141 ]),
5142 Fq::from_montgomery_limbs([
5143 5714787944090956648,
5144 8773050216612558194,
5145 4209799818844007033,
5146 157683362695822804,
5147 ]),
5148 ]),
5149 Matrix::<6, 1, 6>::new_from_known([
5150 Fq::from_montgomery_limbs([
5151 7490636877172818331,
5152 18234545141478570777,
5153 4868926515076353497,
5154 1040485086378507404,
5155 ]),
5156 Fq::from_montgomery_limbs([
5157 4007494498414670332,
5158 11381886286508088565,
5159 2983212756609056257,
5160 310114683693996305,
5161 ]),
5162 Fq::from_montgomery_limbs([
5163 9176086588288648852,
5164 1592592270921797535,
5165 4569673380486221672,
5166 1302061240324827715,
5167 ]),
5168 Fq::from_montgomery_limbs([
5169 16913435421079334086,
5170 1877470558106542334,
5171 3613514508584067134,
5172 934461884972210272,
5173 ]),
5174 Fq::from_montgomery_limbs([
5175 5267175603942094137,
5176 1748374762382459641,
5177 4882024791077414221,
5178 1068225445733947215,
5179 ]),
5180 Fq::from_montgomery_limbs([
5181 4248184777234069323,
5182 13346185782403877767,
5183 10153633758750203581,
5184 141684902152107360,
5185 ]),
5186 ]),
5187 Matrix::<6, 1, 6>::new_from_known([
5188 Fq::from_montgomery_limbs([
5189 14329113735110304247,
5190 4241308009922883952,
5191 9772848400881136490,
5192 239381311112673117,
5193 ]),
5194 Fq::from_montgomery_limbs([
5195 1815346937549645652,
5196 3479767444023955389,
5197 4985298868790684050,
5198 355453443190923870,
5199 ]),
5200 Fq::from_montgomery_limbs([
5201 5747089878066396614,
5202 5454329989338975845,
5203 12341448373351673623,
5204 1202238166588655979,
5205 ]),
5206 Fq::from_montgomery_limbs([
5207 9296701061462558971,
5208 17770007858418801719,
5209 9914793610472554336,
5210 1281893899901916554,
5211 ]),
5212 Fq::from_montgomery_limbs([
5213 3010329870005884069,
5214 2836286366415384158,
5215 2351971757588955099,
5216 425289972726450364,
5217 ]),
5218 Fq::from_montgomery_limbs([
5219 18291414506166784212,
5220 810246456460775309,
5221 17528761664504541127,
5222 1189494422506112895,
5223 ]),
5224 ]),
5225 Matrix::<6, 1, 6>::new_from_known([
5226 Fq::from_montgomery_limbs([
5227 13873201020652076543,
5228 6243622914124108573,
5229 6903929397781795660,
5230 574766800775597314,
5231 ]),
5232 Fq::from_montgomery_limbs([
5233 17971358622227978668,
5234 15854652377477090302,
5235 1063842904034816,
5236 989523394960344619,
5237 ]),
5238 Fq::from_montgomery_limbs([
5239 8015553520299503933,
5240 4607530076716157995,
5241 7439330134573907822,
5242 1104246105186017619,
5243 ]),
5244 Fq::from_montgomery_limbs([
5245 3986330100644126569,
5246 17707403369263436100,
5247 4053571974764234396,
5248 108842167919011278,
5249 ]),
5250 Fq::from_montgomery_limbs([
5251 5227388868334111117,
5252 12812207377137498929,
5253 2588198532604965494,
5254 961490407308315800,
5255 ]),
5256 Fq::from_montgomery_limbs([
5257 7646326553387833689,
5258 12724139924596788661,
5259 629496738895522970,
5260 1201441128237966538,
5261 ]),
5262 ]),
5263 Matrix::<6, 1, 6>::new_from_known([
5264 Fq::from_montgomery_limbs([
5265 14866344307104327368,
5266 4985794825846590702,
5267 853871436616991822,
5268 749367072047711970,
5269 ]),
5270 Fq::from_montgomery_limbs([
5271 1876020443251361508,
5272 6552070073373315737,
5273 12995514842585856406,
5274 1275392944325677985,
5275 ]),
5276 Fq::from_montgomery_limbs([
5277 7601514916050054383,
5278 16910631174758870764,
5279 7353760964415941247,
5280 324644049762087391,
5281 ]),
5282 Fq::from_montgomery_limbs([
5283 16565109856331579529,
5284 458787328687847682,
5285 5878204963586402256,
5286 1322072415305233581,
5287 ]),
5288 Fq::from_montgomery_limbs([
5289 12729053080732475923,
5290 11510453208755572522,
5291 3723997403677235406,
5292 73363110170067874,
5293 ]),
5294 Fq::from_montgomery_limbs([
5295 18174997862860579716,
5296 6182018227945955817,
5297 2127647890385770221,
5298 870293941267412601,
5299 ]),
5300 ]),
5301 Matrix::<6, 1, 6>::new_from_known([
5302 Fq::from_montgomery_limbs([
5303 10698372380060816691,
5304 7522180405775599951,
5305 15832604002112875278,
5306 521032436098731379,
5307 ]),
5308 Fq::from_montgomery_limbs([
5309 15319055731354684350,
5310 1753334646577885863,
5311 4505520717374373397,
5312 984179811150887857,
5313 ]),
5314 Fq::from_montgomery_limbs([
5315 13141271355432538382,
5316 14700998572061668181,
5317 4549081783230234567,
5318 806347686644718089,
5319 ]),
5320 Fq::from_montgomery_limbs([
5321 9975557437768999376,
5322 11618707034451291844,
5323 3181936011792873831,
5324 576438052445019413,
5325 ]),
5326 Fq::from_montgomery_limbs([
5327 16609855326770322939,
5328 13212944030983556053,
5329 3039401190695389047,
5330 1188561968753866414,
5331 ]),
5332 Fq::from_montgomery_limbs([
5333 10305504178314593273,
5334 14719639554020787850,
5335 2480984582534492384,
5336 221582009878780852,
5337 ]),
5338 ]),
5339 Matrix::<6, 1, 6>::new_from_known([
5340 Fq::from_montgomery_limbs([
5341 13200038943773919312,
5342 14432882432204232972,
5343 3023115969282520533,
5344 343418406639707901,
5345 ]),
5346 Fq::from_montgomery_limbs([
5347 9327873286332474704,
5348 5954324830215207584,
5349 3873074387113200139,
5350 744988613833241266,
5351 ]),
5352 Fq::from_montgomery_limbs([
5353 15847102383028666437,
5354 1096370811445384001,
5355 10166653322883901200,
5356 327347038183216223,
5357 ]),
5358 Fq::from_montgomery_limbs([
5359 17600124854622807025,
5360 15328683957983696187,
5361 3518858654096416419,
5362 638859422450597084,
5363 ]),
5364 Fq::from_montgomery_limbs([
5365 3012983939074171362,
5366 9083322861410244018,
5367 4322938770639600225,
5368 442252654129847313,
5369 ]),
5370 Fq::from_montgomery_limbs([
5371 10656857781541021576,
5372 5978481768391996531,
5373 2250259229090183585,
5374 432977302373307667,
5375 ]),
5376 ]),
5377 Matrix::<6, 1, 6>::new_from_known([
5378 Fq::from_montgomery_limbs([
5379 14355870696105147319,
5380 8480124686198992740,
5381 4123496920141395243,
5382 506237667861983638,
5383 ]),
5384 Fq::from_montgomery_limbs([
5385 12320253406233535520,
5386 8322795092624377756,
5387 9572334243002510406,
5388 1226552575804851889,
5389 ]),
5390 Fq::from_montgomery_limbs([
5391 9845446342011599085,
5392 17778086686673507324,
5393 5271342849823127028,
5394 1088489886300171520,
5395 ]),
5396 Fq::from_montgomery_limbs([
5397 10715976971447272221,
5398 1556354685447448032,
5399 16979954691422909924,
5400 386763037013271508,
5401 ]),
5402 Fq::from_montgomery_limbs([
5403 6180856312104178084,
5404 11877570767790110506,
5405 11499883073784997611,
5406 393033674847566959,
5407 ]),
5408 Fq::from_montgomery_limbs([
5409 7644299261552751667,
5410 2236838738262968574,
5411 8460748568952358391,
5412 1177808537547336633,
5413 ]),
5414 ]),
5415 Matrix::<6, 1, 6>::new_from_known([
5416 Fq::from_montgomery_limbs([
5417 9135896072628350252,
5418 17288794130611191656,
5419 16136991324140875732,
5420 84153041777780941,
5421 ]),
5422 Fq::from_montgomery_limbs([
5423 3384444111049248095,
5424 5013442674731807719,
5425 8362856530990022791,
5426 1126331696064245534,
5427 ]),
5428 Fq::from_montgomery_limbs([
5429 13385137591549846388,
5430 11889738158254938557,
5431 17705852903381913949,
5432 155996115818620695,
5433 ]),
5434 Fq::from_montgomery_limbs([
5435 15454217037527338314,
5436 9036781253178038581,
5437 12351768307285004715,
5438 776821242022223621,
5439 ]),
5440 Fq::from_montgomery_limbs([
5441 1200501875000044263,
5442 6384384240290446957,
5443 15639254494736291770,
5444 930709414948460626,
5445 ]),
5446 Fq::from_montgomery_limbs([
5447 2141846397057350878,
5448 14687259326247822547,
5449 2879743331055932654,
5450 420053148927601148,
5451 ]),
5452 ]),
5453 Matrix::<6, 1, 6>::new_from_known([
5454 Fq::from_montgomery_limbs([
5455 18343404923952179637,
5456 1978770268004633152,
5457 18074842923392944526,
5458 99740808436074128,
5459 ]),
5460 Fq::from_montgomery_limbs([
5461 16339172153591076879,
5462 13902224968596916829,
5463 10987490026958244901,
5464 480318192898237950,
5465 ]),
5466 Fq::from_montgomery_limbs([
5467 16708778634825784370,
5468 5310850661772903365,
5469 16720939557594415942,
5470 983754580352601152,
5471 ]),
5472 Fq::from_montgomery_limbs([
5473 8614768398997670932,
5474 10441907275834816828,
5475 11459906999048618974,
5476 98256766838754326,
5477 ]),
5478 Fq::from_montgomery_limbs([
5479 5461219359492352050,
5480 8928173417887044164,
5481 5632769833875876015,
5482 938637862379787936,
5483 ]),
5484 Fq::from_montgomery_limbs([
5485 14478729241761067482,
5486 14593688601059211201,
5487 14567193330233850704,
5488 193411838718316245,
5489 ]),
5490 ]),
5491 Matrix::<6, 1, 6>::new_from_known([
5492 Fq::from_montgomery_limbs([
5493 6244372198079752707,
5494 12764020255605820167,
5495 3597323991837773264,
5496 232811656021755322,
5497 ]),
5498 Fq::from_montgomery_limbs([
5499 12794321084179091283,
5500 12550727012798192271,
5501 5852541072119985136,
5502 1021072807450583460,
5503 ]),
5504 Fq::from_montgomery_limbs([
5505 5843482488715644166,
5506 17968652270397807267,
5507 10729147049305849619,
5508 157069170856760481,
5509 ]),
5510 Fq::from_montgomery_limbs([
5511 16486113458959504396,
5512 3842616654194538021,
5513 16267097259825943411,
5514 595256064535306261,
5515 ]),
5516 Fq::from_montgomery_limbs([
5517 18403329840356376661,
5518 17180721686489435607,
5519 16602787769632693868,
5520 1218551944743323947,
5521 ]),
5522 Fq::from_montgomery_limbs([
5523 15792003884980763548,
5524 103687243243986150,
5525 1015407070790759683,
5526 925892726865866689,
5527 ]),
5528 ]),
5529 Matrix::<6, 1, 6>::new_from_known([
5530 Fq::from_montgomery_limbs([
5531 4737231254389322774,
5532 1982930339222313430,
5533 17171322757846703283,
5534 898862720123176395,
5535 ]),
5536 Fq::from_montgomery_limbs([
5537 15341788185538116478,
5538 15152543049620221847,
5539 11673048694712682284,
5540 322745914045333317,
5541 ]),
5542 Fq::from_montgomery_limbs([
5543 12638501658486051138,
5544 13136127249934274833,
5545 16835414843273620909,
5546 830854396919510911,
5547 ]),
5548 Fq::from_montgomery_limbs([
5549 15895567503124768810,
5550 17851680667009624675,
5551 9790662472981446008,
5552 688513180346337911,
5553 ]),
5554 Fq::from_montgomery_limbs([
5555 7539663061168884957,
5556 14647473521866168085,
5557 14254615857988792976,
5558 4914529917008946,
5559 ]),
5560 Fq::from_montgomery_limbs([
5561 10355365805280135879,
5562 1713320802629047069,
5563 11781471822278287496,
5564 696018085837035473,
5565 ]),
5566 ]),
5567 Matrix::<6, 1, 6>::new_from_known([
5568 Fq::from_montgomery_limbs([
5569 17208622806574606453,
5570 2131863109694270375,
5571 17267390257687220562,
5572 717142744114900489,
5573 ]),
5574 Fq::from_montgomery_limbs([
5575 13115781297674767878,
5576 11806487226059857638,
5577 3832559734382202821,
5578 1327223946228164221,
5579 ]),
5580 Fq::from_montgomery_limbs([
5581 1519942432011064348,
5582 2971486323152134197,
5583 10412234235600737234,
5584 627890410365264901,
5585 ]),
5586 Fq::from_montgomery_limbs([
5587 10935974904415640609,
5588 3329695497336026013,
5589 13276582814401540013,
5590 624327570851923410,
5591 ]),
5592 Fq::from_montgomery_limbs([
5593 110740126727160908,
5594 1977000808556019402,
5595 17939216501132184661,
5596 456092178041276768,
5597 ]),
5598 Fq::from_montgomery_limbs([
5599 13974795879491265452,
5600 16756058358467461957,
5601 18345173225794766341,
5602 1240468105851879043,
5603 ]),
5604 ]),
5605 Matrix::<6, 1, 6>::new_from_known([
5606 Fq::from_montgomery_limbs([
5607 16648425534044120166,
5608 17300631023568278668,
5609 3769987016608299300,
5610 701256036605548976,
5611 ]),
5612 Fq::from_montgomery_limbs([
5613 9545137723467262343,
5614 5920020285572073751,
5615 5586902085914198509,
5616 1101010118319202051,
5617 ]),
5618 Fq::from_montgomery_limbs([
5619 1804254836884575917,
5620 5416042091971666706,
5621 2881258114252429182,
5622 68889272174393525,
5623 ]),
5624 Fq::from_montgomery_limbs([
5625 15468731159921956531,
5626 15872344848072676105,
5627 1678659996910931386,
5628 827142061320044550,
5629 ]),
5630 Fq::from_montgomery_limbs([
5631 14524351942355153784,
5632 10797623040866138576,
5633 12874995891465211466,
5634 522880520258235794,
5635 ]),
5636 Fq::from_montgomery_limbs([
5637 3987121765421903331,
5638 10914786903369841306,
5639 14357739193531493338,
5640 159659900263967910,
5641 ]),
5642 ]),
5643 Matrix::<6, 1, 6>::new_from_known([
5644 Fq::from_montgomery_limbs([
5645 1502512509312401925,
5646 17658662731474453106,
5647 12409373669027537750,
5648 369255404008259275,
5649 ]),
5650 Fq::from_montgomery_limbs([
5651 3933340182670563102,
5652 17988389551284440931,
5653 2662254549780507248,
5654 455350437925171541,
5655 ]),
5656 Fq::from_montgomery_limbs([
5657 12151336628671687181,
5658 16659863612142679844,
5659 4275242264769905759,
5660 226663222642898029,
5661 ]),
5662 Fq::from_montgomery_limbs([
5663 16130436743434681682,
5664 11552440823414351188,
5665 4441812352013272663,
5666 1024571907948499450,
5667 ]),
5668 Fq::from_montgomery_limbs([
5669 6575764606651544368,
5670 3768634045069377030,
5671 18077248345407646289,
5672 1109390810042386997,
5673 ]),
5674 Fq::from_montgomery_limbs([
5675 14122304828382902866,
5676 7822601784757433157,
5677 15085114466160105232,
5678 454674386781135986,
5679 ]),
5680 ]),
5681 ],
5682 },
5683 optimized_arc: OptimizedArcMatrix::<39, 7, 273>::new_from_known([
5684 Fq::from_montgomery_limbs([
5685 15142982440796561447,
5686 11586951767160912790,
5687 2554152473571518408,
5688 1060132733599829191,
5689 ]),
5690 Fq::from_montgomery_limbs([
5691 5004052621280210368,
5692 17001459709892607063,
5693 7681637351760180567,
5694 370325849830378477,
5695 ]),
5696 Fq::from_montgomery_limbs([
5697 12700316700887579682,
5698 10527071459591008162,
5699 4649940422809756001,
5700 1164398790994859766,
5701 ]),
5702 Fq::from_montgomery_limbs([
5703 14166576988026094609,
5704 7313392791454005322,
5705 12003933110859736764,
5706 497349496445067730,
5707 ]),
5708 Fq::from_montgomery_limbs([
5709 660800666505769101,
5710 8654643871558439567,
5711 14263148622483513593,
5712 820049075817239934,
5713 ]),
5714 Fq::from_montgomery_limbs([
5715 3633256971691786185,
5716 10090676851691033833,
5717 14588357423182388197,
5718 831634409758195705,
5719 ]),
5720 Fq::from_montgomery_limbs([
5721 6492287632409988134,
5722 12046607076154115291,
5723 17147959445519551317,
5724 461021671425820687,
5725 ]),
5726 Fq::from_montgomery_limbs([
5727 14444046072241906262,
5728 11260694318344083229,
5729 15743364178797140854,
5730 866446994798567454,
5731 ]),
5732 Fq::from_montgomery_limbs([
5733 3641312158605685211,
5734 14157364044999263645,
5735 16784472236570305027,
5736 425843099497195003,
5737 ]),
5738 Fq::from_montgomery_limbs([
5739 17723864121788076174,
5740 13911937024562874191,
5741 12749454259525933628,
5742 451378649043069085,
5743 ]),
5744 Fq::from_montgomery_limbs([
5745 12784133990119646353,
5746 17654455838119254543,
5747 14047536069777387226,
5748 645204516252515303,
5749 ]),
5750 Fq::from_montgomery_limbs([
5751 1959581704190940037,
5752 13929985394687694163,
5753 11022302142929130035,
5754 283707020686355664,
5755 ]),
5756 Fq::from_montgomery_limbs([
5757 8629032034013359758,
5758 8320916390268264398,
5759 11188435069201519314,
5760 1277918481865788038,
5761 ]),
5762 Fq::from_montgomery_limbs([
5763 1783621120979741815,
5764 10125702604889014266,
5765 7859706914940359291,
5766 1258189548796714111,
5767 ]),
5768 Fq::from_montgomery_limbs([
5769 4197085784563434882,
5770 243889206587889894,
5771 328885806087941395,
5772 929695947751686179,
5773 ]),
5774 Fq::from_montgomery_limbs([
5775 6420634290533400711,
5776 3371757063543007366,
5777 8900632765923820105,
5778 371199850895065588,
5779 ]),
5780 Fq::from_montgomery_limbs([
5781 9679924820095672851,
5782 5191301328839079795,
5783 1468702730043861612,
5784 1130258788388916276,
5785 ]),
5786 Fq::from_montgomery_limbs([
5787 14270884667693338729,
5788 18421783881067727877,
5789 702505960635108322,
5790 876601962183112334,
5791 ]),
5792 Fq::from_montgomery_limbs([
5793 12801928710162774032,
5794 15709283060501093378,
5795 2508615709628312314,
5796 924328772397935430,
5797 ]),
5798 Fq::from_montgomery_limbs([
5799 9019134492733417932,
5800 4614098400696239641,
5801 291908476903718505,
5802 879711180612784839,
5803 ]),
5804 Fq::from_montgomery_limbs([
5805 12296479578360854848,
5806 3423354675244851904,
5807 17098596077633953792,
5808 378482623029323224,
5809 ]),
5810 Fq::from_montgomery_limbs([
5811 13200816203042245771,
5812 15381254577926224952,
5813 14688424257545082743,
5814 884773501591309967,
5815 ]),
5816 Fq::from_montgomery_limbs([
5817 16263843110415550162,
5818 14001011937262187824,
5819 2325893788175944450,
5820 427344840846697831,
5821 ]),
5822 Fq::from_montgomery_limbs([
5823 10712788406702291397,
5824 14628016237392831746,
5825 12076323935029775432,
5826 746032296870665924,
5827 ]),
5828 Fq::from_montgomery_limbs([
5829 7577844083779539683,
5830 8593563853045273470,
5831 6762705862919489296,
5832 1011466592883577533,
5833 ]),
5834 Fq::from_montgomery_limbs([
5835 10970204418416076913,
5836 4397529361571105931,
5837 15590416832284287611,
5838 432035610777585218,
5839 ]),
5840 Fq::from_montgomery_limbs([
5841 13604542201065871088,
5842 8000646895858538916,
5843 7463535664974476191,
5844 112496092381655883,
5845 ]),
5846 Fq::from_montgomery_limbs([
5847 5448941064349247150,
5848 18035446383961421934,
5849 9688851655819494355,
5850 314108334517577725,
5851 ]),
5852 Fq::from_montgomery_limbs([
5853 13216339084640418338,
5854 18208749029142079159,
5855 2801888902925820506,
5856 1144112407212441278,
5857 ]),
5858 Fq::from_montgomery_limbs([
5859 7414209360993783553,
5860 9029452093631467477,
5861 10351555314693636524,
5862 588771856204784285,
5863 ]),
5864 Fq::from_montgomery_limbs([
5865 3108201764764012849,
5866 9316564318794683488,
5867 2890833741230407843,
5868 2976751152949582,
5869 ]),
5870 Fq::from_montgomery_limbs([
5871 5531824355021026381,
5872 12498142272625928587,
5873 3715194578260983474,
5874 1067798051179441316,
5875 ]),
5876 Fq::from_montgomery_limbs([
5877 5339344176782059900,
5878 10307852721097022359,
5879 14767036192885737246,
5880 130540287097272817,
5881 ]),
5882 Fq::from_montgomery_limbs([
5883 7180958399368342439,
5884 128655658219475950,
5885 15207307979599970655,
5886 1124647386318203846,
5887 ]),
5888 Fq::from_montgomery_limbs([
5889 10677712105355735228,
5890 303877370541742151,
5891 11456613512094797466,
5892 1197130552973396923,
5893 ]),
5894 Fq::from_montgomery_limbs([
5895 1852186172212255919,
5896 7732103194240143876,
5897 3191072801518998585,
5898 684231033415976440,
5899 ]),
5900 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5901 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5902 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5903 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5904 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5905 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5906 Fq::from_montgomery_limbs([
5907 12344835392323260771,
5908 2083746688625641780,
5909 9843550839040352981,
5910 651659425757649777,
5911 ]),
5912 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5913 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5914 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5915 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5916 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5917 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5918 Fq::from_montgomery_limbs([
5919 1110121811836510524,
5920 11074047049180975687,
5921 15444325776340307889,
5922 1176464439067465611,
5923 ]),
5924 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5925 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5926 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5927 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5928 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5929 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5930 Fq::from_montgomery_limbs([
5931 15910765157617366987,
5932 3536546922624744505,
5933 13839442880050335167,
5934 1052063195754658296,
5935 ]),
5936 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5937 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5938 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5939 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5940 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5941 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5942 Fq::from_montgomery_limbs([
5943 15883615976440084496,
5944 10513678964631690585,
5945 17274484441634888004,
5946 104967936091342947,
5947 ]),
5948 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5949 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5950 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5951 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5952 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5953 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5954 Fq::from_montgomery_limbs([
5955 6481049124859745810,
5956 12420828791682339353,
5957 3515061109189248511,
5958 2970636150410785,
5959 ]),
5960 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5961 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5962 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5963 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5964 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5965 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5966 Fq::from_montgomery_limbs([
5967 9330561373397764193,
5968 15220428410405742122,
5969 3596976591192400082,
5970 1172536306991915045,
5971 ]),
5972 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5973 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5974 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5975 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5976 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5977 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5978 Fq::from_montgomery_limbs([
5979 11645314245053381169,
5980 12447229279329596583,
5981 2611021837182599503,
5982 1121293333579047218,
5983 ]),
5984 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5985 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5986 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5987 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5988 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5989 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5990 Fq::from_montgomery_limbs([
5991 5520645742684358372,
5992 4184771738280864541,
5993 4013355666407389724,
5994 651341887764501817,
5995 ]),
5996 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5997 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5998 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5999 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6000 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6001 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6002 Fq::from_montgomery_limbs([
6003 3861533222480473435,
6004 8229127100534402633,
6005 961020646123781410,
6006 1093771644395281795,
6007 ]),
6008 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6009 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6010 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6011 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6012 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6013 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6014 Fq::from_montgomery_limbs([
6015 7693571830729430183,
6016 14740278293355277643,
6017 7478396620768437721,
6018 1020903160466582154,
6019 ]),
6020 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6021 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6022 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6023 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6024 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6025 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6026 Fq::from_montgomery_limbs([
6027 13974629067477558431,
6028 5721400371209900889,
6029 788632258150877276,
6030 1052522919478138392,
6031 ]),
6032 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6033 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6034 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6035 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6036 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6037 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6038 Fq::from_montgomery_limbs([
6039 4992769493438078027,
6040 6924382181722868018,
6041 8263199750104564483,
6042 169174671387869155,
6043 ]),
6044 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6045 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6046 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6047 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6048 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6049 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6050 Fq::from_montgomery_limbs([
6051 11416436440841880348,
6052 7910510255652583772,
6053 2772926057469350664,
6054 240489949253278513,
6055 ]),
6056 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6057 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6058 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6059 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6060 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6061 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6062 Fq::from_montgomery_limbs([
6063 8550478801539329000,
6064 17416455311840648130,
6065 7713828782443004553,
6066 1257322107749939919,
6067 ]),
6068 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6069 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6070 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6071 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6072 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6073 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6074 Fq::from_montgomery_limbs([
6075 10946761173248535048,
6076 6300893940302812177,
6077 14214574452301493380,
6078 1064839331942993571,
6079 ]),
6080 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6081 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6082 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6083 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6084 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6085 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6086 Fq::from_montgomery_limbs([
6087 12881919676216378529,
6088 6525643603496459068,
6089 7739411544375049269,
6090 121520118034913063,
6091 ]),
6092 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6093 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6094 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6095 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6096 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6097 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6098 Fq::from_montgomery_limbs([
6099 14171005468190725795,
6100 807987272814416859,
6101 16062924926726151568,
6102 258817012972523442,
6103 ]),
6104 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6105 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6106 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6107 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6108 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6109 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6110 Fq::from_montgomery_limbs([
6111 5031548057386859908,
6112 16708231376954786943,
6113 3901002117807196384,
6114 15277199136600693,
6115 ]),
6116 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6117 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6118 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6119 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6120 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6121 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6122 Fq::from_montgomery_limbs([
6123 3470573257247529570,
6124 3778398720483160839,
6125 4271650771133121672,
6126 366341134231605540,
6127 ]),
6128 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6129 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6130 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6131 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6132 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6133 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6134 Fq::from_montgomery_limbs([
6135 17671590415686923470,
6136 14797555043330379484,
6137 2826722725742773774,
6138 673498791246184156,
6139 ]),
6140 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6141 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6142 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6143 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6144 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6145 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6146 Fq::from_montgomery_limbs([
6147 4599390077836288923,
6148 15103704149833090169,
6149 13723271685426770651,
6150 1238708412855247473,
6151 ]),
6152 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6153 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6154 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6155 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6156 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6157 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6158 Fq::from_montgomery_limbs([
6159 12304403800545959570,
6160 12269595607865918824,
6161 4224309437769311654,
6162 1102826182464027344,
6163 ]),
6164 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6165 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6166 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6167 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6168 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6169 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6170 Fq::from_montgomery_limbs([
6171 7422908892054624300,
6172 6613469136954082264,
6173 2435694939055735193,
6174 465151622319296864,
6175 ]),
6176 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6177 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6178 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6179 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6180 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6181 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6182 Fq::from_montgomery_limbs([
6183 9966121319294113392,
6184 1036787719885473593,
6185 16922917099071401564,
6186 957685172296873589,
6187 ]),
6188 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6189 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6190 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6191 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6192 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6193 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6194 Fq::from_montgomery_limbs([
6195 9346051242088429570,
6196 5881327167233602278,
6197 18366005774591742073,
6198 1234098542793269307,
6199 ]),
6200 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6201 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6202 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6203 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6204 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6205 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6206 Fq::from_montgomery_limbs([
6207 6556095991079572091,
6208 15800350435028538953,
6209 17490188894945751356,
6210 318651152411458756,
6211 ]),
6212 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6213 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6214 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6215 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6216 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6217 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6218 Fq::from_montgomery_limbs([
6219 9604843137147166704,
6220 10750667974649036098,
6221 15855520508812075513,
6222 289244356768878157,
6223 ]),
6224 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6225 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6226 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6227 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6228 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6229 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6230 Fq::from_montgomery_limbs([
6231 9330357980066794783,
6232 17865465819235974796,
6233 9112978452518873031,
6234 700544745156046737,
6235 ]),
6236 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6237 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6238 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6239 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6240 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6241 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6242 Fq::from_montgomery_limbs([
6243 6722735210481586279,
6244 9213635375899356767,
6245 3419293198746470858,
6246 397188667470959331,
6247 ]),
6248 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6249 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6250 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6251 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6252 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6253 Fq::from_montgomery_limbs([0, 0, 0, 0]),
6254 Fq::from_montgomery_limbs([
6255 5033510300536938046,
6256 14319156262351107248,
6257 14453339555250931608,
6258 1300088399042594667,
6259 ]),
6260 Fq::from_montgomery_limbs([
6261 586365878943401533,
6262 10219333061949038245,
6263 7972787616665459187,
6264 1180682599170166362,
6265 ]),
6266 Fq::from_montgomery_limbs([
6267 8677310049713074877,
6268 6209659062870853276,
6269 6361763165884296788,
6270 1086786531947345096,
6271 ]),
6272 Fq::from_montgomery_limbs([
6273 4779669491370037827,
6274 13794675476884129106,
6275 2856260482144566523,
6276 815058410432730978,
6277 ]),
6278 Fq::from_montgomery_limbs([
6279 8349785262387520653,
6280 14703604045323517453,
6281 10665488643511503896,
6282 1190736588532344714,
6283 ]),
6284 Fq::from_montgomery_limbs([
6285 9753136258891648437,
6286 7592309943578822500,
6287 18234430885873993524,
6288 946608033429176051,
6289 ]),
6290 Fq::from_montgomery_limbs([
6291 8862120093151408513,
6292 9919781382246740055,
6293 1639967479777957120,
6294 548895009658598348,
6295 ]),
6296 Fq::from_montgomery_limbs([
6297 13150047014556861649,
6298 9895352886349978940,
6299 607603433543469096,
6300 825078058460205935,
6301 ]),
6302 Fq::from_montgomery_limbs([
6303 10677514517763000310,
6304 1869057220976501750,
6305 7668490026500068131,
6306 645375934459787109,
6307 ]),
6308 Fq::from_montgomery_limbs([
6309 8393901821323241932,
6310 7155803376644055598,
6311 5465256629438666110,
6312 467809976924970962,
6313 ]),
6314 Fq::from_montgomery_limbs([
6315 8008789779293081850,
6316 17333068400582244417,
6317 864473515802821379,
6318 712131972755422562,
6319 ]),
6320 Fq::from_montgomery_limbs([
6321 5260641048740129119,
6322 11495506189219575805,
6323 1976170684554961654,
6324 583558279245420304,
6325 ]),
6326 Fq::from_montgomery_limbs([
6327 10607922137491563126,
6328 16997507064637422660,
6329 16243052688991164520,
6330 620318480202596319,
6331 ]),
6332 Fq::from_montgomery_limbs([
6333 8682850641454705537,
6334 4234371891064954414,
6335 11030571520428482979,
6336 775687601614273649,
6337 ]),
6338 Fq::from_montgomery_limbs([
6339 12248979915462901096,
6340 1794636648127247975,
6341 16388845185353268388,
6342 1257257804440120883,
6343 ]),
6344 Fq::from_montgomery_limbs([
6345 17181365213230240819,
6346 3933917789297525218,
6347 774796165591114183,
6348 628159510187755171,
6349 ]),
6350 Fq::from_montgomery_limbs([
6351 9201407700189177387,
6352 14700424513123193347,
6353 18288661468232834482,
6354 407382537568434540,
6355 ]),
6356 Fq::from_montgomery_limbs([
6357 11966891449526246216,
6358 6846368159746727324,
6359 5421814018651935761,
6360 1007837491484494646,
6361 ]),
6362 Fq::from_montgomery_limbs([
6363 3054672449338249840,
6364 772010416012553897,
6365 804919836093674272,
6366 60934971449786311,
6367 ]),
6368 Fq::from_montgomery_limbs([
6369 3349955854192164124,
6370 12023516821995660430,
6371 14073054570207692346,
6372 391152224081538807,
6373 ]),
6374 Fq::from_montgomery_limbs([
6375 4393818606630194054,
6376 11894249453630174803,
6377 11407464681452601419,
6378 527342257675756743,
6379 ]),
6380 Fq::from_montgomery_limbs([
6381 593191207061949875,
6382 394301333075100218,
6383 15992303837511873397,
6384 1258463696198082538,
6385 ]),
6386 Fq::from_montgomery_limbs([
6387 7392815618978882544,
6388 8600193649781721343,
6389 10001082189003162790,
6390 160465744058402439,
6391 ]),
6392 Fq::from_montgomery_limbs([
6393 5982722207731997556,
6394 9327097271719907983,
6395 16837081471143367937,
6396 1323283752393867441,
6397 ]),
6398 Fq::from_montgomery_limbs([
6399 15234580594321690160,
6400 14480758270368693259,
6401 7897576353120019799,
6402 1211836381357568240,
6403 ]),
6404 Fq::from_montgomery_limbs([
6405 17534396175019205578,
6406 3323788238042131357,
6407 16622036826489890791,
6408 893487708746761741,
6409 ]),
6410 Fq::from_montgomery_limbs([
6411 3851834168141787069,
6412 11582510337408899680,
6413 15343784808633432566,
6414 461896544402216282,
6415 ]),
6416 Fq::from_montgomery_limbs([
6417 1182215324455482337,
6418 1943242735522063011,
6419 4144863718139895080,
6420 243576649285589719,
6421 ]),
6422 ]),
6423 }
6424}