1use decaf377::Fq;
2use poseidon_parameters::v1::{
3 Alpha, ArcMatrix, Matrix, MdsMatrix, OptimizedArcMatrix, OptimizedMdsMatrices,
4 PoseidonParameters, RoundNumbers, SquareMatrix,
5};
6
7pub const fn rate_5() -> PoseidonParameters<6, 5, 36, 25, 39, 6, 234, 31> {
9 PoseidonParameters {
10 M: 128,
11 arc: ArcMatrix::<39, 6, 234>::new_from_known([
12 Fq::from_montgomery_limbs([
13 11114527869315019992,
14 204777424233041404,
15 11091912519069240090,
16 121969426625488706,
17 ]),
18 Fq::from_montgomery_limbs([
19 11602548353808217299,
20 6197238791893869094,
21 15622579320964543388,
22 1298930792120594487,
23 ]),
24 Fq::from_montgomery_limbs([
25 838896996119702820,
26 9307552859605174720,
27 8035142733069793771,
28 274230695041989171,
29 ]),
30 Fq::from_montgomery_limbs([
31 3026923182969617970,
32 17802669379857452552,
33 12317599963821296502,
34 1025681681724348483,
35 ]),
36 Fq::from_montgomery_limbs([
37 5608950751956253759,
38 13524340746668180438,
39 15318090696011006995,
40 777019565914500344,
41 ]),
42 Fq::from_montgomery_limbs([
43 1158035626778037273,
44 17664260243497899213,
45 16296355254226759288,
46 950557495952381678,
47 ]),
48 Fq::from_montgomery_limbs([
49 11235491782021601934,
50 3148198093287396523,
51 17540068057551648414,
52 246938399961631601,
53 ]),
54 Fq::from_montgomery_limbs([
55 17389082769676787279,
56 4715116371725704005,
57 680633748837086801,
58 1023507596971258305,
59 ]),
60 Fq::from_montgomery_limbs([
61 7398967334233665984,
62 13695483063991186800,
63 18171031240540141567,
64 1071188377250033509,
65 ]),
66 Fq::from_montgomery_limbs([
67 8901013324099486427,
68 14221538804433703579,
69 421845258270117661,
70 1118364576196477055,
71 ]),
72 Fq::from_montgomery_limbs([
73 3792995620986947754,
74 8295286409031689804,
75 7023787899825757992,
76 899023674461718667,
77 ]),
78 Fq::from_montgomery_limbs([
79 8793784762096018942,
80 15222981485936247095,
81 17829285903963587033,
82 104381350073974926,
83 ]),
84 Fq::from_montgomery_limbs([
85 11268502072074030331,
86 4494658873172678747,
87 10565307326465463378,
88 784696444351308107,
89 ]),
90 Fq::from_montgomery_limbs([
91 13330824150800116849,
92 4890131204868069348,
93 16795432331983276560,
94 678123243378284364,
95 ]),
96 Fq::from_montgomery_limbs([
97 16154775053781645033,
98 5239747136963640569,
99 16611876759537507645,
100 759623577554638126,
101 ]),
102 Fq::from_montgomery_limbs([
103 8392188723943358220,
104 16791142993973140668,
105 13297749232586734563,
106 426701908934618073,
107 ]),
108 Fq::from_montgomery_limbs([
109 17606532937509352288,
110 2853753027669231277,
111 1878611917293492305,
112 643977045852461225,
113 ]),
114 Fq::from_montgomery_limbs([
115 5784332265294899224,
116 10677876800438676900,
117 18301919197560353192,
118 1242300655560067148,
119 ]),
120 Fq::from_montgomery_limbs([
121 11412543805884713089,
122 4404535555399600518,
123 4605611364617586616,
124 706261397170793623,
125 ]),
126 Fq::from_montgomery_limbs([
127 2724614443579353257,
128 12190950292326203757,
129 12944786940879400957,
130 90707148364678769,
131 ]),
132 Fq::from_montgomery_limbs([
133 16664686769040599810,
134 7492639236725157146,
135 1787480043672337070,
136 1043615315016757716,
137 ]),
138 Fq::from_montgomery_limbs([
139 4392261116480034202,
140 16508253691140740970,
141 1257682754845069496,
142 1301148167322522764,
143 ]),
144 Fq::from_montgomery_limbs([
145 139213556258184346,
146 16303671450556136664,
147 10342805884525342231,
148 508792166529776861,
149 ]),
150 Fq::from_montgomery_limbs([
151 14643711485787161846,
152 5395142180975966192,
153 12467589421402803020,
154 144762579288366866,
155 ]),
156 Fq::from_montgomery_limbs([
157 15255437222491521014,
158 14721462158275437977,
159 2057221655333534074,
160 1325734657361576891,
161 ]),
162 Fq::from_montgomery_limbs([
163 10286355773254745653,
164 8339495471482876116,
165 7453999146298511805,
166 300469360378533737,
167 ]),
168 Fq::from_montgomery_limbs([
169 2229249064542236808,
170 3252881241602061127,
171 17948673955112458282,
172 251981777265729122,
173 ]),
174 Fq::from_montgomery_limbs([
175 1422075247142054873,
176 8352700063552546507,
177 3488191142699771311,
178 539185901306414217,
179 ]),
180 Fq::from_montgomery_limbs([
181 12740149804027925426,
182 5586599109404648568,
183 8527372678942371978,
184 115816006301850856,
185 ]),
186 Fq::from_montgomery_limbs([
187 6406078249694103685,
188 13837513268450501788,
189 17900428335249812847,
190 459347554819743617,
191 ]),
192 Fq::from_montgomery_limbs([
193 456851906250247004,
194 7370389193990924655,
195 1807458787636143704,
196 398667578735753852,
197 ]),
198 Fq::from_montgomery_limbs([
199 9788417460696232352,
200 5540502179845655224,
201 11753539559261255021,
202 1240756247017913507,
203 ]),
204 Fq::from_montgomery_limbs([
205 14537927489871028819,
206 8847897852622601733,
207 7522585085117894620,
208 375913426199509068,
209 ]),
210 Fq::from_montgomery_limbs([
211 14308316144026398062,
212 8381587303995226137,
213 14032256210407832529,
214 689401812725544360,
215 ]),
216 Fq::from_montgomery_limbs([
217 13627669936560791680,
218 15960253582647842471,
219 10281350312743054371,
220 150904336199250478,
221 ]),
222 Fq::from_montgomery_limbs([
223 5265938544355635125,
224 14011142295917522514,
225 3457190839889849022,
226 965417711506858707,
227 ]),
228 Fq::from_montgomery_limbs([
229 16926111367909514992,
230 15173362371822436547,
231 14933443732208301060,
232 434526341180358604,
233 ]),
234 Fq::from_montgomery_limbs([
235 14967648454927618569,
236 3291387031545538855,
237 8588581828915048287,
238 792649357850563702,
239 ]),
240 Fq::from_montgomery_limbs([
241 15353334048989602273,
242 17774561716206146119,
243 15636104655753091025,
244 1121698680267776671,
245 ]),
246 Fq::from_montgomery_limbs([
247 7352303644457020849,
248 11873784571663633568,
249 14627146015402136109,
250 1299084319993956489,
251 ]),
252 Fq::from_montgomery_limbs([
253 16915421385818843283,
254 6574617383150910264,
255 11422646729677132251,
256 929867690867770500,
257 ]),
258 Fq::from_montgomery_limbs([
259 2727877432502627942,
260 15580341544991113874,
261 3099990664581009583,
262 1240423234600344359,
263 ]),
264 Fq::from_montgomery_limbs([
265 14109846450233510521,
266 14674455181378475527,
267 1052605710857317529,
268 1170659366228378647,
269 ]),
270 Fq::from_montgomery_limbs([
271 1487646680354896463,
272 4928492219250082356,
273 5905478662916155907,
274 544460360269702126,
275 ]),
276 Fq::from_montgomery_limbs([
277 6341346323512196011,
278 5734973448691058326,
279 7525099077854354763,
280 538464447227753960,
281 ]),
282 Fq::from_montgomery_limbs([
283 2970148736135554232,
284 8050550381279637505,
285 12092286293721047612,
286 120114654914049590,
287 ]),
288 Fq::from_montgomery_limbs([
289 17316363606963256567,
290 5533183240747888359,
291 585663312963257979,
292 139248346646491863,
293 ]),
294 Fq::from_montgomery_limbs([
295 10174847279006068180,
296 2997987744513078474,
297 10464913671214968471,
298 524965683820736700,
299 ]),
300 Fq::from_montgomery_limbs([
301 54341264868687362,
302 5421004392946502713,
303 747264896093234142,
304 211411280351915374,
305 ]),
306 Fq::from_montgomery_limbs([
307 5185489921536036071,
308 4704724361069451071,
309 4676129525140851232,
310 1120503850587310053,
311 ]),
312 Fq::from_montgomery_limbs([
313 5188148333232019565,
314 9844624880738531087,
315 11083931443628660795,
316 48712959222331590,
317 ]),
318 Fq::from_montgomery_limbs([
319 18132794403501755308,
320 4996277675320572821,
321 8426233139227882210,
322 1136120772510480448,
323 ]),
324 Fq::from_montgomery_limbs([
325 6688066783162319874,
326 16812397130378746446,
327 1563788939072390863,
328 94078802559039860,
329 ]),
330 Fq::from_montgomery_limbs([
331 7277685347797685095,
332 16873547601164190596,
333 14751852483076367538,
334 14675244398420571,
335 ]),
336 Fq::from_montgomery_limbs([
337 10079144247912409743,
338 8202707283781100239,
339 14357029383013329671,
340 1339785338742424059,
341 ]),
342 Fq::from_montgomery_limbs([
343 9634622379571234742,
344 10124148039561860757,
345 12959569757638734172,
346 595623221777036788,
347 ]),
348 Fq::from_montgomery_limbs([
349 12438115909232101952,
350 6692144523221973376,
351 98330004458373230,
352 1289698894538748039,
353 ]),
354 Fq::from_montgomery_limbs([
355 12584838405775095951,
356 2233721579825914515,
357 4679507125597853910,
358 1005456515702813230,
359 ]),
360 Fq::from_montgomery_limbs([
361 3938302556839502700,
362 9759499277811028830,
363 3296175630346274937,
364 981342338929693494,
365 ]),
366 Fq::from_montgomery_limbs([
367 13584588304331907697,
368 14901744669564308257,
369 10189694356059299380,
370 146229118527659864,
371 ]),
372 Fq::from_montgomery_limbs([
373 7977203115766932089,
374 5348595991272040666,
375 7916441407055787565,
376 414015970121354410,
377 ]),
378 Fq::from_montgomery_limbs([
379 6344869167182666748,
380 87274177081813667,
381 3736796951764034882,
382 288116208326542090,
383 ]),
384 Fq::from_montgomery_limbs([
385 6782489206655080598,
386 619325409304332178,
387 17888946015733998246,
388 1225153807687734600,
389 ]),
390 Fq::from_montgomery_limbs([
391 2843050123299780857,
392 1857078695470833828,
393 13790121543731752592,
394 415443237864035468,
395 ]),
396 Fq::from_montgomery_limbs([
397 8596983925472337433,
398 7326755327579826593,
399 12756860599564365858,
400 584181157037447809,
401 ]),
402 Fq::from_montgomery_limbs([
403 6624979411473108702,
404 17481608711835432073,
405 9326170883700217913,
406 284274034447147537,
407 ]),
408 Fq::from_montgomery_limbs([
409 13805074074198365820,
410 16654885628813400888,
411 11514371967468509966,
412 343666476001683468,
413 ]),
414 Fq::from_montgomery_limbs([
415 13412135478858616067,
416 17972587362145489837,
417 3471900644097496495,
418 1303815283631151979,
419 ]),
420 Fq::from_montgomery_limbs([
421 5393982013204945472,
422 2134584020773499203,
423 673466067189783026,
424 383197328076308992,
425 ]),
426 Fq::from_montgomery_limbs([
427 12690627402887821729,
428 10714862615705492405,
429 1068799421694466319,
430 1005549471897715563,
431 ]),
432 Fq::from_montgomery_limbs([
433 2794121834599689269,
434 9403898257934234871,
435 15645249730625359588,
436 717133247159915483,
437 ]),
438 Fq::from_montgomery_limbs([
439 3750258937835721096,
440 2056713754904073328,
441 13343956241265388204,
442 978687562686928642,
443 ]),
444 Fq::from_montgomery_limbs([
445 6693505246665395198,
446 321305738310940343,
447 8242276846147342531,
448 437988437080106004,
449 ]),
450 Fq::from_montgomery_limbs([
451 13067453044702788796,
452 16549020754244348848,
453 14781963588087090141,
454 661082564029228628,
455 ]),
456 Fq::from_montgomery_limbs([
457 17540644026388671794,
458 8922891784689421140,
459 9379310092907018870,
460 765574007581740165,
461 ]),
462 Fq::from_montgomery_limbs([
463 17168415590631158212,
464 4967864494403905256,
465 8557026071391060461,
466 1317676192546642661,
467 ]),
468 Fq::from_montgomery_limbs([
469 15849602569050873376,
470 937817756067670930,
471 9256527416398591608,
472 860235003543784933,
473 ]),
474 Fq::from_montgomery_limbs([
475 7543632918105704930,
476 12541439592576801019,
477 13144951089707956772,
478 41901740621632050,
479 ]),
480 Fq::from_montgomery_limbs([
481 6730944509314595369,
482 6308132304102632805,
483 9824188815073657306,
484 947447793188743941,
485 ]),
486 Fq::from_montgomery_limbs([
487 8027042707746962490,
488 11823228291757902961,
489 13058185285098764358,
490 336308269362966457,
491 ]),
492 Fq::from_montgomery_limbs([
493 17668761980666590381,
494 916900473222809342,
495 9032902696647999656,
496 1206798077709834757,
497 ]),
498 Fq::from_montgomery_limbs([
499 2575943430919555647,
500 6982422138755698722,
501 17906452816315642240,
502 1040285465480518609,
503 ]),
504 Fq::from_montgomery_limbs([
505 4676245288580428747,
506 1286234536026906032,
507 15834455733024512963,
508 173462824491942276,
509 ]),
510 Fq::from_montgomery_limbs([
511 14308731880491479014,
512 10228826088867441356,
513 15499426016798380851,
514 1315964678542897961,
515 ]),
516 Fq::from_montgomery_limbs([
517 6124462188383628200,
518 13994025204959010105,
519 2282493343669790508,
520 1065454428927664041,
521 ]),
522 Fq::from_montgomery_limbs([
523 988926009518969200,
524 15417015929087482085,
525 5998393954402084482,
526 540400810650613669,
527 ]),
528 Fq::from_montgomery_limbs([
529 5764104729040907699,
530 2863356645440240472,
531 9968438238837920675,
532 633210980814249702,
533 ]),
534 Fq::from_montgomery_limbs([
535 10763147411954484876,
536 4870204607771977448,
537 6480512614473978867,
538 683494642222622007,
539 ]),
540 Fq::from_montgomery_limbs([
541 4440852407455748277,
542 8762659822349541955,
543 18263541095190090147,
544 585043470445066748,
545 ]),
546 Fq::from_montgomery_limbs([
547 16911785709988001751,
548 3581411532501811046,
549 1478440133608885243,
550 1164133149174128766,
551 ]),
552 Fq::from_montgomery_limbs([
553 1426558755494224529,
554 12516949196047728033,
555 17132752269246428290,
556 356208126695477134,
557 ]),
558 Fq::from_montgomery_limbs([
559 14896569372479444141,
560 1449669928198367982,
561 12457553693255423792,
562 902793672204828469,
563 ]),
564 Fq::from_montgomery_limbs([
565 3369226999454999348,
566 11158810537103910265,
567 2808006375302756684,
568 719861372102939033,
569 ]),
570 Fq::from_montgomery_limbs([
571 3246518112410208054,
572 13944200025301723446,
573 764003656536121000,
574 81035000333546312,
575 ]),
576 Fq::from_montgomery_limbs([
577 480604143483617458,
578 15146610571181935768,
579 10342031106972296681,
580 321939937748541484,
581 ]),
582 Fq::from_montgomery_limbs([
583 3823315055653922623,
584 1544133407778019995,
585 8339678284115967093,
586 340405582859069416,
587 ]),
588 Fq::from_montgomery_limbs([
589 14521487749042353090,
590 2741200029829353725,
591 15404416537140680175,
592 224317571319525964,
593 ]),
594 Fq::from_montgomery_limbs([
595 9111107875572394601,
596 14812080039988879021,
597 11740909323457275498,
598 1142849951174245079,
599 ]),
600 Fq::from_montgomery_limbs([
601 6315394863492521922,
602 15290263181571711160,
603 8361458214310627912,
604 1120819345406699978,
605 ]),
606 Fq::from_montgomery_limbs([
607 7541199882669497715,
608 686266139368081655,
609 3486408502495110410,
610 305571836806477895,
611 ]),
612 Fq::from_montgomery_limbs([
613 11194602393992127889,
614 4823164490358819269,
615 2963098888089596977,
616 127467430759375185,
617 ]),
618 Fq::from_montgomery_limbs([
619 13401323458715176749,
620 7526519102807969052,
621 11500838828688844175,
622 593796521014294359,
623 ]),
624 Fq::from_montgomery_limbs([
625 11177320531756391055,
626 4080502600305034702,
627 2571892269998531885,
628 231632967099830080,
629 ]),
630 Fq::from_montgomery_limbs([
631 6149939798770351609,
632 18287517033582086432,
633 5338242308958263460,
634 328048786757923732,
635 ]),
636 Fq::from_montgomery_limbs([
637 15458540156643766751,
638 1400997897599319292,
639 7413209173172832967,
640 100478538984542434,
641 ]),
642 Fq::from_montgomery_limbs([
643 15303231637131188474,
644 12210183127521607378,
645 16044977891049973821,
646 772905068623323043,
647 ]),
648 Fq::from_montgomery_limbs([
649 10785654084122827601,
650 2211259386857104245,
651 16649012282872525368,
652 102071913196144291,
653 ]),
654 Fq::from_montgomery_limbs([
655 2881174213450719659,
656 12014311740982782554,
657 12475890147035428875,
658 1060652822280359969,
659 ]),
660 Fq::from_montgomery_limbs([
661 5168530618588372608,
662 12645871097945809310,
663 12679814118712019422,
664 757227039744328626,
665 ]),
666 Fq::from_montgomery_limbs([
667 16723583453861051889,
668 13217434832318564597,
669 17167491729232777306,
670 750899259017645156,
671 ]),
672 Fq::from_montgomery_limbs([
673 11975166328753770827,
674 5021170043599009847,
675 8130600622535160737,
676 1210833522054518385,
677 ]),
678 Fq::from_montgomery_limbs([
679 11828331664533985829,
680 5744074093878888180,
681 13572294236110601484,
682 741336438516605705,
683 ]),
684 Fq::from_montgomery_limbs([
685 9092803352234031294,
686 16991861971006998540,
687 12590210254184326397,
688 163020812219371078,
689 ]),
690 Fq::from_montgomery_limbs([
691 15150825267514654715,
692 7582420113892720781,
693 11021538006069969553,
694 514128026898157287,
695 ]),
696 Fq::from_montgomery_limbs([
697 257730274965307694,
698 15941247979209339081,
699 12550718099618824836,
700 926747662553501853,
701 ]),
702 Fq::from_montgomery_limbs([
703 16021060490791077863,
704 18399937961097236925,
705 12479381244109581994,
706 958161696800711416,
707 ]),
708 Fq::from_montgomery_limbs([
709 5656070927198127166,
710 13673864766172609613,
711 7854541344260335717,
712 433926247460842256,
713 ]),
714 Fq::from_montgomery_limbs([
715 3081498096075015625,
716 5114063565662711844,
717 6016747140135578647,
718 200080044486646757,
719 ]),
720 Fq::from_montgomery_limbs([
721 8668474263754820542,
722 5150418979667712870,
723 671591932121595684,
724 387641243292135089,
725 ]),
726 Fq::from_montgomery_limbs([
727 9867452618101888436,
728 9573741750129271560,
729 11870983264768155164,
730 672361345937806490,
731 ]),
732 Fq::from_montgomery_limbs([
733 2794280237383234509,
734 8511976920647235700,
735 12240900835121281355,
736 5009064961478580,
737 ]),
738 Fq::from_montgomery_limbs([
739 12481235113884027566,
740 5693342786405429686,
741 2966752082111199656,
742 878902670166036876,
743 ]),
744 Fq::from_montgomery_limbs([
745 14240267055971916647,
746 10396848562787560462,
747 5518035894864045572,
748 1179757559875500073,
749 ]),
750 Fq::from_montgomery_limbs([
751 14962737666094847614,
752 10739908350874416157,
753 4895620174233055664,
754 321666060863471221,
755 ]),
756 Fq::from_montgomery_limbs([
757 13445218619283341504,
758 5092610038400904148,
759 2968853296034188758,
760 835336201072079364,
761 ]),
762 Fq::from_montgomery_limbs([
763 10233520240960919680,
764 5959452117994239475,
765 16491909337703133675,
766 891169556062643417,
767 ]),
768 Fq::from_montgomery_limbs([
769 2834888386861055650,
770 7604409413887743592,
771 13030269578665703653,
772 401509353262871810,
773 ]),
774 Fq::from_montgomery_limbs([
775 2704145273060684739,
776 1774123728738332116,
777 4451847378072935255,
778 539946861082459083,
779 ]),
780 Fq::from_montgomery_limbs([
781 10338036189104724495,
782 5463305924257293228,
783 7871975511799681863,
784 487399285329040504,
785 ]),
786 Fq::from_montgomery_limbs([
787 10282365810457753854,
788 4875136836869467005,
789 8167065600132017137,
790 612538811597081600,
791 ]),
792 Fq::from_montgomery_limbs([
793 11956552275263932784,
794 2910596066147194639,
795 1653383919024312564,
796 917094813414419045,
797 ]),
798 Fq::from_montgomery_limbs([
799 7847733681848392968,
800 17061053188234229069,
801 4327647852405514270,
802 201342973946798656,
803 ]),
804 Fq::from_montgomery_limbs([
805 12402208752860149978,
806 5942639276189211897,
807 8650838259976493487,
808 93208955821879002,
809 ]),
810 Fq::from_montgomery_limbs([
811 4359686047010863164,
812 1740657266406964854,
813 14400992892832573055,
814 600962517221943370,
815 ]),
816 Fq::from_montgomery_limbs([
817 7871068409103488505,
818 12092947390480615881,
819 15236005069504836910,
820 1219304791403246439,
821 ]),
822 Fq::from_montgomery_limbs([
823 2331767746054493290,
824 15439688574017229593,
825 2624671321035938496,
826 196664992671490503,
827 ]),
828 Fq::from_montgomery_limbs([
829 6984766032236094336,
830 4199333161186836907,
831 6966733218962904660,
832 828131141266688191,
833 ]),
834 Fq::from_montgomery_limbs([
835 18198492961367884206,
836 4075548382228621731,
837 7120869279096377960,
838 1112174665656009203,
839 ]),
840 Fq::from_montgomery_limbs([
841 15188354035011941657,
842 1528404887014191153,
843 7644022124588184416,
844 656794906545005738,
845 ]),
846 Fq::from_montgomery_limbs([
847 3703805022276205448,
848 11543145569483730813,
849 2304402099650902209,
850 823592775762696951,
851 ]),
852 Fq::from_montgomery_limbs([
853 5142351354334489771,
854 10763765166551123043,
855 17450746794319983955,
856 960731944967042935,
857 ]),
858 Fq::from_montgomery_limbs([
859 9913254528380233461,
860 6379270468481813387,
861 4130926869587487310,
862 610795545512520772,
863 ]),
864 Fq::from_montgomery_limbs([
865 17898556710819263490,
866 7911122569140186326,
867 5516730092468208963,
868 664379227085230598,
869 ]),
870 Fq::from_montgomery_limbs([
871 10616973143833638020,
872 17471880607893344822,
873 1128145204777244976,
874 337394536883295972,
875 ]),
876 Fq::from_montgomery_limbs([
877 6661544590953239315,
878 15146532782491929291,
879 4755596764817736061,
880 545820584329603194,
881 ]),
882 Fq::from_montgomery_limbs([
883 60806500798869004,
884 15736128091162195183,
885 5715198746929749021,
886 446174552562569645,
887 ]),
888 Fq::from_montgomery_limbs([
889 5425873532207787318,
890 7464087132630945791,
891 5476589627464471901,
892 457480423296188143,
893 ]),
894 Fq::from_montgomery_limbs([
895 9013993650827414321,
896 2350031823838640206,
897 11034300868488958302,
898 388596567345343643,
899 ]),
900 Fq::from_montgomery_limbs([
901 6468567377966650967,
902 13590648265578243490,
903 15927509019046836214,
904 1009388599057851509,
905 ]),
906 Fq::from_montgomery_limbs([
907 172016905197246847,
908 4035387207966104057,
909 211325131413472824,
910 1280387199047629664,
911 ]),
912 Fq::from_montgomery_limbs([
913 7689408096630419675,
914 14584961804097092641,
915 1127508416484176885,
916 171502318968879609,
917 ]),
918 Fq::from_montgomery_limbs([
919 9294855872887423209,
920 2005827460175726472,
921 16783720225277999740,
922 1082009637379471203,
923 ]),
924 Fq::from_montgomery_limbs([
925 17016200436476421122,
926 12639043105124250806,
927 6582000444620236323,
928 508699111294885791,
929 ]),
930 Fq::from_montgomery_limbs([
931 14725203266650011970,
932 13877962155717739891,
933 9513649462380557047,
934 642461852581041542,
935 ]),
936 Fq::from_montgomery_limbs([
937 9787931489031096184,
938 7902836596315130785,
939 78997879637635390,
940 694120778750553576,
941 ]),
942 Fq::from_montgomery_limbs([
943 17889392554162858882,
944 342322215215622448,
945 4493824746279576258,
946 312168636607671093,
947 ]),
948 Fq::from_montgomery_limbs([
949 8140513347694048696,
950 12902641943590609873,
951 14714848264461122064,
952 1334963605704347157,
953 ]),
954 Fq::from_montgomery_limbs([
955 13240131887967600078,
956 4407633827305492594,
957 15540185952445554130,
958 68037993503280515,
959 ]),
960 Fq::from_montgomery_limbs([
961 10497793217508245191,
962 888682325286928065,
963 15370448865727419266,
964 733754751125624627,
965 ]),
966 Fq::from_montgomery_limbs([
967 7740533852108866287,
968 17937493023745474932,
969 7773801956856873664,
970 504241230363210440,
971 ]),
972 Fq::from_montgomery_limbs([
973 11961891551527755983,
974 17934542229987203026,
975 1103543868067501932,
976 687591834971622190,
977 ]),
978 Fq::from_montgomery_limbs([
979 4127100989690868033,
980 8900195718942322911,
981 8226770865992890280,
982 985029699319544839,
983 ]),
984 Fq::from_montgomery_limbs([
985 8227296419732771358,
986 16053490579720323354,
987 3654951897271203554,
988 1041079676339451632,
989 ]),
990 Fq::from_montgomery_limbs([
991 8010548121403948512,
992 1275465025143581354,
993 2160211023041782235,
994 1189169285314754196,
995 ]),
996 Fq::from_montgomery_limbs([
997 7530207327455925553,
998 5703304996823784226,
999 6548643313601850639,
1000 827356749854490373,
1001 ]),
1002 Fq::from_montgomery_limbs([
1003 8316601172635772109,
1004 12370440707468203196,
1005 2939769182126754327,
1006 753180078630191546,
1007 ]),
1008 Fq::from_montgomery_limbs([
1009 1143377137813871993,
1010 17312593164165222318,
1011 13705553886161524318,
1012 941885898262021576,
1013 ]),
1014 Fq::from_montgomery_limbs([
1015 2112728878057216642,
1016 3892761102962286658,
1017 11417348492657537819,
1018 735668726979811860,
1019 ]),
1020 Fq::from_montgomery_limbs([
1021 16782576336846005593,
1022 3624413749987727914,
1023 17968976872659530354,
1024 487897895994872800,
1025 ]),
1026 Fq::from_montgomery_limbs([
1027 2484948819702640096,
1028 5387963240223549977,
1029 12687920099134049563,
1030 883350989149367893,
1031 ]),
1032 Fq::from_montgomery_limbs([
1033 2858482485641078244,
1034 2714093515401288033,
1035 10455809282530923083,
1036 751664744246651868,
1037 ]),
1038 Fq::from_montgomery_limbs([
1039 13617000549064485510,
1040 4455000600207656914,
1041 12777124443685982279,
1042 512862262303044909,
1043 ]),
1044 Fq::from_montgomery_limbs([
1045 10570187078077272513,
1046 15758514759732880612,
1047 10690894638211880846,
1048 465609433405901497,
1049 ]),
1050 Fq::from_montgomery_limbs([
1051 13236383050663721729,
1052 12125155130370039041,
1053 17253356752093433548,
1054 232625893933277711,
1055 ]),
1056 Fq::from_montgomery_limbs([
1057 757191121931270989,
1058 9786533229648281558,
1059 7506322761488798421,
1060 219466670969587686,
1061 ]),
1062 Fq::from_montgomery_limbs([
1063 11502539180279016827,
1064 10976808592365411679,
1065 14518853469755275814,
1066 189651093510465237,
1067 ]),
1068 Fq::from_montgomery_limbs([
1069 7406145050063996705,
1070 5433107506103268286,
1071 4579059832807850831,
1072 292839512595959393,
1073 ]),
1074 Fq::from_montgomery_limbs([
1075 242050570766254477,
1076 16090627413832777930,
1077 8503088905690880687,
1078 844834299854905528,
1079 ]),
1080 Fq::from_montgomery_limbs([
1081 15972066311454464627,
1082 12186767479971029668,
1083 2392334865506711034,
1084 617078040284954179,
1085 ]),
1086 Fq::from_montgomery_limbs([
1087 6210271142236644282,
1088 6562036542656589429,
1089 8025274330376993547,
1090 762526438011303745,
1091 ]),
1092 Fq::from_montgomery_limbs([
1093 14753366313850022795,
1094 5437791126426953356,
1095 14245062222537079752,
1096 150913805242227000,
1097 ]),
1098 Fq::from_montgomery_limbs([
1099 4807021976023523388,
1100 16710746776370779475,
1101 7473038774703206777,
1102 172363022129389231,
1103 ]),
1104 Fq::from_montgomery_limbs([
1105 7874676450184753436,
1106 2949898094916075783,
1107 630009569754295782,
1108 934898795281709342,
1109 ]),
1110 Fq::from_montgomery_limbs([
1111 2596733933911644291,
1112 18211864913609597189,
1113 669972403590796856,
1114 1007790356294249019,
1115 ]),
1116 Fq::from_montgomery_limbs([
1117 8847285884406092349,
1118 15810443671218046899,
1119 781303087795509610,
1120 175334333513747495,
1121 ]),
1122 Fq::from_montgomery_limbs([
1123 5611124786858759575,
1124 7741270494085822523,
1125 1204252626273700461,
1126 831434023402198326,
1127 ]),
1128 Fq::from_montgomery_limbs([
1129 17024841864111709876,
1130 10953422139928438,
1131 7108870425049447348,
1132 867000474059877218,
1133 ]),
1134 Fq::from_montgomery_limbs([
1135 17254710881283625253,
1136 13619503273421245826,
1137 16524833801283537459,
1138 867017638279036320,
1139 ]),
1140 Fq::from_montgomery_limbs([
1141 3047689304468185211,
1142 4544400348474807371,
1143 3340017855267764578,
1144 1089932391947236624,
1145 ]),
1146 Fq::from_montgomery_limbs([
1147 944987404414691783,
1148 7324130194857674958,
1149 14960179948619727115,
1150 970290030783854962,
1151 ]),
1152 Fq::from_montgomery_limbs([
1153 8156639230679108247,
1154 17055081218862987306,
1155 3045209940380371184,
1156 1025132464373554760,
1157 ]),
1158 Fq::from_montgomery_limbs([
1159 18254963138764984051,
1160 12469634773213013819,
1161 6758329371646179128,
1162 349904494647494862,
1163 ]),
1164 Fq::from_montgomery_limbs([
1165 6795371985529952899,
1166 17895939878048277876,
1167 16632557265478858928,
1168 387059669716455908,
1169 ]),
1170 Fq::from_montgomery_limbs([
1171 1318357771340990990,
1172 12994552359569230566,
1173 16705716531436318589,
1174 763697275022015004,
1175 ]),
1176 Fq::from_montgomery_limbs([
1177 16465052430714272962,
1178 13602787326604775722,
1179 15751371050932720313,
1180 138014004592597966,
1181 ]),
1182 Fq::from_montgomery_limbs([
1183 15825638165970940054,
1184 9332212474670848079,
1185 7882594046477316711,
1186 290829412130665018,
1187 ]),
1188 Fq::from_montgomery_limbs([
1189 6362195239856311490,
1190 4780237228875137807,
1191 14782630189115640960,
1192 704272740049173340,
1193 ]),
1194 Fq::from_montgomery_limbs([
1195 6559278659646672166,
1196 6801036849757997540,
1197 8000231443027455180,
1198 656562251428831486,
1199 ]),
1200 Fq::from_montgomery_limbs([
1201 913435484006780831,
1202 4148347286870754245,
1203 15429895160407091360,
1204 481581552746677021,
1205 ]),
1206 Fq::from_montgomery_limbs([
1207 3201617625256301842,
1208 17959683725889804366,
1209 12477328746136434592,
1210 804751930331318023,
1211 ]),
1212 Fq::from_montgomery_limbs([
1213 8260268643263772682,
1214 564990144864143113,
1215 3819503561945572420,
1216 589166794945624703,
1217 ]),
1218 Fq::from_montgomery_limbs([
1219 1468345889510338758,
1220 12133722777278260983,
1221 2225753638037198615,
1222 983608944845547502,
1223 ]),
1224 Fq::from_montgomery_limbs([
1225 16667974706419349718,
1226 12656033986103589392,
1227 16476477987437165475,
1228 328446031568129583,
1229 ]),
1230 Fq::from_montgomery_limbs([
1231 10832018960089362233,
1232 15872202042944916671,
1233 1542413852742137668,
1234 856769655034004351,
1235 ]),
1236 Fq::from_montgomery_limbs([
1237 1248584674224513873,
1238 10955885710253485131,
1239 690903013823109733,
1240 586986955236732406,
1241 ]),
1242 Fq::from_montgomery_limbs([
1243 7801056996972321718,
1244 10731441130229109668,
1245 1309104763613854723,
1246 168690751356355485,
1247 ]),
1248 Fq::from_montgomery_limbs([
1249 863448993500386948,
1250 12860067037622976516,
1251 4075953973254780281,
1252 1092718826088125370,
1253 ]),
1254 Fq::from_montgomery_limbs([
1255 4083664853681447299,
1256 16294486273605038844,
1257 13502684468641213280,
1258 1231917587532627983,
1259 ]),
1260 Fq::from_montgomery_limbs([
1261 17640823880561253607,
1262 17906844028095875120,
1263 16598825086926066591,
1264 1259468978780670799,
1265 ]),
1266 Fq::from_montgomery_limbs([
1267 3915912471832963150,
1268 2878160052333009121,
1269 5137491367309860490,
1270 525959498882725072,
1271 ]),
1272 Fq::from_montgomery_limbs([
1273 624108744920628033,
1274 7222337173749652537,
1275 6177234009439253836,
1276 1305879330650409183,
1277 ]),
1278 Fq::from_montgomery_limbs([
1279 4047186108818890838,
1280 8293278676301284463,
1281 45421248765572143,
1282 11849077013826147,
1283 ]),
1284 Fq::from_montgomery_limbs([
1285 13734838437817111564,
1286 14067107962177066014,
1287 6283538344938866018,
1288 943068615468766850,
1289 ]),
1290 Fq::from_montgomery_limbs([
1291 9459753653362225504,
1292 13412221550119657532,
1293 11719554885145159458,
1294 1038210702444171410,
1295 ]),
1296 Fq::from_montgomery_limbs([
1297 17258590752825572441,
1298 4422385439615665045,
1299 10963985232294213328,
1300 673097344483052623,
1301 ]),
1302 Fq::from_montgomery_limbs([
1303 4350910935437581306,
1304 17071656780821887075,
1305 17526744607642225290,
1306 489524084357985818,
1307 ]),
1308 Fq::from_montgomery_limbs([
1309 8703107470067448452,
1310 734592437454660319,
1311 6370216058631913860,
1312 984849913832896286,
1313 ]),
1314 Fq::from_montgomery_limbs([
1315 15847437253128917127,
1316 13204151715277535095,
1317 13151742340803361913,
1318 492775982398767260,
1319 ]),
1320 Fq::from_montgomery_limbs([
1321 13378140148769271177,
1322 11023068523390522139,
1323 1729259508144916727,
1324 998491139322015796,
1325 ]),
1326 Fq::from_montgomery_limbs([
1327 15868115462640964898,
1328 5808184910810487816,
1329 17891106563868657547,
1330 1273423536878729280,
1331 ]),
1332 Fq::from_montgomery_limbs([
1333 17498572932499506726,
1334 4915375148198704347,
1335 16526318329827242193,
1336 172885368041045335,
1337 ]),
1338 Fq::from_montgomery_limbs([
1339 12175858961476635194,
1340 8395097384299796850,
1341 16561947957716644135,
1342 118811035529307344,
1343 ]),
1344 Fq::from_montgomery_limbs([
1345 1364632949773972783,
1346 5616500288305274826,
1347 2744828291285230257,
1348 1337220218752536168,
1349 ]),
1350 Fq::from_montgomery_limbs([
1351 7125704632582034340,
1352 2413935880315792634,
1353 16253134495760827214,
1354 1013353907442898755,
1355 ]),
1356 Fq::from_montgomery_limbs([
1357 9926413936648370716,
1358 9286244748248440505,
1359 5620697470790885637,
1360 1050126432920929832,
1361 ]),
1362 Fq::from_montgomery_limbs([
1363 2286190222160729638,
1364 1205027650655862007,
1365 284571302335235840,
1366 754838472987631454,
1367 ]),
1368 Fq::from_montgomery_limbs([
1369 18032942241472576701,
1370 12877723516371231014,
1371 5304401947346162660,
1372 638292803799023432,
1373 ]),
1374 Fq::from_montgomery_limbs([
1375 1301734909908791963,
1376 3999021096443686109,
1377 8224194566860360743,
1378 975889756225576945,
1379 ]),
1380 Fq::from_montgomery_limbs([
1381 13137758236377688944,
1382 15164889622744579310,
1383 9510882901247182860,
1384 507443416341514201,
1385 ]),
1386 Fq::from_montgomery_limbs([
1387 7442629497476523514,
1388 15402336932582436695,
1389 12267702252685663951,
1390 406181490859224216,
1391 ]),
1392 Fq::from_montgomery_limbs([
1393 3020913173034234370,
1394 7615906519537783167,
1395 14373843007930618441,
1396 268952515824125262,
1397 ]),
1398 Fq::from_montgomery_limbs([
1399 8510711668693637739,
1400 16478737597936355688,
1401 4962621450185609628,
1402 274948738817040348,
1403 ]),
1404 Fq::from_montgomery_limbs([
1405 175794307933344111,
1406 2355200265651483892,
1407 17868773626579092521,
1408 52492857067069690,
1409 ]),
1410 Fq::from_montgomery_limbs([
1411 13918504549178190575,
1412 13563258972352289042,
1413 5310731325887509548,
1414 465559440844068311,
1415 ]),
1416 ]),
1417 mds: MdsMatrix::<6, 5, 36, 25>::new_from_known([
1418 Fq::from_montgomery_limbs([
1419 17237574486256691881,
1420 7678231653376502440,
1421 12981859904545217192,
1422 832323394471302938,
1423 ]),
1424 Fq::from_montgomery_limbs([
1425 14878706952858838161,
1426 15410104227655356999,
1427 17393275270132988194,
1428 905602962502284432,
1429 ]),
1430 Fq::from_montgomery_limbs([
1431 17721242321237835775,
1432 11985636621509722110,
1433 11478464757469040638,
1434 960562638525520553,
1435 ]),
1436 Fq::from_montgomery_limbs([
1437 17640631015407645126,
1438 17416650484724036037,
1439 14803487960933328666,
1440 554882262980868625,
1441 ]),
1442 Fq::from_montgomery_limbs([
1443 10632745392742701465,
1444 7191381972905833266,
1445 10576427669223334706,
1446 1037506184958051122,
1447 ]),
1448 Fq::from_montgomery_limbs([
1449 7989155441247042094,
1450 18276457113184108543,
1451 17999817914616464103,
1452 943187440870955565,
1453 ]),
1454 Fq::from_montgomery_limbs([
1455 14878706952858838161,
1456 15410104227655356999,
1457 17393275270132988194,
1458 905602962502284432,
1459 ]),
1460 Fq::from_montgomery_limbs([
1461 17721242321237835775,
1462 11985636621509722110,
1463 11478464757469040638,
1464 960562638525520553,
1465 ]),
1466 Fq::from_montgomery_limbs([
1467 17640631015407645126,
1468 17416650484724036037,
1469 14803487960933328666,
1470 554882262980868625,
1471 ]),
1472 Fq::from_montgomery_limbs([
1473 10632745392742701465,
1474 7191381972905833266,
1475 10576427669223334706,
1476 1037506184958051122,
1477 ]),
1478 Fq::from_montgomery_limbs([
1479 7989155441247042094,
1480 18276457113184108543,
1481 17999817914616464103,
1482 943187440870955565,
1483 ]),
1484 Fq::from_montgomery_limbs([
1485 18204910156218979669,
1486 16293041589642941780,
1487 9975069610392864084,
1488 1088801882579738168,
1489 ]),
1490 Fq::from_montgomery_limbs([
1491 17721242321237835775,
1492 11985636621509722110,
1493 11478464757469040638,
1494 960562638525520553,
1495 ]),
1496 Fq::from_montgomery_limbs([
1497 17640631015407645126,
1498 17416650484724036037,
1499 14803487960933328666,
1500 554882262980868625,
1501 ]),
1502 Fq::from_montgomery_limbs([
1503 10632745392742701465,
1504 7191381972905833266,
1505 10576427669223334706,
1506 1037506184958051122,
1507 ]),
1508 Fq::from_montgomery_limbs([
1509 7989155441247042094,
1510 18276457113184108543,
1511 17999817914616464103,
1512 943187440870955565,
1513 ]),
1514 Fq::from_montgomery_limbs([
1515 18204910156218979669,
1516 16293041589642941780,
1517 9975069610392864084,
1518 1088801882579738168,
1519 ]),
1520 Fq::from_montgomery_limbs([
1521 15441359965645378481,
1522 7022857083512140090,
1523 11162758362666494739,
1524 1108530997049617801,
1525 ]),
1526 Fq::from_montgomery_limbs([
1527 17640631015407645126,
1528 17416650484724036037,
1529 14803487960933328666,
1530 554882262980868625,
1531 ]),
1532 Fq::from_montgomery_limbs([
1533 10632745392742701465,
1534 7191381972905833266,
1535 10576427669223334706,
1536 1037506184958051122,
1537 ]),
1538 Fq::from_montgomery_limbs([
1539 7989155441247042094,
1540 18276457113184108543,
1541 17999817914616464103,
1542 943187440870955565,
1543 ]),
1544 Fq::from_montgomery_limbs([
1545 18204910156218979669,
1546 16293041589642941780,
1547 9975069610392864084,
1548 1088801882579738168,
1549 ]),
1550 Fq::from_montgomery_limbs([
1551 15441359965645378481,
1552 7022857083512140090,
1553 11162758362666494739,
1554 1108530997049617801,
1555 ]),
1556 Fq::from_montgomery_limbs([
1557 7802104352665277001,
1558 1712233803072817444,
1559 12180777293186749586,
1560 1125441666595228915,
1561 ]),
1562 Fq::from_montgomery_limbs([
1563 10632745392742701465,
1564 7191381972905833266,
1565 10576427669223334706,
1566 1037506184958051122,
1567 ]),
1568 Fq::from_montgomery_limbs([
1569 7989155441247042094,
1570 18276457113184108543,
1571 17999817914616464103,
1572 943187440870955565,
1573 ]),
1574 Fq::from_montgomery_limbs([
1575 18204910156218979669,
1576 16293041589642941780,
1577 9975069610392864084,
1578 1088801882579738168,
1579 ]),
1580 Fq::from_montgomery_limbs([
1581 15441359965645378481,
1582 7022857083512140090,
1583 11162758362666494739,
1584 1108530997049617801,
1585 ]),
1586 Fq::from_montgomery_limbs([
1587 7802104352665277001,
1588 1712233803072817444,
1589 12180777293186749586,
1590 1125441666595228915,
1591 ]),
1592 Fq::from_montgomery_limbs([
1593 7330330845985706257,
1594 6947957132670498679,
1595 9373711551562393463,
1596 1140097580201425214,
1597 ]),
1598 Fq::from_montgomery_limbs([
1599 7989155441247042094,
1600 18276457113184108543,
1601 17999817914616464103,
1602 943187440870955565,
1603 ]),
1604 Fq::from_montgomery_limbs([
1605 18204910156218979669,
1606 16293041589642941780,
1607 9975069610392864084,
1608 1088801882579738168,
1609 ]),
1610 Fq::from_montgomery_limbs([
1611 15441359965645378481,
1612 7022857083512140090,
1613 11162758362666494739,
1614 1108530997049617801,
1615 ]),
1616 Fq::from_montgomery_limbs([
1617 7802104352665277001,
1618 1712233803072817444,
1619 12180777293186749586,
1620 1125441666595228915,
1621 ]),
1622 Fq::from_montgomery_limbs([
1623 7330330845985706257,
1624 6947957132670498679,
1625 9373711551562393463,
1626 1140097580201425214,
1627 ]),
1628 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
1629 ]),
1630 alpha: Alpha::Exponent(17),
1631 rounds: RoundNumbers { r_P: 31, r_F: 8 },
1632 optimized_mds: OptimizedMdsMatrices {
1633 M_hat: SquareMatrix::<5, 25>::new_from_known([
1634 Fq::from_montgomery_limbs([
1635 17721242321237835775,
1636 11985636621509722110,
1637 11478464757469040638,
1638 960562638525520553,
1639 ]),
1640 Fq::from_montgomery_limbs([
1641 17640631015407645126,
1642 17416650484724036037,
1643 14803487960933328666,
1644 554882262980868625,
1645 ]),
1646 Fq::from_montgomery_limbs([
1647 10632745392742701465,
1648 7191381972905833266,
1649 10576427669223334706,
1650 1037506184958051122,
1651 ]),
1652 Fq::from_montgomery_limbs([
1653 7989155441247042094,
1654 18276457113184108543,
1655 17999817914616464103,
1656 943187440870955565,
1657 ]),
1658 Fq::from_montgomery_limbs([
1659 18204910156218979669,
1660 16293041589642941780,
1661 9975069610392864084,
1662 1088801882579738168,
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 10632745392742701465,
1696 7191381972905833266,
1697 10576427669223334706,
1698 1037506184958051122,
1699 ]),
1700 Fq::from_montgomery_limbs([
1701 7989155441247042094,
1702 18276457113184108543,
1703 17999817914616464103,
1704 943187440870955565,
1705 ]),
1706 Fq::from_montgomery_limbs([
1707 18204910156218979669,
1708 16293041589642941780,
1709 9975069610392864084,
1710 1088801882579738168,
1711 ]),
1712 Fq::from_montgomery_limbs([
1713 15441359965645378481,
1714 7022857083512140090,
1715 11162758362666494739,
1716 1108530997049617801,
1717 ]),
1718 Fq::from_montgomery_limbs([
1719 7802104352665277001,
1720 1712233803072817444,
1721 12180777293186749586,
1722 1125441666595228915,
1723 ]),
1724 Fq::from_montgomery_limbs([
1725 7989155441247042094,
1726 18276457113184108543,
1727 17999817914616464103,
1728 943187440870955565,
1729 ]),
1730 Fq::from_montgomery_limbs([
1731 18204910156218979669,
1732 16293041589642941780,
1733 9975069610392864084,
1734 1088801882579738168,
1735 ]),
1736 Fq::from_montgomery_limbs([
1737 15441359965645378481,
1738 7022857083512140090,
1739 11162758362666494739,
1740 1108530997049617801,
1741 ]),
1742 Fq::from_montgomery_limbs([
1743 7802104352665277001,
1744 1712233803072817444,
1745 12180777293186749586,
1746 1125441666595228915,
1747 ]),
1748 Fq::from_montgomery_limbs([
1749 7330330845985706257,
1750 6947957132670498679,
1751 9373711551562393463,
1752 1140097580201425214,
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([0, 0, 0, 1152921504606846976]),
1779 ]),
1780 v: Matrix::<1, 5, 5>::new_from_known([
1781 Fq::from_montgomery_limbs([
1782 14878706952858838161,
1783 15410104227655356999,
1784 17393275270132988194,
1785 905602962502284432,
1786 ]),
1787 Fq::from_montgomery_limbs([
1788 17721242321237835775,
1789 11985636621509722110,
1790 11478464757469040638,
1791 960562638525520553,
1792 ]),
1793 Fq::from_montgomery_limbs([
1794 17640631015407645126,
1795 17416650484724036037,
1796 14803487960933328666,
1797 554882262980868625,
1798 ]),
1799 Fq::from_montgomery_limbs([
1800 10632745392742701465,
1801 7191381972905833266,
1802 10576427669223334706,
1803 1037506184958051122,
1804 ]),
1805 Fq::from_montgomery_limbs([
1806 7989155441247042094,
1807 18276457113184108543,
1808 17999817914616464103,
1809 943187440870955565,
1810 ]),
1811 ]),
1812 w: Matrix::<5, 1, 5>::new_from_known([
1813 Fq::from_montgomery_limbs([
1814 14878706952858838161,
1815 15410104227655356999,
1816 17393275270132988194,
1817 905602962502284432,
1818 ]),
1819 Fq::from_montgomery_limbs([
1820 17721242321237835775,
1821 11985636621509722110,
1822 11478464757469040638,
1823 960562638525520553,
1824 ]),
1825 Fq::from_montgomery_limbs([
1826 17640631015407645126,
1827 17416650484724036037,
1828 14803487960933328666,
1829 554882262980868625,
1830 ]),
1831 Fq::from_montgomery_limbs([
1832 10632745392742701465,
1833 7191381972905833266,
1834 10576427669223334706,
1835 1037506184958051122,
1836 ]),
1837 Fq::from_montgomery_limbs([
1838 7989155441247042094,
1839 18276457113184108543,
1840 17999817914616464103,
1841 943187440870955565,
1842 ]),
1843 ]),
1844 M_prime: SquareMatrix::<6, 36>::new_from_known([
1845 Fq::from_montgomery_limbs([
1846 9015221291577245683,
1847 8239323489949974514,
1848 1646089257421115374,
1849 958099254763297437,
1850 ]),
1851 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1852 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1853 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1854 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1855 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1856 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1857 Fq::from_montgomery_limbs([
1858 17721242321237835775,
1859 11985636621509722110,
1860 11478464757469040638,
1861 960562638525520553,
1862 ]),
1863 Fq::from_montgomery_limbs([
1864 17640631015407645126,
1865 17416650484724036037,
1866 14803487960933328666,
1867 554882262980868625,
1868 ]),
1869 Fq::from_montgomery_limbs([
1870 10632745392742701465,
1871 7191381972905833266,
1872 10576427669223334706,
1873 1037506184958051122,
1874 ]),
1875 Fq::from_montgomery_limbs([
1876 7989155441247042094,
1877 18276457113184108543,
1878 17999817914616464103,
1879 943187440870955565,
1880 ]),
1881 Fq::from_montgomery_limbs([
1882 18204910156218979669,
1883 16293041589642941780,
1884 9975069610392864084,
1885 1088801882579738168,
1886 ]),
1887 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1888 Fq::from_montgomery_limbs([
1889 17640631015407645126,
1890 17416650484724036037,
1891 14803487960933328666,
1892 554882262980868625,
1893 ]),
1894 Fq::from_montgomery_limbs([
1895 10632745392742701465,
1896 7191381972905833266,
1897 10576427669223334706,
1898 1037506184958051122,
1899 ]),
1900 Fq::from_montgomery_limbs([
1901 7989155441247042094,
1902 18276457113184108543,
1903 17999817914616464103,
1904 943187440870955565,
1905 ]),
1906 Fq::from_montgomery_limbs([
1907 18204910156218979669,
1908 16293041589642941780,
1909 9975069610392864084,
1910 1088801882579738168,
1911 ]),
1912 Fq::from_montgomery_limbs([
1913 15441359965645378481,
1914 7022857083512140090,
1915 11162758362666494739,
1916 1108530997049617801,
1917 ]),
1918 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1919 Fq::from_montgomery_limbs([
1920 10632745392742701465,
1921 7191381972905833266,
1922 10576427669223334706,
1923 1037506184958051122,
1924 ]),
1925 Fq::from_montgomery_limbs([
1926 7989155441247042094,
1927 18276457113184108543,
1928 17999817914616464103,
1929 943187440870955565,
1930 ]),
1931 Fq::from_montgomery_limbs([
1932 18204910156218979669,
1933 16293041589642941780,
1934 9975069610392864084,
1935 1088801882579738168,
1936 ]),
1937 Fq::from_montgomery_limbs([
1938 15441359965645378481,
1939 7022857083512140090,
1940 11162758362666494739,
1941 1108530997049617801,
1942 ]),
1943 Fq::from_montgomery_limbs([
1944 7802104352665277001,
1945 1712233803072817444,
1946 12180777293186749586,
1947 1125441666595228915,
1948 ]),
1949 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1950 Fq::from_montgomery_limbs([
1951 7989155441247042094,
1952 18276457113184108543,
1953 17999817914616464103,
1954 943187440870955565,
1955 ]),
1956 Fq::from_montgomery_limbs([
1957 18204910156218979669,
1958 16293041589642941780,
1959 9975069610392864084,
1960 1088801882579738168,
1961 ]),
1962 Fq::from_montgomery_limbs([
1963 15441359965645378481,
1964 7022857083512140090,
1965 11162758362666494739,
1966 1108530997049617801,
1967 ]),
1968 Fq::from_montgomery_limbs([
1969 7802104352665277001,
1970 1712233803072817444,
1971 12180777293186749586,
1972 1125441666595228915,
1973 ]),
1974 Fq::from_montgomery_limbs([
1975 7330330845985706257,
1976 6947957132670498679,
1977 9373711551562393463,
1978 1140097580201425214,
1979 ]),
1980 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1981 Fq::from_montgomery_limbs([
1982 18204910156218979669,
1983 16293041589642941780,
1984 9975069610392864084,
1985 1088801882579738168,
1986 ]),
1987 Fq::from_montgomery_limbs([
1988 15441359965645378481,
1989 7022857083512140090,
1990 11162758362666494739,
1991 1108530997049617801,
1992 ]),
1993 Fq::from_montgomery_limbs([
1994 7802104352665277001,
1995 1712233803072817444,
1996 12180777293186749586,
1997 1125441666595228915,
1998 ]),
1999 Fq::from_montgomery_limbs([
2000 7330330845985706257,
2001 6947957132670498679,
2002 9373711551562393463,
2003 1140097580201425214,
2004 ]),
2005 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2006 ]),
2007 M_doubleprime: SquareMatrix::<6, 36>::new_from_known([
2008 Fq::from_montgomery_limbs([
2009 17237574486256691881,
2010 7678231653376502440,
2011 12981859904545217192,
2012 832323394471302938,
2013 ]),
2014 Fq::from_montgomery_limbs([
2015 14878706952858838161,
2016 15410104227655356999,
2017 17393275270132988194,
2018 905602962502284432,
2019 ]),
2020 Fq::from_montgomery_limbs([
2021 17721242321237835775,
2022 11985636621509722110,
2023 11478464757469040638,
2024 960562638525520553,
2025 ]),
2026 Fq::from_montgomery_limbs([
2027 17640631015407645126,
2028 17416650484724036037,
2029 14803487960933328666,
2030 554882262980868625,
2031 ]),
2032 Fq::from_montgomery_limbs([
2033 10632745392742701465,
2034 7191381972905833266,
2035 10576427669223334706,
2036 1037506184958051122,
2037 ]),
2038 Fq::from_montgomery_limbs([
2039 7989155441247042094,
2040 18276457113184108543,
2041 17999817914616464103,
2042 943187440870955565,
2043 ]),
2044 Fq::from_montgomery_limbs([
2045 15152119682022281684,
2046 2079168917784381610,
2047 8548836536267236340,
2048 524962922610130041,
2049 ]),
2050 Fq::from_montgomery_limbs([
2051 9015221291577245683,
2052 8239323489949974514,
2053 1646089257421115374,
2054 958099254763297437,
2055 ]),
2056 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2057 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2058 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2059 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2060 Fq::from_montgomery_limbs([
2061 16770218796354446865,
2062 6164915921600418774,
2063 18434642018604219177,
2064 984431242893424161,
2065 ]),
2066 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2067 Fq::from_montgomery_limbs([
2068 9015221291577245683,
2069 8239323489949974514,
2070 1646089257421115374,
2071 958099254763297437,
2072 ]),
2073 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2074 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2075 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2076 Fq::from_montgomery_limbs([
2077 12257484635811173124,
2078 3332345693021229804,
2079 9856107590709416500,
2080 1159223252431020322,
2081 ]),
2082 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2083 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2084 Fq::from_montgomery_limbs([
2085 9015221291577245683,
2086 8239323489949974514,
2087 1646089257421115374,
2088 958099254763297437,
2089 ]),
2090 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2091 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2092 Fq::from_montgomery_limbs([
2093 9979132349322887614,
2094 3961848182433907151,
2095 8799570660063224410,
2096 475862931364908156,
2097 ]),
2098 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2099 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2100 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2101 Fq::from_montgomery_limbs([
2102 9015221291577245683,
2103 8239323489949974514,
2104 1646089257421115374,
2105 958099254763297437,
2106 ]),
2107 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2108 Fq::from_montgomery_limbs([
2109 3872788615927669352,
2110 15152509537124089722,
2111 5205890896288656861,
2112 1231307161030894178,
2113 ]),
2114 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2115 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2116 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2117 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2118 Fq::from_montgomery_limbs([
2119 9015221291577245683,
2120 8239323489949974514,
2121 1646089257421115374,
2122 958099254763297437,
2123 ]),
2124 ]),
2125 M_inverse: SquareMatrix::<6, 36>::new_from_known([
2126 Fq::from_montgomery_limbs([
2127 9423078532813425529,
2128 2444734831186772378,
2129 13312700987643289865,
2130 1248785285043953466,
2131 ]),
2132 Fq::from_montgomery_limbs([
2133 17268489821349265988,
2134 4381498102126941915,
2135 18059594369778317098,
2136 58369093700071757,
2137 ]),
2138 Fq::from_montgomery_limbs([
2139 4554828072642644132,
2140 1444610657142044086,
2141 17449887890871798968,
2142 1155580816162940184,
2143 ]),
2144 Fq::from_montgomery_limbs([
2145 14700875084405105752,
2146 9239241115023183874,
2147 7789802599827561984,
2148 594039389414401309,
2149 ]),
2150 Fq::from_montgomery_limbs([
2151 17369961549732213951,
2152 17978420689641993214,
2153 5737613384797227392,
2154 899750828627372416,
2155 ]),
2156 Fq::from_montgomery_limbs([
2157 11810971497921864966,
2158 13993073307646756902,
2159 8362406159543098387,
2160 1156913604397747244,
2161 ]),
2162 Fq::from_montgomery_limbs([
2163 17268489821349265988,
2164 4381498102126941915,
2165 18059594369778317098,
2166 58369093700071757,
2167 ]),
2168 Fq::from_montgomery_limbs([
2169 11035226460624215086,
2170 14239859242862966780,
2171 1132467188784037199,
2172 834550800812545516,
2173 ]),
2174 Fq::from_montgomery_limbs([
2175 16880054357686407084,
2176 4825991163227954043,
2177 6215044494445833070,
2178 1088315875473995942,
2179 ]),
2180 Fq::from_montgomery_limbs([
2181 18168083839917324524,
2182 16478236068428869610,
2183 13105126087642640896,
2184 34766978023081808,
2185 ]),
2186 Fq::from_montgomery_limbs([
2187 17825669542785881313,
2188 12421462367159336603,
2189 2878814310510077253,
2190 503620314193006332,
2191 ]),
2192 Fq::from_montgomery_limbs([
2193 8217239731080607569,
2194 6429369295863013371,
2195 9835418190294938624,
2196 157201591859370779,
2197 ]),
2198 Fq::from_montgomery_limbs([
2199 4554828072642644132,
2200 1444610657142044086,
2201 17449887890871798968,
2202 1155580816162940184,
2203 ]),
2204 Fq::from_montgomery_limbs([
2205 16880054357686407084,
2206 4825991163227954043,
2207 6215044494445833070,
2208 1088315875473995942,
2209 ]),
2210 Fq::from_montgomery_limbs([
2211 11485023460188927874,
2212 2485551665474920570,
2213 6640923664201453737,
2214 128700539913813365,
2215 ]),
2216 Fq::from_montgomery_limbs([
2217 8823818330539404675,
2218 14326485851202631671,
2219 17961953298539513959,
2220 284442003114632699,
2221 ]),
2222 Fq::from_montgomery_limbs([
2223 9085308543112959065,
2224 2317720835922103388,
2225 3188272186429413269,
2226 623518145967541728,
2227 ]),
2228 Fq::from_montgomery_limbs([
2229 1228919753536764212,
2230 8001001063597501895,
2231 1883429940342590902,
2232 229754754018256412,
2233 ]),
2234 Fq::from_montgomery_limbs([
2235 14700875084405105752,
2236 9239241115023183874,
2237 7789802599827561984,
2238 594039389414401309,
2239 ]),
2240 Fq::from_montgomery_limbs([
2241 18168083839917324524,
2242 16478236068428869610,
2243 13105126087642640896,
2244 34766978023081808,
2245 ]),
2246 Fq::from_montgomery_limbs([
2247 8823818330539404675,
2248 14326485851202631671,
2249 17961953298539513959,
2250 284442003114632699,
2251 ]),
2252 Fq::from_montgomery_limbs([
2253 9493025027446580308,
2254 5326008844078412686,
2255 17968627192349153669,
2256 636747921187750929,
2257 ]),
2258 Fq::from_montgomery_limbs([
2259 4719209488067015380,
2260 3286149619947952216,
2261 5381059733444658429,
2262 751991172029274729,
2263 ]),
2264 Fq::from_montgomery_limbs([
2265 671599285952310028,
2266 4063985053036137885,
2267 9646938041918321080,
2268 299288710064420029,
2269 ]),
2270 Fq::from_montgomery_limbs([
2271 17369961549732213951,
2272 17978420689641993214,
2273 5737613384797227392,
2274 899750828627372416,
2275 ]),
2276 Fq::from_montgomery_limbs([
2277 17825669542785881313,
2278 12421462367159336603,
2279 2878814310510077253,
2280 503620314193006332,
2281 ]),
2282 Fq::from_montgomery_limbs([
2283 9085308543112959065,
2284 2317720835922103388,
2285 3188272186429413269,
2286 623518145967541728,
2287 ]),
2288 Fq::from_montgomery_limbs([
2289 4719209488067015380,
2290 3286149619947952216,
2291 5381059733444658429,
2292 751991172029274729,
2293 ]),
2294 Fq::from_montgomery_limbs([
2295 6563574222345881967,
2296 1281874181852671859,
2297 11466642440831414650,
2298 443077589787383810,
2299 ]),
2300 Fq::from_montgomery_limbs([
2301 2252784982698758221,
2302 17647697801612484629,
2303 3564381744461717162,
2304 1112500262860291153,
2305 ]),
2306 Fq::from_montgomery_limbs([
2307 11810971497921864966,
2308 13993073307646756902,
2309 8362406159543098387,
2310 1156913604397747244,
2311 ]),
2312 Fq::from_montgomery_limbs([
2313 8217239731080607569,
2314 6429369295863013371,
2315 9835418190294938624,
2316 157201591859370779,
2317 ]),
2318 Fq::from_montgomery_limbs([
2319 1228919753536764212,
2320 8001001063597501895,
2321 1883429940342590902,
2322 229754754018256412,
2323 ]),
2324 Fq::from_montgomery_limbs([
2325 671599285952310028,
2326 4063985053036137885,
2327 9646938041918321080,
2328 299288710064420029,
2329 ]),
2330 Fq::from_montgomery_limbs([
2331 2252784982698758221,
2332 17647697801612484629,
2333 3564381744461717162,
2334 1112500262860291153,
2335 ]),
2336 Fq::from_montgomery_limbs([
2337 14444310640393871747,
2338 7159616422470945171,
2339 4259499542152695501,
2340 338890106485999353,
2341 ]),
2342 ]),
2343 M_hat_inverse: SquareMatrix::<5, 25>::new_from_known([
2344 Fq::from_montgomery_limbs([
2345 13904863849479527760,
2346 2515041799497956331,
2347 1093602514364610087,
2348 950491498045111042,
2349 ]),
2350 Fq::from_montgomery_limbs([
2351 2579295949243395069,
2352 12030978017499995826,
2353 12080587065043491505,
2354 38868424124071283,
2355 ]),
2356 Fq::from_montgomery_limbs([
2357 15092547513410891885,
2358 17256115361070971171,
2359 15459413513070879524,
2360 321960420545902323,
2361 ]),
2362 Fq::from_montgomery_limbs([
2363 2229704028309941057,
2364 12072197468400244658,
2365 10950994247046669419,
2366 1297185510317020994,
2367 ]),
2368 Fq::from_montgomery_limbs([
2369 12038262541350864619,
2370 6432253836569655322,
2371 13293017510951151922,
2372 464458410353108600,
2373 ]),
2374 Fq::from_montgomery_limbs([
2375 2579295949243395069,
2376 12030978017499995826,
2377 12080587065043491505,
2378 38868424124071283,
2379 ]),
2380 Fq::from_montgomery_limbs([
2381 10576000036529335161,
2382 13879266532014962184,
2383 16888595672184660747,
2384 1185164108096765058,
2385 ]),
2386 Fq::from_montgomery_limbs([
2387 1279444508565403937,
2388 6039704410083424768,
2389 14409182292770989236,
2390 1032663778275682773,
2391 ]),
2392 Fq::from_montgomery_limbs([
2393 10494653767401929635,
2394 7151674624434035414,
2395 113618062021286492,
2396 734991999940840872,
2397 ]),
2398 Fq::from_montgomery_limbs([
2399 3733906304148166273,
2400 17683287484600659811,
2401 14933709177852827861,
2402 1249090649945868590,
2403 ]),
2404 Fq::from_montgomery_limbs([
2405 15092547513410891885,
2406 17256115361070971171,
2407 15459413513070879524,
2408 321960420545902323,
2409 ]),
2410 Fq::from_montgomery_limbs([
2411 1279444508565403937,
2412 6039704410083424768,
2413 14409182292770989236,
2414 1032663778275682773,
2415 ]),
2416 Fq::from_montgomery_limbs([
2417 17854942931053508049,
2418 12379835822212862963,
2419 7917418649695695574,
2420 818127752736513102,
2421 ]),
2422 Fq::from_montgomery_limbs([
2423 16713139695953442230,
2424 14827246597006708747,
2425 6565710292947236351,
2426 279636205695659750,
2427 ]),
2428 Fq::from_montgomery_limbs([
2429 6021453437997963755,
2430 2434637845477546326,
2431 15808901861436069769,
2432 656837851837718215,
2433 ]),
2434 Fq::from_montgomery_limbs([
2435 2229704028309941057,
2436 12072197468400244658,
2437 10950994247046669419,
2438 1297185510317020994,
2439 ]),
2440 Fq::from_montgomery_limbs([
2441 10494653767401929635,
2442 7151674624434035414,
2443 113618062021286492,
2444 734991999940840872,
2445 ]),
2446 Fq::from_montgomery_limbs([
2447 16713139695953442230,
2448 14827246597006708747,
2449 6565710292947236351,
2450 279636205695659750,
2451 ]),
2452 Fq::from_montgomery_limbs([
2453 1817061708622591813,
2454 7842241796668241324,
2455 11705700881511613623,
2456 124703629193508345,
2457 ]),
2458 Fq::from_montgomery_limbs([
2459 7645141843637222694,
2460 11261613033476609866,
2461 684978708883533390,
2462 1180658499202360863,
2463 ]),
2464 Fq::from_montgomery_limbs([
2465 12038262541350864619,
2466 6432253836569655322,
2467 13293017510951151922,
2468 464458410353108600,
2469 ]),
2470 Fq::from_montgomery_limbs([
2471 3733906304148166273,
2472 17683287484600659811,
2473 14933709177852827861,
2474 1249090649945868590,
2475 ]),
2476 Fq::from_montgomery_limbs([
2477 6021453437997963755,
2478 2434637845477546326,
2479 15808901861436069769,
2480 656837851837718215,
2481 ]),
2482 Fq::from_montgomery_limbs([
2483 7645141843637222694,
2484 11261613033476609866,
2485 684978708883533390,
2486 1180658499202360863,
2487 ]),
2488 Fq::from_montgomery_limbs([
2489 6471109714169199028,
2490 651257754441033744,
2491 967849492968733845,
2492 881634047292451586,
2493 ]),
2494 ]),
2495 M_00: Fq::from_montgomery_limbs([
2496 17237574486256691881,
2497 7678231653376502440,
2498 12981859904545217192,
2499 832323394471302938,
2500 ]),
2501 M_i: Matrix::<6, 6, 36>::new_from_known([
2502 Fq::from_montgomery_limbs([
2503 9015221291577245683,
2504 8239323489949974514,
2505 1646089257421115374,
2506 958099254763297437,
2507 ]),
2508 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2509 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2510 Fq::from_montgomery_limbs([0, 0, 0, 0]),
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 525395534966640354,
2516 4649108525155679700,
2517 5611566907608735139,
2518 1157162242601075454,
2519 ]),
2520 Fq::from_montgomery_limbs([
2521 4270514995051619857,
2522 9080682450539254193,
2523 11764444330152623833,
2524 1296452142209921646,
2525 ]),
2526 Fq::from_montgomery_limbs([
2527 13085423902825236141,
2528 4106908764311471538,
2529 2111632228314415714,
2530 345239388869093745,
2531 ]),
2532 Fq::from_montgomery_limbs([
2533 4739016182142013260,
2534 12433567496673952941,
2535 16956579312525014509,
2536 596646251662680532,
2537 ]),
2538 Fq::from_montgomery_limbs([
2539 15744576121486695479,
2540 10597769634158624533,
2541 14136093497735719287,
2542 512698864094506675,
2543 ]),
2544 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2545 Fq::from_montgomery_limbs([
2546 4270514995051619857,
2547 9080682450539254193,
2548 11764444330152623833,
2549 1296452142209921646,
2550 ]),
2551 Fq::from_montgomery_limbs([
2552 14428417055342911695,
2553 8272271618979314579,
2554 5027159236098050530,
2555 724167566789085063,
2556 ]),
2557 Fq::from_montgomery_limbs([
2558 3709734358196874918,
2559 11929487831132379323,
2560 16830563350788980501,
2561 398518023243913541,
2562 ]),
2563 Fq::from_montgomery_limbs([
2564 899835313390383283,
2565 10922138075185035991,
2566 10399061813978257330,
2567 1225969452739805970,
2568 ]),
2569 Fq::from_montgomery_limbs([
2570 6368857132124103246,
2571 3738999983005063047,
2572 6786228693787372954,
2573 743414762217018339,
2574 ]),
2575 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2576 Fq::from_montgomery_limbs([
2577 13085423902825236141,
2578 4106908764311471538,
2579 2111632228314415714,
2580 345239388869093745,
2581 ]),
2582 Fq::from_montgomery_limbs([
2583 3709734358196874918,
2584 11929487831132379323,
2585 16830563350788980501,
2586 398518023243913541,
2587 ]),
2588 Fq::from_montgomery_limbs([
2589 9860604545813959634,
2590 6023137071889763432,
2591 18357541439838773826,
2592 267782511194587624,
2593 ]),
2594 Fq::from_montgomery_limbs([
2595 5425553862160636710,
2596 10155674884481011840,
2597 8882505056945541629,
2598 629430891711291823,
2599 ]),
2600 Fq::from_montgomery_limbs([
2601 5693655221984583188,
2602 5078045342146247458,
2603 8593703977821442979,
2604 40108457599127726,
2605 ]),
2606 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2607 Fq::from_montgomery_limbs([
2608 4739016182142013260,
2609 12433567496673952941,
2610 16956579312525014509,
2611 596646251662680532,
2612 ]),
2613 Fq::from_montgomery_limbs([
2614 899835313390383283,
2615 10922138075185035991,
2616 10399061813978257330,
2617 1225969452739805970,
2618 ]),
2619 Fq::from_montgomery_limbs([
2620 5425553862160636710,
2621 10155674884481011840,
2622 8882505056945541629,
2623 629430891711291823,
2624 ]),
2625 Fq::from_montgomery_limbs([
2626 1974709593969888668,
2627 3838580677334353595,
2628 4105349786837999128,
2629 16966368926604082,
2630 ]),
2631 Fq::from_montgomery_limbs([
2632 16299857180872679507,
2633 9990704222165585528,
2634 17839066130443287287,
2635 1300929190020977365,
2636 ]),
2637 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2638 Fq::from_montgomery_limbs([
2639 15744576121486695479,
2640 10597769634158624533,
2641 14136093497735719287,
2642 512698864094506675,
2643 ]),
2644 Fq::from_montgomery_limbs([
2645 6368857132124103246,
2646 3738999983005063047,
2647 6786228693787372954,
2648 743414762217018339,
2649 ]),
2650 Fq::from_montgomery_limbs([
2651 5693655221984583188,
2652 5078045342146247458,
2653 8593703977821442979,
2654 40108457599127726,
2655 ]),
2656 Fq::from_montgomery_limbs([
2657 16299857180872679507,
2658 9990704222165585528,
2659 17839066130443287287,
2660 1300929190020977365,
2661 ]),
2662 Fq::from_montgomery_limbs([
2663 14268832143359565128,
2664 14009303067203234749,
2665 1311318265344615584,
2666 224271541899878138,
2667 ]),
2668 ]),
2669 v_collection: [
2670 Matrix::<1, 5, 5>::new_from_known([
2671 Fq::from_montgomery_limbs([
2672 14878706952858838161,
2673 15410104227655356999,
2674 17393275270132988194,
2675 905602962502284432,
2676 ]),
2677 Fq::from_montgomery_limbs([
2678 17721242321237835775,
2679 11985636621509722110,
2680 11478464757469040638,
2681 960562638525520553,
2682 ]),
2683 Fq::from_montgomery_limbs([
2684 17640631015407645126,
2685 17416650484724036037,
2686 14803487960933328666,
2687 554882262980868625,
2688 ]),
2689 Fq::from_montgomery_limbs([
2690 10632745392742701465,
2691 7191381972905833266,
2692 10576427669223334706,
2693 1037506184958051122,
2694 ]),
2695 Fq::from_montgomery_limbs([
2696 7989155441247042094,
2697 18276457113184108543,
2698 17999817914616464103,
2699 943187440870955565,
2700 ]),
2701 ]),
2702 Matrix::<1, 5, 5>::new_from_known([
2703 Fq::from_montgomery_limbs([
2704 15846042622821125949,
2705 5578170090212244723,
2706 14386484975980635087,
2707 1162081450610719662,
2708 ]),
2709 Fq::from_montgomery_limbs([
2710 9425713365442649542,
2711 17724400577059603932,
2712 10835235343511845981,
2713 1179696731387397906,
2714 ]),
2715 Fq::from_montgomery_limbs([
2716 15470398571621834328,
2717 8748455436620348445,
2718 11923882037413103894,
2719 147851229490754041,
2720 ]),
2721 Fq::from_montgomery_limbs([
2722 3205030528550848740,
2723 11233883805951482885,
2724 4631904539047675327,
2725 85240573307222008,
2726 ]),
2727 Fq::from_montgomery_limbs([
2728 4306955861584430579,
2729 2866573513612242948,
2730 5009794262667624955,
2731 295301720036234004,
2732 ]),
2733 ]),
2734 Matrix::<1, 5, 5>::new_from_known([
2735 Fq::from_montgomery_limbs([
2736 7251188616661835801,
2737 8810908530742177026,
2738 5438752491170217053,
2739 624809552915168399,
2740 ]),
2741 Fq::from_montgomery_limbs([
2742 8041373032028091555,
2743 15486500451885216694,
2744 2640515848525906572,
2745 1101280997644118799,
2746 ]),
2747 Fq::from_montgomery_limbs([
2748 1028894706146998760,
2749 13234395603487812099,
2750 310927904286248029,
2751 1284009513603315703,
2752 ]),
2753 Fq::from_montgomery_limbs([
2754 15907405187752122338,
2755 7460014754810790101,
2756 3112115084952575259,
2757 1176166567473148345,
2758 ]),
2759 Fq::from_montgomery_limbs([
2760 6667915961879815626,
2761 11892868641826580977,
2762 17153671363694122316,
2763 1080025318281387536,
2764 ]),
2765 ]),
2766 Matrix::<1, 5, 5>::new_from_known([
2767 Fq::from_montgomery_limbs([
2768 5168631598983031118,
2769 1709031240629846937,
2770 12176717122174422876,
2771 1133547231698905845,
2772 ]),
2773 Fq::from_montgomery_limbs([
2774 6505284181050366169,
2775 6621303409684149204,
2776 14721846886395529985,
2777 756463071795143691,
2778 ]),
2779 Fq::from_montgomery_limbs([
2780 10252599865552606113,
2781 8719458131520431579,
2782 4094128546015477610,
2783 154229004185959046,
2784 ]),
2785 Fq::from_montgomery_limbs([
2786 5962216050578461567,
2787 1852471921743211935,
2788 14625008624739847061,
2789 402573870144144998,
2790 ]),
2791 Fq::from_montgomery_limbs([
2792 2504232889257023710,
2793 6382931252528192024,
2794 946087668070181732,
2795 39444081019304469,
2796 ]),
2797 ]),
2798 Matrix::<1, 5, 5>::new_from_known([
2799 Fq::from_montgomery_limbs([
2800 8935875040282017923,
2801 9359087371918622751,
2802 4377160640113921337,
2803 438001764693096006,
2804 ]),
2805 Fq::from_montgomery_limbs([
2806 5964768355342862060,
2807 12844248228508214834,
2808 217390320027003427,
2809 519739213235621144,
2810 ]),
2811 Fq::from_montgomery_limbs([
2812 13476869152223212245,
2813 14360104411032897136,
2814 16239873007321200914,
2815 3853403215029221,
2816 ]),
2817 Fq::from_montgomery_limbs([
2818 14270258435530476850,
2819 16224741710497622821,
2820 15034723833298150364,
2821 1105854585395665472,
2822 ]),
2823 Fq::from_montgomery_limbs([
2824 3034628514738856022,
2825 14677362698363483188,
2826 10612467457981582049,
2827 621317746892157952,
2828 ]),
2829 ]),
2830 Matrix::<1, 5, 5>::new_from_known([
2831 Fq::from_montgomery_limbs([
2832 12356435149313176789,
2833 14997081370594107955,
2834 2318538420922195008,
2835 27051273329381197,
2836 ]),
2837 Fq::from_montgomery_limbs([
2838 14179669150985422172,
2839 1587784931571575237,
2840 15544226047094276906,
2841 265503486564006544,
2842 ]),
2843 Fq::from_montgomery_limbs([
2844 15848703335457516734,
2845 12988350955449684774,
2846 10747751923255963574,
2847 192884410298894891,
2848 ]),
2849 Fq::from_montgomery_limbs([
2850 13283753749608228542,
2851 15731192032524989112,
2852 10134977648663526427,
2853 1011453356572734072,
2854 ]),
2855 Fq::from_montgomery_limbs([
2856 8372393423324448788,
2857 2642634076467295974,
2858 2238857053734841195,
2859 713995311234362151,
2860 ]),
2861 ]),
2862 Matrix::<1, 5, 5>::new_from_known([
2863 Fq::from_montgomery_limbs([
2864 6650896784315049976,
2865 8618299026172959087,
2866 4613782712309215097,
2867 1194575414958458214,
2868 ]),
2869 Fq::from_montgomery_limbs([
2870 8401059625843059611,
2871 9360504521211886317,
2872 9752588986385800578,
2873 35467022242567223,
2874 ]),
2875 Fq::from_montgomery_limbs([
2876 14549311442558804272,
2877 14851474988790195550,
2878 17243272363514665510,
2879 556891460284998050,
2880 ]),
2881 Fq::from_montgomery_limbs([
2882 8839260009215695166,
2883 5332337195891362342,
2884 10215113273837828390,
2885 53276328504747705,
2886 ]),
2887 Fq::from_montgomery_limbs([
2888 4743214023748331668,
2889 16150812970442549102,
2890 3607008032772749996,
2891 71636842460588166,
2892 ]),
2893 ]),
2894 Matrix::<1, 5, 5>::new_from_known([
2895 Fq::from_montgomery_limbs([
2896 7745993606763106157,
2897 400962028791523193,
2898 14448679365436054364,
2899 127361796442057001,
2900 ]),
2901 Fq::from_montgomery_limbs([
2902 4881557665307853374,
2903 16503843953516371036,
2904 2631138906021440407,
2905 1145135568670602972,
2906 ]),
2907 Fq::from_montgomery_limbs([
2908 3748730199472583624,
2909 1701168955512052480,
2910 1204298795241125154,
2911 919171892692993894,
2912 ]),
2913 Fq::from_montgomery_limbs([
2914 16293341788272558865,
2915 17325870627390234246,
2916 16387125646971798797,
2917 1009137174300676172,
2918 ]),
2919 Fq::from_montgomery_limbs([
2920 2499133372428019558,
2921 15739123510404573354,
2922 10677356306660504584,
2923 958976143899963938,
2924 ]),
2925 ]),
2926 Matrix::<1, 5, 5>::new_from_known([
2927 Fq::from_montgomery_limbs([
2928 14252792066102246657,
2929 15864171804698265189,
2930 11911247415967054910,
2931 961487415285183784,
2932 ]),
2933 Fq::from_montgomery_limbs([
2934 9957038734178160162,
2935 250039500043978770,
2936 375263104710602935,
2937 35544998893003180,
2938 ]),
2939 Fq::from_montgomery_limbs([
2940 831877114936420076,
2941 2002790044227393828,
2942 11129740988708533905,
2943 746550053534881799,
2944 ]),
2945 Fq::from_montgomery_limbs([
2946 4734226494958051881,
2947 18003010652169239318,
2948 16569731595317548852,
2949 109984045623665701,
2950 ]),
2951 Fq::from_montgomery_limbs([
2952 10630025490758573206,
2953 12380598183142825838,
2954 1493124485160554052,
2955 492990263362994025,
2956 ]),
2957 ]),
2958 Matrix::<1, 5, 5>::new_from_known([
2959 Fq::from_montgomery_limbs([
2960 9005167414234319760,
2961 16535434979210366835,
2962 5819620234707341946,
2963 602158252276980823,
2964 ]),
2965 Fq::from_montgomery_limbs([
2966 9119416898454972043,
2967 8049431789793640151,
2968 13607373929564011639,
2969 761938773322253558,
2970 ]),
2971 Fq::from_montgomery_limbs([
2972 11646529739221266743,
2973 15631506041020749904,
2974 7526925524884509569,
2975 797718489067789891,
2976 ]),
2977 Fq::from_montgomery_limbs([
2978 14242496370333104920,
2979 8841581893310155090,
2980 1684451748824201839,
2981 293704403017488420,
2982 ]),
2983 Fq::from_montgomery_limbs([
2984 12068414265588270249,
2985 7748413288237551533,
2986 18041956849707733339,
2987 1127727052880210045,
2988 ]),
2989 ]),
2990 Matrix::<1, 5, 5>::new_from_known([
2991 Fq::from_montgomery_limbs([
2992 16896144613183838177,
2993 12574347096617734902,
2994 8321293894060275613,
2995 1181815496381441993,
2996 ]),
2997 Fq::from_montgomery_limbs([
2998 11490675786236053006,
2999 9698599818026366787,
3000 5948732065795477184,
3001 425414085344036431,
3002 ]),
3003 Fq::from_montgomery_limbs([
3004 13535638352040032845,
3005 11010719926202516879,
3006 10750188616385991719,
3007 450767332534563092,
3008 ]),
3009 Fq::from_montgomery_limbs([
3010 3178227411283526947,
3011 463456667345831080,
3012 14382176159228633426,
3013 829036438269219798,
3014 ]),
3015 Fq::from_montgomery_limbs([
3016 15205960183032177355,
3017 12047942859395994973,
3018 5508647109209154207,
3019 409271998288939244,
3020 ]),
3021 ]),
3022 Matrix::<1, 5, 5>::new_from_known([
3023 Fq::from_montgomery_limbs([
3024 5842441710461865655,
3025 14354544144458273887,
3026 16159087842820577493,
3027 1102018593492537867,
3028 ]),
3029 Fq::from_montgomery_limbs([
3030 10259604216221740521,
3031 2737735964532783652,
3032 1934594841398453131,
3033 915029026536998488,
3034 ]),
3035 Fq::from_montgomery_limbs([
3036 5389086520584317977,
3037 2729523047482171967,
3038 12492070423980987131,
3039 339278797072716184,
3040 ]),
3041 Fq::from_montgomery_limbs([
3042 11961359983369405646,
3043 8872285219479794351,
3044 11590963834161858363,
3045 847871031745582321,
3046 ]),
3047 Fq::from_montgomery_limbs([
3048 15708428924964800383,
3049 9689329403735339585,
3050 876235638671718277,
3051 1293191834696859659,
3052 ]),
3053 ]),
3054 Matrix::<1, 5, 5>::new_from_known([
3055 Fq::from_montgomery_limbs([
3056 10926323662882715805,
3057 6357617649943251603,
3058 3882295273855196975,
3059 302265041875854273,
3060 ]),
3061 Fq::from_montgomery_limbs([
3062 11884492353389440282,
3063 10865891220420186719,
3064 1506391581950765997,
3065 1273730401079532625,
3066 ]),
3067 Fq::from_montgomery_limbs([
3068 6062018478948078733,
3069 2238300480159412589,
3070 4475922925472998435,
3071 427700151782713553,
3072 ]),
3073 Fq::from_montgomery_limbs([
3074 14998626184060509521,
3075 8084520935552429366,
3076 16157620168154649636,
3077 936139145933018848,
3078 ]),
3079 Fq::from_montgomery_limbs([
3080 5424440642649697210,
3081 11030005216981850100,
3082 3736937858414725236,
3083 353926131228082038,
3084 ]),
3085 ]),
3086 Matrix::<1, 5, 5>::new_from_known([
3087 Fq::from_montgomery_limbs([
3088 6991010538111487096,
3089 3208699080691172022,
3090 15674148293257243198,
3091 528616403431683993,
3092 ]),
3093 Fq::from_montgomery_limbs([
3094 5895680427204256637,
3095 15308092775755115835,
3096 5725537177674079322,
3097 624044939296156178,
3098 ]),
3099 Fq::from_montgomery_limbs([
3100 15682781481863573356,
3101 12524037328552645708,
3102 13137829315048512550,
3103 453866324724543378,
3104 ]),
3105 Fq::from_montgomery_limbs([
3106 5999454803832491786,
3107 11757829240759186672,
3108 16786792833686808980,
3109 1008783050525293123,
3110 ]),
3111 Fq::from_montgomery_limbs([
3112 4965854579231858650,
3113 4470286827276633884,
3114 18255756957602409470,
3115 1257925856629374202,
3116 ]),
3117 ]),
3118 Matrix::<1, 5, 5>::new_from_known([
3119 Fq::from_montgomery_limbs([
3120 6756792567489648436,
3121 9174065877200954316,
3122 14588982300344994878,
3123 495558322589948188,
3124 ]),
3125 Fq::from_montgomery_limbs([
3126 16407708660026263913,
3127 17259087838077364390,
3128 13625416430514248811,
3129 207969270690764399,
3130 ]),
3131 Fq::from_montgomery_limbs([
3132 11870501170821012713,
3133 18047340589874750756,
3134 93512878936056238,
3135 478288405689674144,
3136 ]),
3137 Fq::from_montgomery_limbs([
3138 873793291822892867,
3139 17836937206243952238,
3140 5128543094009831337,
3141 132104142075103351,
3142 ]),
3143 Fq::from_montgomery_limbs([
3144 930043501771119768,
3145 15613823438280495150,
3146 6464828430156696004,
3147 359908580296612711,
3148 ]),
3149 ]),
3150 Matrix::<1, 5, 5>::new_from_known([
3151 Fq::from_montgomery_limbs([
3152 18438521383060368690,
3153 14476395006954860191,
3154 3425945854098388541,
3155 944003065485357481,
3156 ]),
3157 Fq::from_montgomery_limbs([
3158 3311768994809575814,
3159 10503690422660653146,
3160 10526674813249312919,
3161 864802385440313737,
3162 ]),
3163 Fq::from_montgomery_limbs([
3164 8810438360452481727,
3165 12680118392135545157,
3166 13641246557527810849,
3167 1252645481585559515,
3168 ]),
3169 Fq::from_montgomery_limbs([
3170 14299022666252422420,
3171 14841944407301251201,
3172 15136912555606442873,
3173 856379827147710042,
3174 ]),
3175 Fq::from_montgomery_limbs([
3176 2062956481566651544,
3177 12093197892291904316,
3178 11631702561466346010,
3179 144441024184915083,
3180 ]),
3181 ]),
3182 Matrix::<1, 5, 5>::new_from_known([
3183 Fq::from_montgomery_limbs([
3184 7993143086113878189,
3185 3624434478267440806,
3186 13278019726447600986,
3187 654136378501676754,
3188 ]),
3189 Fq::from_montgomery_limbs([
3190 7992479798903963387,
3191 7895372341947686019,
3192 4334209577850630153,
3193 1180883581857163505,
3194 ]),
3195 Fq::from_montgomery_limbs([
3196 3027910113375733204,
3197 4485846847893599917,
3198 15294205594975595333,
3199 100423190749786506,
3200 ]),
3201 Fq::from_montgomery_limbs([
3202 4120333963287836783,
3203 11671291525241561103,
3204 9901986613770683621,
3205 651573815597675240,
3206 ]),
3207 Fq::from_montgomery_limbs([
3208 11428233072419105889,
3209 2944089198827741952,
3210 5214300364587140869,
3211 1189260788971714219,
3212 ]),
3213 ]),
3214 Matrix::<1, 5, 5>::new_from_known([
3215 Fq::from_montgomery_limbs([
3216 4551784723657471230,
3217 11207660824801473415,
3218 13918603200560666189,
3219 909618049825337324,
3220 ]),
3221 Fq::from_montgomery_limbs([
3222 2675501742361862254,
3223 5250455330270200426,
3224 12586684907650118989,
3225 1330284139416672144,
3226 ]),
3227 Fq::from_montgomery_limbs([
3228 12040165191610290428,
3229 16503275216221829144,
3230 5260280485839874467,
3231 1227840433161545716,
3232 ]),
3233 Fq::from_montgomery_limbs([
3234 7679795588389348013,
3235 15191087003013740641,
3236 15555116922073130768,
3237 344262909715092301,
3238 ]),
3239 Fq::from_montgomery_limbs([
3240 6169211658344078831,
3241 531166906056818046,
3242 1322277761354587680,
3243 210108348638141620,
3244 ]),
3245 ]),
3246 Matrix::<1, 5, 5>::new_from_known([
3247 Fq::from_montgomery_limbs([
3248 2248963634255452368,
3249 15563761402233708045,
3250 3393738612726595863,
3251 270037018221350140,
3252 ]),
3253 Fq::from_montgomery_limbs([
3254 11601309892240246141,
3255 3638465656527027416,
3256 1395756619190043331,
3257 138813074475309167,
3258 ]),
3259 Fq::from_montgomery_limbs([
3260 5291125713635089368,
3261 14819398438069773983,
3262 13114950161797142217,
3263 25590678184791818,
3264 ]),
3265 Fq::from_montgomery_limbs([
3266 5534877013314393609,
3267 1759072288627502628,
3268 16181954987325767733,
3269 134682133959402637,
3270 ]),
3271 Fq::from_montgomery_limbs([
3272 4161482061465148858,
3273 16683675972158421075,
3274 3099920947049254669,
3275 957124783703318342,
3276 ]),
3277 ]),
3278 Matrix::<1, 5, 5>::new_from_known([
3279 Fq::from_montgomery_limbs([
3280 4510595409768553239,
3281 4974517727576987266,
3282 15978837518179150731,
3283 335342136683204977,
3284 ]),
3285 Fq::from_montgomery_limbs([
3286 6636059739397131000,
3287 9640261418262971507,
3288 18005427333200225259,
3289 755356145676404050,
3290 ]),
3291 Fq::from_montgomery_limbs([
3292 15131021729179035121,
3293 3322699383837917438,
3294 16694361960801514505,
3295 921109580640113983,
3296 ]),
3297 Fq::from_montgomery_limbs([
3298 7634123202466598220,
3299 810298720516221902,
3300 840599007384281843,
3301 656905365051140366,
3302 ]),
3303 Fq::from_montgomery_limbs([
3304 11303104649441347181,
3305 12152859936809161042,
3306 8157805368560172079,
3307 226879006121087093,
3308 ]),
3309 ]),
3310 Matrix::<1, 5, 5>::new_from_known([
3311 Fq::from_montgomery_limbs([
3312 4222768071479979923,
3313 6221868890067618237,
3314 6706788302094795072,
3315 470857396285528184,
3316 ]),
3317 Fq::from_montgomery_limbs([
3318 837480829798517493,
3319 2139750872442256742,
3320 5213024737969853757,
3321 586284678362031355,
3322 ]),
3323 Fq::from_montgomery_limbs([
3324 18413923626929455705,
3325 12351565965899756217,
3326 17706788027426014962,
3327 396824563157594134,
3328 ]),
3329 Fq::from_montgomery_limbs([
3330 11865172518676463006,
3331 15009302994533156097,
3332 16026973397263722566,
3333 1243693536982901909,
3334 ]),
3335 Fq::from_montgomery_limbs([
3336 7252462303444002809,
3337 9549080656602382200,
3338 6400682688095758738,
3339 206059245034621582,
3340 ]),
3341 ]),
3342 Matrix::<1, 5, 5>::new_from_known([
3343 Fq::from_montgomery_limbs([
3344 8375555895564253468,
3345 7925422648691473256,
3346 16821885625729885556,
3347 985921094928817309,
3348 ]),
3349 Fq::from_montgomery_limbs([
3350 2046299323863281369,
3351 13882781361146929705,
3352 15448488877161513887,
3353 490830679341871217,
3354 ]),
3355 Fq::from_montgomery_limbs([
3356 7429671875567937801,
3357 10229990955659579326,
3358 17998819479213658262,
3359 468703275856634003,
3360 ]),
3361 Fq::from_montgomery_limbs([
3362 935091299463462187,
3363 8817490257427535584,
3364 4201099561438792936,
3365 308509415209580254,
3366 ]),
3367 Fq::from_montgomery_limbs([
3368 15175273292104113428,
3369 15547411926550064745,
3370 18326735472470278187,
3371 46288025765161350,
3372 ]),
3373 ]),
3374 Matrix::<1, 5, 5>::new_from_known([
3375 Fq::from_montgomery_limbs([
3376 2376775726955536549,
3377 7198072882321834778,
3378 5820986721223000167,
3379 1305597767879405697,
3380 ]),
3381 Fq::from_montgomery_limbs([
3382 11562318758115257029,
3383 422264710018175990,
3384 4674708296176782956,
3385 321605471576378125,
3386 ]),
3387 Fq::from_montgomery_limbs([
3388 14422446717346283559,
3389 4522943560525804925,
3390 12524200552641302343,
3391 992174839589322314,
3392 ]),
3393 Fq::from_montgomery_limbs([
3394 2660063348396745477,
3395 3046452749899310106,
3396 12556614243413712855,
3397 292167348848223777,
3398 ]),
3399 Fq::from_montgomery_limbs([
3400 6669133378666467376,
3401 16135058416591179983,
3402 5627772722389914612,
3403 379140231019033687,
3404 ]),
3405 ]),
3406 Matrix::<1, 5, 5>::new_from_known([
3407 Fq::from_montgomery_limbs([
3408 5810827329069058342,
3409 9466338503926448033,
3410 13219994636736965707,
3411 1133919653888422832,
3412 ]),
3413 Fq::from_montgomery_limbs([
3414 11390689618371396272,
3415 9685029449622007826,
3416 13242820419679967997,
3417 1063349475949275121,
3418 ]),
3419 Fq::from_montgomery_limbs([
3420 17763514783930037833,
3421 4809121417820211582,
3422 2875494172038972593,
3423 296043141357624455,
3424 ]),
3425 Fq::from_montgomery_limbs([
3426 11611692421411999894,
3427 15220040608516358932,
3428 282037844166434278,
3429 281687965959955676,
3430 ]),
3431 Fq::from_montgomery_limbs([
3432 4438433961554370400,
3433 12877811549841781756,
3434 15741991214229698793,
3435 280844842261162310,
3436 ]),
3437 ]),
3438 Matrix::<1, 5, 5>::new_from_known([
3439 Fq::from_montgomery_limbs([
3440 17169851287016280826,
3441 10822471821114911500,
3442 1491721488328495957,
3443 216887165418048275,
3444 ]),
3445 Fq::from_montgomery_limbs([
3446 10994016828848236257,
3447 13445735015422423625,
3448 5018165562796963731,
3449 602535974428869013,
3450 ]),
3451 Fq::from_montgomery_limbs([
3452 15126102334199024880,
3453 12867057351876414370,
3454 11159159194149946143,
3455 115881007342718723,
3456 ]),
3457 Fq::from_montgomery_limbs([
3458 2794226167942571109,
3459 1548538606305510804,
3460 18291849409425428450,
3461 1340198361306759329,
3462 ]),
3463 Fq::from_montgomery_limbs([
3464 4267162633414624824,
3465 10477712998553375282,
3466 6267269603855607198,
3467 982787929756500753,
3468 ]),
3469 ]),
3470 Matrix::<1, 5, 5>::new_from_known([
3471 Fq::from_montgomery_limbs([
3472 17381305832731585223,
3473 9268492096935184370,
3474 5234949576450927455,
3475 21981840360160805,
3476 ]),
3477 Fq::from_montgomery_limbs([
3478 4087927870940191769,
3479 13753414599816622073,
3480 13058329164603291227,
3481 834131236566284313,
3482 ]),
3483 Fq::from_montgomery_limbs([
3484 2546006251271733188,
3485 17600491598884247746,
3486 14062949050289708021,
3487 821447001112770449,
3488 ]),
3489 Fq::from_montgomery_limbs([
3490 11557892681183640983,
3491 3553808879521780009,
3492 5828391499760976335,
3493 706816644254127358,
3494 ]),
3495 Fq::from_montgomery_limbs([
3496 87239843232890664,
3497 15700472350663595467,
3498 174519885711847558,
3499 1123281110015984026,
3500 ]),
3501 ]),
3502 Matrix::<1, 5, 5>::new_from_known([
3503 Fq::from_montgomery_limbs([
3504 2827103361153395332,
3505 9771223936028754360,
3506 17019668270000185744,
3507 250846897334218988,
3508 ]),
3509 Fq::from_montgomery_limbs([
3510 5119814427033781946,
3511 2081312228775851068,
3512 14150656259150135415,
3513 412824983197785589,
3514 ]),
3515 Fq::from_montgomery_limbs([
3516 8649749569221526485,
3517 520969763542437761,
3518 18397072919079815484,
3519 473314797287595707,
3520 ]),
3521 Fq::from_montgomery_limbs([
3522 8194315404853463748,
3523 15060811055660635178,
3524 11318868018104656047,
3525 759678196288305769,
3526 ]),
3527 Fq::from_montgomery_limbs([
3528 10987085614436524099,
3529 8214999842286961244,
3530 5709575456336614864,
3531 1056310210546073817,
3532 ]),
3533 ]),
3534 Matrix::<1, 5, 5>::new_from_known([
3535 Fq::from_montgomery_limbs([
3536 6532789592575228069,
3537 3265438887018026818,
3538 17111525378271668948,
3539 1320499686924692082,
3540 ]),
3541 Fq::from_montgomery_limbs([
3542 2197318288869911886,
3543 307033351054159068,
3544 14033422988641489555,
3545 689909787061505964,
3546 ]),
3547 Fq::from_montgomery_limbs([
3548 3507717375223769090,
3549 10033023697975699121,
3550 15321810854570355253,
3551 890016110699860569,
3552 ]),
3553 Fq::from_montgomery_limbs([
3554 6897743854949081968,
3555 10158161465287387801,
3556 9179072886178700686,
3557 620001185095628667,
3558 ]),
3559 Fq::from_montgomery_limbs([
3560 17448998618237282714,
3561 2553852017375909,
3562 1793419264718581373,
3563 725044591608116521,
3564 ]),
3565 ]),
3566 Matrix::<1, 5, 5>::new_from_known([
3567 Fq::from_montgomery_limbs([
3568 16012268534560097932,
3569 13416075297285506301,
3570 16493211465851903420,
3571 1091948493998105984,
3572 ]),
3573 Fq::from_montgomery_limbs([
3574 14392369108156989804,
3575 10617956576365144165,
3576 11809714324716728769,
3577 1188444181516740870,
3578 ]),
3579 Fq::from_montgomery_limbs([
3580 15466384892561009653,
3581 10941962222512674624,
3582 1913904384440848129,
3583 606922266921522145,
3584 ]),
3585 Fq::from_montgomery_limbs([
3586 14584618083984398210,
3587 14186299915288736440,
3588 17757535025721844034,
3589 1063945284694781692,
3590 ]),
3591 Fq::from_montgomery_limbs([
3592 6792570643359499560,
3593 4535097730077924957,
3594 12073011546773881134,
3595 1137378726981169881,
3596 ]),
3597 ]),
3598 Matrix::<1, 5, 5>::new_from_known([
3599 Fq::from_montgomery_limbs([
3600 15102847980540220978,
3601 5520326730982346297,
3602 2698729817022762322,
3603 1194738055539544118,
3604 ]),
3605 Fq::from_montgomery_limbs([
3606 6147044654176302920,
3607 2364057582092333147,
3608 11540841437940787480,
3609 556063025467036658,
3610 ]),
3611 Fq::from_montgomery_limbs([
3612 1647311829762859720,
3613 13415217341886740242,
3614 16485335404491864284,
3615 491439704095662519,
3616 ]),
3617 Fq::from_montgomery_limbs([
3618 12141727361360860468,
3619 9821467392353266448,
3620 11166495178510190210,
3621 245664677516946430,
3622 ]),
3623 Fq::from_montgomery_limbs([
3624 5360382176507266601,
3625 768193387830048410,
3626 3996566068451735831,
3627 795512106745688059,
3628 ]),
3629 ]),
3630 Matrix::<1, 5, 5>::new_from_known([
3631 Fq::from_montgomery_limbs([
3632 2189128173409064762,
3633 11499748369225599949,
3634 13499847782281945694,
3635 1340871250773004273,
3636 ]),
3637 Fq::from_montgomery_limbs([
3638 1159278411248794850,
3639 6701355601329876701,
3640 10476550252580870928,
3641 490304301636428667,
3642 ]),
3643 Fq::from_montgomery_limbs([
3644 4466317563581149355,
3645 15128213745330326318,
3646 5257941398512314848,
3647 1111650855813054172,
3648 ]),
3649 Fq::from_montgomery_limbs([
3650 8839577424282800883,
3651 7949855030699078116,
3652 2996553645008704135,
3653 85398623640375889,
3654 ]),
3655 Fq::from_montgomery_limbs([
3656 9514362250339879637,
3657 13706294199150347872,
3658 11853022932563321890,
3659 818790762833572114,
3660 ]),
3661 ]),
3662 ],
3663 w_hat_collection: [
3664 Matrix::<5, 1, 5>::new_from_known([
3665 Fq::from_montgomery_limbs([
3666 15152119682022281684,
3667 2079168917784381610,
3668 8548836536267236340,
3669 524962922610130041,
3670 ]),
3671 Fq::from_montgomery_limbs([
3672 16770218796354446865,
3673 6164915921600418774,
3674 18434642018604219177,
3675 984431242893424161,
3676 ]),
3677 Fq::from_montgomery_limbs([
3678 12257484635811173124,
3679 3332345693021229804,
3680 9856107590709416500,
3681 1159223252431020322,
3682 ]),
3683 Fq::from_montgomery_limbs([
3684 9979132349322887614,
3685 3961848182433907151,
3686 8799570660063224410,
3687 475862931364908156,
3688 ]),
3689 Fq::from_montgomery_limbs([
3690 3872788615927669352,
3691 15152509537124089722,
3692 5205890896288656861,
3693 1231307161030894178,
3694 ]),
3695 ]),
3696 Matrix::<5, 1, 5>::new_from_known([
3697 Fq::from_montgomery_limbs([
3698 311271084272320082,
3699 5284197557048869863,
3700 14669222562574339674,
3701 571307699885408030,
3702 ]),
3703 Fq::from_montgomery_limbs([
3704 11625781241601592791,
3705 14885568706820662540,
3706 17941376171308792723,
3707 783918507477975660,
3708 ]),
3709 Fq::from_montgomery_limbs([
3710 226868460330872644,
3711 12734244079593541616,
3712 10451890082278586850,
3713 32508669310149618,
3714 ]),
3715 Fq::from_montgomery_limbs([
3716 6020187144675607048,
3717 11405887127978088053,
3718 4712122969940341979,
3719 1080334010198437810,
3720 ]),
3721 Fq::from_montgomery_limbs([
3722 5933505187504807441,
3723 3473057270652036730,
3724 6105009132686901569,
3725 114203646444743763,
3726 ]),
3727 ]),
3728 Matrix::<5, 1, 5>::new_from_known([
3729 Fq::from_montgomery_limbs([
3730 1120856672192884245,
3731 16247214934320106390,
3732 15323677081999960076,
3733 62404200512763570,
3734 ]),
3735 Fq::from_montgomery_limbs([
3736 8831161875549232238,
3737 6077491870312206017,
3738 14081883006003626391,
3739 1154651324772984368,
3740 ]),
3741 Fq::from_montgomery_limbs([
3742 5661890842653089732,
3743 13320534556163866242,
3744 9035321631852285107,
3745 903630770886300483,
3746 ]),
3747 Fq::from_montgomery_limbs([
3748 15889657237181390432,
3749 15162271575679238159,
3750 1491114731026258819,
3751 287846816690944321,
3752 ]),
3753 Fq::from_montgomery_limbs([
3754 7238626723934307483,
3755 13278275328632196610,
3756 8627741857269318907,
3757 925711656222055996,
3758 ]),
3759 ]),
3760 Matrix::<5, 1, 5>::new_from_known([
3761 Fq::from_montgomery_limbs([
3762 16274331391150039806,
3763 1623594389399151027,
3764 11932333738554132870,
3765 706372249166702105,
3766 ]),
3767 Fq::from_montgomery_limbs([
3768 732452989467352943,
3769 1044771601653765712,
3770 7295501005775861284,
3771 241383337916425122,
3772 ]),
3773 Fq::from_montgomery_limbs([
3774 1055111559926828336,
3775 436063422223614235,
3776 8237830476387497674,
3777 486023893828905207,
3778 ]),
3779 Fq::from_montgomery_limbs([
3780 11846198484218265818,
3781 8058524634853844099,
3782 813566309310159764,
3783 1342803580678902586,
3784 ]),
3785 Fq::from_montgomery_limbs([
3786 13415802809644488728,
3787 14511002260322793565,
3788 4157389022600774011,
3789 262652662563663469,
3790 ]),
3791 ]),
3792 Matrix::<5, 1, 5>::new_from_known([
3793 Fq::from_montgomery_limbs([
3794 6280812441180517055,
3795 6148355053508262675,
3796 10298538567830482124,
3797 549753875811636329,
3798 ]),
3799 Fq::from_montgomery_limbs([
3800 824304312279887084,
3801 5198474444698315745,
3802 4090895165493551175,
3803 1217302205153655151,
3804 ]),
3805 Fq::from_montgomery_limbs([
3806 4735542953263469139,
3807 612014805877448122,
3808 12832372076520494984,
3809 750953222849642269,
3810 ]),
3811 Fq::from_montgomery_limbs([
3812 147828622890240493,
3813 128044761765714597,
3814 12093927754417303852,
3815 132385902652165260,
3816 ]),
3817 Fq::from_montgomery_limbs([
3818 18171144465445367562,
3819 4015656370081309510,
3820 15930285771575041073,
3821 1269412572744267545,
3822 ]),
3823 ]),
3824 Matrix::<5, 1, 5>::new_from_known([
3825 Fq::from_montgomery_limbs([
3826 14398639038380864956,
3827 6619595958723804843,
3828 12719064233121758133,
3829 406442443563323199,
3830 ]),
3831 Fq::from_montgomery_limbs([
3832 10762946454330918789,
3833 5528361687335835568,
3834 3991418360765486778,
3835 286492429663333048,
3836 ]),
3837 Fq::from_montgomery_limbs([
3838 11742168906901241463,
3839 15503883602330266637,
3840 15831515237753512854,
3841 1044066191448484616,
3842 ]),
3843 Fq::from_montgomery_limbs([
3844 10525155675978585492,
3845 4670730111394235591,
3846 5961373269656674720,
3847 95271963105126236,
3848 ]),
3849 Fq::from_montgomery_limbs([
3850 584627878861922239,
3851 7921433855087631798,
3852 7615313333543717641,
3853 1109592926172816575,
3854 ]),
3855 ]),
3856 Matrix::<5, 1, 5>::new_from_known([
3857 Fq::from_montgomery_limbs([
3858 15091688909514107804,
3859 654570390524891199,
3860 16494576826680457410,
3861 30762953858016498,
3862 ]),
3863 Fq::from_montgomery_limbs([
3864 2761325807027693284,
3865 11935489432137753301,
3866 3489012309486987802,
3867 239715377721177782,
3868 ]),
3869 Fq::from_montgomery_limbs([
3870 10454593178969047515,
3871 1040128098662881642,
3872 5632035830401774632,
3873 554859180328868399,
3874 ]),
3875 Fq::from_montgomery_limbs([
3876 5107303737176549426,
3877 15727856129637397988,
3878 6051568784602114728,
3879 873492972237083876,
3880 ]),
3881 Fq::from_montgomery_limbs([
3882 12130743148391729861,
3883 11271998017451462639,
3884 10929122930592304172,
3885 194097991947183661,
3886 ]),
3887 ]),
3888 Matrix::<5, 1, 5>::new_from_known([
3889 Fq::from_montgomery_limbs([
3890 14867630937298531794,
3891 9612402140924249048,
3892 15791934086459495277,
3893 701876161263964392,
3894 ]),
3895 Fq::from_montgomery_limbs([
3896 4800492369986485195,
3897 837798357520426667,
3898 11678651630838500929,
3899 1197393486814847593,
3900 ]),
3901 Fq::from_montgomery_limbs([
3902 7361531118817265902,
3903 10654842008121782114,
3904 11329661993953094409,
3905 53031172666072441,
3906 ]),
3907 Fq::from_montgomery_limbs([
3908 13678736880795169285,
3909 11579896750305940195,
3910 16427828830934341434,
3911 373548996986898141,
3912 ]),
3913 Fq::from_montgomery_limbs([
3914 3113965972245214273,
3915 3618222426215928202,
3916 14280489027814430075,
3917 1227439762891391632,
3918 ]),
3919 ]),
3920 Matrix::<5, 1, 5>::new_from_known([
3921 Fq::from_montgomery_limbs([
3922 1519481477607620457,
3923 10318567135550122014,
3924 263846661207466096,
3925 640929643224454153,
3926 ]),
3927 Fq::from_montgomery_limbs([
3928 14263939264430200097,
3929 8800960240049783032,
3930 10525864428412568060,
3931 1229598433830944803,
3932 ]),
3933 Fq::from_montgomery_limbs([
3934 4737100860592755646,
3935 3405741585209394827,
3936 3774719897330733186,
3937 1001424607855656625,
3938 ]),
3939 Fq::from_montgomery_limbs([
3940 4527327887926361650,
3941 5195716198788998780,
3942 2452454045651672598,
3943 1114842100489228591,
3944 ]),
3945 Fq::from_montgomery_limbs([
3946 12639481132070877116,
3947 6184431555458882642,
3948 13833172896014011365,
3949 138391625804209902,
3950 ]),
3951 ]),
3952 Matrix::<5, 1, 5>::new_from_known([
3953 Fq::from_montgomery_limbs([
3954 3025469591916962139,
3955 1116358649574420645,
3956 10697299179333984962,
3957 1100828152488463516,
3958 ]),
3959 Fq::from_montgomery_limbs([
3960 17596104129549385707,
3961 117028884523868090,
3962 6843789980420923220,
3963 394144012237385792,
3964 ]),
3965 Fq::from_montgomery_limbs([
3966 76569421022187354,
3967 7618174529699040891,
3968 14258607882742494097,
3969 325795777168928125,
3970 ]),
3971 Fq::from_montgomery_limbs([
3972 9488688453300333348,
3973 6023458951346117124,
3974 8882873536266522192,
3975 1011335963622574163,
3976 ]),
3977 Fq::from_montgomery_limbs([
3978 10273078691683312131,
3979 14951774310795138631,
3980 5056574235010407582,
3981 216683108447003755,
3982 ]),
3983 ]),
3984 Matrix::<5, 1, 5>::new_from_known([
3985 Fq::from_montgomery_limbs([
3986 16270690847183812253,
3987 8396384187123364284,
3988 15973135291934403644,
3989 337754294626036574,
3990 ]),
3991 Fq::from_montgomery_limbs([
3992 11537970389959600601,
3993 15344885270945805038,
3994 16062179622496264928,
3995 634770789960495300,
3996 ]),
3997 Fq::from_montgomery_limbs([
3998 16629897675960611498,
3999 9857864935176241914,
4000 16649516829790580187,
4001 879077994781187974,
4002 ]),
4003 Fq::from_montgomery_limbs([
4004 15757760830891963153,
4005 1980968732617718233,
4006 363417887657441819,
4007 1245373320221094018,
4008 ]),
4009 Fq::from_montgomery_limbs([
4010 1369140419065411691,
4011 114665172743829173,
4012 16025067317418460214,
4013 772519184136728441,
4014 ]),
4015 ]),
4016 Matrix::<5, 1, 5>::new_from_known([
4017 Fq::from_montgomery_limbs([
4018 5166287970903668709,
4019 13178607088194812953,
4020 13394943015525495010,
4021 1136891698590635716,
4022 ]),
4023 Fq::from_montgomery_limbs([
4024 6786739958142009449,
4025 3712291089779086337,
4026 11114170296176591543,
4027 412243655343207746,
4028 ]),
4029 Fq::from_montgomery_limbs([
4030 2483986099773441215,
4031 6355297372287593359,
4032 12546131765129037338,
4033 850333435641268865,
4034 ]),
4035 Fq::from_montgomery_limbs([
4036 4129060137994461513,
4037 15810046888600142778,
4038 14959377549727103485,
4039 983509352989716443,
4040 ]),
4041 Fq::from_montgomery_limbs([
4042 5375190994774345144,
4043 6642323264045992752,
4044 697489999924152538,
4045 711658337986264203,
4046 ]),
4047 ]),
4048 Matrix::<5, 1, 5>::new_from_known([
4049 Fq::from_montgomery_limbs([
4050 10789013922038705474,
4051 15907427163103262467,
4052 6211828439721814286,
4053 821662973636748389,
4054 ]),
4055 Fq::from_montgomery_limbs([
4056 1245892911222176515,
4057 1760690499003421411,
4058 7411938278280460519,
4059 996198333836410116,
4060 ]),
4061 Fq::from_montgomery_limbs([
4062 14902739397227121611,
4063 9677074799597948924,
4064 16338232095647494428,
4065 107475751267019502,
4066 ]),
4067 Fq::from_montgomery_limbs([
4068 14751552868296217802,
4069 10957219946410361892,
4070 2609386566023075942,
4071 795435587890350748,
4072 ]),
4073 Fq::from_montgomery_limbs([
4074 14228026094996696402,
4075 2826584103258174948,
4076 1310186622837843420,
4077 912856498151667865,
4078 ]),
4079 ]),
4080 Matrix::<5, 1, 5>::new_from_known([
4081 Fq::from_montgomery_limbs([
4082 632309018718566470,
4083 8852208976226519541,
4084 5569100181556353071,
4085 984010564169166433,
4086 ]),
4087 Fq::from_montgomery_limbs([
4088 6992820576439012611,
4089 9698447268226822027,
4090 17633082455161111009,
4091 90244636707781414,
4092 ]),
4093 Fq::from_montgomery_limbs([
4094 6543679712083684758,
4095 10736979596575357883,
4096 4698076992795071575,
4097 1270787674212113,
4098 ]),
4099 Fq::from_montgomery_limbs([
4100 16044338327666607926,
4101 3960206126744122590,
4102 4858706793602461066,
4103 561666947698425720,
4104 ]),
4105 Fq::from_montgomery_limbs([
4106 3368306314740365965,
4107 9177942911310203166,
4108 18367144956945019416,
4109 653903203015259414,
4110 ]),
4111 ]),
4112 Matrix::<5, 1, 5>::new_from_known([
4113 Fq::from_montgomery_limbs([
4114 12874723854177830125,
4115 5100681384941725656,
4116 9285950066462290781,
4117 858148062800653733,
4118 ]),
4119 Fq::from_montgomery_limbs([
4120 4768366185853611631,
4121 14842169834008972704,
4122 16645218449281418514,
4123 817503519482950628,
4124 ]),
4125 Fq::from_montgomery_limbs([
4126 3007496102230569523,
4127 11399958112043651698,
4128 15787521760129406401,
4129 826416774444573023,
4130 ]),
4131 Fq::from_montgomery_limbs([
4132 10890936042157055266,
4133 8565215756042961896,
4134 1054057862367192487,
4135 202049359204983814,
4136 ]),
4137 Fq::from_montgomery_limbs([
4138 2425581217694278079,
4139 12792279644970276082,
4140 4689036727185422224,
4141 1064336763331781201,
4142 ]),
4143 ]),
4144 Matrix::<5, 1, 5>::new_from_known([
4145 Fq::from_montgomery_limbs([
4146 2764179143636297935,
4147 18061233587720561716,
4148 12411254568157467507,
4149 427402914001475058,
4150 ]),
4151 Fq::from_montgomery_limbs([
4152 2924816478430507635,
4153 9786303437156946185,
4154 13021435082088378496,
4155 78702703698317598,
4156 ]),
4157 Fq::from_montgomery_limbs([
4158 8200525868229314140,
4159 16881303073057711951,
4160 4187547714670888467,
4161 455617381392152389,
4162 ]),
4163 Fq::from_montgomery_limbs([
4164 8310666736636434815,
4165 16453325372394262716,
4166 13511049246920939341,
4167 416209098687774975,
4168 ]),
4169 Fq::from_montgomery_limbs([
4170 7508636928089493550,
4171 1778929466519171040,
4172 9865075252470321631,
4173 222439820478088778,
4174 ]),
4175 ]),
4176 Matrix::<5, 1, 5>::new_from_known([
4177 Fq::from_montgomery_limbs([
4178 26427962923262805,
4179 13400472629512916744,
4180 3808805306352074297,
4181 128699596583089680,
4182 ]),
4183 Fq::from_montgomery_limbs([
4184 18283636998376248321,
4185 5779768391741799708,
4186 8993926161412908836,
4187 272788598277303242,
4188 ]),
4189 Fq::from_montgomery_limbs([
4190 385260822800957491,
4191 7888556288710245505,
4192 12785711973091118063,
4193 1290081227789032623,
4194 ]),
4195 Fq::from_montgomery_limbs([
4196 7370461305656006315,
4197 8097104282146432375,
4198 3693139275053762963,
4199 1200841519361465892,
4200 ]),
4201 Fq::from_montgomery_limbs([
4202 12067130442173286908,
4203 2170379854767453652,
4204 13201336336736961495,
4205 927175852053928205,
4206 ]),
4207 ]),
4208 Matrix::<5, 1, 5>::new_from_known([
4209 Fq::from_montgomery_limbs([
4210 11214687023235424600,
4211 5560314158648804455,
4212 17670625093449035024,
4213 1242366510949799159,
4214 ]),
4215 Fq::from_montgomery_limbs([
4216 8409895882379798325,
4217 14471144258274119497,
4218 5245528502428581668,
4219 869805265859067382,
4220 ]),
4221 Fq::from_montgomery_limbs([
4222 2802161834127193832,
4223 181192611793840022,
4224 1581405763136818654,
4225 674326086636803499,
4226 ]),
4227 Fq::from_montgomery_limbs([
4228 5748156006252401196,
4229 9530968273316544473,
4230 1373075747037319701,
4231 478917773953068122,
4232 ]),
4233 Fq::from_montgomery_limbs([
4234 10550634859635316442,
4235 11115297058518078301,
4236 15167740297739703393,
4237 499663014055796942,
4238 ]),
4239 ]),
4240 Matrix::<5, 1, 5>::new_from_known([
4241 Fq::from_montgomery_limbs([
4242 8737679817842057617,
4243 14335003891544767889,
4244 5806471893265243804,
4245 1199697546794663346,
4246 ]),
4247 Fq::from_montgomery_limbs([
4248 18312746592170672376,
4249 2468171777169034619,
4250 11588707770047473860,
4251 1167607620745843361,
4252 ]),
4253 Fq::from_montgomery_limbs([
4254 8991056605371192176,
4255 9683166706953599777,
4256 3207279773035228554,
4257 1036594322405142084,
4258 ]),
4259 Fq::from_montgomery_limbs([
4260 10715958137830220707,
4261 13790797151438523296,
4262 3814352367403212083,
4263 338399526865285980,
4264 ]),
4265 Fq::from_montgomery_limbs([
4266 7602766395993095249,
4267 15421116878917379598,
4268 9842919232591540089,
4269 811441858348229638,
4270 ]),
4271 ]),
4272 Matrix::<5, 1, 5>::new_from_known([
4273 Fq::from_montgomery_limbs([
4274 11240616276279859335,
4275 18168970638218441074,
4276 12681307963217316671,
4277 529653072592394540,
4278 ]),
4279 Fq::from_montgomery_limbs([
4280 15804354330800222400,
4281 2664362506755913571,
4282 15220567525462081033,
4283 415854075276634564,
4284 ]),
4285 Fq::from_montgomery_limbs([
4286 6499893156022247982,
4287 5370094427775939872,
4288 12693314181999023046,
4289 334522766633278821,
4290 ]),
4291 Fq::from_montgomery_limbs([
4292 2043116979793859192,
4293 5901796972056645976,
4294 14393765505679755827,
4295 861233648011975692,
4296 ]),
4297 Fq::from_montgomery_limbs([
4298 15324644517910983402,
4299 7402962800234459251,
4300 15501703598689014650,
4301 866765414305968533,
4302 ]),
4303 ]),
4304 Matrix::<5, 1, 5>::new_from_known([
4305 Fq::from_montgomery_limbs([
4306 12865534582606617484,
4307 5710240921655628764,
4308 10047828149580190691,
4309 1035217630777023330,
4310 ]),
4311 Fq::from_montgomery_limbs([
4312 7623115266181592594,
4313 15654093656542240609,
4314 17584343833694408578,
4315 965948623120670646,
4316 ]),
4317 Fq::from_montgomery_limbs([
4318 12322860754126106334,
4319 5704375241169042821,
4320 5005598195199710337,
4321 599456016816833315,
4322 ]),
4323 Fq::from_montgomery_limbs([
4324 3114048235662948861,
4325 3186724356925890101,
4326 12603030351469960653,
4327 784880135590304822,
4328 ]),
4329 Fq::from_montgomery_limbs([
4330 10542157016978853051,
4331 375232718281833036,
4332 8419637174785911645,
4333 480073460241875582,
4334 ]),
4335 ]),
4336 Matrix::<5, 1, 5>::new_from_known([
4337 Fq::from_montgomery_limbs([
4338 4619753066505217513,
4339 16240034683968173295,
4340 101722798642334078,
4341 1093802332804170111,
4342 ]),
4343 Fq::from_montgomery_limbs([
4344 11772483107625265757,
4345 10206667679119141509,
4346 18114554164862022458,
4347 1023031741792146569,
4348 ]),
4349 Fq::from_montgomery_limbs([
4350 13246284581489263787,
4351 14406389897239052674,
4352 3455768173607702603,
4353 1053480392953200960,
4354 ]),
4355 Fq::from_montgomery_limbs([
4356 6494604848840235336,
4357 6851286908738110852,
4358 6952092093989720037,
4359 528933354597117664,
4360 ]),
4361 Fq::from_montgomery_limbs([
4362 625815039158913101,
4363 3482039923172880345,
4364 11185655673758240856,
4365 30871173764135737,
4366 ]),
4367 ]),
4368 Matrix::<5, 1, 5>::new_from_known([
4369 Fq::from_montgomery_limbs([
4370 11116836871987577766,
4371 8109541581819717708,
4372 14249648100460872066,
4373 228964235140475035,
4374 ]),
4375 Fq::from_montgomery_limbs([
4376 10850735048215572309,
4377 4250918544830268539,
4378 1159262399998108531,
4379 597017478561992605,
4380 ]),
4381 Fq::from_montgomery_limbs([
4382 2429928267440692097,
4383 1037103561750764536,
4384 14249565405637869240,
4385 238948313464233222,
4386 ]),
4387 Fq::from_montgomery_limbs([
4388 15908449453336200948,
4389 14778706528145004443,
4390 1518131124404071948,
4391 342204757203960757,
4392 ]),
4393 Fq::from_montgomery_limbs([
4394 10343358798246302148,
4395 4716916005406799178,
4396 1280891908040278925,
4397 33904180033936995,
4398 ]),
4399 ]),
4400 Matrix::<5, 1, 5>::new_from_known([
4401 Fq::from_montgomery_limbs([
4402 13657049778223062917,
4403 16159025960783232211,
4404 4256662595768243763,
4405 769690080070442279,
4406 ]),
4407 Fq::from_montgomery_limbs([
4408 8630441296206546010,
4409 15101393911422801574,
4410 15765903519913875666,
4411 1059019903719527397,
4412 ]),
4413 Fq::from_montgomery_limbs([
4414 17353580961907941474,
4415 11690315434040365887,
4416 1919970450761622105,
4417 1284644920565762622,
4418 ]),
4419 Fq::from_montgomery_limbs([
4420 9142190750578974954,
4421 7982580406830591641,
4422 139105874244767315,
4423 1037725609814647069,
4424 ]),
4425 Fq::from_montgomery_limbs([
4426 8274397077677504305,
4427 7550323696121525646,
4428 13342176390347462405,
4429 495524022793746412,
4430 ]),
4431 ]),
4432 Matrix::<5, 1, 5>::new_from_known([
4433 Fq::from_montgomery_limbs([
4434 1300654639607007076,
4435 5418426225271078814,
4436 17799220415649590999,
4437 578082611305900028,
4438 ]),
4439 Fq::from_montgomery_limbs([
4440 15087651230680029653,
4441 14061399273111500513,
4442 13990992483413246139,
4443 217274859442961675,
4444 ]),
4445 Fq::from_montgomery_limbs([
4446 17409038465662970942,
4447 16739652419107899003,
4448 1728243859263530675,
4449 1005030425295937500,
4450 ]),
4451 Fq::from_montgomery_limbs([
4452 9881137796190779983,
4453 3738513419678193257,
4454 6908712468714119492,
4455 128170763609761066,
4456 ]),
4457 Fq::from_montgomery_limbs([
4458 5980808904168005021,
4459 6535637039411031048,
4460 4353709569732736105,
4461 985581940426054692,
4462 ]),
4463 ]),
4464 Matrix::<5, 1, 5>::new_from_known([
4465 Fq::from_montgomery_limbs([
4466 9266459364560412147,
4467 1675941305082716910,
4468 2644496138354097667,
4469 593111726451400001,
4470 ]),
4471 Fq::from_montgomery_limbs([
4472 11923296558184512186,
4473 14335481794247232343,
4474 1756296816003311831,
4475 1337227067587852298,
4476 ]),
4477 Fq::from_montgomery_limbs([
4478 15213177739061556154,
4479 5962926969279075759,
4480 9583168463456919751,
4481 1345102811307691605,
4482 ]),
4483 Fq::from_montgomery_limbs([
4484 7236531265332214668,
4485 11730813784468030291,
4486 3260041626130793112,
4487 413423911331686730,
4488 ]),
4489 Fq::from_montgomery_limbs([
4490 9992377390528540244,
4491 10251294356867851146,
4492 15408569698061863503,
4493 686801780474850525,
4494 ]),
4495 ]),
4496 Matrix::<5, 1, 5>::new_from_known([
4497 Fq::from_montgomery_limbs([
4498 12551312954021730815,
4499 8771782951882110027,
4500 8266520452918776358,
4501 585025591233977219,
4502 ]),
4503 Fq::from_montgomery_limbs([
4504 5063400267728024015,
4505 14290329839247601111,
4506 12614604995283750144,
4507 230714106990743170,
4508 ]),
4509 Fq::from_montgomery_limbs([
4510 14919127087277880180,
4511 1233913841901824423,
4512 2945855199399696462,
4513 1124234888120832064,
4514 ]),
4515 Fq::from_montgomery_limbs([
4516 6630767633426865082,
4517 4134529385803270273,
4518 547558622173751939,
4519 1276870556955963960,
4520 ]),
4521 Fq::from_montgomery_limbs([
4522 6194800795402001302,
4523 7453146289235044346,
4524 1846631670011345424,
4525 373216392925072559,
4526 ]),
4527 ]),
4528 Matrix::<5, 1, 5>::new_from_known([
4529 Fq::from_montgomery_limbs([
4530 8530038482194296425,
4531 1186609470593087346,
4532 1550686771111894200,
4533 918591303091561115,
4534 ]),
4535 Fq::from_montgomery_limbs([
4536 5499603817197150545,
4537 6278523764748797546,
4538 9492893478468221078,
4539 76690422627606484,
4540 ]),
4541 Fq::from_montgomery_limbs([
4542 7172281043633854180,
4543 9586248386574401986,
4544 4695159959373826247,
4545 291013948190359675,
4546 ]),
4547 Fq::from_montgomery_limbs([
4548 1958470378825944596,
4549 13429774428855320394,
4550 14915732503423284573,
4551 675396101420063305,
4552 ]),
4553 Fq::from_montgomery_limbs([
4554 11013259379518244436,
4555 12321083210650373617,
4556 18169826561711333453,
4557 1123565689252234229,
4558 ]),
4559 ]),
4560 Matrix::<5, 1, 5>::new_from_known([
4561 Fq::from_montgomery_limbs([
4562 8538081673660833158,
4563 9406736474943528419,
4564 1248182586638760682,
4565 566915522520784434,
4566 ]),
4567 Fq::from_montgomery_limbs([
4568 871762597826126451,
4569 16952899443646083570,
4570 9760070688515351533,
4571 1153171851787119216,
4572 ]),
4573 Fq::from_montgomery_limbs([
4574 17099176922694092192,
4575 828730151529195508,
4576 4040300595746784683,
4577 896316263468400176,
4578 ]),
4579 Fq::from_montgomery_limbs([
4580 17895859754552623107,
4581 12372008340476127191,
4582 15869904838348331177,
4583 775743200601290861,
4584 ]),
4585 Fq::from_montgomery_limbs([
4586 7009270681870686791,
4587 2613922803678169165,
4588 14616132396476908383,
4589 1266967860663970985,
4590 ]),
4591 ]),
4592 Matrix::<5, 1, 5>::new_from_known([
4593 Fq::from_montgomery_limbs([
4594 2842431186863606520,
4595 5016515943888671695,
4596 1025755096788745830,
4597 118497541762157376,
4598 ]),
4599 Fq::from_montgomery_limbs([
4600 15651700296535015112,
4601 8569612184315077364,
4602 15451942282818992185,
4603 541946385718467129,
4604 ]),
4605 Fq::from_montgomery_limbs([
4606 17425453868458867672,
4607 13259317954798539165,
4608 14653762240483553886,
4609 1289545541558928924,
4610 ]),
4611 Fq::from_montgomery_limbs([
4612 10182995923953810379,
4613 1555053058248744878,
4614 14233166151877877681,
4615 1314025239224831524,
4616 ]),
4617 Fq::from_montgomery_limbs([
4618 5382307905322995124,
4619 14222432758856306145,
4620 3195810595195159237,
4621 932323741878209391,
4622 ]),
4623 ]),
4624 Matrix::<5, 1, 5>::new_from_known([
4625 Fq::from_montgomery_limbs([
4626 4093215837977364819,
4627 1786552664558589683,
4628 15811959916460894504,
4629 1122605521342489905,
4630 ]),
4631 Fq::from_montgomery_limbs([
4632 6757580137997166235,
4633 13857613907011413182,
4634 729793288849614944,
4635 140426125151203814,
4636 ]),
4637 Fq::from_montgomery_limbs([
4638 18248567113979980306,
4639 15307246736403175565,
4640 7970334653691291978,
4641 817641900996362744,
4642 ]),
4643 Fq::from_montgomery_limbs([
4644 13209637935471398448,
4645 10485350831767594057,
4646 18120173774880047238,
4647 981942705210324429,
4648 ]),
4649 Fq::from_montgomery_limbs([
4650 13041861333642835240,
4651 17156211741149643971,
4652 4775992643478887474,
4653 160471371624793379,
4654 ]),
4655 ]),
4656 ],
4657 },
4658 optimized_arc: OptimizedArcMatrix::<39, 6, 234>::new_from_known([
4659 Fq::from_montgomery_limbs([
4660 11114527869315019992,
4661 204777424233041404,
4662 11091912519069240090,
4663 121969426625488706,
4664 ]),
4665 Fq::from_montgomery_limbs([
4666 11602548353808217299,
4667 6197238791893869094,
4668 15622579320964543388,
4669 1298930792120594487,
4670 ]),
4671 Fq::from_montgomery_limbs([
4672 838896996119702820,
4673 9307552859605174720,
4674 8035142733069793771,
4675 274230695041989171,
4676 ]),
4677 Fq::from_montgomery_limbs([
4678 3026923182969617970,
4679 17802669379857452552,
4680 12317599963821296502,
4681 1025681681724348483,
4682 ]),
4683 Fq::from_montgomery_limbs([
4684 5608950751956253759,
4685 13524340746668180438,
4686 15318090696011006995,
4687 777019565914500344,
4688 ]),
4689 Fq::from_montgomery_limbs([
4690 1158035626778037273,
4691 17664260243497899213,
4692 16296355254226759288,
4693 950557495952381678,
4694 ]),
4695 Fq::from_montgomery_limbs([
4696 11235491782021601934,
4697 3148198093287396523,
4698 17540068057551648414,
4699 246938399961631601,
4700 ]),
4701 Fq::from_montgomery_limbs([
4702 17389082769676787279,
4703 4715116371725704005,
4704 680633748837086801,
4705 1023507596971258305,
4706 ]),
4707 Fq::from_montgomery_limbs([
4708 7398967334233665984,
4709 13695483063991186800,
4710 18171031240540141567,
4711 1071188377250033509,
4712 ]),
4713 Fq::from_montgomery_limbs([
4714 8901013324099486427,
4715 14221538804433703579,
4716 421845258270117661,
4717 1118364576196477055,
4718 ]),
4719 Fq::from_montgomery_limbs([
4720 3792995620986947754,
4721 8295286409031689804,
4722 7023787899825757992,
4723 899023674461718667,
4724 ]),
4725 Fq::from_montgomery_limbs([
4726 8793784762096018942,
4727 15222981485936247095,
4728 17829285903963587033,
4729 104381350073974926,
4730 ]),
4731 Fq::from_montgomery_limbs([
4732 11268502072074030331,
4733 4494658873172678747,
4734 10565307326465463378,
4735 784696444351308107,
4736 ]),
4737 Fq::from_montgomery_limbs([
4738 13330824150800116849,
4739 4890131204868069348,
4740 16795432331983276560,
4741 678123243378284364,
4742 ]),
4743 Fq::from_montgomery_limbs([
4744 16154775053781645033,
4745 5239747136963640569,
4746 16611876759537507645,
4747 759623577554638126,
4748 ]),
4749 Fq::from_montgomery_limbs([
4750 8392188723943358220,
4751 16791142993973140668,
4752 13297749232586734563,
4753 426701908934618073,
4754 ]),
4755 Fq::from_montgomery_limbs([
4756 17606532937509352288,
4757 2853753027669231277,
4758 1878611917293492305,
4759 643977045852461225,
4760 ]),
4761 Fq::from_montgomery_limbs([
4762 5784332265294899224,
4763 10677876800438676900,
4764 18301919197560353192,
4765 1242300655560067148,
4766 ]),
4767 Fq::from_montgomery_limbs([
4768 11412543805884713089,
4769 4404535555399600518,
4770 4605611364617586616,
4771 706261397170793623,
4772 ]),
4773 Fq::from_montgomery_limbs([
4774 2724614443579353257,
4775 12190950292326203757,
4776 12944786940879400957,
4777 90707148364678769,
4778 ]),
4779 Fq::from_montgomery_limbs([
4780 16664686769040599810,
4781 7492639236725157146,
4782 1787480043672337070,
4783 1043615315016757716,
4784 ]),
4785 Fq::from_montgomery_limbs([
4786 4392261116480034202,
4787 16508253691140740970,
4788 1257682754845069496,
4789 1301148167322522764,
4790 ]),
4791 Fq::from_montgomery_limbs([
4792 139213556258184346,
4793 16303671450556136664,
4794 10342805884525342231,
4795 508792166529776861,
4796 ]),
4797 Fq::from_montgomery_limbs([
4798 14643711485787161846,
4799 5395142180975966192,
4800 12467589421402803020,
4801 144762579288366866,
4802 ]),
4803 Fq::from_montgomery_limbs([
4804 15255437222491521014,
4805 14721462158275437977,
4806 2057221655333534074,
4807 1325734657361576891,
4808 ]),
4809 Fq::from_montgomery_limbs([
4810 15414140179948612967,
4811 18192784700743189854,
4812 9643806020156298087,
4813 376775047158942797,
4814 ]),
4815 Fq::from_montgomery_limbs([
4816 18092841461306760003,
4817 2807423972236024481,
4818 7922348787325395480,
4819 1212285078601209657,
4820 ]),
4821 Fq::from_montgomery_limbs([
4822 16708900869096362927,
4823 2122564142804905834,
4824 13890195487457233383,
4825 126050338062319781,
4826 ]),
4827 Fq::from_montgomery_limbs([
4828 13016765056631510317,
4829 775825654612492872,
4830 1519488323304929971,
4831 511775234197862995,
4832 ]),
4833 Fq::from_montgomery_limbs([
4834 10798249763854349440,
4835 8782377489797979147,
4836 12405352952342825868,
4837 1275110544094341666,
4838 ]),
4839 Fq::from_montgomery_limbs([
4840 9330052657446344303,
4841 4964707063063280466,
4842 2747936433058978798,
4843 1286324345607159919,
4844 ]),
4845 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4846 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4847 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4848 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4849 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4850 Fq::from_montgomery_limbs([
4851 13438421980365571751,
4852 13764047089799136418,
4853 6549510980996449235,
4854 89638406717638204,
4855 ]),
4856 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4857 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4858 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4859 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4860 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4861 Fq::from_montgomery_limbs([
4862 3120082900215749818,
4863 2506463968951363665,
4864 5751682941173719701,
4865 1183280915899386044,
4866 ]),
4867 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4868 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4869 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4870 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4871 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4872 Fq::from_montgomery_limbs([
4873 3889637240168755614,
4874 14778096222179630956,
4875 16885419836575361353,
4876 250222614360102585,
4877 ]),
4878 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4879 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4880 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4881 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4882 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4883 Fq::from_montgomery_limbs([
4884 8994135098656528858,
4885 6054905993385110489,
4886 15955209030417792186,
4887 417192650490068388,
4888 ]),
4889 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4890 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4891 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4892 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4893 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4894 Fq::from_montgomery_limbs([
4895 10542836021159102202,
4896 3922552091508743640,
4897 15499449205954987041,
4898 257248375734524697,
4899 ]),
4900 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4901 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4902 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4903 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4904 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4905 Fq::from_montgomery_limbs([
4906 18307747395340188800,
4907 7047747805490525925,
4908 11242708609504355532,
4909 793276497114397997,
4910 ]),
4911 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4912 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4913 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4914 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4915 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4916 Fq::from_montgomery_limbs([
4917 16022663073357324949,
4918 3551519053939817423,
4919 3374093457075448733,
4920 95641413276534082,
4921 ]),
4922 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4923 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4924 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4925 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4926 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4927 Fq::from_montgomery_limbs([
4928 16611512242802281767,
4929 13417278867724672960,
4930 12339427782843337847,
4931 1029453794287724677,
4932 ]),
4933 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4934 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4935 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4936 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4937 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4938 Fq::from_montgomery_limbs([
4939 9587606159882976610,
4940 13065183120609796571,
4941 5134588985846741978,
4942 1052742636206989263,
4943 ]),
4944 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4945 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4946 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4947 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4948 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4949 Fq::from_montgomery_limbs([
4950 5120379400595969817,
4951 4824276514479560160,
4952 15209383162223813538,
4953 98360897446496767,
4954 ]),
4955 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4956 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4957 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4958 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4959 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4960 Fq::from_montgomery_limbs([
4961 7633930096380799602,
4962 2831233200869503763,
4963 6933925156133583675,
4964 45431990866667491,
4965 ]),
4966 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4967 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4968 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4969 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4970 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4971 Fq::from_montgomery_limbs([
4972 4063032547170944262,
4973 2228607997293084806,
4974 376103209766462421,
4975 748529159788109811,
4976 ]),
4977 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4978 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4979 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4980 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4981 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4982 Fq::from_montgomery_limbs([
4983 8393715434195231445,
4984 15247401046663606451,
4985 1655959932549342287,
4986 101776028083387641,
4987 ]),
4988 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4989 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4990 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4991 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4992 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4993 Fq::from_montgomery_limbs([
4994 15008767674909606325,
4995 531227893384812653,
4996 7210523396658562084,
4997 437386864972028358,
4998 ]),
4999 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5000 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5001 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5002 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5003 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5004 Fq::from_montgomery_limbs([
5005 16809071159722694272,
5006 6830450328296125348,
5007 6475300827542698627,
5008 399257887526004612,
5009 ]),
5010 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5011 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5012 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5013 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5014 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5015 Fq::from_montgomery_limbs([
5016 82825596177761974,
5017 11317217432462243029,
5018 6642795994570466536,
5019 54497338514902862,
5020 ]),
5021 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5022 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5023 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5024 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5025 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5026 Fq::from_montgomery_limbs([
5027 6850975607505382161,
5028 14495312419830721473,
5029 12467132244094124841,
5030 869971081325966252,
5031 ]),
5032 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5033 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5034 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5035 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5036 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5037 Fq::from_montgomery_limbs([
5038 6776972065809629900,
5039 14404993916899429083,
5040 14745271791343793348,
5041 1281731922471929435,
5042 ]),
5043 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5044 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5045 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5046 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5047 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5048 Fq::from_montgomery_limbs([
5049 12167414230777830458,
5050 3579196606687723355,
5051 14118801611883897825,
5052 1188804452360844569,
5053 ]),
5054 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5055 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5056 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5057 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5058 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5059 Fq::from_montgomery_limbs([
5060 7553145712183260477,
5061 18113523762458916439,
5062 13422344310762339471,
5063 121199852036910351,
5064 ]),
5065 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5066 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5067 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5068 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5069 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5070 Fq::from_montgomery_limbs([
5071 6210598847695513673,
5072 10694250862598493782,
5073 1063552736172580723,
5074 859901328112942851,
5075 ]),
5076 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5077 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5078 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5079 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5080 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5081 Fq::from_montgomery_limbs([
5082 10747937872207229763,
5083 13786226828072394952,
5084 274364464850991752,
5085 1218823234058712778,
5086 ]),
5087 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5088 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5089 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5090 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5091 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5092 Fq::from_montgomery_limbs([
5093 2520693279910212484,
5094 15286253593138229505,
5095 9531050394238581262,
5096 329181833527084527,
5097 ]),
5098 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5099 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5100 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5101 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5102 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5103 Fq::from_montgomery_limbs([
5104 3226526077625644436,
5105 2588404341480318661,
5106 9070433711166827508,
5107 1188235207132643549,
5108 ]),
5109 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5110 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5111 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5112 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5113 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5114 Fq::from_montgomery_limbs([
5115 16703563760445846403,
5116 8620998770380437284,
5117 8858436416497897390,
5118 1102236124390324251,
5119 ]),
5120 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5121 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5122 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5123 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5124 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5125 Fq::from_montgomery_limbs([
5126 5630089007465765576,
5127 6410026402258852609,
5128 17160884434802874754,
5129 420357023452589124,
5130 ]),
5131 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5132 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5133 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5134 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5135 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5136 Fq::from_montgomery_limbs([
5137 12644008863026136496,
5138 11315917635237722843,
5139 12364361333201119848,
5140 946242401908845264,
5141 ]),
5142 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5143 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5144 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5145 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5146 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5147 Fq::from_montgomery_limbs([
5148 9089855529735912751,
5149 11711947227707110137,
5150 12189800517249432550,
5151 1037376283079163315,
5152 ]),
5153 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5154 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5155 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5156 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5157 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5158 Fq::from_montgomery_limbs([
5159 2642673912191614581,
5160 8420261709120249882,
5161 7567649328018501241,
5162 1090882039889692225,
5163 ]),
5164 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5165 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5166 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5167 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5168 Fq::from_montgomery_limbs([0, 0, 0, 0]),
5169 Fq::from_montgomery_limbs([
5170 624108744920628033,
5171 7222337173749652537,
5172 6177234009439253836,
5173 1305879330650409183,
5174 ]),
5175 Fq::from_montgomery_limbs([
5176 4047186108818890838,
5177 8293278676301284463,
5178 45421248765572143,
5179 11849077013826147,
5180 ]),
5181 Fq::from_montgomery_limbs([
5182 13734838437817111564,
5183 14067107962177066014,
5184 6283538344938866018,
5185 943068615468766850,
5186 ]),
5187 Fq::from_montgomery_limbs([
5188 9459753653362225504,
5189 13412221550119657532,
5190 11719554885145159458,
5191 1038210702444171410,
5192 ]),
5193 Fq::from_montgomery_limbs([
5194 17258590752825572441,
5195 4422385439615665045,
5196 10963985232294213328,
5197 673097344483052623,
5198 ]),
5199 Fq::from_montgomery_limbs([
5200 4350910935437581306,
5201 17071656780821887075,
5202 17526744607642225290,
5203 489524084357985818,
5204 ]),
5205 Fq::from_montgomery_limbs([
5206 8703107470067448452,
5207 734592437454660319,
5208 6370216058631913860,
5209 984849913832896286,
5210 ]),
5211 Fq::from_montgomery_limbs([
5212 15847437253128917127,
5213 13204151715277535095,
5214 13151742340803361913,
5215 492775982398767260,
5216 ]),
5217 Fq::from_montgomery_limbs([
5218 13378140148769271177,
5219 11023068523390522139,
5220 1729259508144916727,
5221 998491139322015796,
5222 ]),
5223 Fq::from_montgomery_limbs([
5224 15868115462640964898,
5225 5808184910810487816,
5226 17891106563868657547,
5227 1273423536878729280,
5228 ]),
5229 Fq::from_montgomery_limbs([
5230 17498572932499506726,
5231 4915375148198704347,
5232 16526318329827242193,
5233 172885368041045335,
5234 ]),
5235 Fq::from_montgomery_limbs([
5236 12175858961476635194,
5237 8395097384299796850,
5238 16561947957716644135,
5239 118811035529307344,
5240 ]),
5241 Fq::from_montgomery_limbs([
5242 1364632949773972783,
5243 5616500288305274826,
5244 2744828291285230257,
5245 1337220218752536168,
5246 ]),
5247 Fq::from_montgomery_limbs([
5248 7125704632582034340,
5249 2413935880315792634,
5250 16253134495760827214,
5251 1013353907442898755,
5252 ]),
5253 Fq::from_montgomery_limbs([
5254 9926413936648370716,
5255 9286244748248440505,
5256 5620697470790885637,
5257 1050126432920929832,
5258 ]),
5259 Fq::from_montgomery_limbs([
5260 2286190222160729638,
5261 1205027650655862007,
5262 284571302335235840,
5263 754838472987631454,
5264 ]),
5265 Fq::from_montgomery_limbs([
5266 18032942241472576701,
5267 12877723516371231014,
5268 5304401947346162660,
5269 638292803799023432,
5270 ]),
5271 Fq::from_montgomery_limbs([
5272 1301734909908791963,
5273 3999021096443686109,
5274 8224194566860360743,
5275 975889756225576945,
5276 ]),
5277 Fq::from_montgomery_limbs([
5278 13137758236377688944,
5279 15164889622744579310,
5280 9510882901247182860,
5281 507443416341514201,
5282 ]),
5283 Fq::from_montgomery_limbs([
5284 7442629497476523514,
5285 15402336932582436695,
5286 12267702252685663951,
5287 406181490859224216,
5288 ]),
5289 Fq::from_montgomery_limbs([
5290 3020913173034234370,
5291 7615906519537783167,
5292 14373843007930618441,
5293 268952515824125262,
5294 ]),
5295 Fq::from_montgomery_limbs([
5296 8510711668693637739,
5297 16478737597936355688,
5298 4962621450185609628,
5299 274948738817040348,
5300 ]),
5301 Fq::from_montgomery_limbs([
5302 175794307933344111,
5303 2355200265651483892,
5304 17868773626579092521,
5305 52492857067069690,
5306 ]),
5307 Fq::from_montgomery_limbs([
5308 13918504549178190575,
5309 13563258972352289042,
5310 5310731325887509548,
5311 465559440844068311,
5312 ]),
5313 ]),
5314 }
5315}