1use decaf377::Fq;
2use poseidon_parameters::v1::{
3 Alpha, ArcMatrix, Matrix, MdsMatrix, OptimizedArcMatrix, OptimizedMdsMatrices,
4 PoseidonParameters, RoundNumbers, SquareMatrix,
5};
6
7pub const fn rate_4() -> PoseidonParameters<5, 4, 25, 16, 39, 5, 195, 31> {
9 PoseidonParameters {
10 M: 128,
11 arc: ArcMatrix::<39, 5, 195>::new_from_known([
12 Fq::from_montgomery_limbs([
13 9886223877583555338,
14 2726526174642559934,
15 4587790518566470505,
16 576729411659255749,
17 ]),
18 Fq::from_montgomery_limbs([
19 8635683872171027649,
20 6178568763530680712,
21 4049298017970875225,
22 1010899895527016760,
23 ]),
24 Fq::from_montgomery_limbs([
25 4386287284362214114,
26 15794275297560972982,
27 13426231751965312445,
28 1202171528338027358,
29 ]),
30 Fq::from_montgomery_limbs([
31 748088700594287215,
32 1472010505444622065,
33 17517940238534715767,
34 284646916897302179,
35 ]),
36 Fq::from_montgomery_limbs([
37 10279507610927218934,
38 8427605231324569630,
39 5256766482183491681,
40 599767801296570400,
41 ]),
42 Fq::from_montgomery_limbs([
43 5616532683870270019,
44 16714573776517987780,
45 2780158541662869274,
46 82005381951989400,
47 ]),
48 Fq::from_montgomery_limbs([
49 628047193644056282,
50 3081927050412275131,
51 16607349608647881262,
52 723666033729227034,
53 ]),
54 Fq::from_montgomery_limbs([
55 4014053105906402474,
56 8516064025130570203,
57 16439212471763340654,
58 1066408903228028504,
59 ]),
60 Fq::from_montgomery_limbs([
61 3781775891997454435,
62 16784197273788891439,
63 15993490775706321548,
64 1246974369195687342,
65 ]),
66 Fq::from_montgomery_limbs([
67 13315871439997102610,
68 1360174578976506509,
69 1935727712649190133,
70 888928512483410116,
71 ]),
72 Fq::from_montgomery_limbs([
73 8976641770861237410,
74 6687451940339132521,
75 18044907108310696377,
76 1207869807557250559,
77 ]),
78 Fq::from_montgomery_limbs([
79 4528878922761055500,
80 7463187218610955446,
81 4533754848507645556,
82 35071527712858390,
83 ]),
84 Fq::from_montgomery_limbs([
85 2054133897613963099,
86 8179564031063470525,
87 1531556284029346638,
88 874298192527556148,
89 ]),
90 Fq::from_montgomery_limbs([
91 18305580017782407596,
92 2150793914184610589,
93 17311607174845242499,
94 959373557899881125,
95 ]),
96 Fq::from_montgomery_limbs([
97 11483900964553043288,
98 12487129025031613244,
99 15391908241276224492,
100 269335905993702128,
101 ]),
102 Fq::from_montgomery_limbs([
103 8338971145620331245,
104 12372781419517678375,
105 2199283600481834995,
106 349132078387032325,
107 ]),
108 Fq::from_montgomery_limbs([
109 16711498854962897180,
110 964757925282058102,
111 2534475787702313401,
112 879174178299686832,
113 ]),
114 Fq::from_montgomery_limbs([
115 9948612635577575267,
116 10310004629375851550,
117 14569008704673249814,
118 698796675030817938,
119 ]),
120 Fq::from_montgomery_limbs([
121 11983101385647491113,
122 6756494718617323834,
123 3986787822213493305,
124 810568397631777742,
125 ]),
126 Fq::from_montgomery_limbs([
127 263703597816264419,
128 5391923373962277868,
129 8069762938958691329,
130 167001460324522424,
131 ]),
132 Fq::from_montgomery_limbs([
133 12719698031922087137,
134 3635206538516773241,
135 14946573674542408006,
136 904022619675467349,
137 ]),
138 Fq::from_montgomery_limbs([
139 7591285109719266048,
140 2608578391556572711,
141 6779676185899908036,
142 1086161713062740129,
143 ]),
144 Fq::from_montgomery_limbs([
145 7176467193518589709,
146 1343509363976199891,
147 347002617743548581,
148 1018914054223433368,
149 ]),
150 Fq::from_montgomery_limbs([
151 13908207388458176389,
152 2971345816230697916,
153 17116412495128514758,
154 1092556723789729092,
155 ]),
156 Fq::from_montgomery_limbs([
157 10011741275583553910,
158 13515359725579218496,
159 16173962293465169995,
160 826500423001616558,
161 ]),
162 Fq::from_montgomery_limbs([
163 11642763221775816104,
164 5316502523761667274,
165 6723960157854782715,
166 713280922101966669,
167 ]),
168 Fq::from_montgomery_limbs([
169 881130788153084344,
170 5010739439291725858,
171 1147743103863894058,
172 177980102031055407,
173 ]),
174 Fq::from_montgomery_limbs([
175 13975378739354834601,
176 8684941252608197282,
177 5694396386436962583,
178 439479504891747047,
179 ]),
180 Fq::from_montgomery_limbs([
181 13363133397626440278,
182 8130502609775906914,
183 13414583350549819329,
184 524823840910770289,
185 ]),
186 Fq::from_montgomery_limbs([
187 11945840925799863259,
188 8524159476864402062,
189 9210577373238759816,
190 710975425722615141,
191 ]),
192 Fq::from_montgomery_limbs([
193 12814581100646910424,
194 15849784230008994303,
195 12637788340215337664,
196 597941999161438829,
197 ]),
198 Fq::from_montgomery_limbs([
199 16525908361603394009,
200 2846177558600817179,
201 7575467056141022092,
202 437642443252490173,
203 ]),
204 Fq::from_montgomery_limbs([
205 15329913684605210914,
206 12070525736245629573,
207 13074341668722432469,
208 1044151030746490873,
209 ]),
210 Fq::from_montgomery_limbs([
211 3538323630603591241,
212 10279517124841541304,
213 5324030032202346672,
214 902072318757121155,
215 ]),
216 Fq::from_montgomery_limbs([
217 13596574972337588658,
218 16541340016857780345,
219 8104153165370753035,
220 245861939922053923,
221 ]),
222 Fq::from_montgomery_limbs([
223 5030454205469646742,
224 13132624601605397879,
225 14758125164075453800,
226 378384125390441388,
227 ]),
228 Fq::from_montgomery_limbs([
229 8906593348835760654,
230 11904421032273004937,
231 14965461596408947669,
232 632859340380426495,
233 ]),
234 Fq::from_montgomery_limbs([
235 7850130346408635539,
236 13532701351370547975,
237 3820560789332903656,
238 1092318130445796576,
239 ]),
240 Fq::from_montgomery_limbs([
241 12997377171057711408,
242 4471729792070708333,
243 7305494049349150657,
244 1115063797383463496,
245 ]),
246 Fq::from_montgomery_limbs([
247 15145625851690108440,
248 17698022295267189243,
249 9861950554713946731,
250 1205401165408515638,
251 ]),
252 Fq::from_montgomery_limbs([
253 11309649707041239663,
254 667445592132876816,
255 943153015419280868,
256 1206714849836553688,
257 ]),
258 Fq::from_montgomery_limbs([
259 9026152062944983955,
260 11204530926199479297,
261 6289885248657301247,
262 512955645767342309,
263 ]),
264 Fq::from_montgomery_limbs([
265 11717849647660086747,
266 3612602895588115533,
267 9744929507384815356,
268 982549568060514738,
269 ]),
270 Fq::from_montgomery_limbs([
271 6744201323279553111,
272 18111540114747698086,
273 11979166811283670034,
274 386105814260185338,
275 ]),
276 Fq::from_montgomery_limbs([
277 13303196293759203285,
278 14344592278022456277,
279 4239798340739261853,
280 800405056318133701,
281 ]),
282 Fq::from_montgomery_limbs([
283 6737138017975582894,
284 8531016178828592243,
285 13684944430980743706,
286 22255530611110264,
287 ]),
288 Fq::from_montgomery_limbs([
289 1997271207334772541,
290 9079547000593471061,
291 16047065352656029242,
292 101416793857725065,
293 ]),
294 Fq::from_montgomery_limbs([
295 17029188205686654069,
296 8951964272054585217,
297 15302569091334378903,
298 761854968911808356,
299 ]),
300 Fq::from_montgomery_limbs([
301 2745767110751783932,
302 14853302747509920417,
303 1606999108376858338,
304 891318834157837360,
305 ]),
306 Fq::from_montgomery_limbs([
307 3640580010003203721,
308 12123462912736402051,
309 18295135460895849345,
310 520752965734877132,
311 ]),
312 Fq::from_montgomery_limbs([
313 83933521946714737,
314 17971579355265751841,
315 7352708691986307901,
316 183907669014565798,
317 ]),
318 Fq::from_montgomery_limbs([
319 9276458973572472320,
320 1300682705964188558,
321 13756551032393705489,
322 645082867954998576,
323 ]),
324 Fq::from_montgomery_limbs([
325 15074599786611123042,
326 8980910692416969440,
327 16790312992523154465,
328 44198431582091186,
329 ]),
330 Fq::from_montgomery_limbs([
331 1480148269351616164,
332 5990826399027670160,
333 7437498150356539259,
334 427144700677710781,
335 ]),
336 Fq::from_montgomery_limbs([
337 5507196835477653383,
338 7336613593633132046,
339 1280426316557546233,
340 958933701992800913,
341 ]),
342 Fq::from_montgomery_limbs([
343 18241053245813744236,
344 10472459532627362617,
345 2012134575489914517,
346 1256037774783607417,
347 ]),
348 Fq::from_montgomery_limbs([
349 14372359421802781886,
350 13729700187444703363,
351 17989800816636154572,
352 967621319286277758,
353 ]),
354 Fq::from_montgomery_limbs([
355 90392410009690887,
356 14047860931061415491,
357 12494400053046916745,
358 1187807817979142164,
359 ]),
360 Fq::from_montgomery_limbs([
361 7469394458896125080,
362 4994833117952945329,
363 5178970336138815548,
364 547357110341709620,
365 ]),
366 Fq::from_montgomery_limbs([
367 14626262512784894880,
368 8498143648146630667,
369 14635776379295784646,
370 279017425979939457,
371 ]),
372 Fq::from_montgomery_limbs([
373 2948938230818109264,
374 13256829255392710280,
375 3603261726988560613,
376 293293722534360282,
377 ]),
378 Fq::from_montgomery_limbs([
379 14726913360355627661,
380 11044693867323537781,
381 7626109275678740243,
382 758908383357559345,
383 ]),
384 Fq::from_montgomery_limbs([
385 12150373031774230138,
386 8891964881341264351,
387 4517018861706300919,
388 551820964652107008,
389 ]),
390 Fq::from_montgomery_limbs([
391 16891048323407180721,
392 7536596905792994544,
393 3059846088325366943,
394 865178483316339067,
395 ]),
396 Fq::from_montgomery_limbs([
397 2690083733968939863,
398 1769064765331202923,
399 999446336742885656,
400 164907716251699548,
401 ]),
402 Fq::from_montgomery_limbs([
403 8580460058188302985,
404 3991751878635809753,
405 4547376216267480360,
406 560815723873147432,
407 ]),
408 Fq::from_montgomery_limbs([
409 1883267897877590583,
410 9283747140977722829,
411 4336519897183919570,
412 1098112532343628461,
413 ]),
414 Fq::from_montgomery_limbs([
415 18229193288997288391,
416 1416710191385219951,
417 786091488678520329,
418 897579186089258101,
419 ]),
420 Fq::from_montgomery_limbs([
421 9679787806770955465,
422 13476526545223689774,
423 9613302347536604785,
424 1170985601196245246,
425 ]),
426 Fq::from_montgomery_limbs([
427 11408485967127642435,
428 15775267434451831783,
429 5963102841687207642,
430 610143165002891320,
431 ]),
432 Fq::from_montgomery_limbs([
433 2742110483607649666,
434 8238870973637978146,
435 8505321265665046273,
436 991146636847773959,
437 ]),
438 Fq::from_montgomery_limbs([
439 2700417284944988347,
440 9333179215703947174,
441 17483497014148443293,
442 564598335909606701,
443 ]),
444 Fq::from_montgomery_limbs([
445 10710073701127297870,
446 6322555675999590600,
447 11771028831440425797,
448 728539264888274353,
449 ]),
450 Fq::from_montgomery_limbs([
451 5185688551847854621,
452 17136427433029749827,
453 13939786699270995224,
454 1198719082185444207,
455 ]),
456 Fq::from_montgomery_limbs([
457 7749447179538401980,
458 4793600318555081413,
459 10327393242917365028,
460 25438094261901103,
461 ]),
462 Fq::from_montgomery_limbs([
463 16840187061708384569,
464 10530669475422628524,
465 217939404244531614,
466 1125926086827923821,
467 ]),
468 Fq::from_montgomery_limbs([
469 15218288013305045082,
470 5438912048142917445,
471 235470087288523129,
472 923231700809438641,
473 ]),
474 Fq::from_montgomery_limbs([
475 2194576126536460830,
476 7891341442170590444,
477 6378643390383758255,
478 310989935666358535,
479 ]),
480 Fq::from_montgomery_limbs([
481 2638919532368561416,
482 18196222360720320566,
483 6610525316889549022,
484 1047682654438730344,
485 ]),
486 Fq::from_montgomery_limbs([
487 16494294820597583678,
488 4823636307697140628,
489 9839058803503271101,
490 362713889140891969,
491 ]),
492 Fq::from_montgomery_limbs([
493 2973315077205527383,
494 16505948923072751536,
495 12726716204894385324,
496 760067983544631044,
497 ]),
498 Fq::from_montgomery_limbs([
499 7041027454525309806,
500 14484049096926673324,
501 11711536155919984779,
502 830352844598884205,
503 ]),
504 Fq::from_montgomery_limbs([
505 8226667178177935298,
506 16330330634634519739,
507 16819545565758577360,
508 929449491579086457,
509 ]),
510 Fq::from_montgomery_limbs([
511 3366407172182263301,
512 16494428895759921285,
513 7731107796203549240,
514 987879550276572952,
515 ]),
516 Fq::from_montgomery_limbs([
517 9958698182000492538,
518 15462783131464999925,
519 11113071922629363034,
520 701467612820830963,
521 ]),
522 Fq::from_montgomery_limbs([
523 6144224708909855422,
524 10834457042169331467,
525 11287058958850316926,
526 1312825012143929910,
527 ]),
528 Fq::from_montgomery_limbs([
529 17921397628564368555,
530 10985573093809787040,
531 14340644029187071972,
532 59000721534311183,
533 ]),
534 Fq::from_montgomery_limbs([
535 1630018632512830166,
536 16311976715006973397,
537 18074431391508993129,
538 155692271434089392,
539 ]),
540 Fq::from_montgomery_limbs([
541 2746677638438958053,
542 17878267615510669310,
543 1082275588904648896,
544 1184432411754581729,
545 ]),
546 Fq::from_montgomery_limbs([
547 1202686691857012174,
548 2234596977877372457,
549 3307488575050929625,
550 1256758603403004831,
551 ]),
552 Fq::from_montgomery_limbs([
553 7601867427459401741,
554 13070585820383544138,
555 11356438762852655489,
556 943118894834427377,
557 ]),
558 Fq::from_montgomery_limbs([
559 8684748127362653242,
560 4743911555278887170,
561 11396974372791841950,
562 826700742908426413,
563 ]),
564 Fq::from_montgomery_limbs([
565 17452888945877951639,
566 9839615283788288179,
567 12867459466655328363,
568 1007543359739410437,
569 ]),
570 Fq::from_montgomery_limbs([
571 12264143824974096166,
572 14381191422662810752,
573 3641096965851024808,
574 480946059636473070,
575 ]),
576 Fq::from_montgomery_limbs([
577 11435949141961302837,
578 710354890461232526,
579 7844293650067273203,
580 123004845212098500,
581 ]),
582 Fq::from_montgomery_limbs([
583 11045998304335767176,
584 3942503358896124422,
585 12585149699076876402,
586 285027589169677300,
587 ]),
588 Fq::from_montgomery_limbs([
589 15820797401199028229,
590 16962821466020830153,
591 8107747291692774042,
592 480489353941649738,
593 ]),
594 Fq::from_montgomery_limbs([
595 9217962315784549500,
596 14370528537254478239,
597 11836250330534571325,
598 1139451976529383887,
599 ]),
600 Fq::from_montgomery_limbs([
601 11835990522743135120,
602 10169548464484669696,
603 17221670999568737002,
604 533302488612773058,
605 ]),
606 Fq::from_montgomery_limbs([
607 17879618715206022981,
608 10660797039341031940,
609 1930610719106570064,
610 964350742947937820,
611 ]),
612 Fq::from_montgomery_limbs([
613 1169235639972562417,
614 17479840192056268380,
615 10586924611389711708,
616 103636186478545263,
617 ]),
618 Fq::from_montgomery_limbs([
619 9864560133117702439,
620 12891182307324408638,
621 9236711602457989544,
622 490202994419177997,
623 ]),
624 Fq::from_montgomery_limbs([
625 524004209204114745,
626 12014044939530800435,
627 17303597221467190420,
628 1259834854717402694,
629 ]),
630 Fq::from_montgomery_limbs([
631 2041228093468029194,
632 5279491032753715877,
633 2237512127849739422,
634 1301989577140851954,
635 ]),
636 Fq::from_montgomery_limbs([
637 13532558374939940477,
638 11861615008285507752,
639 15035422035697406898,
640 1142796203357719412,
641 ]),
642 Fq::from_montgomery_limbs([
643 14953432173925601791,
644 10389362430177185816,
645 845064825159375048,
646 1172521244035119080,
647 ]),
648 Fq::from_montgomery_limbs([
649 11975318177053547084,
650 3435333234872828662,
651 13963241498174514126,
652 286783134590930070,
653 ]),
654 Fq::from_montgomery_limbs([
655 14455835521486462998,
656 2048669311632423555,
657 17279316794410156816,
658 50616703474729287,
659 ]),
660 Fq::from_montgomery_limbs([
661 8193872068862108327,
662 3772516384619180657,
663 13641128299057093189,
664 905697595997810178,
665 ]),
666 Fq::from_montgomery_limbs([
667 16454110340578030875,
668 2152604389456932301,
669 8465973362037387798,
670 833666687765914967,
671 ]),
672 Fq::from_montgomery_limbs([
673 14250990663149816130,
674 10003002447016613703,
675 2580052265102394487,
676 760659830843235379,
677 ]),
678 Fq::from_montgomery_limbs([
679 1290457731274356164,
680 2510039619580464600,
681 2426168528296515695,
682 1254551442283207078,
683 ]),
684 Fq::from_montgomery_limbs([
685 16309488082193928736,
686 7601298284363534660,
687 5163919981174564632,
688 65819575671802258,
689 ]),
690 Fq::from_montgomery_limbs([
691 12743534580838976593,
692 6143776853938743851,
693 13386193122986779929,
694 423668519394498160,
695 ]),
696 Fq::from_montgomery_limbs([
697 3811484717633006447,
698 1349919791689722695,
699 10297821437600310682,
700 68521037802427679,
701 ]),
702 Fq::from_montgomery_limbs([
703 1049969810634121052,
704 16728941075068531596,
705 16094121280131115468,
706 82606214892022031,
707 ]),
708 Fq::from_montgomery_limbs([
709 5360234823572670745,
710 17757096254232659981,
711 5717208405019750556,
712 809486485814479609,
713 ]),
714 Fq::from_montgomery_limbs([
715 1927630004992622799,
716 11649924430204711735,
717 14978212641988016519,
718 1108831164145357066,
719 ]),
720 Fq::from_montgomery_limbs([
721 4587868477439641052,
722 4737040880169689015,
723 639327313806380645,
724 693944328643709356,
725 ]),
726 Fq::from_montgomery_limbs([
727 11087993010676539653,
728 10020352685294943192,
729 10076106363570629377,
730 297641291282727232,
731 ]),
732 Fq::from_montgomery_limbs([
733 3081981335203353498,
734 13021314745733708666,
735 5449753531105554695,
736 227963405559900828,
737 ]),
738 Fq::from_montgomery_limbs([
739 15635794702109421502,
740 6527818235965294785,
741 7659508407838394834,
742 492292453862401661,
743 ]),
744 Fq::from_montgomery_limbs([
745 3164777360703179827,
746 5768214351744839625,
747 7163272775096466422,
748 261059424264025774,
749 ]),
750 Fq::from_montgomery_limbs([
751 8844860905568377954,
752 18132135522818541971,
753 6960467923389772345,
754 221535360909084069,
755 ]),
756 Fq::from_montgomery_limbs([
757 17964326599819457995,
758 14751755360522114153,
759 15283771895792774696,
760 1271886438859126545,
761 ]),
762 Fq::from_montgomery_limbs([
763 15437118549753387043,
764 3510619079633075969,
765 16603794516758219723,
766 756776079410359543,
767 ]),
768 Fq::from_montgomery_limbs([
769 17209588410857048072,
770 16141684401935979017,
771 5301689933884631523,
772 38432519687640810,
773 ]),
774 Fq::from_montgomery_limbs([
775 10547445465275366949,
776 16846768059763163090,
777 6977180887290525070,
778 405538698331204120,
779 ]),
780 Fq::from_montgomery_limbs([
781 921006661797204039,
782 11021425780686556666,
783 5587777062950060423,
784 248159859513377465,
785 ]),
786 Fq::from_montgomery_limbs([
787 13398830594908962848,
788 5602568332953722680,
789 3299388522313110637,
790 411509104649500576,
791 ]),
792 Fq::from_montgomery_limbs([
793 10390204826472811537,
794 7554738663131013749,
795 7526120458731579280,
796 905519991871142014,
797 ]),
798 Fq::from_montgomery_limbs([
799 10358091385270219586,
800 7049055062932694342,
801 17159322295344631236,
802 1074016100024519392,
803 ]),
804 Fq::from_montgomery_limbs([
805 7057719272669022427,
806 6716307074733016448,
807 8792057977815871320,
808 862532343552836131,
809 ]),
810 Fq::from_montgomery_limbs([
811 11368373309109150033,
812 7045990182385141009,
813 2025222109349847460,
814 387848901695703654,
815 ]),
816 Fq::from_montgomery_limbs([
817 327056937244728359,
818 9704535108452812502,
819 5199220103603000900,
820 619215360838520470,
821 ]),
822 Fq::from_montgomery_limbs([
823 5395528494255463572,
824 389959326360615418,
825 3978563775598752142,
826 991544641697560783,
827 ]),
828 Fq::from_montgomery_limbs([
829 8458772479849525654,
830 10186585336117207122,
831 12880133936401676976,
832 1149756384964578292,
833 ]),
834 Fq::from_montgomery_limbs([
835 17528423621923070034,
836 15935520090452344119,
837 11404975526251493884,
838 412409734887795934,
839 ]),
840 Fq::from_montgomery_limbs([
841 14596531415737149993,
842 4946255316940312726,
843 12454931841173483338,
844 731911136838063220,
845 ]),
846 Fq::from_montgomery_limbs([
847 6585417567105755410,
848 16822761287245263930,
849 2131635032458361338,
850 606343045824968234,
851 ]),
852 Fq::from_montgomery_limbs([
853 10214561078664282874,
854 5025761289800218565,
855 12783805018122678662,
856 1311486665373386005,
857 ]),
858 Fq::from_montgomery_limbs([
859 15901739284283459461,
860 11286837212400137496,
861 1712557444614142874,
862 121870715794602643,
863 ]),
864 Fq::from_montgomery_limbs([
865 3911984102306673570,
866 648245110634922383,
867 15751439518857509618,
868 216258856571958927,
869 ]),
870 Fq::from_montgomery_limbs([
871 4848434841412269574,
872 7349989464327588429,
873 9911978981083826344,
874 1211881330257404603,
875 ]),
876 Fq::from_montgomery_limbs([
877 9800713739756815796,
878 10304754660712109617,
879 6380491042931330586,
880 362406823863024713,
881 ]),
882 Fq::from_montgomery_limbs([
883 7720465361240795301,
884 12020672868813473796,
885 2701475003865340607,
886 1252909626545536881,
887 ]),
888 Fq::from_montgomery_limbs([
889 9120215925903958009,
890 16370286948728342393,
891 8726225975134153794,
892 874972214722679027,
893 ]),
894 Fq::from_montgomery_limbs([
895 13359293481675756526,
896 17413992610381724082,
897 17127717448613492326,
898 618162979844611485,
899 ]),
900 Fq::from_montgomery_limbs([
901 4457989176113381477,
902 5428904048964818159,
903 12898272303960788094,
904 1093655686680753194,
905 ]),
906 Fq::from_montgomery_limbs([
907 18405830374587328631,
908 6168069285842580322,
909 1496453003489992656,
910 1017841256875975398,
911 ]),
912 Fq::from_montgomery_limbs([
913 12466116854493845937,
914 2160195132816359286,
915 1767040459956452231,
916 109568514856013791,
917 ]),
918 Fq::from_montgomery_limbs([
919 100951306495757880,
920 114976701465995050,
921 15766758379995858204,
922 1057219425251474865,
923 ]),
924 Fq::from_montgomery_limbs([
925 5298457659833054856,
926 7285306064847886866,
927 12795862070238100636,
928 261515234811290770,
929 ]),
930 Fq::from_montgomery_limbs([
931 7319581837975344773,
932 15042040386610023107,
933 16457831289989790825,
934 154915683796793087,
935 ]),
936 Fq::from_montgomery_limbs([
937 13545480776153695910,
938 13196378744888296667,
939 5616833430312197722,
940 463371887282511984,
941 ]),
942 Fq::from_montgomery_limbs([
943 4373255717409396971,
944 7992661231611740992,
945 2555455907700438592,
946 419602657573298182,
947 ]),
948 Fq::from_montgomery_limbs([
949 3838228082130987093,
950 16958961529135702054,
951 12819669670360648617,
952 359497681438954782,
953 ]),
954 Fq::from_montgomery_limbs([
955 6515161084577348825,
956 3970441889569271383,
957 607156398571973799,
958 547713787201516126,
959 ]),
960 Fq::from_montgomery_limbs([
961 1627146883145613872,
962 10573887756656254297,
963 13653780278064282619,
964 524933908746351261,
965 ]),
966 Fq::from_montgomery_limbs([
967 10179158874602797540,
968 2320694878046972755,
969 13108212213196896821,
970 823608765090614102,
971 ]),
972 Fq::from_montgomery_limbs([
973 10002922236139274212,
974 17696271073832748193,
975 8923379405797021551,
976 708982901731254704,
977 ]),
978 Fq::from_montgomery_limbs([
979 5839866296962221086,
980 17583077663905506748,
981 12216298901080800460,
982 487361936596221908,
983 ]),
984 Fq::from_montgomery_limbs([
985 14341245248157744737,
986 3199487087597809010,
987 1135767560538489843,
988 927313269278877142,
989 ]),
990 Fq::from_montgomery_limbs([
991 16632797622220954476,
992 9703590888871525194,
993 1377123634707768418,
994 1246534655674358846,
995 ]),
996 Fq::from_montgomery_limbs([
997 4754517168201404309,
998 2647290700202563552,
999 1690983820051979673,
1000 7714150076274415,
1001 ]),
1002 Fq::from_montgomery_limbs([
1003 11569692557961925140,
1004 10228174840463393187,
1005 8150598622710748207,
1006 513567317704368092,
1007 ]),
1008 Fq::from_montgomery_limbs([
1009 1881301196632560204,
1010 6035626362054951305,
1011 8515508636781928884,
1012 523264698133540944,
1013 ]),
1014 Fq::from_montgomery_limbs([
1015 10026556150015580882,
1016 12588661207673568544,
1017 8778049799575991497,
1018 1135429816709585919,
1019 ]),
1020 Fq::from_montgomery_limbs([
1021 15355804768759996831,
1022 17109742989524070851,
1023 18394344475321513045,
1024 694458701321276154,
1025 ]),
1026 Fq::from_montgomery_limbs([
1027 13235216837990437070,
1028 2617348320939314758,
1029 13129875399290619987,
1030 562279832760519450,
1031 ]),
1032 Fq::from_montgomery_limbs([
1033 10230390803193447564,
1034 13314863672162400633,
1035 17075894283494146616,
1036 375924473565310089,
1037 ]),
1038 Fq::from_montgomery_limbs([
1039 12059482537459401199,
1040 10372277014464995984,
1041 13657463670572718949,
1042 68415488536176259,
1043 ]),
1044 Fq::from_montgomery_limbs([
1045 4866792775300295481,
1046 4662805139390376964,
1047 1084624083313912193,
1048 283924614466318758,
1049 ]),
1050 Fq::from_montgomery_limbs([
1051 682031803653902614,
1052 2785175410597900576,
1053 10466522391392735273,
1054 982491227853418333,
1055 ]),
1056 Fq::from_montgomery_limbs([
1057 1657190274082326701,
1058 15794239529824430696,
1059 11562429870540813013,
1060 30597476268276403,
1061 ]),
1062 Fq::from_montgomery_limbs([
1063 11433643047469980018,
1064 1276670802646402384,
1065 7225445039450827835,
1066 1320607862737647658,
1067 ]),
1068 Fq::from_montgomery_limbs([
1069 9049650314779674715,
1070 15332775679178116922,
1071 10916059016321665268,
1072 1115159218126791192,
1073 ]),
1074 Fq::from_montgomery_limbs([
1075 5320499112936763732,
1076 11250539854586634824,
1077 12063947087263213252,
1078 710935487070228339,
1079 ]),
1080 Fq::from_montgomery_limbs([
1081 18379608258942880321,
1082 15727113804916673274,
1083 10498320535108511002,
1084 845002076776323646,
1085 ]),
1086 Fq::from_montgomery_limbs([
1087 6828593483180812035,
1088 1682481325156526923,
1089 14049047336459608184,
1090 1126148273021080778,
1091 ]),
1092 Fq::from_montgomery_limbs([
1093 3872917422679565944,
1094 1271915972458656550,
1095 1092693023912110895,
1096 1298968277402891756,
1097 ]),
1098 Fq::from_montgomery_limbs([
1099 7814132502258843917,
1100 8078742423972593556,
1101 8536158594561933049,
1102 191277843487617954,
1103 ]),
1104 Fq::from_montgomery_limbs([
1105 5652311561512870887,
1106 16495461651672765449,
1107 11098657231551158518,
1108 493087321946801171,
1109 ]),
1110 Fq::from_montgomery_limbs([
1111 6368409936062697439,
1112 792796763844864197,
1113 5610460501625398581,
1114 546867399856191995,
1115 ]),
1116 Fq::from_montgomery_limbs([
1117 3038217149528838505,
1118 8627484827600343283,
1119 7414393357134479493,
1120 985381996389905690,
1121 ]),
1122 Fq::from_montgomery_limbs([
1123 14953970136252134871,
1124 295452924685135549,
1125 11287279099077480718,
1126 617093465173114131,
1127 ]),
1128 Fq::from_montgomery_limbs([
1129 140435627222783551,
1130 17855535656574994648,
1131 5022512547318532764,
1132 473386213985532003,
1133 ]),
1134 Fq::from_montgomery_limbs([
1135 7030554896034226352,
1136 6441059691989760702,
1137 581099786512472761,
1138 1269259459863271622,
1139 ]),
1140 Fq::from_montgomery_limbs([
1141 6770052323275442396,
1142 12901743183408121797,
1143 13004549993560303547,
1144 969914125748537569,
1145 ]),
1146 Fq::from_montgomery_limbs([
1147 11435239377991792553,
1148 14044046789306606033,
1149 11369816462011584822,
1150 1239930404010674345,
1151 ]),
1152 Fq::from_montgomery_limbs([
1153 2621636762951244377,
1154 7758290588105338214,
1155 14625731574391580682,
1156 7696703746211481,
1157 ]),
1158 Fq::from_montgomery_limbs([
1159 8270493924131469556,
1160 15946263820341678216,
1161 6122109191607485742,
1162 1119062509985100783,
1163 ]),
1164 Fq::from_montgomery_limbs([
1165 11252124749266599346,
1166 8413749501404755931,
1167 9936257142296575431,
1168 189818330075783365,
1169 ]),
1170 Fq::from_montgomery_limbs([
1171 1537275707366966513,
1172 2232381660897701103,
1173 2870196216416932989,
1174 1271177660936312287,
1175 ]),
1176 Fq::from_montgomery_limbs([
1177 1398814984843324301,
1178 15240858180305901997,
1179 14386262707998656254,
1180 1102388553837536368,
1181 ]),
1182 ]),
1183 mds: MdsMatrix::<5, 4, 25, 16>::new_from_known([
1184 Fq::from_montgomery_limbs([
1185 2093244959304135473,
1186 7921656493611837028,
1187 14184576022206158435,
1188 729731999227928846,
1189 ]),
1190 Fq::from_montgomery_limbs([
1191 17237574486256691881,
1192 7678231653376502440,
1193 12981859904545217192,
1194 832323394471302938,
1195 ]),
1196 Fq::from_montgomery_limbs([
1197 14878706952858838161,
1198 15410104227655356999,
1199 17393275270132988194,
1200 905602962502284432,
1201 ]),
1202 Fq::from_montgomery_limbs([
1203 17721242321237835775,
1204 11985636621509722110,
1205 11478464757469040638,
1206 960562638525520553,
1207 ]),
1208 Fq::from_montgomery_limbs([
1209 17640631015407645126,
1210 17416650484724036037,
1211 14803487960933328666,
1212 554882262980868625,
1213 ]),
1214 Fq::from_montgomery_limbs([
1215 17237574486256691881,
1216 7678231653376502440,
1217 12981859904545217192,
1218 832323394471302938,
1219 ]),
1220 Fq::from_montgomery_limbs([
1221 14878706952858838161,
1222 15410104227655356999,
1223 17393275270132988194,
1224 905602962502284432,
1225 ]),
1226 Fq::from_montgomery_limbs([
1227 17721242321237835775,
1228 11985636621509722110,
1229 11478464757469040638,
1230 960562638525520553,
1231 ]),
1232 Fq::from_montgomery_limbs([
1233 17640631015407645126,
1234 17416650484724036037,
1235 14803487960933328666,
1236 554882262980868625,
1237 ]),
1238 Fq::from_montgomery_limbs([
1239 10632745392742701465,
1240 7191381972905833266,
1241 10576427669223334706,
1242 1037506184958051122,
1243 ]),
1244 Fq::from_montgomery_limbs([
1245 14878706952858838161,
1246 15410104227655356999,
1247 17393275270132988194,
1248 905602962502284432,
1249 ]),
1250 Fq::from_montgomery_limbs([
1251 17721242321237835775,
1252 11985636621509722110,
1253 11478464757469040638,
1254 960562638525520553,
1255 ]),
1256 Fq::from_montgomery_limbs([
1257 17640631015407645126,
1258 17416650484724036037,
1259 14803487960933328666,
1260 554882262980868625,
1261 ]),
1262 Fq::from_montgomery_limbs([
1263 10632745392742701465,
1264 7191381972905833266,
1265 10576427669223334706,
1266 1037506184958051122,
1267 ]),
1268 Fq::from_montgomery_limbs([
1269 7989155441247042094,
1270 18276457113184108543,
1271 17999817914616464103,
1272 943187440870955565,
1273 ]),
1274 Fq::from_montgomery_limbs([
1275 17721242321237835775,
1276 11985636621509722110,
1277 11478464757469040638,
1278 960562638525520553,
1279 ]),
1280 Fq::from_montgomery_limbs([
1281 17640631015407645126,
1282 17416650484724036037,
1283 14803487960933328666,
1284 554882262980868625,
1285 ]),
1286 Fq::from_montgomery_limbs([
1287 10632745392742701465,
1288 7191381972905833266,
1289 10576427669223334706,
1290 1037506184958051122,
1291 ]),
1292 Fq::from_montgomery_limbs([
1293 7989155441247042094,
1294 18276457113184108543,
1295 17999817914616464103,
1296 943187440870955565,
1297 ]),
1298 Fq::from_montgomery_limbs([
1299 18204910156218979669,
1300 16293041589642941780,
1301 9975069610392864084,
1302 1088801882579738168,
1303 ]),
1304 Fq::from_montgomery_limbs([
1305 17640631015407645126,
1306 17416650484724036037,
1307 14803487960933328666,
1308 554882262980868625,
1309 ]),
1310 Fq::from_montgomery_limbs([
1311 10632745392742701465,
1312 7191381972905833266,
1313 10576427669223334706,
1314 1037506184958051122,
1315 ]),
1316 Fq::from_montgomery_limbs([
1317 7989155441247042094,
1318 18276457113184108543,
1319 17999817914616464103,
1320 943187440870955565,
1321 ]),
1322 Fq::from_montgomery_limbs([
1323 18204910156218979669,
1324 16293041589642941780,
1325 9975069610392864084,
1326 1088801882579738168,
1327 ]),
1328 Fq::from_montgomery_limbs([
1329 15441359965645378481,
1330 7022857083512140090,
1331 11162758362666494739,
1332 1108530997049617801,
1333 ]),
1334 ]),
1335 alpha: Alpha::Exponent(17),
1336 rounds: RoundNumbers { r_P: 31, r_F: 8 },
1337 optimized_mds: OptimizedMdsMatrices {
1338 M_hat: SquareMatrix::<4, 16>::new_from_known([
1339 Fq::from_montgomery_limbs([
1340 14878706952858838161,
1341 15410104227655356999,
1342 17393275270132988194,
1343 905602962502284432,
1344 ]),
1345 Fq::from_montgomery_limbs([
1346 17721242321237835775,
1347 11985636621509722110,
1348 11478464757469040638,
1349 960562638525520553,
1350 ]),
1351 Fq::from_montgomery_limbs([
1352 17640631015407645126,
1353 17416650484724036037,
1354 14803487960933328666,
1355 554882262980868625,
1356 ]),
1357 Fq::from_montgomery_limbs([
1358 10632745392742701465,
1359 7191381972905833266,
1360 10576427669223334706,
1361 1037506184958051122,
1362 ]),
1363 Fq::from_montgomery_limbs([
1364 17721242321237835775,
1365 11985636621509722110,
1366 11478464757469040638,
1367 960562638525520553,
1368 ]),
1369 Fq::from_montgomery_limbs([
1370 17640631015407645126,
1371 17416650484724036037,
1372 14803487960933328666,
1373 554882262980868625,
1374 ]),
1375 Fq::from_montgomery_limbs([
1376 10632745392742701465,
1377 7191381972905833266,
1378 10576427669223334706,
1379 1037506184958051122,
1380 ]),
1381 Fq::from_montgomery_limbs([
1382 7989155441247042094,
1383 18276457113184108543,
1384 17999817914616464103,
1385 943187440870955565,
1386 ]),
1387 Fq::from_montgomery_limbs([
1388 17640631015407645126,
1389 17416650484724036037,
1390 14803487960933328666,
1391 554882262980868625,
1392 ]),
1393 Fq::from_montgomery_limbs([
1394 10632745392742701465,
1395 7191381972905833266,
1396 10576427669223334706,
1397 1037506184958051122,
1398 ]),
1399 Fq::from_montgomery_limbs([
1400 7989155441247042094,
1401 18276457113184108543,
1402 17999817914616464103,
1403 943187440870955565,
1404 ]),
1405 Fq::from_montgomery_limbs([
1406 18204910156218979669,
1407 16293041589642941780,
1408 9975069610392864084,
1409 1088801882579738168,
1410 ]),
1411 Fq::from_montgomery_limbs([
1412 10632745392742701465,
1413 7191381972905833266,
1414 10576427669223334706,
1415 1037506184958051122,
1416 ]),
1417 Fq::from_montgomery_limbs([
1418 7989155441247042094,
1419 18276457113184108543,
1420 17999817914616464103,
1421 943187440870955565,
1422 ]),
1423 Fq::from_montgomery_limbs([
1424 18204910156218979669,
1425 16293041589642941780,
1426 9975069610392864084,
1427 1088801882579738168,
1428 ]),
1429 Fq::from_montgomery_limbs([
1430 15441359965645378481,
1431 7022857083512140090,
1432 11162758362666494739,
1433 1108530997049617801,
1434 ]),
1435 ]),
1436 v: Matrix::<1, 4, 4>::new_from_known([
1437 Fq::from_montgomery_limbs([
1438 17237574486256691881,
1439 7678231653376502440,
1440 12981859904545217192,
1441 832323394471302938,
1442 ]),
1443 Fq::from_montgomery_limbs([
1444 14878706952858838161,
1445 15410104227655356999,
1446 17393275270132988194,
1447 905602962502284432,
1448 ]),
1449 Fq::from_montgomery_limbs([
1450 17721242321237835775,
1451 11985636621509722110,
1452 11478464757469040638,
1453 960562638525520553,
1454 ]),
1455 Fq::from_montgomery_limbs([
1456 17640631015407645126,
1457 17416650484724036037,
1458 14803487960933328666,
1459 554882262980868625,
1460 ]),
1461 ]),
1462 w: Matrix::<4, 1, 4>::new_from_known([
1463 Fq::from_montgomery_limbs([
1464 17237574486256691881,
1465 7678231653376502440,
1466 12981859904545217192,
1467 832323394471302938,
1468 ]),
1469 Fq::from_montgomery_limbs([
1470 14878706952858838161,
1471 15410104227655356999,
1472 17393275270132988194,
1473 905602962502284432,
1474 ]),
1475 Fq::from_montgomery_limbs([
1476 17721242321237835775,
1477 11985636621509722110,
1478 11478464757469040638,
1479 960562638525520553,
1480 ]),
1481 Fq::from_montgomery_limbs([
1482 17640631015407645126,
1483 17416650484724036037,
1484 14803487960933328666,
1485 554882262980868625,
1486 ]),
1487 ]),
1488 M_prime: SquareMatrix::<5, 25>::new_from_known([
1489 Fq::from_montgomery_limbs([
1490 9015221291577245683,
1491 8239323489949974514,
1492 1646089257421115374,
1493 958099254763297437,
1494 ]),
1495 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1496 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1497 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1498 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1499 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1500 Fq::from_montgomery_limbs([
1501 14878706952858838161,
1502 15410104227655356999,
1503 17393275270132988194,
1504 905602962502284432,
1505 ]),
1506 Fq::from_montgomery_limbs([
1507 17721242321237835775,
1508 11985636621509722110,
1509 11478464757469040638,
1510 960562638525520553,
1511 ]),
1512 Fq::from_montgomery_limbs([
1513 17640631015407645126,
1514 17416650484724036037,
1515 14803487960933328666,
1516 554882262980868625,
1517 ]),
1518 Fq::from_montgomery_limbs([
1519 10632745392742701465,
1520 7191381972905833266,
1521 10576427669223334706,
1522 1037506184958051122,
1523 ]),
1524 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1525 Fq::from_montgomery_limbs([
1526 17721242321237835775,
1527 11985636621509722110,
1528 11478464757469040638,
1529 960562638525520553,
1530 ]),
1531 Fq::from_montgomery_limbs([
1532 17640631015407645126,
1533 17416650484724036037,
1534 14803487960933328666,
1535 554882262980868625,
1536 ]),
1537 Fq::from_montgomery_limbs([
1538 10632745392742701465,
1539 7191381972905833266,
1540 10576427669223334706,
1541 1037506184958051122,
1542 ]),
1543 Fq::from_montgomery_limbs([
1544 7989155441247042094,
1545 18276457113184108543,
1546 17999817914616464103,
1547 943187440870955565,
1548 ]),
1549 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1550 Fq::from_montgomery_limbs([
1551 17640631015407645126,
1552 17416650484724036037,
1553 14803487960933328666,
1554 554882262980868625,
1555 ]),
1556 Fq::from_montgomery_limbs([
1557 10632745392742701465,
1558 7191381972905833266,
1559 10576427669223334706,
1560 1037506184958051122,
1561 ]),
1562 Fq::from_montgomery_limbs([
1563 7989155441247042094,
1564 18276457113184108543,
1565 17999817914616464103,
1566 943187440870955565,
1567 ]),
1568 Fq::from_montgomery_limbs([
1569 18204910156218979669,
1570 16293041589642941780,
1571 9975069610392864084,
1572 1088801882579738168,
1573 ]),
1574 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1575 Fq::from_montgomery_limbs([
1576 10632745392742701465,
1577 7191381972905833266,
1578 10576427669223334706,
1579 1037506184958051122,
1580 ]),
1581 Fq::from_montgomery_limbs([
1582 7989155441247042094,
1583 18276457113184108543,
1584 17999817914616464103,
1585 943187440870955565,
1586 ]),
1587 Fq::from_montgomery_limbs([
1588 18204910156218979669,
1589 16293041589642941780,
1590 9975069610392864084,
1591 1088801882579738168,
1592 ]),
1593 Fq::from_montgomery_limbs([
1594 15441359965645378481,
1595 7022857083512140090,
1596 11162758362666494739,
1597 1108530997049617801,
1598 ]),
1599 ]),
1600 M_doubleprime: SquareMatrix::<5, 25>::new_from_known([
1601 Fq::from_montgomery_limbs([
1602 2093244959304135473,
1603 7921656493611837028,
1604 14184576022206158435,
1605 729731999227928846,
1606 ]),
1607 Fq::from_montgomery_limbs([
1608 17237574486256691881,
1609 7678231653376502440,
1610 12981859904545217192,
1611 832323394471302938,
1612 ]),
1613 Fq::from_montgomery_limbs([
1614 14878706952858838161,
1615 15410104227655356999,
1616 17393275270132988194,
1617 905602962502284432,
1618 ]),
1619 Fq::from_montgomery_limbs([
1620 17721242321237835775,
1621 11985636621509722110,
1622 11478464757469040638,
1623 960562638525520553,
1624 ]),
1625 Fq::from_montgomery_limbs([
1626 17640631015407645126,
1627 17416650484724036037,
1628 14803487960933328666,
1629 554882262980868625,
1630 ]),
1631 Fq::from_montgomery_limbs([
1632 8008150737402636880,
1633 4488734692587776588,
1634 1547555191554943536,
1635 1006206882335955987,
1636 ]),
1637 Fq::from_montgomery_limbs([
1638 9015221291577245683,
1639 8239323489949974514,
1640 1646089257421115374,
1641 958099254763297437,
1642 ]),
1643 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1644 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1645 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1646 Fq::from_montgomery_limbs([
1647 4174856959927929341,
1648 6956702737728349555,
1649 11313218605335544685,
1650 1279701926361717254,
1651 ]),
1652 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1653 Fq::from_montgomery_limbs([
1654 9015221291577245683,
1655 8239323489949974514,
1656 1646089257421115374,
1657 958099254763297437,
1658 ]),
1659 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1660 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1661 Fq::from_montgomery_limbs([
1662 14997388866253338116,
1663 17951148788181031565,
1664 14101804784614517907,
1665 65578444326456143,
1666 ]),
1667 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1668 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1669 Fq::from_montgomery_limbs([
1670 9015221291577245683,
1671 8239323489949974514,
1672 1646089257421115374,
1673 958099254763297437,
1674 ]),
1675 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1676 Fq::from_montgomery_limbs([
1677 6853363902592985329,
1678 4486369932351851910,
1679 65610707319252285,
1680 873172475563117547,
1681 ]),
1682 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1683 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1684 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1685 Fq::from_montgomery_limbs([
1686 9015221291577245683,
1687 8239323489949974514,
1688 1646089257421115374,
1689 958099254763297437,
1690 ]),
1691 ]),
1692 M_inverse: SquareMatrix::<5, 25>::new_from_known([
1693 Fq::from_montgomery_limbs([
1694 16044777359948080167,
1695 6379307166694554861,
1696 762089046052004585,
1697 1183646996043825654,
1698 ]),
1699 Fq::from_montgomery_limbs([
1700 8310126474924308909,
1701 16838376826344772735,
1702 14456183264230470132,
1703 629129040732927162,
1704 ]),
1705 Fq::from_montgomery_limbs([
1706 10591481161139814707,
1707 3864831283854097767,
1708 6360339012538312403,
1709 727156441545813699,
1710 ]),
1711 Fq::from_montgomery_limbs([
1712 8580764665041452750,
1713 2596276168345731737,
1714 607940303702198574,
1715 618123929142359699,
1716 ]),
1717 Fq::from_montgomery_limbs([
1718 18272933275584544879,
1719 10491562475845979009,
1720 9925929908400688531,
1721 449428766487123474,
1722 ]),
1723 Fq::from_montgomery_limbs([
1724 8310126474924308909,
1725 16838376826344772735,
1726 14456183264230470132,
1727 629129040732927162,
1728 ]),
1729 Fq::from_montgomery_limbs([
1730 11903154552578817451,
1731 8808508453785624876,
1732 14068444835231129096,
1733 1259276684968074962,
1734 ]),
1735 Fq::from_montgomery_limbs([
1736 2548615176746366879,
1737 17237354895530185263,
1738 1797488250903408702,
1739 291026391931997698,
1740 ]),
1741 Fq::from_montgomery_limbs([
1742 13620574122907011204,
1743 15580574422211693049,
1744 7152880373115697056,
1745 985573542184802400,
1746 ]),
1747 Fq::from_montgomery_limbs([
1748 3137742302926509693,
1749 15046605844466714305,
1750 1991063102869025961,
1751 261841845081961819,
1752 ]),
1753 Fq::from_montgomery_limbs([
1754 10591481161139814707,
1755 3864831283854097767,
1756 6360339012538312403,
1757 727156441545813699,
1758 ]),
1759 Fq::from_montgomery_limbs([
1760 2548615176746366879,
1761 17237354895530185263,
1762 1797488250903408702,
1763 291026391931997698,
1764 ]),
1765 Fq::from_montgomery_limbs([
1766 4501910777217553532,
1767 15462242547553693695,
1768 10499850527346203608,
1769 185455733513899003,
1770 ]),
1771 Fq::from_montgomery_limbs([
1772 16090235568988980360,
1773 8762996204253883831,
1774 17672444665847082580,
1775 116738187400143515,
1776 ]),
1777 Fq::from_montgomery_limbs([
1778 10965139192629135304,
1779 2507527262352232221,
1780 7729853937802466392,
1781 18035572639182151,
1782 ]),
1783 Fq::from_montgomery_limbs([
1784 8580764665041452750,
1785 2596276168345731737,
1786 607940303702198574,
1787 618123929142359699,
1788 ]),
1789 Fq::from_montgomery_limbs([
1790 13620574122907011204,
1791 15580574422211693049,
1792 7152880373115697056,
1793 985573542184802400,
1794 ]),
1795 Fq::from_montgomery_limbs([
1796 16090235568988980360,
1797 8762996204253883831,
1798 17672444665847082580,
1799 116738187400143515,
1800 ]),
1801 Fq::from_montgomery_limbs([
1802 10167016895964480411,
1803 16734919608152084608,
1804 17983964361753590390,
1805 420319954536647974,
1806 ]),
1807 Fq::from_montgomery_limbs([
1808 15950905455332638974,
1809 10638510376174954245,
1810 6190824109415358469,
1811 365471410765096812,
1812 ]),
1813 Fq::from_montgomery_limbs([
1814 18272933275584544879,
1815 10491562475845979009,
1816 9925929908400688531,
1817 449428766487123474,
1818 ]),
1819 Fq::from_montgomery_limbs([
1820 3137742302926509693,
1821 15046605844466714305,
1822 1991063102869025961,
1823 261841845081961819,
1824 ]),
1825 Fq::from_montgomery_limbs([
1826 10965139192629135304,
1827 2507527262352232221,
1828 7729853937802466392,
1829 18035572639182151,
1830 ]),
1831 Fq::from_montgomery_limbs([
1832 15950905455332638974,
1833 10638510376174954245,
1834 6190824109415358469,
1835 365471410765096812,
1836 ]),
1837 Fq::from_montgomery_limbs([
1838 1117314920009271201,
1839 4543364499625431390,
1840 17867254861738919934,
1841 199268313635132044,
1842 ]),
1843 ]),
1844 M_hat_inverse: SquareMatrix::<4, 16>::new_from_known([
1845 Fq::from_montgomery_limbs([
1846 2912843796488841427,
1847 2986203785403700346,
1848 8782906370300679609,
1849 72348807101562454,
1850 ]),
1851 Fq::from_montgomery_limbs([
1852 9009169579583668122,
1853 13163254771921611656,
1854 12500476150373767268,
1855 206041309714119899,
1856 ]),
1857 Fq::from_montgomery_limbs([
1858 7160019720069709961,
1859 1207930472110715040,
1860 14896636547354890107,
1861 1070558624402680198,
1862 ]),
1863 Fq::from_montgomery_limbs([
1864 769834061306938378,
1865 434866968268652066,
1866 13507727459817144106,
1867 1015899670515829318,
1868 ]),
1869 Fq::from_montgomery_limbs([
1870 9009169579583668122,
1871 13163254771921611656,
1872 12500476150373767268,
1873 206041309714119899,
1874 ]),
1875 Fq::from_montgomery_limbs([
1876 18105737139400699747,
1877 17092832644263385296,
1878 11448292449964576346,
1879 97503347880002371,
1880 ]),
1881 Fq::from_montgomery_limbs([
1882 2486409206805834145,
1883 7132406107544192230,
1884 16724002743228709842,
1885 204690573034040147,
1886 ]),
1887 Fq::from_montgomery_limbs([
1888 15517856203532702535,
1889 6456985507109804621,
1890 5236564190669238024,
1891 1219448662068878427,
1892 ]),
1893 Fq::from_montgomery_limbs([
1894 7160019720069709961,
1895 1207930472110715040,
1896 14896636547354890107,
1897 1070558624402680198,
1898 ]),
1899 Fq::from_montgomery_limbs([
1900 2486409206805834145,
1901 7132406107544192230,
1902 16724002743228709842,
1903 204690573034040147,
1904 ]),
1905 Fq::from_montgomery_limbs([
1906 5324099184438075010,
1907 18365509704861776210,
1908 485662210662411512,
1909 332367568902751343,
1910 ]),
1911 Fq::from_montgomery_limbs([
1912 12123690196900787584,
1913 13150159583617211350,
1914 15652393172789097814,
1915 509338692023573934,
1916 ]),
1917 Fq::from_montgomery_limbs([
1918 769834061306938378,
1919 434866968268652066,
1920 13507727459817144106,
1921 1015899670515829318,
1922 ]),
1923 Fq::from_montgomery_limbs([
1924 15517856203532702535,
1925 6456985507109804621,
1926 5236564190669238024,
1927 1219448662068878427,
1928 ]),
1929 Fq::from_montgomery_limbs([
1930 12123690196900787584,
1931 13150159583617211350,
1932 15652393172789097814,
1933 509338692023573934,
1934 ]),
1935 Fq::from_montgomery_limbs([
1936 3535747919942277633,
1937 17013697925000670341,
1938 11660128334245281,
1939 1118907618677696094,
1940 ]),
1941 ]),
1942 M_00: Fq::from_montgomery_limbs([
1943 2093244959304135473,
1944 7921656493611837028,
1945 14184576022206158435,
1946 729731999227928846,
1947 ]),
1948 M_i: Matrix::<5, 5, 25>::new_from_known([
1949 Fq::from_montgomery_limbs([
1950 9015221291577245683,
1951 8239323489949974514,
1952 1646089257421115374,
1953 958099254763297437,
1954 ]),
1955 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1956 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1957 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1958 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1959 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1960 Fq::from_montgomery_limbs([
1961 3550241294482541299,
1962 4181806201361874488,
1963 12479811686471816403,
1964 855474765552047927,
1965 ]),
1966 Fq::from_montgomery_limbs([
1967 10733696657462375354,
1968 9051038123237754612,
1969 15768789564108221449,
1970 598829465077611102,
1971 ]),
1972 Fq::from_montgomery_limbs([
1973 4780090151550846061,
1974 8840309929769970773,
1975 7282912445741669386,
1976 1146189173642481065,
1977 ]),
1978 Fq::from_montgomery_limbs([
1979 4412170182102677248,
1980 3666416784507971023,
1981 16978031500730235082,
1982 244755965167984938,
1983 ]),
1984 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1985 Fq::from_montgomery_limbs([
1986 10733696657462375354,
1987 9051038123237754612,
1988 15768789564108221449,
1989 598829465077611102,
1990 ]),
1991 Fq::from_montgomery_limbs([
1992 1513630470854066869,
1993 4677614225413309486,
1994 10111857031931978945,
1995 500911903228030067,
1996 ]),
1997 Fq::from_montgomery_limbs([
1998 3055507272271008448,
1999 8821455708710032658,
2000 11214733806280933596,
2001 435072795685184507,
2002 ]),
2003 Fq::from_montgomery_limbs([
2004 2339289121714728061,
2005 16657308061121398565,
2006 2111925237313832617,
2007 572507462955239974,
2008 ]),
2009 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2010 Fq::from_montgomery_limbs([
2011 4780090151550846061,
2012 8840309929769970773,
2013 7282912445741669386,
2014 1146189173642481065,
2015 ]),
2016 Fq::from_montgomery_limbs([
2017 3055507272271008448,
2018 8821455708710032658,
2019 11214733806280933596,
2020 435072795685184507,
2021 ]),
2022 Fq::from_montgomery_limbs([
2023 13866627529171609781,
2024 9361176355530684294,
2025 17598610984186907476,
2026 148068116833355292,
2027 ]),
2028 Fq::from_montgomery_limbs([
2029 1636007787860515509,
2030 13796006064476623473,
2031 8087234008724486427,
2032 424300075186376057,
2033 ]),
2034 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2035 Fq::from_montgomery_limbs([
2036 4412170182102677248,
2037 3666416784507971023,
2038 16978031500730235082,
2039 244755965167984938,
2040 ]),
2041 Fq::from_montgomery_limbs([
2042 2339289121714728061,
2043 16657308061121398565,
2044 2111925237313832617,
2045 572507462955239974,
2046 ]),
2047 Fq::from_montgomery_limbs([
2048 1636007787860515509,
2049 13796006064476623473,
2050 8087234008724486427,
2051 424300075186376057,
2052 ]),
2053 Fq::from_montgomery_limbs([
2054 17138718893438209806,
2055 3832598667291101348,
2056 16820316856178316520,
2057 934255170445228361,
2058 ]),
2059 ]),
2060 v_collection: [
2061 Matrix::<1, 4, 4>::new_from_known([
2062 Fq::from_montgomery_limbs([
2063 17237574486256691881,
2064 7678231653376502440,
2065 12981859904545217192,
2066 832323394471302938,
2067 ]),
2068 Fq::from_montgomery_limbs([
2069 14878706952858838161,
2070 15410104227655356999,
2071 17393275270132988194,
2072 905602962502284432,
2073 ]),
2074 Fq::from_montgomery_limbs([
2075 17721242321237835775,
2076 11985636621509722110,
2077 11478464757469040638,
2078 960562638525520553,
2079 ]),
2080 Fq::from_montgomery_limbs([
2081 17640631015407645126,
2082 17416650484724036037,
2083 14803487960933328666,
2084 554882262980868625,
2085 ]),
2086 ]),
2087 Matrix::<1, 4, 4>::new_from_known([
2088 Fq::from_montgomery_limbs([
2089 7330330845985706257,
2090 6947957132670498679,
2091 9373711551562393463,
2092 1140097580201425214,
2093 ]),
2094 Fq::from_montgomery_limbs([
2095 16333313215653526970,
2096 2040802123570873567,
2097 13606956490394234585,
2098 551256550916377040,
2099 ]),
2100 Fq::from_montgomery_limbs([
2101 5062406009186596704,
2102 16529967443609096569,
2103 8069040895545372020,
2104 1221611533051627754,
2105 ]),
2106 Fq::from_montgomery_limbs([
2107 8776932849639973133,
2108 4157275033105063229,
2109 5219893242165609753,
2110 441476373599490172,
2111 ]),
2112 ]),
2113 Matrix::<1, 4, 4>::new_from_known([
2114 Fq::from_montgomery_limbs([
2115 11152363693389150632,
2116 7168263193567282683,
2117 1452700946751769356,
2118 436217109073156792,
2119 ]),
2120 Fq::from_montgomery_limbs([
2121 13970337958464724119,
2122 17109877554760172091,
2123 12788764852517710407,
2124 839284445089847973,
2125 ]),
2126 Fq::from_montgomery_limbs([
2127 15163746983822199844,
2128 11654724925143124644,
2129 9602216610999473293,
2130 519210689768164370,
2131 ]),
2132 Fq::from_montgomery_limbs([
2133 10182434037205209725,
2134 9621286367095233356,
2135 8404025194304421834,
2136 344727351078320731,
2137 ]),
2138 ]),
2139 Matrix::<1, 4, 4>::new_from_known([
2140 Fq::from_montgomery_limbs([
2141 16755358458570043164,
2142 10280398262063275743,
2143 17321778533676321974,
2144 143546509776638006,
2145 ]),
2146 Fq::from_montgomery_limbs([
2147 9894685689427310276,
2148 13317494114689924797,
2149 8039678456153006986,
2150 320726242987073750,
2151 ]),
2152 Fq::from_montgomery_limbs([
2153 10892251073208715123,
2154 9975233878611449982,
2155 11944979761650688031,
2156 279665888955724801,
2157 ]),
2158 Fq::from_montgomery_limbs([
2159 2806869061497062911,
2160 16847498917844641241,
2161 12155099785802870367,
2162 612418149303740633,
2163 ]),
2164 ]),
2165 Matrix::<1, 4, 4>::new_from_known([
2166 Fq::from_montgomery_limbs([
2167 1943262751829125522,
2168 12763321846226199313,
2169 6747770469779104151,
2170 951539986961178929,
2171 ]),
2172 Fq::from_montgomery_limbs([
2173 16058796408745659861,
2174 17170055100384124922,
2175 1586157489739998203,
2176 1036791847629253806,
2177 ]),
2178 Fq::from_montgomery_limbs([
2179 2170272984479571023,
2180 39206051687503551,
2181 73036971397233251,
2182 323555571475294666,
2183 ]),
2184 Fq::from_montgomery_limbs([
2185 13939509715106692697,
2186 9339647999495962035,
2187 11925062741591314295,
2188 1167415533183673898,
2189 ]),
2190 ]),
2191 Matrix::<1, 4, 4>::new_from_known([
2192 Fq::from_montgomery_limbs([
2193 6979434117673847033,
2194 3048055255536618747,
2195 13743910631909977125,
2196 783906807780161297,
2197 ]),
2198 Fq::from_montgomery_limbs([
2199 17010292649383249624,
2200 7578772047158193525,
2201 1259524131029379452,
2202 241494970118020102,
2203 ]),
2204 Fq::from_montgomery_limbs([
2205 8104232396866985927,
2206 12510732557073130064,
2207 9629433082008929246,
2208 1035242752646990544,
2209 ]),
2210 Fq::from_montgomery_limbs([
2211 16796634656430258298,
2212 14112008759289957096,
2213 6452208208519466013,
2214 1048584847398376572,
2215 ]),
2216 ]),
2217 Matrix::<1, 4, 4>::new_from_known([
2218 Fq::from_montgomery_limbs([
2219 15748961458778365618,
2220 8601741670573679852,
2221 9437158324168441506,
2222 977044327661253334,
2223 ]),
2224 Fq::from_montgomery_limbs([
2225 5158908350016140691,
2226 8596065138269817166,
2227 4752647801985797199,
2228 1176021914613979688,
2229 ]),
2230 Fq::from_montgomery_limbs([
2231 17831888852747325597,
2232 9652101022265686283,
2233 1555288054471442793,
2234 65814168324416153,
2235 ]),
2236 Fq::from_montgomery_limbs([
2237 10495561656210166211,
2238 10989451257550783972,
2239 8015055214453272328,
2240 409799830087238982,
2241 ]),
2242 ]),
2243 Matrix::<1, 4, 4>::new_from_known([
2244 Fq::from_montgomery_limbs([
2245 2331967402451752193,
2246 2109682558241205572,
2247 1825337663297053092,
2248 878857572660922318,
2249 ]),
2250 Fq::from_montgomery_limbs([
2251 12336449333325242432,
2252 5499382277476614407,
2253 11404022977159740856,
2254 478044609105512850,
2255 ]),
2256 Fq::from_montgomery_limbs([
2257 10790217870923516271,
2258 10590091398034592831,
2259 2798879849340254683,
2260 1097244195350236928,
2261 ]),
2262 Fq::from_montgomery_limbs([
2263 13063047010146157876,
2264 14542415641892323856,
2265 17083019212457052807,
2266 1089087010292700700,
2267 ]),
2268 ]),
2269 Matrix::<1, 4, 4>::new_from_known([
2270 Fq::from_montgomery_limbs([
2271 1931130401025711378,
2272 11841912731002402383,
2273 12257729010461348591,
2274 475921619378996396,
2275 ]),
2276 Fq::from_montgomery_limbs([
2277 2043623821806520253,
2278 6264756844797844292,
2279 9140556588049529897,
2280 357097751413650712,
2281 ]),
2282 Fq::from_montgomery_limbs([
2283 13748314028353391771,
2284 7554401384369793136,
2285 15484455053202687098,
2286 1015396556130205108,
2287 ]),
2288 Fq::from_montgomery_limbs([
2289 12112322445843745250,
2290 9643021818792026083,
2291 7010640491952178418,
2292 912560635387385014,
2293 ]),
2294 ]),
2295 Matrix::<1, 4, 4>::new_from_known([
2296 Fq::from_montgomery_limbs([
2297 15884856584565086050,
2298 4328763398811725844,
2299 2194324022836935036,
2300 564940183680880064,
2301 ]),
2302 Fq::from_montgomery_limbs([
2303 10368325909078307315,
2304 16258151264498137456,
2305 12821855576160737507,
2306 168843008052784532,
2307 ]),
2308 Fq::from_montgomery_limbs([
2309 6775860316590005410,
2310 1587081089529470620,
2311 12761600899048989463,
2312 547743431636452378,
2313 ]),
2314 Fq::from_montgomery_limbs([
2315 5499459000866536496,
2316 17225191771611977200,
2317 15501710310620154491,
2318 515684463452344496,
2319 ]),
2320 ]),
2321 Matrix::<1, 4, 4>::new_from_known([
2322 Fq::from_montgomery_limbs([
2323 12129682192729323843,
2324 8486777067374758801,
2325 1157895296096676184,
2326 662132892983063060,
2327 ]),
2328 Fq::from_montgomery_limbs([
2329 174757932292384330,
2330 3152593721116333206,
2331 12164153154782094245,
2332 1099436573600079710,
2333 ]),
2334 Fq::from_montgomery_limbs([
2335 615845028898507200,
2336 4670618999889700824,
2337 12443454676890805497,
2338 518935605666369522,
2339 ]),
2340 Fq::from_montgomery_limbs([
2341 16912386391968429424,
2342 5290244798379778177,
2343 11209464492300379874,
2344 586454799338251353,
2345 ]),
2346 ]),
2347 Matrix::<1, 4, 4>::new_from_known([
2348 Fq::from_montgomery_limbs([
2349 12080638299294159093,
2350 1960331238298728784,
2351 2898980097890331004,
2352 921670658451130495,
2353 ]),
2354 Fq::from_montgomery_limbs([
2355 16215351708207141464,
2356 7345269023494330137,
2357 12994383926037492649,
2358 224185396018231372,
2359 ]),
2360 Fq::from_montgomery_limbs([
2361 3554838652407488913,
2362 6074835006636416927,
2363 15656375499922407950,
2364 15940578339816345,
2365 ]),
2366 Fq::from_montgomery_limbs([
2367 7221246958182853009,
2368 6510601905224702473,
2369 12824776152597435860,
2370 725837117656279675,
2371 ]),
2372 ]),
2373 Matrix::<1, 4, 4>::new_from_known([
2374 Fq::from_montgomery_limbs([
2375 13527778764121271275,
2376 1030490900095715048,
2377 12857340760482021894,
2378 936580603253300439,
2379 ]),
2380 Fq::from_montgomery_limbs([
2381 12930617827781800730,
2382 3249690311936291363,
2383 1303559984190780453,
2384 990745867675858343,
2385 ]),
2386 Fq::from_montgomery_limbs([
2387 10347830123499261941,
2388 14744724164671532382,
2389 15017413323955480611,
2390 865517056617574158,
2391 ]),
2392 Fq::from_montgomery_limbs([
2393 13222342262320869452,
2394 930250546901263311,
2395 6148846827329484586,
2396 816792556508332788,
2397 ]),
2398 ]),
2399 Matrix::<1, 4, 4>::new_from_known([
2400 Fq::from_montgomery_limbs([
2401 270522433778958450,
2402 9810558015885994375,
2403 12801721076082256784,
2404 428014500155741958,
2405 ]),
2406 Fq::from_montgomery_limbs([
2407 17216419355251603785,
2408 16776182263454362660,
2409 17464958086342114244,
2410 1020854289329138282,
2411 ]),
2412 Fq::from_montgomery_limbs([
2413 14583513917939718723,
2414 16464432348709798589,
2415 5524662795591881534,
2416 504799586387620122,
2417 ]),
2418 Fq::from_montgomery_limbs([
2419 9494047844709044490,
2420 9514125194357777841,
2421 9204079242382538181,
2422 1326388421861125510,
2423 ]),
2424 ]),
2425 Matrix::<1, 4, 4>::new_from_known([
2426 Fq::from_montgomery_limbs([
2427 7051493540766021999,
2428 14714874558861007051,
2429 12179359128314955274,
2430 431397382988804936,
2431 ]),
2432 Fq::from_montgomery_limbs([
2433 14285688927589864668,
2434 8964657502437295762,
2435 10607145890133654906,
2436 644415764475289967,
2437 ]),
2438 Fq::from_montgomery_limbs([
2439 9070138432342296337,
2440 17136148269824501435,
2441 16709615536037568565,
2442 1088774414904578634,
2443 ]),
2444 Fq::from_montgomery_limbs([
2445 9017804360060337869,
2446 5120895363411029290,
2447 14759539588564342239,
2448 251323438509473927,
2449 ]),
2450 ]),
2451 Matrix::<1, 4, 4>::new_from_known([
2452 Fq::from_montgomery_limbs([
2453 614700763379600159,
2454 12518761935375538118,
2455 4440750989807847128,
2456 10689910160914840,
2457 ]),
2458 Fq::from_montgomery_limbs([
2459 16233894446868518964,
2460 232968488158620891,
2461 3648936371760108401,
2462 87053101363493664,
2463 ]),
2464 Fq::from_montgomery_limbs([
2465 4682437298124427841,
2466 10048101470247329816,
2467 5838396498674936533,
2468 76707223622697042,
2469 ]),
2470 Fq::from_montgomery_limbs([
2471 4844729186655784101,
2472 5073462805990634750,
2473 369364776025047222,
2474 1205067782666401609,
2475 ]),
2476 ]),
2477 Matrix::<1, 4, 4>::new_from_known([
2478 Fq::from_montgomery_limbs([
2479 11811297399794142233,
2480 1367273165695851273,
2481 9482096466685101348,
2482 278101973543607386,
2483 ]),
2484 Fq::from_montgomery_limbs([
2485 700938287003557444,
2486 10784390521545837670,
2487 652198576027059045,
2488 1257111617232546179,
2489 ]),
2490 Fq::from_montgomery_limbs([
2491 7023353639663907189,
2492 844196405846330427,
2493 3670187877020232969,
2494 467197560404961638,
2495 ]),
2496 Fq::from_montgomery_limbs([
2497 3255328098459903221,
2498 1373891119440715166,
2499 9229957119786296543,
2500 511813603491106053,
2501 ]),
2502 ]),
2503 Matrix::<1, 4, 4>::new_from_known([
2504 Fq::from_montgomery_limbs([
2505 7074698954249379124,
2506 597938652890685454,
2507 4893589759540026630,
2508 13821006431840376,
2509 ]),
2510 Fq::from_montgomery_limbs([
2511 9050360858429500710,
2512 712154751922466901,
2513 2783564310815451475,
2514 361791763218230554,
2515 ]),
2516 Fq::from_montgomery_limbs([
2517 2543657380738906130,
2518 7730539901174656512,
2519 9349888058233016421,
2520 1105296308578399874,
2521 ]),
2522 Fq::from_montgomery_limbs([
2523 12462195693380123490,
2524 9135340915133672169,
2525 2529249849635714105,
2526 1028662249374476992,
2527 ]),
2528 ]),
2529 Matrix::<1, 4, 4>::new_from_known([
2530 Fq::from_montgomery_limbs([
2531 3997059354097159592,
2532 14396586541557506890,
2533 15126937915868653526,
2534 1190014880085637787,
2535 ]),
2536 Fq::from_montgomery_limbs([
2537 71730461663727489,
2538 6481482986298961851,
2539 2863781531983795764,
2540 676732583839455648,
2541 ]),
2542 Fq::from_montgomery_limbs([
2543 11976979288710790629,
2544 18385617837556037683,
2545 2427331777175576996,
2546 271478597561256238,
2547 ]),
2548 Fq::from_montgomery_limbs([
2549 14665157190813807512,
2550 4593895870413934871,
2551 17259515554442068841,
2552 822957347764507743,
2553 ]),
2554 ]),
2555 Matrix::<1, 4, 4>::new_from_known([
2556 Fq::from_montgomery_limbs([
2557 7149525206288877270,
2558 17921481572667347774,
2559 2621958866898809461,
2560 1253764315637746764,
2561 ]),
2562 Fq::from_montgomery_limbs([
2563 3409735133900390936,
2564 136473863329815600,
2565 15309385832522383920,
2566 1169764220492589436,
2567 ]),
2568 Fq::from_montgomery_limbs([
2569 7033172430223502268,
2570 240255878942338808,
2571 6398794669496471317,
2572 628797443576353581,
2573 ]),
2574 Fq::from_montgomery_limbs([
2575 7953065623402270259,
2576 8501997013689665019,
2577 5960083925037855492,
2578 295456887863221215,
2579 ]),
2580 ]),
2581 Matrix::<1, 4, 4>::new_from_known([
2582 Fq::from_montgomery_limbs([
2583 15195370696120832657,
2584 17781142206152991864,
2585 2238407181422098285,
2586 841138092128746233,
2587 ]),
2588 Fq::from_montgomery_limbs([
2589 12824831901012180308,
2590 12167693598895623388,
2591 11028443174628128031,
2592 11577460208414501,
2593 ]),
2594 Fq::from_montgomery_limbs([
2595 3327689546198888048,
2596 12391493112771759962,
2597 307868198412140618,
2598 1159504727071219081,
2599 ]),
2600 Fq::from_montgomery_limbs([
2601 3049104073000031564,
2602 17357418971393386361,
2603 996987970433781915,
2604 116813261500484748,
2605 ]),
2606 ]),
2607 Matrix::<1, 4, 4>::new_from_known([
2608 Fq::from_montgomery_limbs([
2609 10884166330331702882,
2610 17425353526410834453,
2611 13326907998045201293,
2612 413735914240279347,
2613 ]),
2614 Fq::from_montgomery_limbs([
2615 12473777284989231213,
2616 17638157720713586222,
2617 7280940291577634976,
2618 165394770300217809,
2619 ]),
2620 Fq::from_montgomery_limbs([
2621 6075495009078142294,
2622 15423443319709019929,
2623 10104593150500616837,
2624 356519351756886421,
2625 ]),
2626 Fq::from_montgomery_limbs([
2627 4453851468262956706,
2628 17578058950978353938,
2629 5693306616848551388,
2630 65029682653071572,
2631 ]),
2632 ]),
2633 Matrix::<1, 4, 4>::new_from_known([
2634 Fq::from_montgomery_limbs([
2635 8478514957045721547,
2636 1837595243779150041,
2637 2731509554274646589,
2638 1330775784497928083,
2639 ]),
2640 Fq::from_montgomery_limbs([
2641 5199974098799727027,
2642 4404072971729349177,
2643 9646912483549069990,
2644 218329131799988219,
2645 ]),
2646 Fq::from_montgomery_limbs([
2647 660001227897806842,
2648 8207988798347696530,
2649 13044592656758679072,
2650 480823461712968712,
2651 ]),
2652 Fq::from_montgomery_limbs([
2653 2124249976672750300,
2654 16810194224873279051,
2655 8413199247867349887,
2656 252618070410064009,
2657 ]),
2658 ]),
2659 Matrix::<1, 4, 4>::new_from_known([
2660 Fq::from_montgomery_limbs([
2661 4556458494955145970,
2662 14725473799943575915,
2663 6762752380673415129,
2664 1316259551723935370,
2665 ]),
2666 Fq::from_montgomery_limbs([
2667 16979681563871369563,
2668 5158090131973535020,
2669 2347846896725164220,
2670 295285400051150767,
2671 ]),
2672 Fq::from_montgomery_limbs([
2673 13585313619033311504,
2674 16684285379674594726,
2675 6119191656194738492,
2676 455955275887010759,
2677 ]),
2678 Fq::from_montgomery_limbs([
2679 3454774308783696473,
2680 10535559679543981910,
2681 15358478203203343679,
2682 240649127531759812,
2683 ]),
2684 ]),
2685 Matrix::<1, 4, 4>::new_from_known([
2686 Fq::from_montgomery_limbs([
2687 16198893952998692648,
2688 7621510146767446726,
2689 5423085782991616007,
2690 484917335576147571,
2691 ]),
2692 Fq::from_montgomery_limbs([
2693 12418560142694938034,
2694 9630762732922483573,
2695 11756502878189980458,
2696 1064509096436490989,
2697 ]),
2698 Fq::from_montgomery_limbs([
2699 6432783853572915686,
2700 8373421070941771076,
2701 9999207991110274176,
2702 227092656935087544,
2703 ]),
2704 Fq::from_montgomery_limbs([
2705 2481263986424351332,
2706 5524660820856664127,
2707 1844129905336978496,
2708 940613905523784942,
2709 ]),
2710 ]),
2711 Matrix::<1, 4, 4>::new_from_known([
2712 Fq::from_montgomery_limbs([
2713 16138212250303786584,
2714 7239588475022848974,
2715 10699859199281641521,
2716 591755207097992795,
2717 ]),
2718 Fq::from_montgomery_limbs([
2719 12068127359176715698,
2720 9201897464239423846,
2721 16468376872261041490,
2722 4468311430440924,
2723 ]),
2724 Fq::from_montgomery_limbs([
2725 4076476707186060475,
2726 17992082137333534347,
2727 6815132661837439512,
2728 278384059575851924,
2729 ]),
2730 Fq::from_montgomery_limbs([
2731 17018342029879137108,
2732 15055574099156300093,
2733 11677650203572471840,
2734 144664137444733523,
2735 ]),
2736 ]),
2737 Matrix::<1, 4, 4>::new_from_known([
2738 Fq::from_montgomery_limbs([
2739 8317396731115292545,
2740 18067636204720558118,
2741 14890417508627474416,
2742 793524012844400414,
2743 ]),
2744 Fq::from_montgomery_limbs([
2745 13379864138421857399,
2746 362217527193745219,
2747 15798919921502256623,
2748 1097917902435666499,
2749 ]),
2750 Fq::from_montgomery_limbs([
2751 12810510919435274272,
2752 14423646849331158587,
2753 9841501271852473232,
2754 725922426352114610,
2755 ]),
2756 Fq::from_montgomery_limbs([
2757 17018030548797472114,
2758 14895024219584398144,
2759 12492061782442092972,
2760 762315198620019019,
2761 ]),
2762 ]),
2763 Matrix::<1, 4, 4>::new_from_known([
2764 Fq::from_montgomery_limbs([
2765 1701906145521012707,
2766 10296626786628438399,
2767 10754570760997467096,
2768 336488969849416237,
2769 ]),
2770 Fq::from_montgomery_limbs([
2771 254576632745845475,
2772 16526828097705762792,
2773 14770819661184367983,
2774 243834243852718897,
2775 ]),
2776 Fq::from_montgomery_limbs([
2777 4102931554245931369,
2778 16027764780080619999,
2779 8334572247339515265,
2780 368246411244951631,
2781 ]),
2782 Fq::from_montgomery_limbs([
2783 4561744176382664009,
2784 2911477542790161454,
2785 3011707291091124269,
2786 556376879137998058,
2787 ]),
2788 ]),
2789 Matrix::<1, 4, 4>::new_from_known([
2790 Fq::from_montgomery_limbs([
2791 3296358868716422366,
2792 9039393853864308074,
2793 17847711501823630457,
2794 1005226492488439642,
2795 ]),
2796 Fq::from_montgomery_limbs([
2797 4031069363410182489,
2798 7351394901266043534,
2799 16764075333050932509,
2800 1335716800346461455,
2801 ]),
2802 Fq::from_montgomery_limbs([
2803 7923744999493545562,
2804 5624877492918299446,
2805 1035450251487215992,
2806 66195541204638202,
2807 ]),
2808 Fq::from_montgomery_limbs([
2809 10021219165650904780,
2810 11526735379442916846,
2811 15137554942549712865,
2812 220711145305168309,
2813 ]),
2814 ]),
2815 Matrix::<1, 4, 4>::new_from_known([
2816 Fq::from_montgomery_limbs([
2817 17539749312900092691,
2818 1394325220480450609,
2819 8427780606119340085,
2820 214541826368037298,
2821 ]),
2822 Fq::from_montgomery_limbs([
2823 14979072356738539172,
2824 8588389061504370168,
2825 17185566872280556497,
2826 1119865054078041,
2827 ]),
2828 Fq::from_montgomery_limbs([
2829 13832855658344903569,
2830 17699617991822202836,
2831 12719246950037163765,
2832 809144901785178492,
2833 ]),
2834 Fq::from_montgomery_limbs([
2835 5258746201047632203,
2836 16795607952264798969,
2837 12589457419107454073,
2838 852487165526431816,
2839 ]),
2840 ]),
2841 Matrix::<1, 4, 4>::new_from_known([
2842 Fq::from_montgomery_limbs([
2843 18017611145361501469,
2844 17582515812396321648,
2845 2919031829448009162,
2846 551871759286894908,
2847 ]),
2848 Fq::from_montgomery_limbs([
2849 15370904975677001433,
2850 7214748906490449079,
2851 16152167407980539558,
2852 1171554702393986442,
2853 ]),
2854 Fq::from_montgomery_limbs([
2855 10634655764649983482,
2856 15431077074812693397,
2857 2552280196567255,
2858 712776250826311075,
2859 ]),
2860 Fq::from_montgomery_limbs([
2861 13708388833019942700,
2862 491334836724789600,
2863 11731367761263890755,
2864 1197388142335296709,
2865 ]),
2866 ]),
2867 ],
2868 w_hat_collection: [
2869 Matrix::<4, 1, 4>::new_from_known([
2870 Fq::from_montgomery_limbs([
2871 8008150737402636880,
2872 4488734692587776588,
2873 1547555191554943536,
2874 1006206882335955987,
2875 ]),
2876 Fq::from_montgomery_limbs([
2877 4174856959927929341,
2878 6956702737728349555,
2879 11313218605335544685,
2880 1279701926361717254,
2881 ]),
2882 Fq::from_montgomery_limbs([
2883 14997388866253338116,
2884 17951148788181031565,
2885 14101804784614517907,
2886 65578444326456143,
2887 ]),
2888 Fq::from_montgomery_limbs([
2889 6853363902592985329,
2890 4486369932351851910,
2891 65610707319252285,
2892 873172475563117547,
2893 ]),
2894 ]),
2895 Matrix::<4, 1, 4>::new_from_known([
2896 Fq::from_montgomery_limbs([
2897 579603889306395083,
2898 2560608140709899462,
2899 18146698412336151881,
2900 60258495702968472,
2901 ]),
2902 Fq::from_montgomery_limbs([
2903 9924506099485967285,
2904 14841337095946012878,
2905 6550473620052701980,
2906 355439357201872457,
2907 ]),
2908 Fq::from_montgomery_limbs([
2909 12531688174264614033,
2910 3629799128760975880,
2911 14801960216155767350,
2912 1064176756880888081,
2913 ]),
2914 Fq::from_montgomery_limbs([
2915 10680016211572180547,
2916 7640186196594536338,
2917 6573062001669273848,
2918 464429714610594606,
2919 ]),
2920 ]),
2921 Matrix::<4, 1, 4>::new_from_known([
2922 Fq::from_montgomery_limbs([
2923 18417588127792957015,
2924 16444529523188187364,
2925 12084138139912705579,
2926 16805794537696529,
2927 ]),
2928 Fq::from_montgomery_limbs([
2929 13339545413024956285,
2930 12462761674569060732,
2931 10134406054826483261,
2932 583754886928078523,
2933 ]),
2934 Fq::from_montgomery_limbs([
2935 6246845195152016496,
2936 16016738864936728009,
2937 5667948898993596155,
2938 948927193584489029,
2939 ]),
2940 Fq::from_montgomery_limbs([
2941 17388237537280169500,
2942 14688406879934192659,
2943 9909558203923179050,
2944 70400508517387223,
2945 ]),
2946 ]),
2947 Matrix::<4, 1, 4>::new_from_known([
2948 Fq::from_montgomery_limbs([
2949 5474861045381340177,
2950 7686087527544521306,
2951 11338593297362199268,
2952 1021856532337771510,
2953 ]),
2954 Fq::from_montgomery_limbs([
2955 8052444443922943850,
2956 4009271504061137276,
2957 5568866554849053281,
2958 1340081542973701928,
2959 ]),
2960 Fq::from_montgomery_limbs([
2961 13718366036845239510,
2962 18043008954918195926,
2963 9743799172723723811,
2964 242610881533123775,
2965 ]),
2966 Fq::from_montgomery_limbs([
2967 12288963833321771774,
2968 11144465775025909714,
2969 3141275767114171625,
2970 895525891428781574,
2971 ]),
2972 ]),
2973 Matrix::<4, 1, 4>::new_from_known([
2974 Fq::from_montgomery_limbs([
2975 12404021506369929265,
2976 14478431220710638983,
2977 16528978820778867199,
2978 1337150421852075847,
2979 ]),
2980 Fq::from_montgomery_limbs([
2981 14269177948606518010,
2982 14317366494171555302,
2983 17781066350959942798,
2984 197359887673063489,
2985 ]),
2986 Fq::from_montgomery_limbs([
2987 12899528200685423645,
2988 1817678529746564917,
2989 2099502764987009011,
2990 1116816677457497135,
2991 ]),
2992 Fq::from_montgomery_limbs([
2993 6364946926969012391,
2994 15881033552478042103,
2995 16127504872579347712,
2996 382615667735657086,
2997 ]),
2998 ]),
2999 Matrix::<4, 1, 4>::new_from_known([
3000 Fq::from_montgomery_limbs([
3001 11058646051271038745,
3002 6859926553724662452,
3003 14087301393004364310,
3004 933306102477549317,
3005 ]),
3006 Fq::from_montgomery_limbs([
3007 1055047094489815101,
3008 4078033726602170946,
3009 12892578489024905517,
3010 1281158139572661976,
3011 ]),
3012 Fq::from_montgomery_limbs([
3013 5359943878923586203,
3014 16376042868862104786,
3015 5637680489769528437,
3016 274508389146665774,
3017 ]),
3018 Fq::from_montgomery_limbs([
3019 9466887184987077213,
3020 12707324624592417252,
3021 5674722778664167831,
3022 495915214907561344,
3023 ]),
3024 ]),
3025 Matrix::<4, 1, 4>::new_from_known([
3026 Fq::from_montgomery_limbs([
3027 5559270171112387908,
3028 18090552370541844697,
3029 4468532076227855438,
3030 987685496358074261,
3031 ]),
3032 Fq::from_montgomery_limbs([
3033 10757975082173786027,
3034 17106276533668884653,
3035 16008494306379137448,
3036 1236424776827918502,
3037 ]),
3038 Fq::from_montgomery_limbs([
3039 12651630831207509026,
3040 9201507732813618723,
3041 16271105479151831696,
3042 1088028967768313039,
3043 ]),
3044 Fq::from_montgomery_limbs([
3045 1230449153550648107,
3046 265047928608104139,
3047 14808043482234569955,
3048 325688046287390058,
3049 ]),
3050 ]),
3051 Matrix::<4, 1, 4>::new_from_known([
3052 Fq::from_montgomery_limbs([
3053 13141399420347535214,
3054 10323718706655672545,
3055 5271972852381490754,
3056 698174654390126163,
3057 ]),
3058 Fq::from_montgomery_limbs([
3059 372444215127449162,
3060 6596103022703759073,
3061 1647706108480519163,
3062 886941719362299906,
3063 ]),
3064 Fq::from_montgomery_limbs([
3065 5032445406852833227,
3066 3216505841560606858,
3067 6517925226383774397,
3068 1070169747543143371,
3069 ]),
3070 Fq::from_montgomery_limbs([
3071 606117931900595268,
3072 11653697130177906902,
3073 16942600493441083920,
3074 207641435432611378,
3075 ]),
3076 ]),
3077 Matrix::<4, 1, 4>::new_from_known([
3078 Fq::from_montgomery_limbs([
3079 10156513900929988871,
3080 10530356278918523762,
3081 14822893961039084664,
3082 161451167716228232,
3083 ]),
3084 Fq::from_montgomery_limbs([
3085 5121741770267475287,
3086 15513755736291034019,
3087 15586246947451164544,
3088 318686326614228424,
3089 ]),
3090 Fq::from_montgomery_limbs([
3091 10544893749060569045,
3092 16634377462455718128,
3093 15424965125419130088,
3094 421312194245698247,
3095 ]),
3096 Fq::from_montgomery_limbs([
3097 11266056403263964991,
3098 12568371609374858109,
3099 3531321490936409191,
3100 508836381468284493,
3101 ]),
3102 ]),
3103 Matrix::<4, 1, 4>::new_from_known([
3104 Fq::from_montgomery_limbs([
3105 14899630606893874181,
3106 6378344959523143322,
3107 5326343488656073582,
3108 678256632460809235,
3109 ]),
3110 Fq::from_montgomery_limbs([
3111 8604354652434330145,
3112 15276531567938090768,
3113 4221676591098543719,
3114 887292207042946940,
3115 ]),
3116 Fq::from_montgomery_limbs([
3117 10167720299639556674,
3118 4032113283136195884,
3119 15412529848138749452,
3120 21416729784789829,
3121 ]),
3122 Fq::from_montgomery_limbs([
3123 1744850832220109759,
3124 13008821337905939469,
3125 11071631382001010551,
3126 788542992044475498,
3127 ]),
3128 ]),
3129 Matrix::<4, 1, 4>::new_from_known([
3130 Fq::from_montgomery_limbs([
3131 2588487693831923600,
3132 819162455518477850,
3133 14502680861403887785,
3134 203676022757604871,
3135 ]),
3136 Fq::from_montgomery_limbs([
3137 15050651530407319810,
3138 5238818184223155551,
3139 10359161461431902961,
3140 163152244193461490,
3141 ]),
3142 Fq::from_montgomery_limbs([
3143 11621410489163276959,
3144 8095296962816118406,
3145 17382993292008629559,
3146 830965834513277734,
3147 ]),
3148 Fq::from_montgomery_limbs([
3149 4679845673800762002,
3150 11732742802677067267,
3151 5456637834111887652,
3152 399639723348579854,
3153 ]),
3154 ]),
3155 Matrix::<4, 1, 4>::new_from_known([
3156 Fq::from_montgomery_limbs([
3157 2687561395762377863,
3158 2742745916341259698,
3159 3044301131411393039,
3160 723385064584425062,
3161 ]),
3162 Fq::from_montgomery_limbs([
3163 7499903664201677436,
3164 10700255296173911735,
3165 9370120751716629255,
3166 519782401388716596,
3167 ]),
3168 Fq::from_montgomery_limbs([
3169 12815697858642806748,
3170 3589518328364739416,
3171 5217556848154698002,
3172 1289540407776785865,
3173 ]),
3174 Fq::from_montgomery_limbs([
3175 5916520816310451970,
3176 9082425633134247720,
3177 12382542148805970812,
3178 992107013138241122,
3179 ]),
3180 ]),
3181 Matrix::<4, 1, 4>::new_from_known([
3182 Fq::from_montgomery_limbs([
3183 6236639905261224386,
3184 843729385509220216,
3185 910784084401746031,
3186 557709047224682096,
3187 ]),
3188 Fq::from_montgomery_limbs([
3189 15307210632392180298,
3190 15607334968149180484,
3191 9709374798094721055,
3192 911705022776362835,
3193 ]),
3194 Fq::from_montgomery_limbs([
3195 565211768823822757,
3196 4304458791623152845,
3197 10249442774709061676,
3198 1097659357675265239,
3199 ]),
3200 Fq::from_montgomery_limbs([
3201 12205146530944986348,
3202 2116986434579909283,
3203 4201175271170209969,
3204 992267258612987371,
3205 ]),
3206 ]),
3207 Matrix::<4, 1, 4>::new_from_known([
3208 Fq::from_montgomery_limbs([
3209 12458858951338998496,
3210 4060946816566081281,
3211 4815111439256220560,
3212 889585388579716031,
3213 ]),
3214 Fq::from_montgomery_limbs([
3215 13330737697681975741,
3216 14306352519046153100,
3217 6792373522794028640,
3218 181857489562014553,
3219 ]),
3220 Fq::from_montgomery_limbs([
3221 9910876762206447536,
3222 2419056950848665021,
3223 5515306838952911504,
3224 400668493068602121,
3225 ]),
3226 Fq::from_montgomery_limbs([
3227 4501996026292399474,
3228 3944405189426212415,
3229 2099089514371618361,
3230 339943583855773594,
3231 ]),
3232 ]),
3233 Matrix::<4, 1, 4>::new_from_known([
3234 Fq::from_montgomery_limbs([
3235 2693369834887763486,
3236 5226235063818719501,
3237 1134958389215915674,
3238 216164169472267996,
3239 ]),
3240 Fq::from_montgomery_limbs([
3241 11481921067854847814,
3242 3619328605795306677,
3243 1172215419425542958,
3244 698824999301654900,
3245 ]),
3246 Fq::from_montgomery_limbs([
3247 5583148815732609314,
3248 7533776866599928206,
3249 4700764388317654893,
3250 795419583657348713,
3251 ]),
3252 Fq::from_montgomery_limbs([
3253 17490171026965334038,
3254 511945728425642245,
3255 7365182481044577047,
3256 220760401169961586,
3257 ]),
3258 ]),
3259 Matrix::<4, 1, 4>::new_from_known([
3260 Fq::from_montgomery_limbs([
3261 3475090391351524558,
3262 14779509624823172685,
3263 3424268588547377302,
3264 807300922038386992,
3265 ]),
3266 Fq::from_montgomery_limbs([
3267 2661498283128546182,
3268 8564296373141310570,
3269 1331354831148546679,
3270 288633548378759086,
3271 ]),
3272 Fq::from_montgomery_limbs([
3273 160646850906444279,
3274 16524505359942069161,
3275 907391002106299867,
3276 559294066232203259,
3277 ]),
3278 Fq::from_montgomery_limbs([
3279 15868970648699916119,
3280 4564623492190132505,
3281 13103059063354872833,
3282 100862674768271570,
3283 ]),
3284 ]),
3285 Matrix::<4, 1, 4>::new_from_known([
3286 Fq::from_montgomery_limbs([
3287 1221307603989354164,
3288 12587043720970902174,
3289 16895819776297027028,
3290 145062209314500623,
3291 ]),
3292 Fq::from_montgomery_limbs([
3293 16353516398818965607,
3294 14353195469809830563,
3295 6413743319392341778,
3296 328149786789847495,
3297 ]),
3298 Fq::from_montgomery_limbs([
3299 18408500173092127083,
3300 15531422165208984882,
3301 15085140826729156921,
3302 838526002683321237,
3303 ]),
3304 Fq::from_montgomery_limbs([
3305 17044208833349483673,
3306 4186851180160463186,
3307 18439292304841373891,
3308 635623871921935831,
3309 ]),
3310 ]),
3311 Matrix::<4, 1, 4>::new_from_known([
3312 Fq::from_montgomery_limbs([
3313 12010244824104902831,
3314 7094652480399574006,
3315 4750126738460582225,
3316 989637526032941486,
3317 ]),
3318 Fq::from_montgomery_limbs([
3319 4441078329722014290,
3320 13429060628884043553,
3321 17809157578144273686,
3322 434244385592794118,
3323 ]),
3324 Fq::from_montgomery_limbs([
3325 6991808242812880086,
3326 9244601469821298803,
3327 240701800791269362,
3328 709808634005480046,
3329 ]),
3330 Fq::from_montgomery_limbs([
3331 13857085282532288295,
3332 308678407453354502,
3333 15922558612862651645,
3334 851414952912951519,
3335 ]),
3336 ]),
3337 Matrix::<4, 1, 4>::new_from_known([
3338 Fq::from_montgomery_limbs([
3339 5101399957442677481,
3340 2142578709995607628,
3341 15743510483605305349,
3342 666733543413083275,
3343 ]),
3344 Fq::from_montgomery_limbs([
3345 4873022314864281149,
3346 13307090161474032822,
3347 14158291996867903752,
3348 938052837538358985,
3349 ]),
3350 Fq::from_montgomery_limbs([
3351 1546160817298626130,
3352 10540049778787005713,
3353 3368713709127751691,
3354 363188968017269367,
3355 ]),
3356 Fq::from_montgomery_limbs([
3357 672262991009706902,
3358 12218048109997218244,
3359 13699765194488826580,
3360 1084475947638507828,
3361 ]),
3362 ]),
3363 Matrix::<4, 1, 4>::new_from_known([
3364 Fq::from_montgomery_limbs([
3365 18346923840081698634,
3366 12943712128874619670,
3367 4019790911633783753,
3368 1100400008744250128,
3369 ]),
3370 Fq::from_montgomery_limbs([
3371 17812255713702828327,
3372 18006780541970109111,
3373 15638439909761933062,
3374 607605721282836799,
3375 ]),
3376 Fq::from_montgomery_limbs([
3377 2146046584044097439,
3378 13101190276266477217,
3379 13417007043729135623,
3380 306909505181101092,
3381 ]),
3382 Fq::from_montgomery_limbs([
3383 5881505764977051707,
3384 9027582737682954755,
3385 13113110745761042063,
3386 498156427767794980,
3387 ]),
3388 ]),
3389 Matrix::<4, 1, 4>::new_from_known([
3390 Fq::from_montgomery_limbs([
3391 18445494826303215741,
3392 1922640032275348520,
3393 18401753303151108255,
3394 413700892364628288,
3395 ]),
3396 Fq::from_montgomery_limbs([
3397 5713551333083111944,
3398 13466982107671483604,
3399 18052718879288026086,
3400 606241695332365536,
3401 ]),
3402 Fq::from_montgomery_limbs([
3403 5341312667566345417,
3404 15999363884279236272,
3405 3859963172427206256,
3406 137512694474664211,
3407 ]),
3408 Fq::from_montgomery_limbs([
3409 17490177364963826654,
3410 14543044352686070271,
3411 16150001646614169348,
3412 704698259553703393,
3413 ]),
3414 ]),
3415 Matrix::<4, 1, 4>::new_from_known([
3416 Fq::from_montgomery_limbs([
3417 9727568846190657427,
3418 14417114472564400058,
3419 9365197390786121627,
3420 794983300027476088,
3421 ]),
3422 Fq::from_montgomery_limbs([
3423 12997373201110860726,
3424 14246380874068335614,
3425 13296665919577048738,
3426 1098745640843188596,
3427 ]),
3428 Fq::from_montgomery_limbs([
3429 7228530868527339586,
3430 15583029622716990094,
3431 8861208517089803667,
3432 82901497917931480,
3433 ]),
3434 Fq::from_montgomery_limbs([
3435 13638279809916295410,
3436 128790733739477632,
3437 8417886451161888027,
3438 991255423238702330,
3439 ]),
3440 ]),
3441 Matrix::<4, 1, 4>::new_from_known([
3442 Fq::from_montgomery_limbs([
3443 11087968183222739640,
3444 2587511469422769048,
3445 14523312587696220059,
3446 192146587408207716,
3447 ]),
3448 Fq::from_montgomery_limbs([
3449 8412996681904903641,
3450 11887442821301638447,
3451 3370639369565289246,
3452 53949002610311715,
3453 ]),
3454 Fq::from_montgomery_limbs([
3455 14762391536874926895,
3456 10740959434718252074,
3457 1226825919833891779,
3458 365160723178298573,
3459 ]),
3460 Fq::from_montgomery_limbs([
3461 1555330760834900970,
3462 1518370310210703133,
3463 1735267998098714592,
3464 1025622291285303779,
3465 ]),
3466 ]),
3467 Matrix::<4, 1, 4>::new_from_known([
3468 Fq::from_montgomery_limbs([
3469 1334503499975428364,
3470 10717052295534688524,
3471 7361984650156075053,
3472 844791857359624202,
3473 ]),
3474 Fq::from_montgomery_limbs([
3475 16941837112843173147,
3476 2487213732723210497,
3477 6266342779648955295,
3478 833823163972637517,
3479 ]),
3480 Fq::from_montgomery_limbs([
3481 17244221202450562885,
3482 9683927217285200288,
3483 17625214279845872049,
3484 72929072308819687,
3485 ]),
3486 Fq::from_montgomery_limbs([
3487 17322021997939023067,
3488 12230087119796208396,
3489 18396814271884812695,
3490 813805950829206789,
3491 ]),
3492 ]),
3493 Matrix::<4, 1, 4>::new_from_known([
3494 Fq::from_montgomery_limbs([
3495 15948063285113474855,
3496 10770603797800150235,
3497 6677092062918475126,
3498 1088103102296276139,
3499 ]),
3500 Fq::from_montgomery_limbs([
3501 7711244693099635983,
3502 3166785488663936361,
3503 4922456695483615993,
3504 430831973502880121,
3505 ]),
3506 Fq::from_montgomery_limbs([
3507 3809367189852072520,
3508 9855677685061821074,
3509 945495584216248446,
3510 909359350460583709,
3511 ]),
3512 Fq::from_montgomery_limbs([
3513 8110395815872458853,
3514 1514592973182402061,
3515 790829722054948037,
3516 353129076761034824,
3517 ]),
3518 ]),
3519 Matrix::<4, 1, 4>::new_from_known([
3520 Fq::from_montgomery_limbs([
3521 4490522698778351596,
3522 14224519981854920216,
3523 17099540428194228219,
3524 339422077308612769,
3525 ]),
3526 Fq::from_montgomery_limbs([
3527 5639095254854416487,
3528 1620715418926540453,
3529 2533378178940440961,
3530 1219281352481947332,
3531 ]),
3532 Fq::from_montgomery_limbs([
3533 10638608741850236276,
3534 6613656335866104958,
3535 7688920349526656377,
3536 267050381048915175,
3537 ]),
3538 Fq::from_montgomery_limbs([
3539 3036522849970263675,
3540 6507669881427436695,
3541 17574949570571358776,
3542 1277705835314573728,
3543 ]),
3544 ]),
3545 Matrix::<4, 1, 4>::new_from_known([
3546 Fq::from_montgomery_limbs([
3547 2222484869463773519,
3548 6808168746395796147,
3549 4421285536548949511,
3550 221502296849107896,
3551 ]),
3552 Fq::from_montgomery_limbs([
3553 13864906390918380841,
3554 14542080963104347726,
3555 4946615231209518707,
3556 410716390051665697,
3557 ]),
3558 Fq::from_montgomery_limbs([
3559 17342164341678591250,
3560 2157153117836804364,
3561 17774122463652037556,
3562 1045677158150316262,
3563 ]),
3564 Fq::from_montgomery_limbs([
3565 1897195111902571201,
3566 7441808212794130262,
3567 14230292566113962566,
3568 158679422354435267,
3569 ]),
3570 ]),
3571 Matrix::<4, 1, 4>::new_from_known([
3572 Fq::from_montgomery_limbs([
3573 12385311968994581122,
3574 13994070371431075240,
3575 8808495601965357849,
3576 1021378877363492133,
3577 ]),
3578 Fq::from_montgomery_limbs([
3579 6493128916407973417,
3580 7997830985039481850,
3581 7096965712368312908,
3582 1047173662891619916,
3583 ]),
3584 Fq::from_montgomery_limbs([
3585 4284147259360490869,
3586 16041408471489150031,
3587 7607939514063442430,
3588 829626684549401311,
3589 ]),
3590 Fq::from_montgomery_limbs([
3591 1856817747001420784,
3592 16357946393175270201,
3593 9210719327832581050,
3594 1018175197760234391,
3595 ]),
3596 ]),
3597 Matrix::<4, 1, 4>::new_from_known([
3598 Fq::from_montgomery_limbs([
3599 5500145050367041469,
3600 3840984581227276122,
3601 3431832361289319237,
3602 260564656886891183,
3603 ]),
3604 Fq::from_montgomery_limbs([
3605 14712945504944782403,
3606 15039214861617765141,
3607 11103751083365574273,
3608 113689317515455733,
3609 ]),
3610 Fq::from_montgomery_limbs([
3611 701726807475653267,
3612 14140055316542680948,
3613 3011442975075019770,
3614 584361997905323533,
3615 ]),
3616 Fq::from_montgomery_limbs([
3617 17748483580890358752,
3618 10604246296825603311,
3619 13033470142003819820,
3620 599441163676514743,
3621 ]),
3622 ]),
3623 Matrix::<4, 1, 4>::new_from_known([
3624 Fq::from_montgomery_limbs([
3625 5299230594859812716,
3626 16638780731660150925,
3627 952927811712562861,
3628 498189305785932392,
3629 ]),
3630 Fq::from_montgomery_limbs([
3631 4432890524542841769,
3632 1996216122820571178,
3633 12192741690714508643,
3634 764076413945664713,
3635 ]),
3636 Fq::from_montgomery_limbs([
3637 13089352217465064175,
3638 15801731950730062998,
3639 16367845731547800506,
3640 315925055121715682,
3641 ]),
3642 Fq::from_montgomery_limbs([
3643 4079387977856382544,
3644 9219169523776319636,
3645 17133435751310074522,
3646 1287156460338158966,
3647 ]),
3648 ]),
3649 Matrix::<4, 1, 4>::new_from_known([
3650 Fq::from_montgomery_limbs([
3651 14473285560728073066,
3652 3618147328828088415,
3653 4933194636388348895,
3654 391722132844625282,
3655 ]),
3656 Fq::from_montgomery_limbs([
3657 13555572770500462469,
3658 12796156150384677031,
3659 16297295557264104694,
3660 523410635806816263,
3661 ]),
3662 Fq::from_montgomery_limbs([
3663 6170968086362616849,
3664 306706920248086968,
3665 4382856058195592988,
3666 1226950348108880303,
3667 ]),
3668 Fq::from_montgomery_limbs([
3669 3093606516563139647,
3670 4131257826299546810,
3671 10588085520003095457,
3672 1310373646887997506,
3673 ]),
3674 ]),
3675 ],
3676 },
3677 optimized_arc: OptimizedArcMatrix::<39, 5, 195>::new_from_known([
3678 Fq::from_montgomery_limbs([
3679 9886223877583555338,
3680 2726526174642559934,
3681 4587790518566470505,
3682 576729411659255749,
3683 ]),
3684 Fq::from_montgomery_limbs([
3685 8635683872171027649,
3686 6178568763530680712,
3687 4049298017970875225,
3688 1010899895527016760,
3689 ]),
3690 Fq::from_montgomery_limbs([
3691 4386287284362214114,
3692 15794275297560972982,
3693 13426231751965312445,
3694 1202171528338027358,
3695 ]),
3696 Fq::from_montgomery_limbs([
3697 748088700594287215,
3698 1472010505444622065,
3699 17517940238534715767,
3700 284646916897302179,
3701 ]),
3702 Fq::from_montgomery_limbs([
3703 10279507610927218934,
3704 8427605231324569630,
3705 5256766482183491681,
3706 599767801296570400,
3707 ]),
3708 Fq::from_montgomery_limbs([
3709 5616532683870270019,
3710 16714573776517987780,
3711 2780158541662869274,
3712 82005381951989400,
3713 ]),
3714 Fq::from_montgomery_limbs([
3715 628047193644056282,
3716 3081927050412275131,
3717 16607349608647881262,
3718 723666033729227034,
3719 ]),
3720 Fq::from_montgomery_limbs([
3721 4014053105906402474,
3722 8516064025130570203,
3723 16439212471763340654,
3724 1066408903228028504,
3725 ]),
3726 Fq::from_montgomery_limbs([
3727 3781775891997454435,
3728 16784197273788891439,
3729 15993490775706321548,
3730 1246974369195687342,
3731 ]),
3732 Fq::from_montgomery_limbs([
3733 13315871439997102610,
3734 1360174578976506509,
3735 1935727712649190133,
3736 888928512483410116,
3737 ]),
3738 Fq::from_montgomery_limbs([
3739 8976641770861237410,
3740 6687451940339132521,
3741 18044907108310696377,
3742 1207869807557250559,
3743 ]),
3744 Fq::from_montgomery_limbs([
3745 4528878922761055500,
3746 7463187218610955446,
3747 4533754848507645556,
3748 35071527712858390,
3749 ]),
3750 Fq::from_montgomery_limbs([
3751 2054133897613963099,
3752 8179564031063470525,
3753 1531556284029346638,
3754 874298192527556148,
3755 ]),
3756 Fq::from_montgomery_limbs([
3757 18305580017782407596,
3758 2150793914184610589,
3759 17311607174845242499,
3760 959373557899881125,
3761 ]),
3762 Fq::from_montgomery_limbs([
3763 11483900964553043288,
3764 12487129025031613244,
3765 15391908241276224492,
3766 269335905993702128,
3767 ]),
3768 Fq::from_montgomery_limbs([
3769 8338971145620331245,
3770 12372781419517678375,
3771 2199283600481834995,
3772 349132078387032325,
3773 ]),
3774 Fq::from_montgomery_limbs([
3775 16711498854962897180,
3776 964757925282058102,
3777 2534475787702313401,
3778 879174178299686832,
3779 ]),
3780 Fq::from_montgomery_limbs([
3781 9948612635577575267,
3782 10310004629375851550,
3783 14569008704673249814,
3784 698796675030817938,
3785 ]),
3786 Fq::from_montgomery_limbs([
3787 11983101385647491113,
3788 6756494718617323834,
3789 3986787822213493305,
3790 810568397631777742,
3791 ]),
3792 Fq::from_montgomery_limbs([
3793 263703597816264419,
3794 5391923373962277868,
3795 8069762938958691329,
3796 167001460324522424,
3797 ]),
3798 Fq::from_montgomery_limbs([
3799 12719698031922087137,
3800 3635206538516773241,
3801 14946573674542408006,
3802 904022619675467349,
3803 ]),
3804 Fq::from_montgomery_limbs([
3805 6762216158719169172,
3806 9642199571024567935,
3807 5142823812984968700,
3808 1291046148927292666,
3809 ]),
3810 Fq::from_montgomery_limbs([
3811 16680204203505507730,
3812 8087548591244649631,
3813 15438619206653090081,
3814 1223574451283768225,
3815 ]),
3816 Fq::from_montgomery_limbs([
3817 15843265781989514164,
3818 11764842050278291695,
3819 5504272762074655066,
3820 1332848573377839351,
3821 ]),
3822 Fq::from_montgomery_limbs([
3823 14629863041087566865,
3824 13982939885426451475,
3825 4404573463578858817,
3826 228759527459751766,
3827 ]),
3828 Fq::from_montgomery_limbs([
3829 5809286761889033537,
3830 11277370821793444978,
3831 3107117479578979614,
3832 305735955848689987,
3833 ]),
3834 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3835 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3836 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3837 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3838 Fq::from_montgomery_limbs([
3839 13948409934814415504,
3840 9820154694698383592,
3841 15339478710638889187,
3842 228350902630534490,
3843 ]),
3844 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3845 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3846 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3847 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3848 Fq::from_montgomery_limbs([
3849 9065604528638698957,
3850 3194171905752976735,
3851 3352166936878863002,
3852 1231275645191263862,
3853 ]),
3854 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3855 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3856 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3857 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3858 Fq::from_montgomery_limbs([
3859 8579200991377095094,
3860 9015821969914095981,
3861 3670786722209097686,
3862 925402881763579823,
3863 ]),
3864 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3865 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3866 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3867 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3868 Fq::from_montgomery_limbs([
3869 11761775895269121220,
3870 12572917397999688032,
3871 10698111778021992718,
3872 739030648247632040,
3873 ]),
3874 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3875 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3876 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3877 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3878 Fq::from_montgomery_limbs([
3879 1406476064536236033,
3880 9641904169359584691,
3881 209897974740814668,
3882 1004730517253795328,
3883 ]),
3884 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3885 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3886 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3887 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3888 Fq::from_montgomery_limbs([
3889 18342895263686664503,
3890 17441455493733274041,
3891 5057199659823690304,
3892 1191886919996393979,
3893 ]),
3894 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3895 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3896 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3897 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3898 Fq::from_montgomery_limbs([
3899 18290582194527069827,
3900 6852353546873280582,
3901 14232314971261025505,
3902 754530050701193486,
3903 ]),
3904 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3905 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3906 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3907 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3908 Fq::from_montgomery_limbs([
3909 6721150425319195661,
3910 13696483494608803551,
3911 14639895569983779179,
3912 190432279900459470,
3913 ]),
3914 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3915 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3916 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3917 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3918 Fq::from_montgomery_limbs([
3919 2285783420521743219,
3920 14591994399938496304,
3921 12535886408060618378,
3922 501101710489306684,
3923 ]),
3924 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3925 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3926 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3927 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3928 Fq::from_montgomery_limbs([
3929 7822724896156552074,
3930 7689777522145170361,
3931 9730977649721376401,
3932 311055255784537528,
3933 ]),
3934 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3935 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3936 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3937 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3938 Fq::from_montgomery_limbs([
3939 1834958024306476590,
3940 16605000872934730848,
3941 8734772715942251355,
3942 1026168817960127241,
3943 ]),
3944 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3945 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3946 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3947 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3948 Fq::from_montgomery_limbs([
3949 5790287081621506475,
3950 18067297368696384877,
3951 1971894623462079455,
3952 497112957651892314,
3953 ]),
3954 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3955 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3956 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3957 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3958 Fq::from_montgomery_limbs([
3959 8621725523835646269,
3960 12965774417410118256,
3961 14706095127353190822,
3962 1142857683996139025,
3963 ]),
3964 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3965 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3966 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3967 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3968 Fq::from_montgomery_limbs([
3969 15741284293667530319,
3970 12915384592541106208,
3971 10337602748724507139,
3972 621400944646732378,
3973 ]),
3974 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3975 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3976 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3977 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3978 Fq::from_montgomery_limbs([
3979 10418600921631639086,
3980 13969232505211882397,
3981 6670084530256782375,
3982 589250133235990401,
3983 ]),
3984 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3985 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3986 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3987 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3988 Fq::from_montgomery_limbs([
3989 13301798549602548743,
3990 5096901969148881844,
3991 14446280392699573069,
3992 437782466408137787,
3993 ]),
3994 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3995 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3996 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3997 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3998 Fq::from_montgomery_limbs([
3999 14260778386751756941,
4000 15721044723566323721,
4001 9992114336939362025,
4002 1127453549788190537,
4003 ]),
4004 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4005 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4006 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4007 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4008 Fq::from_montgomery_limbs([
4009 9374740633145639151,
4010 2749992728162535287,
4011 324605534042342541,
4012 875415928381457928,
4013 ]),
4014 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4015 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4016 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4017 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4018 Fq::from_montgomery_limbs([
4019 267437928690707389,
4020 15443945850723586497,
4021 12627722626447870588,
4022 76078095185201612,
4023 ]),
4024 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4025 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4026 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4027 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4028 Fq::from_montgomery_limbs([
4029 10923993363806369263,
4030 18267784178840739395,
4031 14630481450219570438,
4032 378947118067140053,
4033 ]),
4034 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4035 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4036 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4037 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4038 Fq::from_montgomery_limbs([
4039 11403976482284459978,
4040 16272983986590444793,
4041 3765503922077751896,
4042 79364539722273290,
4043 ]),
4044 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4045 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4046 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4047 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4048 Fq::from_montgomery_limbs([
4049 11448721382876703681,
4050 14847931759131246244,
4051 7128092965784075415,
4052 180922588002186450,
4053 ]),
4054 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4055 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4056 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4057 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4058 Fq::from_montgomery_limbs([
4059 12703693405537318683,
4060 17809616441104653297,
4061 1356025434738010042,
4062 678042696111256776,
4063 ]),
4064 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4065 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4066 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4067 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4068 Fq::from_montgomery_limbs([
4069 1581134933636608728,
4070 8974334562566747609,
4071 13981094886159927949,
4072 879338632538017255,
4073 ]),
4074 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4075 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4076 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4077 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4078 Fq::from_montgomery_limbs([
4079 13448202253461902078,
4080 6113850066861673560,
4081 8363760165130703945,
4082 430895863395699323,
4083 ]),
4084 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4085 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4086 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4087 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4088 Fq::from_montgomery_limbs([
4089 11364646780735898548,
4090 18310352822657651209,
4091 1715448934469054774,
4092 373623735103410086,
4093 ]),
4094 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4095 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4096 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4097 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4098 Fq::from_montgomery_limbs([
4099 5160483194403952864,
4100 5269789810582188597,
4101 7949343741254368028,
4102 648244985265401351,
4103 ]),
4104 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4105 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4106 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4107 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4108 Fq::from_montgomery_limbs([
4109 2578613260896705768,
4110 16973829270463026541,
4111 1007269524128147481,
4112 588832280601996335,
4113 ]),
4114 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4115 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4116 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4117 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4118 Fq::from_montgomery_limbs([
4119 18113257874564708980,
4120 4260053189158561988,
4121 17013073166096369676,
4122 79169829782754517,
4123 ]),
4124 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4125 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4126 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4127 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4128 Fq::from_montgomery_limbs([
4129 11433643047469980018,
4130 1276670802646402384,
4131 7225445039450827835,
4132 1320607862737647658,
4133 ]),
4134 Fq::from_montgomery_limbs([
4135 9049650314779674715,
4136 15332775679178116922,
4137 10916059016321665268,
4138 1115159218126791192,
4139 ]),
4140 Fq::from_montgomery_limbs([
4141 5320499112936763732,
4142 11250539854586634824,
4143 12063947087263213252,
4144 710935487070228339,
4145 ]),
4146 Fq::from_montgomery_limbs([
4147 18379608258942880321,
4148 15727113804916673274,
4149 10498320535108511002,
4150 845002076776323646,
4151 ]),
4152 Fq::from_montgomery_limbs([
4153 6828593483180812035,
4154 1682481325156526923,
4155 14049047336459608184,
4156 1126148273021080778,
4157 ]),
4158 Fq::from_montgomery_limbs([
4159 3872917422679565944,
4160 1271915972458656550,
4161 1092693023912110895,
4162 1298968277402891756,
4163 ]),
4164 Fq::from_montgomery_limbs([
4165 7814132502258843917,
4166 8078742423972593556,
4167 8536158594561933049,
4168 191277843487617954,
4169 ]),
4170 Fq::from_montgomery_limbs([
4171 5652311561512870887,
4172 16495461651672765449,
4173 11098657231551158518,
4174 493087321946801171,
4175 ]),
4176 Fq::from_montgomery_limbs([
4177 6368409936062697439,
4178 792796763844864197,
4179 5610460501625398581,
4180 546867399856191995,
4181 ]),
4182 Fq::from_montgomery_limbs([
4183 3038217149528838505,
4184 8627484827600343283,
4185 7414393357134479493,
4186 985381996389905690,
4187 ]),
4188 Fq::from_montgomery_limbs([
4189 14953970136252134871,
4190 295452924685135549,
4191 11287279099077480718,
4192 617093465173114131,
4193 ]),
4194 Fq::from_montgomery_limbs([
4195 140435627222783551,
4196 17855535656574994648,
4197 5022512547318532764,
4198 473386213985532003,
4199 ]),
4200 Fq::from_montgomery_limbs([
4201 7030554896034226352,
4202 6441059691989760702,
4203 581099786512472761,
4204 1269259459863271622,
4205 ]),
4206 Fq::from_montgomery_limbs([
4207 6770052323275442396,
4208 12901743183408121797,
4209 13004549993560303547,
4210 969914125748537569,
4211 ]),
4212 Fq::from_montgomery_limbs([
4213 11435239377991792553,
4214 14044046789306606033,
4215 11369816462011584822,
4216 1239930404010674345,
4217 ]),
4218 Fq::from_montgomery_limbs([
4219 2621636762951244377,
4220 7758290588105338214,
4221 14625731574391580682,
4222 7696703746211481,
4223 ]),
4224 Fq::from_montgomery_limbs([
4225 8270493924131469556,
4226 15946263820341678216,
4227 6122109191607485742,
4228 1119062509985100783,
4229 ]),
4230 Fq::from_montgomery_limbs([
4231 11252124749266599346,
4232 8413749501404755931,
4233 9936257142296575431,
4234 189818330075783365,
4235 ]),
4236 Fq::from_montgomery_limbs([
4237 1537275707366966513,
4238 2232381660897701103,
4239 2870196216416932989,
4240 1271177660936312287,
4241 ]),
4242 Fq::from_montgomery_limbs([
4243 1398814984843324301,
4244 15240858180305901997,
4245 14386262707998656254,
4246 1102388553837536368,
4247 ]),
4248 ]),
4249 }
4250}