1use decaf377::Fq;
2use poseidon_parameters::v1::{
3 Alpha, ArcMatrix, Matrix, MdsMatrix, OptimizedArcMatrix, OptimizedMdsMatrices,
4 PoseidonParameters, RoundNumbers, SquareMatrix,
5};
6
7pub const fn rate_7() -> PoseidonParameters<8, 7, 64, 49, 39, 8, 312, 31> {
9 PoseidonParameters {
10 M: 128,
11 arc: ArcMatrix::<39, 8, 312>::new_from_known([
12 Fq::from_montgomery_limbs([
13 17670646277747935280,
14 16706444459999957760,
15 7654997937391160943,
16 659194013361630234,
17 ]),
18 Fq::from_montgomery_limbs([
19 9306410324956668761,
20 11918867663968452855,
21 16159669320449336406,
22 1027263653273380654,
23 ]),
24 Fq::from_montgomery_limbs([
25 10424544810878645940,
26 11533042162917906716,
27 11405431418950019185,
28 1181592306684207657,
29 ]),
30 Fq::from_montgomery_limbs([
31 15511314950168773025,
32 2706584092620486610,
33 12589344906057924987,
34 198949415522711747,
35 ]),
36 Fq::from_montgomery_limbs([
37 6463242934034011456,
38 4480775049700236083,
39 1147244402884869561,
40 251099301522684222,
41 ]),
42 Fq::from_montgomery_limbs([
43 6076653156556680739,
44 6058362204127962922,
45 2609006430585927072,
46 1274277644859784421,
47 ]),
48 Fq::from_montgomery_limbs([
49 4034147285618545471,
50 16309046946281719379,
51 11732506942908882170,
52 1141734761043516350,
53 ]),
54 Fq::from_montgomery_limbs([
55 15181402120606708665,
56 769117698742393942,
57 8000709366545785093,
58 128042919054960870,
59 ]),
60 Fq::from_montgomery_limbs([
61 1723632755773767909,
62 7425611528820224114,
63 3846361608213771012,
64 1317157014229771878,
65 ]),
66 Fq::from_montgomery_limbs([
67 1180004570926588292,
68 9835115993104089813,
69 255514544102365106,
70 370024046994873563,
71 ]),
72 Fq::from_montgomery_limbs([
73 16507101987459533719,
74 15603514395660572922,
75 14849362947260167652,
76 1094669615299361663,
77 ]),
78 Fq::from_montgomery_limbs([
79 1641419564627940104,
80 1734977130266781622,
81 2359844858057393580,
82 88569664018692634,
83 ]),
84 Fq::from_montgomery_limbs([
85 16267328831985402574,
86 4504129177123355587,
87 2430336937000039615,
88 182724946762968945,
89 ]),
90 Fq::from_montgomery_limbs([
91 17793535158928999608,
92 5634031392654154747,
93 10364337635238532583,
94 1179994829791766723,
95 ]),
96 Fq::from_montgomery_limbs([
97 145700301814233551,
98 7743364595931833861,
99 13600389751414362190,
100 60896176710147956,
101 ]),
102 Fq::from_montgomery_limbs([
103 17934232373820563709,
104 6533845630243602776,
105 15324676632824344806,
106 193078344538210235,
107 ]),
108 Fq::from_montgomery_limbs([
109 3358859423299088468,
110 11840854300859333122,
111 8971776175135254558,
112 1017237487419914281,
113 ]),
114 Fq::from_montgomery_limbs([
115 16328481477177681368,
116 1582997519876787207,
117 5731557971602616313,
118 498420306800783215,
119 ]),
120 Fq::from_montgomery_limbs([
121 12526989383108933614,
122 11731194362815364383,
123 12171285115754354694,
124 1149426086446852474,
125 ]),
126 Fq::from_montgomery_limbs([
127 809732533742229508,
128 9195963923014534752,
129 11886583635578374853,
130 1292532069463172705,
131 ]),
132 Fq::from_montgomery_limbs([
133 15459398930996981001,
134 17972537529111616674,
135 6256384561719931081,
136 1099908904421687269,
137 ]),
138 Fq::from_montgomery_limbs([
139 6194631511262826563,
140 5980361634035332899,
141 6132585703186883039,
142 1343152289862207638,
143 ]),
144 Fq::from_montgomery_limbs([
145 13704532277655419198,
146 9493963458736770267,
147 12653804519172949169,
148 218428805830292650,
149 ]),
150 Fq::from_montgomery_limbs([
151 8013496787819495990,
152 18081394694809078101,
153 14689354188530395484,
154 215594972753885108,
155 ]),
156 Fq::from_montgomery_limbs([
157 1765918642197202432,
158 14609627278749496598,
159 17838479232731490790,
160 483435431183692300,
161 ]),
162 Fq::from_montgomery_limbs([
163 16887594024800193480,
164 1328476430727273505,
165 17409984215868190656,
166 1068059229250495642,
167 ]),
168 Fq::from_montgomery_limbs([
169 15487315671093445122,
170 4028755842123792652,
171 14118515559434131307,
172 600004660835889583,
173 ]),
174 Fq::from_montgomery_limbs([
175 13620558349664282044,
176 9072735252525972202,
177 312787852320488038,
178 47231029883010665,
179 ]),
180 Fq::from_montgomery_limbs([
181 9895950479699930991,
182 1320083262020086701,
183 9381389112858508819,
184 928504768072893822,
185 ]),
186 Fq::from_montgomery_limbs([
187 10747871248019763953,
188 4479404654791651748,
189 11550770912037988700,
190 438216942461032792,
191 ]),
192 Fq::from_montgomery_limbs([
193 18385142532667962947,
194 12272398000439779637,
195 7461987138462771945,
196 558726769125714997,
197 ]),
198 Fq::from_montgomery_limbs([
199 14139485618053732983,
200 8348792317702713313,
201 367233286875102863,
202 186067690854023043,
203 ]),
204 Fq::from_montgomery_limbs([
205 9041249832633195933,
206 456527929350696070,
207 3136123267563166118,
208 862425036609816636,
209 ]),
210 Fq::from_montgomery_limbs([
211 9876321727332632023,
212 772451632218152169,
213 2580763841740601079,
214 1142028710995573927,
215 ]),
216 Fq::from_montgomery_limbs([
217 10533796008132988682,
218 170935373731786369,
219 14423133339980810247,
220 95055508444762275,
221 ]),
222 Fq::from_montgomery_limbs([
223 4649364153559136229,
224 7934671244579715116,
225 1725602943667409585,
226 43552745816587563,
227 ]),
228 Fq::from_montgomery_limbs([
229 8961999013353095080,
230 2142418418315880644,
231 4123910506434734507,
232 397827113331247074,
233 ]),
234 Fq::from_montgomery_limbs([
235 2830645454593024582,
236 16129482998540180384,
237 14637878185709838570,
238 838139034347032562,
239 ]),
240 Fq::from_montgomery_limbs([
241 12946263415316598300,
242 14878150584739579253,
243 16849157713730765625,
244 1119287030817500036,
245 ]),
246 Fq::from_montgomery_limbs([
247 15997726492611173881,
248 1184045769764515709,
249 17570821640390521168,
250 1030525166811213785,
251 ]),
252 Fq::from_montgomery_limbs([
253 4265559081433102256,
254 11769099699992876903,
255 10631998596214553362,
256 629920260964559213,
257 ]),
258 Fq::from_montgomery_limbs([
259 5157337023141684195,
260 9558723136849813533,
261 17067637485396248185,
262 1292601583198374157,
263 ]),
264 Fq::from_montgomery_limbs([
265 11353399385134117629,
266 2171806967430036166,
267 13097746482717663094,
268 586742781877852644,
269 ]),
270 Fq::from_montgomery_limbs([
271 1069667428899547423,
272 10788650400324959681,
273 5252327185070245031,
274 819088289991387988,
275 ]),
276 Fq::from_montgomery_limbs([
277 4718192935689796196,
278 936436242961860243,
279 3017815728777383941,
280 780298204568547665,
281 ]),
282 Fq::from_montgomery_limbs([
283 4440526970403334531,
284 4424298208172375576,
285 10234579833526167822,
286 505023592953711511,
287 ]),
288 Fq::from_montgomery_limbs([
289 4918322558939638760,
290 9690520639912900881,
291 5542814067313497246,
292 380973540266134644,
293 ]),
294 Fq::from_montgomery_limbs([
295 9286878702031291355,
296 4012311069843170007,
297 618344267270697646,
298 472052248696324346,
299 ]),
300 Fq::from_montgomery_limbs([
301 5515965792241216655,
302 12550695208348294011,
303 659754676577929048,
304 656440060717186789,
305 ]),
306 Fq::from_montgomery_limbs([
307 8831501139794786744,
308 7594112778983174926,
309 8104526671183916999,
310 495730236370502114,
311 ]),
312 Fq::from_montgomery_limbs([
313 17540013351656383980,
314 526615498448493498,
315 1434949581303472569,
316 432295170184586654,
317 ]),
318 Fq::from_montgomery_limbs([
319 16852826829533863229,
320 16646101864172251902,
321 17632936959873614814,
322 109658534507710529,
323 ]),
324 Fq::from_montgomery_limbs([
325 10636456498263271254,
326 15109124910717906315,
327 11668474560270048234,
328 1296049032043861262,
329 ]),
330 Fq::from_montgomery_limbs([
331 12825075668663632434,
332 5819798153387583193,
333 4880455503263027836,
334 801173774991292287,
335 ]),
336 Fq::from_montgomery_limbs([
337 14486651003108579603,
338 2482031833299980317,
339 11187840813488772056,
340 509321777815437929,
341 ]),
342 Fq::from_montgomery_limbs([
343 8118974380261220505,
344 16461246043293688641,
345 13082662763745388975,
346 1038588716762883494,
347 ]),
348 Fq::from_montgomery_limbs([
349 5731200332460900228,
350 8786620433378472829,
351 13932094144651464518,
352 488785602167183804,
353 ]),
354 Fq::from_montgomery_limbs([
355 10524031539917302527,
356 10788579146719387781,
357 2127880595616407095,
358 1059950077979303833,
359 ]),
360 Fq::from_montgomery_limbs([
361 5949937211870070822,
362 4596156438811326001,
363 16863220530278231284,
364 1206526762260473240,
365 ]),
366 Fq::from_montgomery_limbs([
367 8254843496528701475,
368 16430360916832531565,
369 7205448801338782124,
370 446338536784822815,
371 ]),
372 Fq::from_montgomery_limbs([
373 289840651692288450,
374 17201836854477413895,
375 13970461968236180401,
376 1087853954070862964,
377 ]),
378 Fq::from_montgomery_limbs([
379 580513008010762079,
380 829478851231913782,
381 10526131895320013439,
382 288889415938637383,
383 ]),
384 Fq::from_montgomery_limbs([
385 9443502181797148323,
386 7700433399763019139,
387 6523170715391691579,
388 690320529397890241,
389 ]),
390 Fq::from_montgomery_limbs([
391 17385565262285073596,
392 5652729129833809825,
393 5754846028854174174,
394 644301327458204078,
395 ]),
396 Fq::from_montgomery_limbs([
397 10591125214113881524,
398 9225725266018596826,
399 9355747915664481308,
400 776410040105357079,
401 ]),
402 Fq::from_montgomery_limbs([
403 9691894789652129853,
404 14667119801492707274,
405 4616580392236285481,
406 911862737929211265,
407 ]),
408 Fq::from_montgomery_limbs([
409 5328612994946451300,
410 11901467171940119902,
411 12066779857870668281,
412 563430691473174027,
413 ]),
414 Fq::from_montgomery_limbs([
415 5440290565189005724,
416 907133565222704805,
417 17434239031512456810,
418 1307317854813232623,
419 ]),
420 Fq::from_montgomery_limbs([
421 1968218328054856894,
422 2870644718005301826,
423 11704111566790320318,
424 859557807871195562,
425 ]),
426 Fq::from_montgomery_limbs([
427 9665243622030788996,
428 3894043111862548693,
429 8651495608452602974,
430 196890012228714384,
431 ]),
432 Fq::from_montgomery_limbs([
433 1811318098116764117,
434 13655150694370398684,
435 6815946900059011917,
436 290581066009768770,
437 ]),
438 Fq::from_montgomery_limbs([
439 5291662797603414486,
440 9976505778352937130,
441 18094101094996988099,
442 1244544548315716916,
443 ]),
444 Fq::from_montgomery_limbs([
445 9550922411414470754,
446 2559237915370255061,
447 4289970449795683516,
448 700825515431345401,
449 ]),
450 Fq::from_montgomery_limbs([
451 2966982422777393142,
452 3218865522692669697,
453 18384778728203892883,
454 1101167759984396250,
455 ]),
456 Fq::from_montgomery_limbs([
457 2248950665261207727,
458 17785118295943931326,
459 17515375671127827105,
460 271356461720641826,
461 ]),
462 Fq::from_montgomery_limbs([
463 2914870987885463507,
464 10687584786677185088,
465 9928447420467895555,
466 897829002169041990,
467 ]),
468 Fq::from_montgomery_limbs([
469 9461028554882623448,
470 3241431013683194658,
471 4200859715375860214,
472 247909540912074667,
473 ]),
474 Fq::from_montgomery_limbs([
475 9484762440333250094,
476 9154823463484785662,
477 5077140138132238606,
478 1217948890232839466,
479 ]),
480 Fq::from_montgomery_limbs([
481 1721708237225335663,
482 6589142598549247219,
483 16963982649759394752,
484 1325370920515859453,
485 ]),
486 Fq::from_montgomery_limbs([
487 1581154353773201694,
488 8859491775898173368,
489 3478556371389172479,
490 761951195116054505,
491 ]),
492 Fq::from_montgomery_limbs([
493 5414431534772354985,
494 5784939336020461618,
495 8193906688438115902,
496 619056837793590578,
497 ]),
498 Fq::from_montgomery_limbs([
499 5158566907177787182,
500 510437656260968539,
501 18375886464296814687,
502 496771913288779260,
503 ]),
504 Fq::from_montgomery_limbs([
505 646494282535877757,
506 12737151480704198413,
507 5471421123526354063,
508 634833038935883700,
509 ]),
510 Fq::from_montgomery_limbs([
511 16181443408673327918,
512 1926257882480036072,
513 190463000805340911,
514 725721205978748339,
515 ]),
516 Fq::from_montgomery_limbs([
517 7167760716023892074,
518 5428322849307462840,
519 14114178188915343377,
520 442277493806724508,
521 ]),
522 Fq::from_montgomery_limbs([
523 9842757490151171477,
524 12090204626601182995,
525 4235533359914016519,
526 235018089373226021,
527 ]),
528 Fq::from_montgomery_limbs([
529 689571657822682190,
530 10120322490102263749,
531 15349544629296264734,
532 879110129942909963,
533 ]),
534 Fq::from_montgomery_limbs([
535 10848673159730542826,
536 4254896082380917657,
537 7095278498028251644,
538 1283578418017245899,
539 ]),
540 Fq::from_montgomery_limbs([
541 11397620827145756612,
542 12197349421718102268,
543 667097273385403287,
544 776832025612247811,
545 ]),
546 Fq::from_montgomery_limbs([
547 9536830619644896323,
548 4636833749605880653,
549 12285714887794138165,
550 1202400709127503383,
551 ]),
552 Fq::from_montgomery_limbs([
553 12430146514789240945,
554 4526156431412134307,
555 513622053209881149,
556 214778917602192418,
557 ]),
558 Fq::from_montgomery_limbs([
559 6167098201419516498,
560 3154640343084703344,
561 14434779005902723423,
562 733632272342828673,
563 ]),
564 Fq::from_montgomery_limbs([
565 18346541912745902187,
566 17556217100268103816,
567 14141252440750669936,
568 569875244889036285,
569 ]),
570 Fq::from_montgomery_limbs([
571 15618469611711155008,
572 8545147381062171474,
573 13019086273197685281,
574 567609712932306745,
575 ]),
576 Fq::from_montgomery_limbs([
577 10102215164832802529,
578 12690048864743685174,
579 5165853392556586922,
580 270489738300122432,
581 ]),
582 Fq::from_montgomery_limbs([
583 11927164480530891201,
584 14108489374813791633,
585 13017388607106060581,
586 850938729783185225,
587 ]),
588 Fq::from_montgomery_limbs([
589 17624557745440616873,
590 2058796150101806399,
591 3985511902134676603,
592 388277619947822053,
593 ]),
594 Fq::from_montgomery_limbs([
595 2514382380191783963,
596 14675210002114941075,
597 17998140577033030519,
598 386023351355332372,
599 ]),
600 Fq::from_montgomery_limbs([
601 10528288814462561256,
602 8933204649364546390,
603 14874592129223984742,
604 399487853473549061,
605 ]),
606 Fq::from_montgomery_limbs([
607 5664751596212948671,
608 6514969831451331945,
609 12061422083014489160,
610 933043664098111606,
611 ]),
612 Fq::from_montgomery_limbs([
613 12225851766128513711,
614 17952953998987374262,
615 13430826736801915124,
616 1339971583679078644,
617 ]),
618 Fq::from_montgomery_limbs([
619 1845651887319106020,
620 6930431492749731513,
621 10484176960040080733,
622 1170790578042537798,
623 ]),
624 Fq::from_montgomery_limbs([
625 6348862923042548556,
626 1486875087558341712,
627 4194544242438091841,
628 78164005256144789,
629 ]),
630 Fq::from_montgomery_limbs([
631 14692463016290478473,
632 9329360702930196569,
633 1183214256895952754,
634 471672221434976115,
635 ]),
636 Fq::from_montgomery_limbs([
637 12425146353419210200,
638 11291312622557382836,
639 17924529967710695385,
640 316781213195510748,
641 ]),
642 Fq::from_montgomery_limbs([
643 18081335327542674793,
644 17730828508504228247,
645 15095343772187852738,
646 496240897850542584,
647 ]),
648 Fq::from_montgomery_limbs([
649 6906018396868182531,
650 7580743900120262926,
651 1967444667836204859,
652 273417108766582414,
653 ]),
654 Fq::from_montgomery_limbs([
655 16469004144906175061,
656 6719414013547880652,
657 7667039018964612703,
658 450462562192687741,
659 ]),
660 Fq::from_montgomery_limbs([
661 3699459642673757801,
662 8364096682669340023,
663 10547343127916338322,
664 1039413061935527341,
665 ]),
666 Fq::from_montgomery_limbs([
667 2771106982987870684,
668 8573563587841378420,
669 1206719325810700776,
670 143426260059118164,
671 ]),
672 Fq::from_montgomery_limbs([
673 4238031571774841747,
674 10683460310325108305,
675 10841990503446643706,
676 1301654934696530594,
677 ]),
678 Fq::from_montgomery_limbs([
679 5203929344429628388,
680 16885411007452841607,
681 17902872474369879449,
682 255936061345264752,
683 ]),
684 Fq::from_montgomery_limbs([
685 16419947603551223738,
686 15661157019396954707,
687 3821221238374718246,
688 416126177086460787,
689 ]),
690 Fq::from_montgomery_limbs([
691 16922553208005265111,
692 16360160113507055509,
693 536165461233550481,
694 608549986932555649,
695 ]),
696 Fq::from_montgomery_limbs([
697 3592206260685120065,
698 1954831133507660101,
699 5600597071609130865,
700 213648140091026624,
701 ]),
702 Fq::from_montgomery_limbs([
703 6516082392033585373,
704 13946838009919256327,
705 6452501836291584617,
706 506431739097044218,
707 ]),
708 Fq::from_montgomery_limbs([
709 5518181572807062513,
710 292110089321494827,
711 8886174429861609032,
712 814625545290394060,
713 ]),
714 Fq::from_montgomery_limbs([
715 12610347423199665749,
716 17943367344775386000,
717 17093121972053566454,
718 556259058966026962,
719 ]),
720 Fq::from_montgomery_limbs([
721 5583294814190562448,
722 18088402493981602497,
723 15928392856949829098,
724 901622636021551608,
725 ]),
726 Fq::from_montgomery_limbs([
727 16249951298748852814,
728 6111361788233877783,
729 12919350091432296884,
730 721226010556420107,
731 ]),
732 Fq::from_montgomery_limbs([
733 2218172102857239703,
734 2329323851667514953,
735 6784983166719863241,
736 993993486987443276,
737 ]),
738 Fq::from_montgomery_limbs([
739 14394544906593037198,
740 15461851001194987466,
741 12193473059473668298,
742 358314776306336360,
743 ]),
744 Fq::from_montgomery_limbs([
745 2603326905829233946,
746 16916036572436423298,
747 5790056800663566282,
748 1283614572025968285,
749 ]),
750 Fq::from_montgomery_limbs([
751 5913046777942823275,
752 8211910935104269782,
753 17190335617208567380,
754 38682663530408751,
755 ]),
756 Fq::from_montgomery_limbs([
757 6279799617741999852,
758 2368459429864835947,
759 13817854282822876412,
760 857599403523844060,
761 ]),
762 Fq::from_montgomery_limbs([
763 13513221728804468015,
764 11648472211124988287,
765 16337147311151149281,
766 1213356362315889859,
767 ]),
768 Fq::from_montgomery_limbs([
769 6735193215800666100,
770 13415126246050738636,
771 6546772491702052570,
772 864959054725113379,
773 ]),
774 Fq::from_montgomery_limbs([
775 13946560916675101048,
776 1305536234013471373,
777 1996487601117501987,
778 6637280482434640,
779 ]),
780 Fq::from_montgomery_limbs([
781 17986217868852303932,
782 266126649469053928,
783 4699823734038470617,
784 1235954369265597233,
785 ]),
786 Fq::from_montgomery_limbs([
787 9706578390759094801,
788 4557052655228011544,
789 6501501161504104166,
790 300118669717388750,
791 ]),
792 Fq::from_montgomery_limbs([
793 17271021878237926614,
794 16508898608489641541,
795 2510098231880106517,
796 1253549827753884905,
797 ]),
798 Fq::from_montgomery_limbs([
799 16081696380667951121,
800 12546061674505954303,
801 3027939816911481659,
802 1326122367352440135,
803 ]),
804 Fq::from_montgomery_limbs([
805 8750820783999769857,
806 14131264523532409831,
807 11860451755197446498,
808 745462829225755593,
809 ]),
810 Fq::from_montgomery_limbs([
811 7819519394598054633,
812 7533208822188068621,
813 3889432398222336031,
814 176964346604581200,
815 ]),
816 Fq::from_montgomery_limbs([
817 13626588278396502750,
818 15706390030365469804,
819 12311149232441048374,
820 610208895283453621,
821 ]),
822 Fq::from_montgomery_limbs([
823 11094868539621714049,
824 1330865564750703444,
825 8208579708506329523,
826 1146297945936422016,
827 ]),
828 Fq::from_montgomery_limbs([
829 7814348133249287361,
830 6078857359953567878,
831 15411726589694581351,
832 1299224180894534955,
833 ]),
834 Fq::from_montgomery_limbs([
835 8835381130778819320,
836 134779635200388096,
837 15334224426829348450,
838 785788572858947262,
839 ]),
840 Fq::from_montgomery_limbs([
841 16203055023538295629,
842 13066812413033753111,
843 13966479479457537321,
844 675899367132765792,
845 ]),
846 Fq::from_montgomery_limbs([
847 8545027219899966991,
848 6186973227993574577,
849 3038538378161392821,
850 535103590192673792,
851 ]),
852 Fq::from_montgomery_limbs([
853 3360320054957481727,
854 34336684756912399,
855 3413779266271394009,
856 764051173981439036,
857 ]),
858 Fq::from_montgomery_limbs([
859 293023250682873552,
860 7322391841105288851,
861 198244575944514326,
862 656738111777844461,
863 ]),
864 Fq::from_montgomery_limbs([
865 18423107368729444354,
866 5597408372052789576,
867 7207721424788749840,
868 943687777186537434,
869 ]),
870 Fq::from_montgomery_limbs([
871 13170086198505174331,
872 15859783812716989104,
873 5301807370963313339,
874 799729083241888205,
875 ]),
876 Fq::from_montgomery_limbs([
877 17279707292509004232,
878 10595487011792355137,
879 12602364184919926920,
880 311754230366163159,
881 ]),
882 Fq::from_montgomery_limbs([
883 8130970296785420178,
884 2169620052609587269,
885 1837093242073059498,
886 276242467334991300,
887 ]),
888 Fq::from_montgomery_limbs([
889 15139243365203952649,
890 4858541150918282204,
891 1228673366499097007,
892 1293322423335373790,
893 ]),
894 Fq::from_montgomery_limbs([
895 15413937563393284083,
896 365038001085082591,
897 11386425434875288889,
898 291771874675930828,
899 ]),
900 Fq::from_montgomery_limbs([
901 3865668766578896210,
902 14190581838784817460,
903 2274316418059288551,
904 870991438678094683,
905 ]),
906 Fq::from_montgomery_limbs([
907 9571157470530489958,
908 4980823355121973943,
909 5333320516499456270,
910 770038796278147152,
911 ]),
912 Fq::from_montgomery_limbs([
913 16981726629451591296,
914 5326474426552210602,
915 1524717641929835760,
916 219842939123356623,
917 ]),
918 Fq::from_montgomery_limbs([
919 16039208901368659229,
920 5184640515669419530,
921 3080932410472693273,
922 510043620105971072,
923 ]),
924 Fq::from_montgomery_limbs([
925 10111763974722315511,
926 8329709076294929314,
927 16998679271562967459,
928 574065224827752177,
929 ]),
930 Fq::from_montgomery_limbs([
931 8462560254681779659,
932 10954941970268851750,
933 14488455499782134046,
934 963141804021766550,
935 ]),
936 Fq::from_montgomery_limbs([
937 8265856446621399759,
938 16247707484341474163,
939 12400770599134010433,
940 771647552338284605,
941 ]),
942 Fq::from_montgomery_limbs([
943 5671942973524499,
944 18330128788177211715,
945 4789615159654137053,
946 622759709526318785,
947 ]),
948 Fq::from_montgomery_limbs([
949 17479950722059179918,
950 7049818057003906554,
951 10084589816123170899,
952 1193808990238611595,
953 ]),
954 Fq::from_montgomery_limbs([
955 896116343457540936,
956 2638281787069340966,
957 3380620512921535857,
958 36644632120836151,
959 ]),
960 Fq::from_montgomery_limbs([
961 2322146546165600970,
962 271027138366968218,
963 7162645116150464142,
964 441026262100973114,
965 ]),
966 Fq::from_montgomery_limbs([
967 11627404673587174924,
968 1016523621299971825,
969 8777376750651265173,
970 904797647346869914,
971 ]),
972 Fq::from_montgomery_limbs([
973 2336599983193427372,
974 18294536733010623722,
975 1910254562936909612,
976 288459876244919538,
977 ]),
978 Fq::from_montgomery_limbs([
979 10866222389981094234,
980 12754738301243938778,
981 2023962300189713384,
982 841827876240589471,
983 ]),
984 Fq::from_montgomery_limbs([
985 12337869057490259818,
986 9301235609521246009,
987 16444168617638171143,
988 1108049112276481315,
989 ]),
990 Fq::from_montgomery_limbs([
991 18388904709130326983,
992 14432270782760350172,
993 5671872767281599553,
994 996264049295637410,
995 ]),
996 Fq::from_montgomery_limbs([
997 2918495984421967960,
998 15152292474410287951,
999 16695048790099726675,
1000 206789987868447903,
1001 ]),
1002 Fq::from_montgomery_limbs([
1003 6798036226759712530,
1004 2524547494567206246,
1005 343094056066178021,
1006 1079202981664139204,
1007 ]),
1008 Fq::from_montgomery_limbs([
1009 283923512386736187,
1010 6373209277312452652,
1011 11471152742161283191,
1012 352597911054493754,
1013 ]),
1014 Fq::from_montgomery_limbs([
1015 18344480346791250887,
1016 6055456955702765744,
1017 13357935878541036141,
1018 1170362631105533341,
1019 ]),
1020 Fq::from_montgomery_limbs([
1021 17978397370482672109,
1022 5066451535613649009,
1023 14053101851847429570,
1024 384003300586620459,
1025 ]),
1026 Fq::from_montgomery_limbs([
1027 6537240767762022960,
1028 15287887514003130639,
1029 13714824082467376651,
1030 325998042020099848,
1031 ]),
1032 Fq::from_montgomery_limbs([
1033 4220213521712332659,
1034 17903257264224768614,
1035 14353077305493411978,
1036 1217616808421443849,
1037 ]),
1038 Fq::from_montgomery_limbs([
1039 6303107750424964008,
1040 10553099269256611636,
1041 5652309430855981542,
1042 809187312341384962,
1043 ]),
1044 Fq::from_montgomery_limbs([
1045 1467640326258074734,
1046 9958994673877282208,
1047 948807165231437865,
1048 847979042319462524,
1049 ]),
1050 Fq::from_montgomery_limbs([
1051 14465965197425638820,
1052 1065990778266164589,
1053 2272519010377842609,
1054 171604326652711548,
1055 ]),
1056 Fq::from_montgomery_limbs([
1057 16535399098764373288,
1058 6722849851726415551,
1059 12327525818310696665,
1060 617153762162922214,
1061 ]),
1062 Fq::from_montgomery_limbs([
1063 16271640629055517264,
1064 6432350282845335097,
1065 8618264300933865260,
1066 264879473167088472,
1067 ]),
1068 Fq::from_montgomery_limbs([
1069 9343764438142603568,
1070 4076892716460943411,
1071 4516415268764304436,
1072 15742193002987304,
1073 ]),
1074 Fq::from_montgomery_limbs([
1075 11522515971258098144,
1076 3066993658503053898,
1077 17512877804099724909,
1078 611356418591586870,
1079 ]),
1080 Fq::from_montgomery_limbs([
1081 4963578364552643616,
1082 6202702392079615379,
1083 7168882355307838637,
1084 299344600077925413,
1085 ]),
1086 Fq::from_montgomery_limbs([
1087 14129405866465653759,
1088 354882826696964962,
1089 9660427351909071801,
1090 291149128932052640,
1091 ]),
1092 Fq::from_montgomery_limbs([
1093 6569686896435195187,
1094 1896994952028172314,
1095 2117936942259387423,
1096 1226223740596210813,
1097 ]),
1098 Fq::from_montgomery_limbs([
1099 8136826296150976656,
1100 5114560834461259857,
1101 12698438831882127582,
1102 1064812274674793315,
1103 ]),
1104 Fq::from_montgomery_limbs([
1105 5204762908686848050,
1106 18170247715344035008,
1107 10079839806977450219,
1108 1015117163163578828,
1109 ]),
1110 Fq::from_montgomery_limbs([
1111 1971186989634095352,
1112 5677558375626169162,
1113 3790083583317699341,
1114 158130166070339790,
1115 ]),
1116 Fq::from_montgomery_limbs([
1117 9180297996268451616,
1118 10521870846784715198,
1119 11257197750166742798,
1120 1008680790543022462,
1121 ]),
1122 Fq::from_montgomery_limbs([
1123 15102432377621017232,
1124 824737829862625480,
1125 15733286904587679385,
1126 359217550415334382,
1127 ]),
1128 Fq::from_montgomery_limbs([
1129 4981259850785194804,
1130 15036275071388584091,
1131 17758791361697138722,
1132 236481669158055589,
1133 ]),
1134 Fq::from_montgomery_limbs([
1135 3901233362525026592,
1136 12813965168957277386,
1137 5314390603519503713,
1138 998031094116574634,
1139 ]),
1140 Fq::from_montgomery_limbs([
1141 4078498358432220507,
1142 12075726151602811779,
1143 5342542781210762674,
1144 21775695708843112,
1145 ]),
1146 Fq::from_montgomery_limbs([
1147 13735056988005095110,
1148 9135371967743228564,
1149 6185376342737833602,
1150 666002395605514749,
1151 ]),
1152 Fq::from_montgomery_limbs([
1153 18046228494581227779,
1154 8202114407403963695,
1155 4947702695068466084,
1156 788320793950394154,
1157 ]),
1158 Fq::from_montgomery_limbs([
1159 7218302974216051660,
1160 3228464294576983613,
1161 6671727537595126477,
1162 173754647728010839,
1163 ]),
1164 Fq::from_montgomery_limbs([
1165 7621257321835633802,
1166 8049874917307223403,
1167 9478314901912088133,
1168 870251875807451739,
1169 ]),
1170 Fq::from_montgomery_limbs([
1171 5044996355847148919,
1172 273615366352511195,
1173 4942152417670343549,
1174 199398188932346157,
1175 ]),
1176 Fq::from_montgomery_limbs([
1177 2595093843514271275,
1178 1154391123098543540,
1179 4985894556505531500,
1180 854386142979270925,
1181 ]),
1182 Fq::from_montgomery_limbs([
1183 12759949881257920813,
1184 1010457605698465717,
1185 5217636609151955807,
1186 817084911938507107,
1187 ]),
1188 Fq::from_montgomery_limbs([
1189 5979737281050353100,
1190 3539786440569025402,
1191 14471457140846241143,
1192 907982120351578122,
1193 ]),
1194 Fq::from_montgomery_limbs([
1195 16416626656337038566,
1196 752298127295719085,
1197 866476478245896231,
1198 830777061413161901,
1199 ]),
1200 Fq::from_montgomery_limbs([
1201 17284526810241082338,
1202 13213233959887135278,
1203 2713075662623866960,
1204 1171532591409183723,
1205 ]),
1206 Fq::from_montgomery_limbs([
1207 8064354122312926171,
1208 4789249084747322790,
1209 9919523931750221465,
1210 419197152698850604,
1211 ]),
1212 Fq::from_montgomery_limbs([
1213 16629353489243762868,
1214 11598883503129680580,
1215 278636461422073174,
1216 1203042448092989642,
1217 ]),
1218 Fq::from_montgomery_limbs([
1219 16545356932968522584,
1220 10146757853340947518,
1221 2437689509695855762,
1222 464048598784979390,
1223 ]),
1224 Fq::from_montgomery_limbs([
1225 5331959515776232924,
1226 3487514764868921659,
1227 5860818581382620461,
1228 167831223077979532,
1229 ]),
1230 Fq::from_montgomery_limbs([
1231 2682933818861368295,
1232 7444683236761914337,
1233 2283469126638096803,
1234 272174229926312669,
1235 ]),
1236 Fq::from_montgomery_limbs([
1237 5483054922977937779,
1238 318986619952765070,
1239 4791617305206485237,
1240 1275035358174361434,
1241 ]),
1242 Fq::from_montgomery_limbs([
1243 4586602402683656583,
1244 11875566498302421311,
1245 560651239278356123,
1246 130789238180500900,
1247 ]),
1248 Fq::from_montgomery_limbs([
1249 13475546304629005641,
1250 1809680849885580336,
1251 6148758205685753344,
1252 1015272727127650918,
1253 ]),
1254 Fq::from_montgomery_limbs([
1255 18199016777093209980,
1256 5614538780880978862,
1257 14532750892253808663,
1258 1120673202287670548,
1259 ]),
1260 Fq::from_montgomery_limbs([
1261 7979559541587633926,
1262 1549411440381912045,
1263 13170209322716529702,
1264 561270408065407020,
1265 ]),
1266 Fq::from_montgomery_limbs([
1267 15279595015844449808,
1268 17853680372412830934,
1269 12690878740975697658,
1270 190806245751470341,
1271 ]),
1272 Fq::from_montgomery_limbs([
1273 1933135302920649522,
1274 2329259343686385217,
1275 5986214093116711712,
1276 437917490927487372,
1277 ]),
1278 Fq::from_montgomery_limbs([
1279 12529279623600953551,
1280 4004103524068207361,
1281 17383023741426003338,
1282 13318527301206951,
1283 ]),
1284 Fq::from_montgomery_limbs([
1285 18009701980761163605,
1286 4547817745757475315,
1287 17631087904948254977,
1288 246989508356009632,
1289 ]),
1290 Fq::from_montgomery_limbs([
1291 14234349688403493927,
1292 2241500746438474640,
1293 1648115951043925356,
1294 529436668472805988,
1295 ]),
1296 Fq::from_montgomery_limbs([
1297 14111082894836574658,
1298 4098316701848925924,
1299 3720696502600521690,
1300 977251546365326678,
1301 ]),
1302 Fq::from_montgomery_limbs([
1303 2443616537395128437,
1304 13678987928408466225,
1305 16807254711436855033,
1306 601335544571650468,
1307 ]),
1308 Fq::from_montgomery_limbs([
1309 12969308795370128797,
1310 1532941629572075493,
1311 9106717660115400778,
1312 1089446992863060197,
1313 ]),
1314 Fq::from_montgomery_limbs([
1315 16646776755234291239,
1316 15128084475268734564,
1317 11393204553412007553,
1318 838617701679652479,
1319 ]),
1320 Fq::from_montgomery_limbs([
1321 13260373450845806376,
1322 13305876398081489975,
1323 15328643090518932448,
1324 818860400916977295,
1325 ]),
1326 Fq::from_montgomery_limbs([
1327 17906146044330204615,
1328 17863342707079833111,
1329 13022629852534083638,
1330 1328181038047481506,
1331 ]),
1332 Fq::from_montgomery_limbs([
1333 10820137181908478766,
1334 5520339361329099025,
1335 6461544718626485262,
1336 866252272778375002,
1337 ]),
1338 Fq::from_montgomery_limbs([
1339 14688227483907802311,
1340 2519702212313051686,
1341 8103674382557125023,
1342 689198778502256390,
1343 ]),
1344 Fq::from_montgomery_limbs([
1345 4422411727383004887,
1346 38494189414052956,
1347 7231885838058987299,
1348 306462357471198280,
1349 ]),
1350 Fq::from_montgomery_limbs([
1351 8147364543363235664,
1352 5966406127022341654,
1353 9906078756256022488,
1354 1154653879133001463,
1355 ]),
1356 Fq::from_montgomery_limbs([
1357 17616667317393619629,
1358 8830117592103096180,
1359 10242736408532701810,
1360 367000561528732856,
1361 ]),
1362 Fq::from_montgomery_limbs([
1363 9905329343001728010,
1364 254719974105054165,
1365 11980601159747742583,
1366 1280526116709693810,
1367 ]),
1368 Fq::from_montgomery_limbs([
1369 6868659545386222523,
1370 8844781874090119286,
1371 10793326335526947043,
1372 1292404946512391578,
1373 ]),
1374 Fq::from_montgomery_limbs([
1375 17850102253172036488,
1376 16878929783220491580,
1377 12148612402256632289,
1378 1179496799944407367,
1379 ]),
1380 Fq::from_montgomery_limbs([
1381 6929880085758156619,
1382 4120392668704643628,
1383 11836473204519946866,
1384 28485748677085595,
1385 ]),
1386 Fq::from_montgomery_limbs([
1387 7800178991375085209,
1388 14774867153037785291,
1389 11799747171946617460,
1390 602919953250380891,
1391 ]),
1392 Fq::from_montgomery_limbs([
1393 17054340314101625508,
1394 4698130283999778899,
1395 4742470825260640374,
1396 959009998492737982,
1397 ]),
1398 Fq::from_montgomery_limbs([
1399 2393186109518086396,
1400 6858067904112781658,
1401 250925929886996803,
1402 813730459239750430,
1403 ]),
1404 Fq::from_montgomery_limbs([
1405 2218833032329181388,
1406 552395772797949524,
1407 6530705058787819865,
1408 835936496067889425,
1409 ]),
1410 Fq::from_montgomery_limbs([
1411 3262056243364729906,
1412 11024409760304501943,
1413 1452785405793489479,
1414 142671579891481074,
1415 ]),
1416 Fq::from_montgomery_limbs([
1417 6735174709999307467,
1418 2125505582074675403,
1419 4509781828031030374,
1420 108593715289115480,
1421 ]),
1422 Fq::from_montgomery_limbs([
1423 498171931293929377,
1424 12913268518770675643,
1425 1815201461805994707,
1426 946978086066606985,
1427 ]),
1428 Fq::from_montgomery_limbs([
1429 16200210184230174374,
1430 3713355895827454434,
1431 14718940205181940826,
1432 1064592931466804937,
1433 ]),
1434 Fq::from_montgomery_limbs([
1435 13536929950841620194,
1436 3713133295284324907,
1437 4736815980159531884,
1438 758794941833570859,
1439 ]),
1440 Fq::from_montgomery_limbs([
1441 861407446467585047,
1442 12743454769660930162,
1443 7792877431815389510,
1444 943863054041968511,
1445 ]),
1446 Fq::from_montgomery_limbs([
1447 10460589994003660312,
1448 13699084750678449563,
1449 6912858821101282428,
1450 983481932576822508,
1451 ]),
1452 Fq::from_montgomery_limbs([
1453 6395189001561693172,
1454 909428077299806733,
1455 14034485419172147354,
1456 892696750070934303,
1457 ]),
1458 Fq::from_montgomery_limbs([
1459 16314238556028756835,
1460 12721184065200972840,
1461 4215220052710637306,
1462 969581304771032797,
1463 ]),
1464 Fq::from_montgomery_limbs([
1465 15243970771075793563,
1466 7265733909785546869,
1467 11400286633658577098,
1468 227245542346740687,
1469 ]),
1470 Fq::from_montgomery_limbs([
1471 2661479521314659209,
1472 14172387955084721030,
1473 12674281103636294869,
1474 1085804564589438497,
1475 ]),
1476 Fq::from_montgomery_limbs([
1477 18227002291515532973,
1478 15774793184931310359,
1479 6437329245046594308,
1480 396285509955206909,
1481 ]),
1482 Fq::from_montgomery_limbs([
1483 6914466148291815333,
1484 4167126971788791314,
1485 4527924238135969746,
1486 1300810520025754908,
1487 ]),
1488 Fq::from_montgomery_limbs([
1489 14395967678844513466,
1490 14422556923576200015,
1491 191387961653560003,
1492 729196198527215531,
1493 ]),
1494 Fq::from_montgomery_limbs([
1495 7196572830394614073,
1496 16632412363674496211,
1497 16792884878696839152,
1498 457278866683205345,
1499 ]),
1500 Fq::from_montgomery_limbs([
1501 9831172453260561658,
1502 4633416154293085629,
1503 748737550195349212,
1504 1194104217944615385,
1505 ]),
1506 Fq::from_montgomery_limbs([
1507 6973573180719962464,
1508 5007888960458011612,
1509 8062128917836753116,
1510 744480032753315017,
1511 ]),
1512 Fq::from_montgomery_limbs([
1513 16633938277270943002,
1514 664463662401382838,
1515 12794755704372974494,
1516 554917201554530927,
1517 ]),
1518 Fq::from_montgomery_limbs([
1519 13757343111051456383,
1520 2277523607348509991,
1521 12211485585154160377,
1522 1191938841499200958,
1523 ]),
1524 Fq::from_montgomery_limbs([
1525 2099651241677249799,
1526 16005931431677972788,
1527 4057176764026877324,
1528 707860945208429696,
1529 ]),
1530 Fq::from_montgomery_limbs([
1531 2165339887464167998,
1532 7647994110899007446,
1533 5094066233657896225,
1534 709010531879165945,
1535 ]),
1536 Fq::from_montgomery_limbs([
1537 3831632088851469384,
1538 13057932256077855788,
1539 8222411545973514625,
1540 843256628060293546,
1541 ]),
1542 Fq::from_montgomery_limbs([
1543 11183603857561726385,
1544 11584937131366886392,
1545 10218687281854749192,
1546 1214449080735682681,
1547 ]),
1548 Fq::from_montgomery_limbs([
1549 4616248479126876226,
1550 7741252456972311173,
1551 15728165050985347386,
1552 1181171544306467254,
1553 ]),
1554 Fq::from_montgomery_limbs([
1555 9990077617045592495,
1556 15002413693275212677,
1557 15144228310702885841,
1558 620548150749293884,
1559 ]),
1560 Fq::from_montgomery_limbs([
1561 11425804337294316958,
1562 7221778875452068210,
1563 12010104440786017368,
1564 1011771244946000970,
1565 ]),
1566 Fq::from_montgomery_limbs([
1567 5747596481169639613,
1568 1104073856460899094,
1569 9146430142057149431,
1570 765525234705139109,
1571 ]),
1572 Fq::from_montgomery_limbs([
1573 3812959281946602235,
1574 14465851686889375345,
1575 10322234575416122404,
1576 932678259808721672,
1577 ]),
1578 Fq::from_montgomery_limbs([
1579 8276661801860095514,
1580 14823492496323764121,
1581 13701004212965117137,
1582 355220593809969742,
1583 ]),
1584 Fq::from_montgomery_limbs([
1585 2822736401887161227,
1586 7201497867288478670,
1587 17622780267628213622,
1588 1209422737251283832,
1589 ]),
1590 Fq::from_montgomery_limbs([
1591 6817376778442520781,
1592 4154445874851092990,
1593 16808416654356258571,
1594 874896460001984569,
1595 ]),
1596 Fq::from_montgomery_limbs([
1597 6944399192847445119,
1598 11369644718917282470,
1599 2667187192361233639,
1600 556544027948695271,
1601 ]),
1602 Fq::from_montgomery_limbs([
1603 5985721645222736084,
1604 16218645614583785224,
1605 4868776535917705543,
1606 340479768034825225,
1607 ]),
1608 Fq::from_montgomery_limbs([
1609 423267142339143725,
1610 10672508482801134053,
1611 10023426192840323691,
1612 143702757733007341,
1613 ]),
1614 Fq::from_montgomery_limbs([
1615 16968412399372724525,
1616 8496071221427589946,
1617 10167242106830249881,
1618 948296106142898645,
1619 ]),
1620 Fq::from_montgomery_limbs([
1621 6077151186983453387,
1622 15293901317827186404,
1623 14701565635632126093,
1624 255295815714470534,
1625 ]),
1626 Fq::from_montgomery_limbs([
1627 2340976401132931162,
1628 15060372762537152076,
1629 53380542410648341,
1630 264784757483154853,
1631 ]),
1632 Fq::from_montgomery_limbs([
1633 18327041937543135548,
1634 9711578301735907982,
1635 14543056172433622210,
1636 917652325595281384,
1637 ]),
1638 Fq::from_montgomery_limbs([
1639 16912960214874381489,
1640 15496697595960727025,
1641 10003663904717205393,
1642 692183641514800495,
1643 ]),
1644 Fq::from_montgomery_limbs([
1645 631791826835558467,
1646 6501686441307729051,
1647 3099396544628491613,
1648 61251147299142612,
1649 ]),
1650 Fq::from_montgomery_limbs([
1651 17691931260195143223,
1652 8098931117406259915,
1653 9971027644422011861,
1654 1136957700009068910,
1655 ]),
1656 Fq::from_montgomery_limbs([
1657 2062604623511907833,
1658 2446845511672682965,
1659 13161140743748372941,
1660 284099378520214643,
1661 ]),
1662 Fq::from_montgomery_limbs([
1663 10652315713215424934,
1664 14813440799481647832,
1665 13466669344664711667,
1666 1176746728204537787,
1667 ]),
1668 Fq::from_montgomery_limbs([
1669 340206030049443520,
1670 12731571821339495677,
1671 14595218864578621848,
1672 861695502136866474,
1673 ]),
1674 Fq::from_montgomery_limbs([
1675 3281942488953589693,
1676 3787812821549520969,
1677 9952331543838149583,
1678 1038372048519458034,
1679 ]),
1680 Fq::from_montgomery_limbs([
1681 18390450269856250573,
1682 10364014773689157664,
1683 17543739276626667853,
1684 671606213095247190,
1685 ]),
1686 Fq::from_montgomery_limbs([
1687 12094846023530852586,
1688 13769932740865047240,
1689 113296399784931588,
1690 214330261285932478,
1691 ]),
1692 Fq::from_montgomery_limbs([
1693 6374588877936433558,
1694 11607665174546753642,
1695 15847675340170713041,
1696 474145143590361300,
1697 ]),
1698 Fq::from_montgomery_limbs([
1699 4088002413776997222,
1700 16030858922743461837,
1701 4313473177343544055,
1702 817302900123673764,
1703 ]),
1704 Fq::from_montgomery_limbs([
1705 18216186189548814543,
1706 5687648301273358200,
1707 6564098766262925833,
1708 235647764529877689,
1709 ]),
1710 Fq::from_montgomery_limbs([
1711 1421650618584051851,
1712 9669410210003093316,
1713 15430467067773365518,
1714 994269415526604309,
1715 ]),
1716 Fq::from_montgomery_limbs([
1717 7574559796775011993,
1718 9643962694113220666,
1719 1013275434882478619,
1720 543427156325963008,
1721 ]),
1722 Fq::from_montgomery_limbs([
1723 4532353768594877907,
1724 2433286855157726742,
1725 15167390808651362948,
1726 914159030044677082,
1727 ]),
1728 Fq::from_montgomery_limbs([
1729 14155199821083030453,
1730 3642619697360819367,
1731 7765405773737076472,
1732 1202115259646869817,
1733 ]),
1734 Fq::from_montgomery_limbs([
1735 16335533268534142579,
1736 4358492749042076660,
1737 16385044626223358243,
1738 847268434257421024,
1739 ]),
1740 Fq::from_montgomery_limbs([
1741 726136436292617217,
1742 4735276118883290434,
1743 6495677390337301519,
1744 1007951275499954400,
1745 ]),
1746 Fq::from_montgomery_limbs([
1747 1441892049918589996,
1748 16125120862288806381,
1749 5244917656153261337,
1750 108755599353706277,
1751 ]),
1752 Fq::from_montgomery_limbs([
1753 9330223445766086137,
1754 9406197553353640417,
1755 13281468059023600014,
1756 500503138812404763,
1757 ]),
1758 Fq::from_montgomery_limbs([
1759 5355456155777194776,
1760 15418542913049291849,
1761 7681885321566295504,
1762 1188094463923126996,
1763 ]),
1764 Fq::from_montgomery_limbs([
1765 11882193142358058793,
1766 4624069509548102427,
1767 6735235437551193554,
1768 962114122876706035,
1769 ]),
1770 Fq::from_montgomery_limbs([
1771 1819083831857771980,
1772 8349663267034291058,
1773 14403983179525206765,
1774 942284040773068417,
1775 ]),
1776 Fq::from_montgomery_limbs([
1777 7024062436534453440,
1778 15203692147142724388,
1779 17082973923084045231,
1780 1191890185052815108,
1781 ]),
1782 Fq::from_montgomery_limbs([
1783 6672719206476059341,
1784 18362672287252020084,
1785 3555226216430454216,
1786 300718449399370145,
1787 ]),
1788 Fq::from_montgomery_limbs([
1789 5828458911011841758,
1790 9271852277477872143,
1791 18378348640149073615,
1792 591074353691784318,
1793 ]),
1794 Fq::from_montgomery_limbs([
1795 15397757499179479361,
1796 1878199828613873660,
1797 4164621900891789384,
1798 558990401377082502,
1799 ]),
1800 Fq::from_montgomery_limbs([
1801 11069496558892348093,
1802 10253211614498485032,
1803 11458203419889384673,
1804 575447664584685933,
1805 ]),
1806 Fq::from_montgomery_limbs([
1807 9808353214047792416,
1808 4805184465312945639,
1809 3985871967202506787,
1810 1229730183276593449,
1811 ]),
1812 Fq::from_montgomery_limbs([
1813 8420435996312062450,
1814 11100705514596499443,
1815 1523101111273631766,
1816 639557004587150270,
1817 ]),
1818 Fq::from_montgomery_limbs([
1819 15630012259368829028,
1820 15079774099427294323,
1821 16765804689810369633,
1822 834886070512612798,
1823 ]),
1824 Fq::from_montgomery_limbs([
1825 2000344807995355152,
1826 8654391083188520616,
1827 13301563010992444431,
1828 490951127405891771,
1829 ]),
1830 Fq::from_montgomery_limbs([
1831 11761875542266860374,
1832 709339183471929228,
1833 17682621289319303167,
1834 570040706396372700,
1835 ]),
1836 Fq::from_montgomery_limbs([
1837 3366481512891059038,
1838 12720609556939839584,
1839 1707138651265172645,
1840 36940608792331559,
1841 ]),
1842 Fq::from_montgomery_limbs([
1843 2427334396528044490,
1844 10170194639028880515,
1845 18243990154741074229,
1846 607502491270396977,
1847 ]),
1848 Fq::from_montgomery_limbs([
1849 6267947100515031640,
1850 14520122887125811439,
1851 6695614471931546770,
1852 251319533602819784,
1853 ]),
1854 Fq::from_montgomery_limbs([
1855 7663026857490478572,
1856 15777701966597798170,
1857 10617198553182548195,
1858 642318201966621785,
1859 ]),
1860 Fq::from_montgomery_limbs([
1861 9959998770754152632,
1862 13119241263216166622,
1863 6328810982306793729,
1864 571460896430554998,
1865 ]),
1866 Fq::from_montgomery_limbs([
1867 12042605027273090048,
1868 14859482580111939906,
1869 11509134713697889199,
1870 561895216440235106,
1871 ]),
1872 Fq::from_montgomery_limbs([
1873 1156916933025613310,
1874 4529329408550568088,
1875 14286907616576238972,
1876 1309540780962817079,
1877 ]),
1878 Fq::from_montgomery_limbs([
1879 7510365353910652337,
1880 14538991928012962248,
1881 4644117500717216624,
1882 1340316749461135700,
1883 ]),
1884 ]),
1885 mds: MdsMatrix::<8, 7, 64, 49>::new_from_known([
1886 Fq::from_montgomery_limbs([
1887 17721242321237835775,
1888 11985636621509722110,
1889 11478464757469040638,
1890 960562638525520553,
1891 ]),
1892 Fq::from_montgomery_limbs([
1893 17640631015407645126,
1894 17416650484724036037,
1895 14803487960933328666,
1896 554882262980868625,
1897 ]),
1898 Fq::from_montgomery_limbs([
1899 10632745392742701465,
1900 7191381972905833266,
1901 10576427669223334706,
1902 1037506184958051122,
1903 ]),
1904 Fq::from_montgomery_limbs([
1905 7989155441247042094,
1906 18276457113184108543,
1907 17999817914616464103,
1908 943187440870955565,
1909 ]),
1910 Fq::from_montgomery_limbs([
1911 18204910156218979669,
1912 16293041589642941780,
1913 9975069610392864084,
1914 1088801882579738168,
1915 ]),
1916 Fq::from_montgomery_limbs([
1917 15441359965645378481,
1918 7022857083512140090,
1919 11162758362666494739,
1920 1108530997049617801,
1921 ]),
1922 Fq::from_montgomery_limbs([
1923 7802104352665277001,
1924 1712233803072817444,
1925 12180777293186749586,
1926 1125441666595228915,
1927 ]),
1928 Fq::from_montgomery_limbs([
1929 7330330845985706257,
1930 6947957132670498679,
1931 9373711551562393463,
1932 1140097580201425214,
1933 ]),
1934 Fq::from_montgomery_limbs([
1935 17640631015407645126,
1936 17416650484724036037,
1937 14803487960933328666,
1938 554882262980868625,
1939 ]),
1940 Fq::from_montgomery_limbs([
1941 10632745392742701465,
1942 7191381972905833266,
1943 10576427669223334706,
1944 1037506184958051122,
1945 ]),
1946 Fq::from_montgomery_limbs([
1947 7989155441247042094,
1948 18276457113184108543,
1949 17999817914616464103,
1950 943187440870955565,
1951 ]),
1952 Fq::from_montgomery_limbs([
1953 18204910156218979669,
1954 16293041589642941780,
1955 9975069610392864084,
1956 1088801882579738168,
1957 ]),
1958 Fq::from_montgomery_limbs([
1959 15441359965645378481,
1960 7022857083512140090,
1961 11162758362666494739,
1962 1108530997049617801,
1963 ]),
1964 Fq::from_montgomery_limbs([
1965 7802104352665277001,
1966 1712233803072817444,
1967 12180777293186749586,
1968 1125441666595228915,
1969 ]),
1970 Fq::from_montgomery_limbs([
1971 7330330845985706257,
1972 6947957132670498679,
1973 9373711551562393463,
1974 1140097580201425214,
1975 ]),
1976 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
1977 Fq::from_montgomery_limbs([
1978 10632745392742701465,
1979 7191381972905833266,
1980 10576427669223334706,
1981 1037506184958051122,
1982 ]),
1983 Fq::from_montgomery_limbs([
1984 7989155441247042094,
1985 18276457113184108543,
1986 17999817914616464103,
1987 943187440870955565,
1988 ]),
1989 Fq::from_montgomery_limbs([
1990 18204910156218979669,
1991 16293041589642941780,
1992 9975069610392864084,
1993 1088801882579738168,
1994 ]),
1995 Fq::from_montgomery_limbs([
1996 15441359965645378481,
1997 7022857083512140090,
1998 11162758362666494739,
1999 1108530997049617801,
2000 ]),
2001 Fq::from_montgomery_limbs([
2002 7802104352665277001,
2003 1712233803072817444,
2004 12180777293186749586,
2005 1125441666595228915,
2006 ]),
2007 Fq::from_montgomery_limbs([
2008 7330330845985706257,
2009 6947957132670498679,
2010 9373711551562393463,
2011 1140097580201425214,
2012 ]),
2013 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2014 Fq::from_montgomery_limbs([
2015 829043150522309210,
2016 7485532467658058089,
2017 17072453966431109601,
2018 610297755857677130,
2019 ]),
2020 Fq::from_montgomery_limbs([
2021 7989155441247042094,
2022 18276457113184108543,
2023 17999817914616464103,
2024 943187440870955565,
2025 ]),
2026 Fq::from_montgomery_limbs([
2027 18204910156218979669,
2028 16293041589642941780,
2029 9975069610392864084,
2030 1088801882579738168,
2031 ]),
2032 Fq::from_montgomery_limbs([
2033 15441359965645378481,
2034 7022857083512140090,
2035 11162758362666494739,
2036 1108530997049617801,
2037 ]),
2038 Fq::from_montgomery_limbs([
2039 7802104352665277001,
2040 1712233803072817444,
2041 12180777293186749586,
2042 1125441666595228915,
2043 ]),
2044 Fq::from_montgomery_limbs([
2045 7330330845985706257,
2046 6947957132670498679,
2047 9373711551562393463,
2048 1140097580201425214,
2049 ]),
2050 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2051 Fq::from_montgomery_limbs([
2052 829043150522309210,
2053 7485532467658058089,
2054 17072453966431109601,
2055 610297755857677130,
2056 ]),
2057 Fq::from_montgomery_limbs([
2058 18043687544558598371,
2059 8708325242362018018,
2060 16625116017321440141,
2061 277441131490434312,
2062 ]),
2063 Fq::from_montgomery_limbs([
2064 18204910156218979669,
2065 16293041589642941780,
2066 9975069610392864084,
2067 1088801882579738168,
2068 ]),
2069 Fq::from_montgomery_limbs([
2070 15441359965645378481,
2071 7022857083512140090,
2072 11162758362666494739,
2073 1108530997049617801,
2074 ]),
2075 Fq::from_montgomery_limbs([
2076 7802104352665277001,
2077 1712233803072817444,
2078 12180777293186749586,
2079 1125441666595228915,
2080 ]),
2081 Fq::from_montgomery_limbs([
2082 7330330845985706257,
2083 6947957132670498679,
2084 9373711551562393463,
2085 1140097580201425214,
2086 ]),
2087 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2088 Fq::from_montgomery_limbs([
2089 829043150522309210,
2090 7485532467658058089,
2091 17072453966431109601,
2092 610297755857677130,
2093 ]),
2094 Fq::from_montgomery_limbs([
2095 18043687544558598371,
2096 8708325242362018018,
2097 16625116017321440141,
2098 277441131490434312,
2099 ]),
2100 Fq::from_montgomery_limbs([
2101 1903578231313020389,
2102 13252279451564941743,
2103 6429417326301386859,
2104 900077037001125169,
2105 ]),
2106 Fq::from_montgomery_limbs([
2107 15441359965645378481,
2108 7022857083512140090,
2109 11162758362666494739,
2110 1108530997049617801,
2111 ]),
2112 Fq::from_montgomery_limbs([
2113 7802104352665277001,
2114 1712233803072817444,
2115 12180777293186749586,
2116 1125441666595228915,
2117 ]),
2118 Fq::from_montgomery_limbs([
2119 7330330845985706257,
2120 6947957132670498679,
2121 9373711551562393463,
2122 1140097580201425214,
2123 ]),
2124 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2125 Fq::from_montgomery_limbs([
2126 829043150522309210,
2127 7485532467658058089,
2128 17072453966431109601,
2129 610297755857677130,
2130 ]),
2131 Fq::from_montgomery_limbs([
2132 18043687544558598371,
2133 8708325242362018018,
2134 16625116017321440141,
2135 277441131490434312,
2136 ]),
2137 Fq::from_montgomery_limbs([
2138 1903578231313020389,
2139 13252279451564941743,
2140 6429417326301386859,
2141 900077037001125169,
2142 ]),
2143 Fq::from_montgomery_limbs([
2144 14902495609461984461,
2145 16049616749407607193,
2146 8772353492731922841,
2147 1191393277823112260,
2148 ]),
2149 Fq::from_montgomery_limbs([
2150 7802104352665277001,
2151 1712233803072817444,
2152 12180777293186749586,
2153 1125441666595228915,
2154 ]),
2155 Fq::from_montgomery_limbs([
2156 7330330845985706257,
2157 6947957132670498679,
2158 9373711551562393463,
2159 1140097580201425214,
2160 ]),
2161 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2162 Fq::from_montgomery_limbs([
2163 829043150522309210,
2164 7485532467658058089,
2165 17072453966431109601,
2166 610297755857677130,
2167 ]),
2168 Fq::from_montgomery_limbs([
2169 18043687544558598371,
2170 8708325242362018018,
2171 16625116017321440141,
2172 277441131490434312,
2173 ]),
2174 Fq::from_montgomery_limbs([
2175 1903578231313020389,
2176 13252279451564941743,
2177 6429417326301386859,
2178 900077037001125169,
2179 ]),
2180 Fq::from_montgomery_limbs([
2181 14902495609461984461,
2182 16049616749407607193,
2183 8772353492731922841,
2184 1191393277823112260,
2185 ]),
2186 Fq::from_montgomery_limbs([
2187 5443236819267423281,
2188 9444106377351672003,
2189 16592192658774520588,
2190 1198721234626210409,
2191 ]),
2192 Fq::from_montgomery_limbs([
2193 7330330845985706257,
2194 6947957132670498679,
2195 9373711551562393463,
2196 1140097580201425214,
2197 ]),
2198 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2199 Fq::from_montgomery_limbs([
2200 829043150522309210,
2201 7485532467658058089,
2202 17072453966431109601,
2203 610297755857677130,
2204 ]),
2205 Fq::from_montgomery_limbs([
2206 18043687544558598371,
2207 8708325242362018018,
2208 16625116017321440141,
2209 277441131490434312,
2210 ]),
2211 Fq::from_montgomery_limbs([
2212 1903578231313020389,
2213 13252279451564941743,
2214 6429417326301386859,
2215 900077037001125169,
2216 ]),
2217 Fq::from_montgomery_limbs([
2218 14902495609461984461,
2219 16049616749407607193,
2220 8772353492731922841,
2221 1191393277823112260,
2222 ]),
2223 Fq::from_montgomery_limbs([
2224 5443236819267423281,
2225 9444106377351672003,
2226 16592192658774520588,
2227 1198721234626210409,
2228 ]),
2229 Fq::from_montgomery_limbs([
2230 13217949757478296855,
2231 18361600593446830079,
2232 18223280994163007859,
2233 471593720435477782,
2234 ]),
2235 ]),
2236 alpha: Alpha::Exponent(17),
2237 rounds: RoundNumbers { r_P: 31, r_F: 8 },
2238 optimized_mds: OptimizedMdsMatrices {
2239 M_hat: SquareMatrix::<7, 49>::new_from_known([
2240 Fq::from_montgomery_limbs([
2241 10632745392742701465,
2242 7191381972905833266,
2243 10576427669223334706,
2244 1037506184958051122,
2245 ]),
2246 Fq::from_montgomery_limbs([
2247 7989155441247042094,
2248 18276457113184108543,
2249 17999817914616464103,
2250 943187440870955565,
2251 ]),
2252 Fq::from_montgomery_limbs([
2253 18204910156218979669,
2254 16293041589642941780,
2255 9975069610392864084,
2256 1088801882579738168,
2257 ]),
2258 Fq::from_montgomery_limbs([
2259 15441359965645378481,
2260 7022857083512140090,
2261 11162758362666494739,
2262 1108530997049617801,
2263 ]),
2264 Fq::from_montgomery_limbs([
2265 7802104352665277001,
2266 1712233803072817444,
2267 12180777293186749586,
2268 1125441666595228915,
2269 ]),
2270 Fq::from_montgomery_limbs([
2271 7330330845985706257,
2272 6947957132670498679,
2273 9373711551562393463,
2274 1140097580201425214,
2275 ]),
2276 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2277 Fq::from_montgomery_limbs([
2278 7989155441247042094,
2279 18276457113184108543,
2280 17999817914616464103,
2281 943187440870955565,
2282 ]),
2283 Fq::from_montgomery_limbs([
2284 18204910156218979669,
2285 16293041589642941780,
2286 9975069610392864084,
2287 1088801882579738168,
2288 ]),
2289 Fq::from_montgomery_limbs([
2290 15441359965645378481,
2291 7022857083512140090,
2292 11162758362666494739,
2293 1108530997049617801,
2294 ]),
2295 Fq::from_montgomery_limbs([
2296 7802104352665277001,
2297 1712233803072817444,
2298 12180777293186749586,
2299 1125441666595228915,
2300 ]),
2301 Fq::from_montgomery_limbs([
2302 7330330845985706257,
2303 6947957132670498679,
2304 9373711551562393463,
2305 1140097580201425214,
2306 ]),
2307 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2308 Fq::from_montgomery_limbs([
2309 829043150522309210,
2310 7485532467658058089,
2311 17072453966431109601,
2312 610297755857677130,
2313 ]),
2314 Fq::from_montgomery_limbs([
2315 18204910156218979669,
2316 16293041589642941780,
2317 9975069610392864084,
2318 1088801882579738168,
2319 ]),
2320 Fq::from_montgomery_limbs([
2321 15441359965645378481,
2322 7022857083512140090,
2323 11162758362666494739,
2324 1108530997049617801,
2325 ]),
2326 Fq::from_montgomery_limbs([
2327 7802104352665277001,
2328 1712233803072817444,
2329 12180777293186749586,
2330 1125441666595228915,
2331 ]),
2332 Fq::from_montgomery_limbs([
2333 7330330845985706257,
2334 6947957132670498679,
2335 9373711551562393463,
2336 1140097580201425214,
2337 ]),
2338 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2339 Fq::from_montgomery_limbs([
2340 829043150522309210,
2341 7485532467658058089,
2342 17072453966431109601,
2343 610297755857677130,
2344 ]),
2345 Fq::from_montgomery_limbs([
2346 18043687544558598371,
2347 8708325242362018018,
2348 16625116017321440141,
2349 277441131490434312,
2350 ]),
2351 Fq::from_montgomery_limbs([
2352 15441359965645378481,
2353 7022857083512140090,
2354 11162758362666494739,
2355 1108530997049617801,
2356 ]),
2357 Fq::from_montgomery_limbs([
2358 7802104352665277001,
2359 1712233803072817444,
2360 12180777293186749586,
2361 1125441666595228915,
2362 ]),
2363 Fq::from_montgomery_limbs([
2364 7330330845985706257,
2365 6947957132670498679,
2366 9373711551562393463,
2367 1140097580201425214,
2368 ]),
2369 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2370 Fq::from_montgomery_limbs([
2371 829043150522309210,
2372 7485532467658058089,
2373 17072453966431109601,
2374 610297755857677130,
2375 ]),
2376 Fq::from_montgomery_limbs([
2377 18043687544558598371,
2378 8708325242362018018,
2379 16625116017321440141,
2380 277441131490434312,
2381 ]),
2382 Fq::from_montgomery_limbs([
2383 1903578231313020389,
2384 13252279451564941743,
2385 6429417326301386859,
2386 900077037001125169,
2387 ]),
2388 Fq::from_montgomery_limbs([
2389 7802104352665277001,
2390 1712233803072817444,
2391 12180777293186749586,
2392 1125441666595228915,
2393 ]),
2394 Fq::from_montgomery_limbs([
2395 7330330845985706257,
2396 6947957132670498679,
2397 9373711551562393463,
2398 1140097580201425214,
2399 ]),
2400 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2401 Fq::from_montgomery_limbs([
2402 829043150522309210,
2403 7485532467658058089,
2404 17072453966431109601,
2405 610297755857677130,
2406 ]),
2407 Fq::from_montgomery_limbs([
2408 18043687544558598371,
2409 8708325242362018018,
2410 16625116017321440141,
2411 277441131490434312,
2412 ]),
2413 Fq::from_montgomery_limbs([
2414 1903578231313020389,
2415 13252279451564941743,
2416 6429417326301386859,
2417 900077037001125169,
2418 ]),
2419 Fq::from_montgomery_limbs([
2420 14902495609461984461,
2421 16049616749407607193,
2422 8772353492731922841,
2423 1191393277823112260,
2424 ]),
2425 Fq::from_montgomery_limbs([
2426 7330330845985706257,
2427 6947957132670498679,
2428 9373711551562393463,
2429 1140097580201425214,
2430 ]),
2431 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2432 Fq::from_montgomery_limbs([
2433 829043150522309210,
2434 7485532467658058089,
2435 17072453966431109601,
2436 610297755857677130,
2437 ]),
2438 Fq::from_montgomery_limbs([
2439 18043687544558598371,
2440 8708325242362018018,
2441 16625116017321440141,
2442 277441131490434312,
2443 ]),
2444 Fq::from_montgomery_limbs([
2445 1903578231313020389,
2446 13252279451564941743,
2447 6429417326301386859,
2448 900077037001125169,
2449 ]),
2450 Fq::from_montgomery_limbs([
2451 14902495609461984461,
2452 16049616749407607193,
2453 8772353492731922841,
2454 1191393277823112260,
2455 ]),
2456 Fq::from_montgomery_limbs([
2457 5443236819267423281,
2458 9444106377351672003,
2459 16592192658774520588,
2460 1198721234626210409,
2461 ]),
2462 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2463 Fq::from_montgomery_limbs([
2464 829043150522309210,
2465 7485532467658058089,
2466 17072453966431109601,
2467 610297755857677130,
2468 ]),
2469 Fq::from_montgomery_limbs([
2470 18043687544558598371,
2471 8708325242362018018,
2472 16625116017321440141,
2473 277441131490434312,
2474 ]),
2475 Fq::from_montgomery_limbs([
2476 1903578231313020389,
2477 13252279451564941743,
2478 6429417326301386859,
2479 900077037001125169,
2480 ]),
2481 Fq::from_montgomery_limbs([
2482 14902495609461984461,
2483 16049616749407607193,
2484 8772353492731922841,
2485 1191393277823112260,
2486 ]),
2487 Fq::from_montgomery_limbs([
2488 5443236819267423281,
2489 9444106377351672003,
2490 16592192658774520588,
2491 1198721234626210409,
2492 ]),
2493 Fq::from_montgomery_limbs([
2494 13217949757478296855,
2495 18361600593446830079,
2496 18223280994163007859,
2497 471593720435477782,
2498 ]),
2499 ]),
2500 v: Matrix::<1, 7, 7>::new_from_known([
2501 Fq::from_montgomery_limbs([
2502 17640631015407645126,
2503 17416650484724036037,
2504 14803487960933328666,
2505 554882262980868625,
2506 ]),
2507 Fq::from_montgomery_limbs([
2508 10632745392742701465,
2509 7191381972905833266,
2510 10576427669223334706,
2511 1037506184958051122,
2512 ]),
2513 Fq::from_montgomery_limbs([
2514 7989155441247042094,
2515 18276457113184108543,
2516 17999817914616464103,
2517 943187440870955565,
2518 ]),
2519 Fq::from_montgomery_limbs([
2520 18204910156218979669,
2521 16293041589642941780,
2522 9975069610392864084,
2523 1088801882579738168,
2524 ]),
2525 Fq::from_montgomery_limbs([
2526 15441359965645378481,
2527 7022857083512140090,
2528 11162758362666494739,
2529 1108530997049617801,
2530 ]),
2531 Fq::from_montgomery_limbs([
2532 7802104352665277001,
2533 1712233803072817444,
2534 12180777293186749586,
2535 1125441666595228915,
2536 ]),
2537 Fq::from_montgomery_limbs([
2538 7330330845985706257,
2539 6947957132670498679,
2540 9373711551562393463,
2541 1140097580201425214,
2542 ]),
2543 ]),
2544 w: Matrix::<7, 1, 7>::new_from_known([
2545 Fq::from_montgomery_limbs([
2546 17640631015407645126,
2547 17416650484724036037,
2548 14803487960933328666,
2549 554882262980868625,
2550 ]),
2551 Fq::from_montgomery_limbs([
2552 10632745392742701465,
2553 7191381972905833266,
2554 10576427669223334706,
2555 1037506184958051122,
2556 ]),
2557 Fq::from_montgomery_limbs([
2558 7989155441247042094,
2559 18276457113184108543,
2560 17999817914616464103,
2561 943187440870955565,
2562 ]),
2563 Fq::from_montgomery_limbs([
2564 18204910156218979669,
2565 16293041589642941780,
2566 9975069610392864084,
2567 1088801882579738168,
2568 ]),
2569 Fq::from_montgomery_limbs([
2570 15441359965645378481,
2571 7022857083512140090,
2572 11162758362666494739,
2573 1108530997049617801,
2574 ]),
2575 Fq::from_montgomery_limbs([
2576 7802104352665277001,
2577 1712233803072817444,
2578 12180777293186749586,
2579 1125441666595228915,
2580 ]),
2581 Fq::from_montgomery_limbs([
2582 7330330845985706257,
2583 6947957132670498679,
2584 9373711551562393463,
2585 1140097580201425214,
2586 ]),
2587 ]),
2588 M_prime: SquareMatrix::<8, 64>::new_from_known([
2589 Fq::from_montgomery_limbs([
2590 9015221291577245683,
2591 8239323489949974514,
2592 1646089257421115374,
2593 958099254763297437,
2594 ]),
2595 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2596 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2597 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2598 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2599 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2600 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2601 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2602 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2603 Fq::from_montgomery_limbs([
2604 10632745392742701465,
2605 7191381972905833266,
2606 10576427669223334706,
2607 1037506184958051122,
2608 ]),
2609 Fq::from_montgomery_limbs([
2610 7989155441247042094,
2611 18276457113184108543,
2612 17999817914616464103,
2613 943187440870955565,
2614 ]),
2615 Fq::from_montgomery_limbs([
2616 18204910156218979669,
2617 16293041589642941780,
2618 9975069610392864084,
2619 1088801882579738168,
2620 ]),
2621 Fq::from_montgomery_limbs([
2622 15441359965645378481,
2623 7022857083512140090,
2624 11162758362666494739,
2625 1108530997049617801,
2626 ]),
2627 Fq::from_montgomery_limbs([
2628 7802104352665277001,
2629 1712233803072817444,
2630 12180777293186749586,
2631 1125441666595228915,
2632 ]),
2633 Fq::from_montgomery_limbs([
2634 7330330845985706257,
2635 6947957132670498679,
2636 9373711551562393463,
2637 1140097580201425214,
2638 ]),
2639 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2640 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2641 Fq::from_montgomery_limbs([
2642 7989155441247042094,
2643 18276457113184108543,
2644 17999817914616464103,
2645 943187440870955565,
2646 ]),
2647 Fq::from_montgomery_limbs([
2648 18204910156218979669,
2649 16293041589642941780,
2650 9975069610392864084,
2651 1088801882579738168,
2652 ]),
2653 Fq::from_montgomery_limbs([
2654 15441359965645378481,
2655 7022857083512140090,
2656 11162758362666494739,
2657 1108530997049617801,
2658 ]),
2659 Fq::from_montgomery_limbs([
2660 7802104352665277001,
2661 1712233803072817444,
2662 12180777293186749586,
2663 1125441666595228915,
2664 ]),
2665 Fq::from_montgomery_limbs([
2666 7330330845985706257,
2667 6947957132670498679,
2668 9373711551562393463,
2669 1140097580201425214,
2670 ]),
2671 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2672 Fq::from_montgomery_limbs([
2673 829043150522309210,
2674 7485532467658058089,
2675 17072453966431109601,
2676 610297755857677130,
2677 ]),
2678 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2679 Fq::from_montgomery_limbs([
2680 18204910156218979669,
2681 16293041589642941780,
2682 9975069610392864084,
2683 1088801882579738168,
2684 ]),
2685 Fq::from_montgomery_limbs([
2686 15441359965645378481,
2687 7022857083512140090,
2688 11162758362666494739,
2689 1108530997049617801,
2690 ]),
2691 Fq::from_montgomery_limbs([
2692 7802104352665277001,
2693 1712233803072817444,
2694 12180777293186749586,
2695 1125441666595228915,
2696 ]),
2697 Fq::from_montgomery_limbs([
2698 7330330845985706257,
2699 6947957132670498679,
2700 9373711551562393463,
2701 1140097580201425214,
2702 ]),
2703 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2704 Fq::from_montgomery_limbs([
2705 829043150522309210,
2706 7485532467658058089,
2707 17072453966431109601,
2708 610297755857677130,
2709 ]),
2710 Fq::from_montgomery_limbs([
2711 18043687544558598371,
2712 8708325242362018018,
2713 16625116017321440141,
2714 277441131490434312,
2715 ]),
2716 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2717 Fq::from_montgomery_limbs([
2718 15441359965645378481,
2719 7022857083512140090,
2720 11162758362666494739,
2721 1108530997049617801,
2722 ]),
2723 Fq::from_montgomery_limbs([
2724 7802104352665277001,
2725 1712233803072817444,
2726 12180777293186749586,
2727 1125441666595228915,
2728 ]),
2729 Fq::from_montgomery_limbs([
2730 7330330845985706257,
2731 6947957132670498679,
2732 9373711551562393463,
2733 1140097580201425214,
2734 ]),
2735 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2736 Fq::from_montgomery_limbs([
2737 829043150522309210,
2738 7485532467658058089,
2739 17072453966431109601,
2740 610297755857677130,
2741 ]),
2742 Fq::from_montgomery_limbs([
2743 18043687544558598371,
2744 8708325242362018018,
2745 16625116017321440141,
2746 277441131490434312,
2747 ]),
2748 Fq::from_montgomery_limbs([
2749 1903578231313020389,
2750 13252279451564941743,
2751 6429417326301386859,
2752 900077037001125169,
2753 ]),
2754 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2755 Fq::from_montgomery_limbs([
2756 7802104352665277001,
2757 1712233803072817444,
2758 12180777293186749586,
2759 1125441666595228915,
2760 ]),
2761 Fq::from_montgomery_limbs([
2762 7330330845985706257,
2763 6947957132670498679,
2764 9373711551562393463,
2765 1140097580201425214,
2766 ]),
2767 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2768 Fq::from_montgomery_limbs([
2769 829043150522309210,
2770 7485532467658058089,
2771 17072453966431109601,
2772 610297755857677130,
2773 ]),
2774 Fq::from_montgomery_limbs([
2775 18043687544558598371,
2776 8708325242362018018,
2777 16625116017321440141,
2778 277441131490434312,
2779 ]),
2780 Fq::from_montgomery_limbs([
2781 1903578231313020389,
2782 13252279451564941743,
2783 6429417326301386859,
2784 900077037001125169,
2785 ]),
2786 Fq::from_montgomery_limbs([
2787 14902495609461984461,
2788 16049616749407607193,
2789 8772353492731922841,
2790 1191393277823112260,
2791 ]),
2792 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2793 Fq::from_montgomery_limbs([
2794 7330330845985706257,
2795 6947957132670498679,
2796 9373711551562393463,
2797 1140097580201425214,
2798 ]),
2799 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2800 Fq::from_montgomery_limbs([
2801 829043150522309210,
2802 7485532467658058089,
2803 17072453966431109601,
2804 610297755857677130,
2805 ]),
2806 Fq::from_montgomery_limbs([
2807 18043687544558598371,
2808 8708325242362018018,
2809 16625116017321440141,
2810 277441131490434312,
2811 ]),
2812 Fq::from_montgomery_limbs([
2813 1903578231313020389,
2814 13252279451564941743,
2815 6429417326301386859,
2816 900077037001125169,
2817 ]),
2818 Fq::from_montgomery_limbs([
2819 14902495609461984461,
2820 16049616749407607193,
2821 8772353492731922841,
2822 1191393277823112260,
2823 ]),
2824 Fq::from_montgomery_limbs([
2825 5443236819267423281,
2826 9444106377351672003,
2827 16592192658774520588,
2828 1198721234626210409,
2829 ]),
2830 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2831 Fq::from_montgomery_limbs([0, 0, 0, 1152921504606846976]),
2832 Fq::from_montgomery_limbs([
2833 829043150522309210,
2834 7485532467658058089,
2835 17072453966431109601,
2836 610297755857677130,
2837 ]),
2838 Fq::from_montgomery_limbs([
2839 18043687544558598371,
2840 8708325242362018018,
2841 16625116017321440141,
2842 277441131490434312,
2843 ]),
2844 Fq::from_montgomery_limbs([
2845 1903578231313020389,
2846 13252279451564941743,
2847 6429417326301386859,
2848 900077037001125169,
2849 ]),
2850 Fq::from_montgomery_limbs([
2851 14902495609461984461,
2852 16049616749407607193,
2853 8772353492731922841,
2854 1191393277823112260,
2855 ]),
2856 Fq::from_montgomery_limbs([
2857 5443236819267423281,
2858 9444106377351672003,
2859 16592192658774520588,
2860 1198721234626210409,
2861 ]),
2862 Fq::from_montgomery_limbs([
2863 13217949757478296855,
2864 18361600593446830079,
2865 18223280994163007859,
2866 471593720435477782,
2867 ]),
2868 ]),
2869 M_doubleprime: SquareMatrix::<8, 64>::new_from_known([
2870 Fq::from_montgomery_limbs([
2871 17721242321237835775,
2872 11985636621509722110,
2873 11478464757469040638,
2874 960562638525520553,
2875 ]),
2876 Fq::from_montgomery_limbs([
2877 17640631015407645126,
2878 17416650484724036037,
2879 14803487960933328666,
2880 554882262980868625,
2881 ]),
2882 Fq::from_montgomery_limbs([
2883 10632745392742701465,
2884 7191381972905833266,
2885 10576427669223334706,
2886 1037506184958051122,
2887 ]),
2888 Fq::from_montgomery_limbs([
2889 7989155441247042094,
2890 18276457113184108543,
2891 17999817914616464103,
2892 943187440870955565,
2893 ]),
2894 Fq::from_montgomery_limbs([
2895 18204910156218979669,
2896 16293041589642941780,
2897 9975069610392864084,
2898 1088801882579738168,
2899 ]),
2900 Fq::from_montgomery_limbs([
2901 15441359965645378481,
2902 7022857083512140090,
2903 11162758362666494739,
2904 1108530997049617801,
2905 ]),
2906 Fq::from_montgomery_limbs([
2907 7802104352665277001,
2908 1712233803072817444,
2909 12180777293186749586,
2910 1125441666595228915,
2911 ]),
2912 Fq::from_montgomery_limbs([
2913 7330330845985706257,
2914 6947957132670498679,
2915 9373711551562393463,
2916 1140097580201425214,
2917 ]),
2918 Fq::from_montgomery_limbs([
2919 5469465372454405746,
2920 11693688927749785195,
2921 9284229770381589387,
2922 263916402201309764,
2923 ]),
2924 Fq::from_montgomery_limbs([
2925 9015221291577245683,
2926 8239323489949974514,
2927 1646089257421115374,
2928 958099254763297437,
2929 ]),
2930 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2931 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2932 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2933 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2934 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2935 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2936 Fq::from_montgomery_limbs([
2937 8025142443496737775,
2938 1611073224873590596,
2939 1595200312703520851,
2940 268362793599128279,
2941 ]),
2942 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2943 Fq::from_montgomery_limbs([
2944 9015221291577245683,
2945 8239323489949974514,
2946 1646089257421115374,
2947 958099254763297437,
2948 ]),
2949 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2950 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2951 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2952 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2953 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2954 Fq::from_montgomery_limbs([
2955 2646197433325367530,
2956 3327161674116363870,
2957 17523969835882673765,
2958 1224872920276084181,
2959 ]),
2960 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2961 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2962 Fq::from_montgomery_limbs([
2963 9015221291577245683,
2964 8239323489949974514,
2965 1646089257421115374,
2966 958099254763297437,
2967 ]),
2968 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2969 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2970 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2971 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2972 Fq::from_montgomery_limbs([
2973 3531022552160069605,
2974 1044916798369741293,
2975 13484540382795405112,
2976 975392012720575741,
2977 ]),
2978 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2979 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2980 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2981 Fq::from_montgomery_limbs([
2982 9015221291577245683,
2983 8239323489949974514,
2984 1646089257421115374,
2985 958099254763297437,
2986 ]),
2987 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2988 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2989 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2990 Fq::from_montgomery_limbs([
2991 3532672362950129848,
2992 13232567668052949956,
2993 3949082925084889589,
2994 1169300250855119928,
2995 ]),
2996 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2997 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2998 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2999 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3000 Fq::from_montgomery_limbs([
3001 9015221291577245683,
3002 8239323489949974514,
3003 1646089257421115374,
3004 958099254763297437,
3005 ]),
3006 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3007 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3008 Fq::from_montgomery_limbs([
3009 17405909644706202533,
3010 9068195655028130334,
3011 4993737853698066182,
3012 760630245260613434,
3013 ]),
3014 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3015 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3016 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3017 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3018 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3019 Fq::from_montgomery_limbs([
3020 9015221291577245683,
3021 8239323489949974514,
3022 1646089257421115374,
3023 958099254763297437,
3024 ]),
3025 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3026 Fq::from_montgomery_limbs([
3027 10760096219897954109,
3028 15819961273994906871,
3029 12000866060961275644,
3030 494051747708222359,
3031 ]),
3032 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3033 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3034 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3035 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3036 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3037 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3038 Fq::from_montgomery_limbs([
3039 9015221291577245683,
3040 8239323489949974514,
3041 1646089257421115374,
3042 958099254763297437,
3043 ]),
3044 ]),
3045 M_inverse: SquareMatrix::<8, 64>::new_from_known([
3046 Fq::from_montgomery_limbs([
3047 13084505025340709209,
3048 6658414703856389670,
3049 1229628874832604981,
3050 544699057731131701,
3051 ]),
3052 Fq::from_montgomery_limbs([
3053 9271504314401065906,
3054 16573554673674659136,
3055 11112785265390720139,
3056 695302674280213266,
3057 ]),
3058 Fq::from_montgomery_limbs([
3059 17755863455076530065,
3060 714019269282123475,
3061 2516777105896065646,
3062 758853547373067215,
3063 ]),
3064 Fq::from_montgomery_limbs([
3065 18230149865394473823,
3066 17597653080170983126,
3067 8526134725373349310,
3068 254065511080298010,
3069 ]),
3070 Fq::from_montgomery_limbs([
3071 12943062609168455850,
3072 4036522178185995734,
3073 13999395164871811986,
3074 158263095242933732,
3075 ]),
3076 Fq::from_montgomery_limbs([
3077 9727917081763370379,
3078 12523860206965601712,
3079 6438415234309761598,
3080 578292727069385307,
3081 ]),
3082 Fq::from_montgomery_limbs([
3083 4722164372208948539,
3084 6191995659471889704,
3085 9488304077820150497,
3086 383493821809394045,
3087 ]),
3088 Fq::from_montgomery_limbs([
3089 6308417298426862088,
3090 11443735935349473316,
3091 5741617995111411363,
3092 1072746374115513684,
3093 ]),
3094 Fq::from_montgomery_limbs([
3095 9271504314401065906,
3096 16573554673674659136,
3097 11112785265390720139,
3098 695302674280213266,
3099 ]),
3100 Fq::from_montgomery_limbs([
3101 6461820328084053982,
3102 3713881430924031860,
3103 2384237101556363354,
3104 925204973024161309,
3105 ]),
3106 Fq::from_montgomery_limbs([
3107 11045222492845432763,
3108 12330616953129622165,
3109 6721295490146207098,
3110 737212261478666249,
3111 ]),
3112 Fq::from_montgomery_limbs([
3113 17374877272010299584,
3114 12910097275334870758,
3115 11030123918921243889,
3116 999547114982057960,
3117 ]),
3118 Fq::from_montgomery_limbs([
3119 2710620113890028948,
3120 7440189668352585633,
3121 11434649235474493285,
3122 24415954842353912,
3123 ]),
3124 Fq::from_montgomery_limbs([
3125 7017296967873341431,
3126 5083670538613016079,
3127 13450510072544819929,
3128 553876772227031394,
3129 ]),
3130 Fq::from_montgomery_limbs([
3131 13756252569614172144,
3132 10114182252140374927,
3133 8424160399132869901,
3134 370135544443278065,
3135 ]),
3136 Fq::from_montgomery_limbs([
3137 8192890567029291618,
3138 6189339163642963502,
3139 10515708329663122411,
3140 718287917303790275,
3141 ]),
3142 Fq::from_montgomery_limbs([
3143 17755863455076530065,
3144 714019269282123475,
3145 2516777105896065646,
3146 758853547373067215,
3147 ]),
3148 Fq::from_montgomery_limbs([
3149 11045222492845432763,
3150 12330616953129622165,
3151 6721295490146207098,
3152 737212261478666249,
3153 ]),
3154 Fq::from_montgomery_limbs([
3155 1107303498763469844,
3156 5522738209527454529,
3157 7444362964372879018,
3158 94326278492989394,
3159 ]),
3160 Fq::from_montgomery_limbs([
3161 17301615911438019293,
3162 6207101570101901683,
3163 6912719408314906153,
3164 670136716188149414,
3165 ]),
3166 Fq::from_montgomery_limbs([
3167 8052773691804060961,
3168 7894827066734284032,
3169 17737200459541160653,
3170 1344927881702280038,
3171 ]),
3172 Fq::from_montgomery_limbs([
3173 3579877764578944756,
3174 17358359975581377230,
3175 2902328015395623063,
3176 1076553286270705854,
3177 ]),
3178 Fq::from_montgomery_limbs([
3179 7922495546740583511,
3180 13377932406425725078,
3181 312087136472518954,
3182 724215661521432074,
3183 ]),
3184 Fq::from_montgomery_limbs([
3185 14304988956035390969,
3186 2978747834443270582,
3187 211153190861140083,
3188 1101825800236420991,
3189 ]),
3190 Fq::from_montgomery_limbs([
3191 18230149865394473823,
3192 17597653080170983126,
3193 8526134725373349310,
3194 254065511080298010,
3195 ]),
3196 Fq::from_montgomery_limbs([
3197 17374877272010299584,
3198 12910097275334870758,
3199 11030123918921243889,
3200 999547114982057960,
3201 ]),
3202 Fq::from_montgomery_limbs([
3203 17301615911438019293,
3204 6207101570101901683,
3205 6912719408314906153,
3206 670136716188149414,
3207 ]),
3208 Fq::from_montgomery_limbs([
3209 11280947822772662719,
3210 3998258523005585690,
3211 3083179120639342004,
3212 919842772758514385,
3213 ]),
3214 Fq::from_montgomery_limbs([
3215 9288629788793402586,
3216 2259376874925369448,
3217 13217169487415398853,
3218 539099117435770765,
3219 ]),
3220 Fq::from_montgomery_limbs([
3221 8430375547150652021,
3222 1001249403497996831,
3223 16789953243695164761,
3224 1344355087100203329,
3225 ]),
3226 Fq::from_montgomery_limbs([
3227 527596723520651020,
3228 15187839531048996200,
3229 6255568353483246533,
3230 170911683896477388,
3231 ]),
3232 Fq::from_montgomery_limbs([
3233 1734565667097520919,
3234 12020388067710193448,
3235 6095663732563761512,
3236 1138214739842689620,
3237 ]),
3238 Fq::from_montgomery_limbs([
3239 12943062609168455850,
3240 4036522178185995734,
3241 13999395164871811986,
3242 158263095242933732,
3243 ]),
3244 Fq::from_montgomery_limbs([
3245 2710620113890028948,
3246 7440189668352585633,
3247 11434649235474493285,
3248 24415954842353912,
3249 ]),
3250 Fq::from_montgomery_limbs([
3251 8052773691804060961,
3252 7894827066734284032,
3253 17737200459541160653,
3254 1344927881702280038,
3255 ]),
3256 Fq::from_montgomery_limbs([
3257 9288629788793402586,
3258 2259376874925369448,
3259 13217169487415398853,
3260 539099117435770765,
3261 ]),
3262 Fq::from_montgomery_limbs([
3263 11829305752964125757,
3264 10778200385642703226,
3265 2095381984842221696,
3266 365296429444826263,
3267 ]),
3268 Fq::from_montgomery_limbs([
3269 9209237328018148115,
3270 9013177660724622161,
3271 13411670809827118984,
3272 1159740245409298491,
3273 ]),
3274 Fq::from_montgomery_limbs([
3275 1786760175787716883,
3276 16585118128488698423,
3277 3661827234912273881,
3278 1175179421357105610,
3279 ]),
3280 Fq::from_montgomery_limbs([
3281 6997506992288193640,
3282 3314349379260916067,
3283 10669743096907430976,
3284 828027530724672872,
3285 ]),
3286 Fq::from_montgomery_limbs([
3287 9727917081763370379,
3288 12523860206965601712,
3289 6438415234309761598,
3290 578292727069385307,
3291 ]),
3292 Fq::from_montgomery_limbs([
3293 7017296967873341431,
3294 5083670538613016079,
3295 13450510072544819929,
3296 553876772227031394,
3297 ]),
3298 Fq::from_montgomery_limbs([
3299 3579877764578944756,
3300 17358359975581377230,
3301 2902328015395623063,
3302 1076553286270705854,
3303 ]),
3304 Fq::from_montgomery_limbs([
3305 8430375547150652021,
3306 1001249403497996831,
3307 16789953243695164761,
3308 1344355087100203329,
3309 ]),
3310 Fq::from_montgomery_limbs([
3311 9209237328018148115,
3312 9013177660724622161,
3313 13411670809827118984,
3314 1159740245409298491,
3315 ]),
3316 Fq::from_montgomery_limbs([
3317 2800053360411677182,
3318 7739112841912438666,
3319 4458443078052365313,
3320 1221561517743072277,
3321 ]),
3322 Fq::from_montgomery_limbs([
3323 5714397546912390046,
3324 7204578223640664713,
3325 3369806468691410388,
3326 19539807714888073,
3327 ]),
3328 Fq::from_montgomery_limbs([
3329 7912928165080095595,
3330 10691173171385779887,
3331 7900069818404182519,
3332 558654216499734169,
3333 ]),
3334 Fq::from_montgomery_limbs([
3335 4722164372208948539,
3336 6191995659471889704,
3337 9488304077820150497,
3338 383493821809394045,
3339 ]),
3340 Fq::from_montgomery_limbs([
3341 13756252569614172144,
3342 10114182252140374927,
3343 8424160399132869901,
3344 370135544443278065,
3345 ]),
3346 Fq::from_montgomery_limbs([
3347 7922495546740583511,
3348 13377932406425725078,
3349 312087136472518954,
3350 724215661521432074,
3351 ]),
3352 Fq::from_montgomery_limbs([
3353 527596723520651020,
3354 15187839531048996200,
3355 6255568353483246533,
3356 170911683896477388,
3357 ]),
3358 Fq::from_montgomery_limbs([
3359 1786760175787716883,
3360 16585118128488698423,
3361 3661827234912273881,
3362 1175179421357105610,
3363 ]),
3364 Fq::from_montgomery_limbs([
3365 5714397546912390046,
3366 7204578223640664713,
3367 3369806468691410388,
3368 19539807714888073,
3369 ]),
3370 Fq::from_montgomery_limbs([
3371 11467623733094325177,
3372 12601944683740404995,
3373 14270804009154313170,
3374 1283543454792166291,
3375 ]),
3376 Fq::from_montgomery_limbs([
3377 1591478553039085540,
3378 13629203225225281079,
3379 9223729349286412660,
3380 541375501705678927,
3381 ]),
3382 Fq::from_montgomery_limbs([
3383 6308417298426862088,
3384 11443735935349473316,
3385 5741617995111411363,
3386 1072746374115513684,
3387 ]),
3388 Fq::from_montgomery_limbs([
3389 8192890567029291618,
3390 6189339163642963502,
3391 10515708329663122411,
3392 718287917303790275,
3393 ]),
3394 Fq::from_montgomery_limbs([
3395 14304988956035390969,
3396 2978747834443270582,
3397 211153190861140083,
3398 1101825800236420991,
3399 ]),
3400 Fq::from_montgomery_limbs([
3401 1734565667097520919,
3402 12020388067710193448,
3403 6095663732563761512,
3404 1138214739842689620,
3405 ]),
3406 Fq::from_montgomery_limbs([
3407 6997506992288193640,
3408 3314349379260916067,
3409 10669743096907430976,
3410 828027530724672872,
3411 ]),
3412 Fq::from_montgomery_limbs([
3413 7912928165080095595,
3414 10691173171385779887,
3415 7900069818404182519,
3416 558654216499734169,
3417 ]),
3418 Fq::from_montgomery_limbs([
3419 1591478553039085540,
3420 13629203225225281079,
3421 9223729349286412660,
3422 541375501705678927,
3423 ]),
3424 Fq::from_montgomery_limbs([
3425 1183879673177082740,
3426 4195985459140120089,
3427 6602546398975040286,
3428 268356784116832629,
3429 ]),
3430 ]),
3431 M_hat_inverse: SquareMatrix::<7, 49>::new_from_known([
3432 Fq::from_montgomery_limbs([
3433 4596204885914937926,
3434 7838695242625897787,
3435 3035134948628881865,
3436 1207227057562625259,
3437 ]),
3438 Fq::from_montgomery_limbs([
3439 15896440128761118173,
3440 15649465122428497798,
3441 4384954020081155217,
3442 913236075158308182,
3443 ]),
3444 Fq::from_montgomery_limbs([
3445 2335397575999068166,
3446 14422783505571319241,
3447 2719190544357073120,
3448 274885737548821162,
3449 ]),
3450 Fq::from_montgomery_limbs([
3451 9009029437947626511,
3452 7346990291023997455,
3453 3414440920242711508,
3454 50729493538167678,
3455 ]),
3456 Fq::from_montgomery_limbs([
3457 1147572841630042462,
3458 8929633407603160962,
3459 14641836547291178689,
3460 426104246454882272,
3461 ]),
3462 Fq::from_montgomery_limbs([
3463 17053865508971679549,
3464 2198382506890441430,
3465 11312636819879946010,
3466 1106661992673439325,
3467 ]),
3468 Fq::from_montgomery_limbs([
3469 13854198271768011224,
3470 4053309739918946052,
3471 18433076019880982368,
3472 615216866081782140,
3473 ]),
3474 Fq::from_montgomery_limbs([
3475 15896440128761118173,
3476 15649465122428497798,
3477 4384954020081155217,
3478 913236075158308182,
3479 ]),
3480 Fq::from_montgomery_limbs([
3481 4761711418629517518,
3482 591743220415883789,
3483 2347216482122737487,
3484 541885199414988935,
3485 ]),
3486 Fq::from_montgomery_limbs([
3487 16049706050976647208,
3488 9176322874162797755,
3489 12242590547654900654,
3490 61012554895502211,
3491 ]),
3492 Fq::from_montgomery_limbs([
3493 10907149703911289876,
3494 345335516406280141,
3495 13671249158696272740,
3496 1076200797284812494,
3497 ]),
3498 Fq::from_montgomery_limbs([
3499 3783029764742972160,
3500 8718337959668375608,
3501 9493474458284681386,
3502 1324609056502214356,
3503 ]),
3504 Fq::from_montgomery_limbs([
3505 7820919546658569809,
3506 8474571377527450081,
3507 15463257988737541409,
3508 600187776405677822,
3509 ]),
3510 Fq::from_montgomery_limbs([
3511 17765856891579054878,
3512 11653192174908829654,
3513 4966200605019140816,
3514 13151716642854399,
3515 ]),
3516 Fq::from_montgomery_limbs([
3517 2335397575999068166,
3518 14422783505571319241,
3519 2719190544357073120,
3520 274885737548821162,
3521 ]),
3522 Fq::from_montgomery_limbs([
3523 16049706050976647208,
3524 9176322874162797755,
3525 12242590547654900654,
3526 61012554895502211,
3527 ]),
3528 Fq::from_montgomery_limbs([
3529 13442108051579804680,
3530 3187031622749351601,
3531 18435466452818364440,
3532 257424390549798158,
3533 ]),
3534 Fq::from_montgomery_limbs([
3535 14787872399840322022,
3536 11612292071578382904,
3537 2915446897265489403,
3538 1027394734812832541,
3539 ]),
3540 Fq::from_montgomery_limbs([
3541 14650186278276933856,
3542 11736505343490130034,
3543 4478509448304020774,
3544 790137565622286814,
3545 ]),
3546 Fq::from_montgomery_limbs([
3547 16227186307902919639,
3548 13050765287152844350,
3549 6672057872444298207,
3550 1120660629979522345,
3551 ]),
3552 Fq::from_montgomery_limbs([
3553 17280730943809781377,
3554 2101938472365641700,
3555 2221542087098170284,
3556 682975842437066220,
3557 ]),
3558 Fq::from_montgomery_limbs([
3559 9009029437947626511,
3560 7346990291023997455,
3561 3414440920242711508,
3562 50729493538167678,
3563 ]),
3564 Fq::from_montgomery_limbs([
3565 10907149703911289876,
3566 345335516406280141,
3567 13671249158696272740,
3568 1076200797284812494,
3569 ]),
3570 Fq::from_montgomery_limbs([
3571 14787872399840322022,
3572 11612292071578382904,
3573 2915446897265489403,
3574 1027394734812832541,
3575 ]),
3576 Fq::from_montgomery_limbs([
3577 9754754145024164416,
3578 9500194995930094065,
3579 4605218223030367360,
3580 489015282389927384,
3581 ]),
3582 Fq::from_montgomery_limbs([
3583 11235823697266068713,
3584 9767911161281654263,
3585 15004902496107301847,
3586 1252504438181231825,
3587 ]),
3588 Fq::from_montgomery_limbs([
3589 773466991163756584,
3590 6984379341355406564,
3591 2865211391772182450,
3592 1128797324971138943,
3593 ]),
3594 Fq::from_montgomery_limbs([
3595 3783029764742972160,
3596 8718337959668375608,
3597 9493474458284681386,
3598 1324609056502214356,
3599 ]),
3600 Fq::from_montgomery_limbs([
3601 1147572841630042462,
3602 8929633407603160962,
3603 14641836547291178689,
3604 426104246454882272,
3605 ]),
3606 Fq::from_montgomery_limbs([
3607 3783029764742972160,
3608 8718337959668375608,
3609 9493474458284681386,
3610 1324609056502214356,
3611 ]),
3612 Fq::from_montgomery_limbs([
3613 14650186278276933856,
3614 11736505343490130034,
3615 4478509448304020774,
3616 790137565622286814,
3617 ]),
3618 Fq::from_montgomery_limbs([
3619 11235823697266068713,
3620 9767911161281654263,
3621 15004902496107301847,
3622 1252504438181231825,
3623 ]),
3624 Fq::from_montgomery_limbs([
3625 10750604789646168140,
3626 372497979918419381,
3627 10429606583776526343,
3628 928966821232337907,
3629 ]),
3630 Fq::from_montgomery_limbs([
3631 10962493869149920375,
3632 10887885654637674355,
3633 384224715829329873,
3634 165837155970255258,
3635 ]),
3636 Fq::from_montgomery_limbs([
3637 2645295168975782308,
3638 13863838601458690618,
3639 7409022743292405220,
3640 617686796815916414,
3641 ]),
3642 Fq::from_montgomery_limbs([
3643 17053865508971679549,
3644 2198382506890441430,
3645 11312636819879946010,
3646 1106661992673439325,
3647 ]),
3648 Fq::from_montgomery_limbs([
3649 7820919546658569809,
3650 8474571377527450081,
3651 15463257988737541409,
3652 600187776405677822,
3653 ]),
3654 Fq::from_montgomery_limbs([
3655 16227186307902919639,
3656 13050765287152844350,
3657 6672057872444298207,
3658 1120660629979522345,
3659 ]),
3660 Fq::from_montgomery_limbs([
3661 773466991163756584,
3662 6984379341355406564,
3663 2865211391772182450,
3664 1128797324971138943,
3665 ]),
3666 Fq::from_montgomery_limbs([
3667 10962493869149920375,
3668 10887885654637674355,
3669 384224715829329873,
3670 165837155970255258,
3671 ]),
3672 Fq::from_montgomery_limbs([
3673 17704196732594477900,
3674 7529737242141985421,
3675 3056083190610322131,
3676 537754595320396000,
3677 ]),
3678 Fq::from_montgomery_limbs([
3679 4588045927327100104,
3680 15273424236288740466,
3681 3730020508107780990,
3682 1184499396891674504,
3683 ]),
3684 Fq::from_montgomery_limbs([
3685 13854198271768011224,
3686 4053309739918946052,
3687 18433076019880982368,
3688 615216866081782140,
3689 ]),
3690 Fq::from_montgomery_limbs([
3691 17765856891579054878,
3692 11653192174908829654,
3693 4966200605019140816,
3694 13151716642854399,
3695 ]),
3696 Fq::from_montgomery_limbs([
3697 17280730943809781377,
3698 2101938472365641700,
3699 2221542087098170284,
3700 682975842437066220,
3701 ]),
3702 Fq::from_montgomery_limbs([
3703 3783029764742972160,
3704 8718337959668375608,
3705 9493474458284681386,
3706 1324609056502214356,
3707 ]),
3708 Fq::from_montgomery_limbs([
3709 2645295168975782308,
3710 13863838601458690618,
3711 7409022743292405220,
3712 617686796815916414,
3713 ]),
3714 Fq::from_montgomery_limbs([
3715 4588045927327100104,
3716 15273424236288740466,
3717 3730020508107780990,
3718 1184499396891674504,
3719 ]),
3720 Fq::from_montgomery_limbs([
3721 5513671693009890019,
3722 13840477803572862779,
3723 13148892977164251883,
3724 530785029804846654,
3725 ]),
3726 ]),
3727 M_00: Fq::from_montgomery_limbs([
3728 17721242321237835775,
3729 11985636621509722110,
3730 11478464757469040638,
3731 960562638525520553,
3732 ]),
3733 M_i: Matrix::<8, 8, 64>::new_from_known([
3734 Fq::from_montgomery_limbs([
3735 9015221291577245683,
3736 8239323489949974514,
3737 1646089257421115374,
3738 958099254763297437,
3739 ]),
3740 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3741 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3742 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3743 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3744 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3745 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3746 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3747 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3748 Fq::from_montgomery_limbs([
3749 6320288599439722802,
3750 17139790906886685752,
3751 15622446705354855394,
3752 1250967766698858445,
3753 ]),
3754 Fq::from_montgomery_limbs([
3755 12907953951183108118,
3756 570406863259453574,
3757 9479663564103955646,
3758 1023356057988386223,
3759 ]),
3760 Fq::from_montgomery_limbs([
3761 5445632916888334837,
3762 1254961675994290676,
3763 17739625680446876718,
3764 887995330051968477,
3765 ]),
3766 Fq::from_montgomery_limbs([
3767 6322290143919737275,
3768 6221802074515073157,
3769 3956268074861890555,
3770 1230594881276209560,
3771 ]),
3772 Fq::from_montgomery_limbs([
3773 6707360385690721071,
3774 168555159922046132,
3775 3944622502497320499,
3776 871144945884010465,
3777 ]),
3778 Fq::from_montgomery_limbs([
3779 2037533433720590943,
3780 11084683233172165964,
3781 9053730132862546054,
3782 793120143512682509,
3783 ]),
3784 Fq::from_montgomery_limbs([
3785 16034329588701802957,
3786 3903236010590312092,
3787 9048724434495743556,
3788 974216030141738060,
3789 ]),
3790 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3791 Fq::from_montgomery_limbs([
3792 12907953951183108118,
3793 570406863259453574,
3794 9479663564103955646,
3795 1023356057988386223,
3796 ]),
3797 Fq::from_montgomery_limbs([
3798 2630356400630794821,
3799 484400404306129097,
3800 10294032504232056871,
3801 1245743613753800727,
3802 ]),
3803 Fq::from_montgomery_limbs([
3804 7020374536790409354,
3805 11449249974296852948,
3806 11812715459389350230,
3807 761793057268134936,
3808 ]),
3809 Fq::from_montgomery_limbs([
3810 14832891855204883256,
3811 1120380609975889545,
3812 13112310496604860424,
3813 265468754987956357,
3814 ]),
3815 Fq::from_montgomery_limbs([
3816 1471871698735710625,
3817 5066062283984961905,
3818 18437666505161167766,
3819 732132698348695885,
3820 ]),
3821 Fq::from_montgomery_limbs([
3822 12165164801578981607,
3823 2595888614156384905,
3824 3065973630931260883,
3825 580278735590489736,
3826 ]),
3827 Fq::from_montgomery_limbs([
3828 14321853632102951979,
3829 5605761176730605396,
3830 4630454347263185176,
3831 122758557320262262,
3832 ]),
3833 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3834 Fq::from_montgomery_limbs([
3835 5445632916888334837,
3836 1254961675994290676,
3837 17739625680446876718,
3838 887995330051968477,
3839 ]),
3840 Fq::from_montgomery_limbs([
3841 7020374536790409354,
3842 11449249974296852948,
3843 11812715459389350230,
3844 761793057268134936,
3845 ]),
3846 Fq::from_montgomery_limbs([
3847 8776438364931459725,
3848 12817858402105398175,
3849 11110959846851041399,
3850 66365362687656724,
3851 ]),
3852 Fq::from_montgomery_limbs([
3853 8240747731577468633,
3854 14565407531273622630,
3855 3117214821926093855,
3856 377503066268731506,
3857 ]),
3858 Fq::from_montgomery_limbs([
3859 3910521513192788403,
3860 13982250796740762630,
3861 7488541789654977578,
3862 950543461716681145,
3863 ]),
3864 Fq::from_montgomery_limbs([
3865 13037154073613592925,
3866 5935342861935913439,
3867 15852552537899162249,
3868 940304910644322576,
3869 ]),
3870 Fq::from_montgomery_limbs([
3871 6931234819087160937,
3872 3778580043557980929,
3873 15772931149205513556,
3874 42782763261291533,
3875 ]),
3876 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3877 Fq::from_montgomery_limbs([
3878 6322290143919737275,
3879 6221802074515073157,
3880 3956268074861890555,
3881 1230594881276209560,
3882 ]),
3883 Fq::from_montgomery_limbs([
3884 14832891855204883256,
3885 1120380609975889545,
3886 13112310496604860424,
3887 265468754987956357,
3888 ]),
3889 Fq::from_montgomery_limbs([
3890 8240747731577468633,
3891 14565407531273622630,
3892 3117214821926093855,
3893 377503066268731506,
3894 ]),
3895 Fq::from_montgomery_limbs([
3896 11125067532471981344,
3897 14191984257965181085,
3898 12061981722855456559,
3899 593208493053362841,
3900 ]),
3901 Fq::from_montgomery_limbs([
3902 12343763401003110605,
3903 14101666204297852634,
3904 12890733422632852105,
3905 917529488625337921,
3906 ]),
3907 Fq::from_montgomery_limbs([
3908 12402063032118952752,
3909 2700777936756282138,
3910 16216549649819784559,
3911 1155661828697936045,
3912 ]),
3913 Fq::from_montgomery_limbs([
3914 2194969812170857806,
3915 13161078840371575175,
3916 5264735936454844546,
3917 101144700881461918,
3918 ]),
3919 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3920 Fq::from_montgomery_limbs([
3921 6707360385690721071,
3922 168555159922046132,
3923 3944622502497320499,
3924 871144945884010465,
3925 ]),
3926 Fq::from_montgomery_limbs([
3927 1471871698735710625,
3928 5066062283984961905,
3929 18437666505161167766,
3930 732132698348695885,
3931 ]),
3932 Fq::from_montgomery_limbs([
3933 3910521513192788403,
3934 13982250796740762630,
3935 7488541789654977578,
3936 950543461716681145,
3937 ]),
3938 Fq::from_montgomery_limbs([
3939 12343763401003110605,
3940 14101666204297852634,
3941 12890733422632852105,
3942 917529488625337921,
3943 ]),
3944 Fq::from_montgomery_limbs([
3945 11359111242441949022,
3946 11240352269459571893,
3947 17263815313749644065,
3948 781240072875924051,
3949 ]),
3950 Fq::from_montgomery_limbs([
3951 16712698548631210778,
3952 8113828394758785535,
3953 9984182942939561022,
3954 781254146059533921,
3955 ]),
3956 Fq::from_montgomery_limbs([
3957 7404478796369705144,
3958 1939616247903098428,
3959 2043282094878258870,
3960 67588237262069794,
3961 ]),
3962 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3963 Fq::from_montgomery_limbs([
3964 2037533433720590943,
3965 11084683233172165964,
3966 9053730132862546054,
3967 793120143512682509,
3968 ]),
3969 Fq::from_montgomery_limbs([
3970 12165164801578981607,
3971 2595888614156384905,
3972 3065973630931260883,
3973 580278735590489736,
3974 ]),
3975 Fq::from_montgomery_limbs([
3976 13037154073613592925,
3977 5935342861935913439,
3978 15852552537899162249,
3979 940304910644322576,
3980 ]),
3981 Fq::from_montgomery_limbs([
3982 12402063032118952752,
3983 2700777936756282138,
3984 16216549649819784559,
3985 1155661828697936045,
3986 ]),
3987 Fq::from_montgomery_limbs([
3988 16712698548631210778,
3989 8113828394758785535,
3990 9984182942939561022,
3991 781254146059533921,
3992 ]),
3993 Fq::from_montgomery_limbs([
3994 6959694198409880686,
3995 10513484520296585955,
3996 17245503495642767610,
3997 326963768321955511,
3998 ]),
3999 Fq::from_montgomery_limbs([
4000 10751863449412314814,
4001 12531617507536929183,
4002 2333159255918151628,
4003 108101348738232165,
4004 ]),
4005 Fq::from_montgomery_limbs([0, 0, 0, 0]),
4006 Fq::from_montgomery_limbs([
4007 16034329588701802957,
4008 3903236010590312092,
4009 9048724434495743556,
4010 974216030141738060,
4011 ]),
4012 Fq::from_montgomery_limbs([
4013 14321853632102951979,
4014 5605761176730605396,
4015 4630454347263185176,
4016 122758557320262262,
4017 ]),
4018 Fq::from_montgomery_limbs([
4019 6931234819087160937,
4020 3778580043557980929,
4021 15772931149205513556,
4022 42782763261291533,
4023 ]),
4024 Fq::from_montgomery_limbs([
4025 2194969812170857806,
4026 13161078840371575175,
4027 5264735936454844546,
4028 101144700881461918,
4029 ]),
4030 Fq::from_montgomery_limbs([
4031 7404478796369705144,
4032 1939616247903098428,
4033 2043282094878258870,
4034 67588237262069794,
4035 ]),
4036 Fq::from_montgomery_limbs([
4037 10751863449412314814,
4038 12531617507536929183,
4039 2333159255918151628,
4040 108101348738232165,
4041 ]),
4042 Fq::from_montgomery_limbs([
4043 8242539079403140188,
4044 8061347952042345076,
4045 11707135840504604934,
4046 914785475508666052,
4047 ]),
4048 ]),
4049 v_collection: [
4050 Matrix::<1, 7, 7>::new_from_known([
4051 Fq::from_montgomery_limbs([
4052 17640631015407645126,
4053 17416650484724036037,
4054 14803487960933328666,
4055 554882262980868625,
4056 ]),
4057 Fq::from_montgomery_limbs([
4058 10632745392742701465,
4059 7191381972905833266,
4060 10576427669223334706,
4061 1037506184958051122,
4062 ]),
4063 Fq::from_montgomery_limbs([
4064 7989155441247042094,
4065 18276457113184108543,
4066 17999817914616464103,
4067 943187440870955565,
4068 ]),
4069 Fq::from_montgomery_limbs([
4070 18204910156218979669,
4071 16293041589642941780,
4072 9975069610392864084,
4073 1088801882579738168,
4074 ]),
4075 Fq::from_montgomery_limbs([
4076 15441359965645378481,
4077 7022857083512140090,
4078 11162758362666494739,
4079 1108530997049617801,
4080 ]),
4081 Fq::from_montgomery_limbs([
4082 7802104352665277001,
4083 1712233803072817444,
4084 12180777293186749586,
4085 1125441666595228915,
4086 ]),
4087 Fq::from_montgomery_limbs([
4088 7330330845985706257,
4089 6947957132670498679,
4090 9373711551562393463,
4091 1140097580201425214,
4092 ]),
4093 ]),
4094 Matrix::<1, 7, 7>::new_from_known([
4095 Fq::from_montgomery_limbs([
4096 18366132767879360967,
4097 5431013863214313926,
4098 3325023203464288028,
4099 747241129062195048,
4100 ]),
4101 Fq::from_montgomery_limbs([
4102 4861545468195100803,
4103 11791803721085820360,
4104 16861242526837808182,
4105 587224779081284519,
4106 ]),
4107 Fq::from_montgomery_limbs([
4108 6038434302262732315,
4109 17199494462234427620,
4110 17847977008226730647,
4111 613398622514363430,
4112 ]),
4113 Fq::from_montgomery_limbs([
4114 8422783269805610096,
4115 16656220536572751252,
4116 7918639979705401643,
4117 170910085608382473,
4118 ]),
4119 Fq::from_montgomery_limbs([
4120 18349346982789927355,
4121 8017591337915184637,
4122 18372658176979362927,
4123 927323834744911125,
4124 ]),
4125 Fq::from_montgomery_limbs([
4126 6098144161467281354,
4127 2162126959782930019,
4128 8016715582812993181,
4129 87916415604842323,
4130 ]),
4131 Fq::from_montgomery_limbs([
4132 14926888907449900570,
4133 16034226105739794058,
4134 8242495446855270900,
4135 170857479056428767,
4136 ]),
4137 ]),
4138 Matrix::<1, 7, 7>::new_from_known([
4139 Fq::from_montgomery_limbs([
4140 13761299995988853307,
4141 10330765076738035315,
4142 13655052507848964233,
4143 121839220114831784,
4144 ]),
4145 Fq::from_montgomery_limbs([
4146 15369322242721768225,
4147 7050142047224256972,
4148 12643665775034470999,
4149 1102328692521833676,
4150 ]),
4151 Fq::from_montgomery_limbs([
4152 10555474781715655116,
4153 6656109843697517764,
4154 16567476834724252290,
4155 1315407115111807184,
4156 ]),
4157 Fq::from_montgomery_limbs([
4158 15635518385029844173,
4159 579774923863089338,
4160 4907175580968184975,
4161 679471495325209728,
4162 ]),
4163 Fq::from_montgomery_limbs([
4164 11185461100085345821,
4165 8221939874744266357,
4166 12287775310123057539,
4167 1019299127883999231,
4168 ]),
4169 Fq::from_montgomery_limbs([
4170 586274284242963056,
4171 8310909834705600558,
4172 3054222778649762639,
4173 763190023338919332,
4174 ]),
4175 Fq::from_montgomery_limbs([
4176 6717490082866871699,
4177 9561189803595277803,
4178 2358146706687598339,
4179 229707033421591253,
4180 ]),
4181 ]),
4182 Matrix::<1, 7, 7>::new_from_known([
4183 Fq::from_montgomery_limbs([
4184 9862704231385218313,
4185 13914100249743202263,
4186 10014223727046890158,
4187 679200801234608014,
4188 ]),
4189 Fq::from_montgomery_limbs([
4190 16286005160576575401,
4191 2766108936000922095,
4192 13859049965904094985,
4193 720362228683248654,
4194 ]),
4195 Fq::from_montgomery_limbs([
4196 18028696975939559798,
4197 6945291324150110288,
4198 3594371327059432745,
4199 1256526022736975448,
4200 ]),
4201 Fq::from_montgomery_limbs([
4202 13724722228213474447,
4203 17954541567374385206,
4204 10748596771783277924,
4205 116970063643881223,
4206 ]),
4207 Fq::from_montgomery_limbs([
4208 17627786090808150672,
4209 7901620020601608720,
4210 1877160764958626418,
4211 756288000881176875,
4212 ]),
4213 Fq::from_montgomery_limbs([
4214 14537377980409294015,
4215 18005737005152562388,
4216 9571375812741383887,
4217 59753059053707643,
4218 ]),
4219 Fq::from_montgomery_limbs([
4220 4228748937594043872,
4221 11086846199995865064,
4222 15359245871481193897,
4223 1099589394616459299,
4224 ]),
4225 ]),
4226 Matrix::<1, 7, 7>::new_from_known([
4227 Fq::from_montgomery_limbs([
4228 6835681309479739469,
4229 2522595035308448012,
4230 13579423836020142879,
4231 321430679545810677,
4232 ]),
4233 Fq::from_montgomery_limbs([
4234 8928134061485321773,
4235 14157720579697729134,
4236 10344780082168020995,
4237 97202987142506800,
4238 ]),
4239 Fq::from_montgomery_limbs([
4240 3126697640027307204,
4241 1153410184564297189,
4242 4809813821719177551,
4243 994774295722128937,
4244 ]),
4245 Fq::from_montgomery_limbs([
4246 3918576597698600036,
4247 13183810862438807325,
4248 15214887128855617985,
4249 279159001700097111,
4250 ]),
4251 Fq::from_montgomery_limbs([
4252 2830967354854515654,
4253 17469509170635724421,
4254 8035672669498122237,
4255 267629026497518109,
4256 ]),
4257 Fq::from_montgomery_limbs([
4258 13871567487914888086,
4259 5246409741722402492,
4260 16832389611931438025,
4261 1295010963726258350,
4262 ]),
4263 Fq::from_montgomery_limbs([
4264 17057934674164606699,
4265 6421519839681476555,
4266 2956724044796119398,
4267 327825682992218753,
4268 ]),
4269 ]),
4270 Matrix::<1, 7, 7>::new_from_known([
4271 Fq::from_montgomery_limbs([
4272 4795884052041907920,
4273 14375534011696101577,
4274 2427060550596560456,
4275 393919458849239754,
4276 ]),
4277 Fq::from_montgomery_limbs([
4278 15372002461943753964,
4279 11342165919824154367,
4280 11980800855746001270,
4281 994521975576249810,
4282 ]),
4283 Fq::from_montgomery_limbs([
4284 3093026885592381242,
4285 16909708896875106142,
4286 9191689902351332536,
4287 192118286974103755,
4288 ]),
4289 Fq::from_montgomery_limbs([
4290 2545301077237922815,
4291 15144706238324940883,
4292 6113286606593174468,
4293 372600161316484359,
4294 ]),
4295 Fq::from_montgomery_limbs([
4296 2142773713360590483,
4297 4755608127774394592,
4298 14813148169732966311,
4299 917761966614679749,
4300 ]),
4301 Fq::from_montgomery_limbs([
4302 4228649950611283773,
4303 11633437476481650378,
4304 40335982213672820,
4305 963989416626637070,
4306 ]),
4307 Fq::from_montgomery_limbs([
4308 7391565095119442761,
4309 5231979613403440246,
4310 15148609598356850747,
4311 95369680580052342,
4312 ]),
4313 ]),
4314 Matrix::<1, 7, 7>::new_from_known([
4315 Fq::from_montgomery_limbs([
4316 6221242600163036024,
4317 13151745595003222769,
4318 1880070415953293074,
4319 859483057557051135,
4320 ]),
4321 Fq::from_montgomery_limbs([
4322 4057704583061373110,
4323 330438596431033553,
4324 11138603368324646862,
4325 567019942240333219,
4326 ]),
4327 Fq::from_montgomery_limbs([
4328 6808348652855723900,
4329 16038145083514774712,
4330 7335293401571608063,
4331 1256860263027810296,
4332 ]),
4333 Fq::from_montgomery_limbs([
4334 14712597649859914536,
4335 2461131389363589307,
4336 14971367896336061978,
4337 440886131765627826,
4338 ]),
4339 Fq::from_montgomery_limbs([
4340 12563821899625315748,
4341 1397025790367362621,
4342 11711011249975071041,
4343 1326491445493487906,
4344 ]),
4345 Fq::from_montgomery_limbs([
4346 7386366618870533036,
4347 17891650149672567880,
4348 7623078793319051970,
4349 896259535119079804,
4350 ]),
4351 Fq::from_montgomery_limbs([
4352 10076387373785417531,
4353 11621404135443198278,
4354 2342191148009104794,
4355 1208570082728513479,
4356 ]),
4357 ]),
4358 Matrix::<1, 7, 7>::new_from_known([
4359 Fq::from_montgomery_limbs([
4360 15679839989875735864,
4361 3094159736795405193,
4362 8433247987399569527,
4363 598394739716746812,
4364 ]),
4365 Fq::from_montgomery_limbs([
4366 13169926426306420693,
4367 1494478164246339314,
4368 1807871555080064306,
4369 341871317105251652,
4370 ]),
4371 Fq::from_montgomery_limbs([
4372 8871477167695700102,
4373 7124763693791718581,
4374 9576781928097497051,
4375 714519781637518717,
4376 ]),
4377 Fq::from_montgomery_limbs([
4378 5983131451216637528,
4379 14746501237947100556,
4380 5131581902376092495,
4381 53578888100518755,
4382 ]),
4383 Fq::from_montgomery_limbs([
4384 4061768962354414816,
4385 11864639021370326188,
4386 865372274790703007,
4387 960248048765553610,
4388 ]),
4389 Fq::from_montgomery_limbs([
4390 13741178490350281184,
4391 16104064291813496481,
4392 430569565272838614,
4393 1002559943654640050,
4394 ]),
4395 Fq::from_montgomery_limbs([
4396 2394748621667543278,
4397 9724971631453415812,
4398 4137744279709050144,
4399 1128204720227512009,
4400 ]),
4401 ]),
4402 Matrix::<1, 7, 7>::new_from_known([
4403 Fq::from_montgomery_limbs([
4404 8347131072359520901,
4405 7051906710316929352,
4406 16145803176151958291,
4407 425602845445213918,
4408 ]),
4409 Fq::from_montgomery_limbs([
4410 1777783046051939958,
4411 9344856863579469212,
4412 15141578180236122558,
4413 1282494716270035254,
4414 ]),
4415 Fq::from_montgomery_limbs([
4416 9034384578885080751,
4417 4457232682759798992,
4418 2752092198692805323,
4419 133997596024339666,
4420 ]),
4421 Fq::from_montgomery_limbs([
4422 6632806707492790657,
4423 4419466991289176034,
4424 10545594397744340230,
4425 225792487504094029,
4426 ]),
4427 Fq::from_montgomery_limbs([
4428 13666870638471858948,
4429 6325954648727450515,
4430 6820384268867641136,
4431 650912658514216838,
4432 ]),
4433 Fq::from_montgomery_limbs([
4434 18425172866543397587,
4435 460014089142918565,
4436 13475177727189665478,
4437 755199790640816277,
4438 ]),
4439 Fq::from_montgomery_limbs([
4440 17074816481639390245,
4441 8326625026248068453,
4442 11628221368426774047,
4443 168403074861182097,
4444 ]),
4445 ]),
4446 Matrix::<1, 7, 7>::new_from_known([
4447 Fq::from_montgomery_limbs([
4448 6496117145112017285,
4449 8108611305258852743,
4450 1288333658986417240,
4451 489166257449840915,
4452 ]),
4453 Fq::from_montgomery_limbs([
4454 5905164426314492425,
4455 14726319284315803257,
4456 15419119459033009106,
4457 748785652021292365,
4458 ]),
4459 Fq::from_montgomery_limbs([
4460 2903900515980491508,
4461 14518787377368638193,
4462 5737950893394728457,
4463 1246585555966129910,
4464 ]),
4465 Fq::from_montgomery_limbs([
4466 13545067403644787822,
4467 12929589241462425919,
4468 6328577959723156897,
4469 669792805130642725,
4470 ]),
4471 Fq::from_montgomery_limbs([
4472 10880665937604410417,
4473 12182942785008105675,
4474 8043148962657686879,
4475 114751567600998309,
4476 ]),
4477 Fq::from_montgomery_limbs([
4478 475884094757470315,
4479 13519631230544868403,
4480 15555278094421071668,
4481 284046901452720062,
4482 ]),
4483 Fq::from_montgomery_limbs([
4484 4404185810772829111,
4485 13082485550708084688,
4486 4458404332519456617,
4487 747118566938719314,
4488 ]),
4489 ]),
4490 Matrix::<1, 7, 7>::new_from_known([
4491 Fq::from_montgomery_limbs([
4492 9005422667436345080,
4493 6610327294069915149,
4494 3392047280994887983,
4495 185928194404395622,
4496 ]),
4497 Fq::from_montgomery_limbs([
4498 5907489245706778002,
4499 2611521107474717810,
4500 15424563447378789128,
4501 1081732924695236796,
4502 ]),
4503 Fq::from_montgomery_limbs([
4504 6936175948569238427,
4505 16265819354303431672,
4506 9296694820053549015,
4507 380971488662375691,
4508 ]),
4509 Fq::from_montgomery_limbs([
4510 11847879878992849222,
4511 17246157629192690467,
4512 2240336221502957918,
4513 551120206298529047,
4514 ]),
4515 Fq::from_montgomery_limbs([
4516 13322826606934505627,
4517 11726197427344458839,
4518 11800080869580456447,
4519 426669602496174268,
4520 ]),
4521 Fq::from_montgomery_limbs([
4522 6217036164702465819,
4523 14690910531871435703,
4524 13161157531336562298,
4525 732442567722820811,
4526 ]),
4527 Fq::from_montgomery_limbs([
4528 14882293327891629398,
4529 9369498032959659338,
4530 7000848696812799171,
4531 754562041670533469,
4532 ]),
4533 ]),
4534 Matrix::<1, 7, 7>::new_from_known([
4535 Fq::from_montgomery_limbs([
4536 7595387151201254327,
4537 16626796275200533088,
4538 2940178911825115337,
4539 1184031511121567741,
4540 ]),
4541 Fq::from_montgomery_limbs([
4542 9948362750111031958,
4543 14209593175711129688,
4544 8446364573948386189,
4545 802006068920106393,
4546 ]),
4547 Fq::from_montgomery_limbs([
4548 15169311970095301438,
4549 12318244252296365506,
4550 11639105278755798079,
4551 84817162733084173,
4552 ]),
4553 Fq::from_montgomery_limbs([
4554 5831579622220754273,
4555 10846086049576885619,
4556 15991974831220053526,
4557 756084870377153501,
4558 ]),
4559 Fq::from_montgomery_limbs([
4560 4538407139413953048,
4561 3210811593774606829,
4562 7928892177512965493,
4563 295438458271184500,
4564 ]),
4565 Fq::from_montgomery_limbs([
4566 16833512221632219759,
4567 4464061448066183306,
4568 13162091753490675863,
4569 292236190186079508,
4570 ]),
4571 Fq::from_montgomery_limbs([
4572 13779800725609980259,
4573 9773765625728017659,
4574 15074810316420391540,
4575 950783607166623145,
4576 ]),
4577 ]),
4578 Matrix::<1, 7, 7>::new_from_known([
4579 Fq::from_montgomery_limbs([
4580 15895706787288222123,
4581 9777370406550782832,
4582 1347824831892755594,
4583 1241011767014366278,
4584 ]),
4585 Fq::from_montgomery_limbs([
4586 12826978362776209042,
4587 10633709265050784734,
4588 17957605540213546613,
4589 887698438045779720,
4590 ]),
4591 Fq::from_montgomery_limbs([
4592 7324188878915493946,
4593 6492479003127466111,
4594 8377249725203128879,
4595 1000161290003049779,
4596 ]),
4597 Fq::from_montgomery_limbs([
4598 6704086117324761110,
4599 146265122731217307,
4600 2383903051894120264,
4601 719647807141165334,
4602 ]),
4603 Fq::from_montgomery_limbs([
4604 1940312057575972126,
4605 17930067253838912265,
4606 317360086895888872,
4607 5748540581767140,
4608 ]),
4609 Fq::from_montgomery_limbs([
4610 17103257683729273147,
4611 13931874259783487325,
4612 11872224486078756015,
4613 956814895668207498,
4614 ]),
4615 Fq::from_montgomery_limbs([
4616 13769500095117682353,
4617 516850361598419166,
4618 16964626273259476242,
4619 769634211482580445,
4620 ]),
4621 ]),
4622 Matrix::<1, 7, 7>::new_from_known([
4623 Fq::from_montgomery_limbs([
4624 3113137472185380309,
4625 3788943308088978270,
4626 15570984136244536866,
4627 64143465381601420,
4628 ]),
4629 Fq::from_montgomery_limbs([
4630 7162163846740423034,
4631 17407158529676601980,
4632 982523548091459495,
4633 1241886141897586570,
4634 ]),
4635 Fq::from_montgomery_limbs([
4636 14248266967200521181,
4637 12810010597713281838,
4638 15956352259342376510,
4639 1249991327654319042,
4640 ]),
4641 Fq::from_montgomery_limbs([
4642 14421471441198040024,
4643 4052632755320875533,
4644 10507979567878886533,
4645 966126597683502788,
4646 ]),
4647 Fq::from_montgomery_limbs([
4648 1330169793100628257,
4649 5902370011388045841,
4650 4268141693837804182,
4651 504954696237745802,
4652 ]),
4653 Fq::from_montgomery_limbs([
4654 12989224119893885561,
4655 17234018500273188391,
4656 10939008301878322098,
4657 259903928118608299,
4658 ]),
4659 Fq::from_montgomery_limbs([
4660 10430146681254844704,
4661 16501713083418526441,
4662 1818813698196386223,
4663 290604987547570674,
4664 ]),
4665 ]),
4666 Matrix::<1, 7, 7>::new_from_known([
4667 Fq::from_montgomery_limbs([
4668 2272958606081209500,
4669 2462669223449072253,
4670 9500254477224930595,
4671 45443314528508583,
4672 ]),
4673 Fq::from_montgomery_limbs([
4674 15776657251710579335,
4675 14822492561927322901,
4676 3903750765721394200,
4677 630182332308162068,
4678 ]),
4679 Fq::from_montgomery_limbs([
4680 12563868195165779174,
4681 12561252953252587550,
4682 11907364401269631108,
4683 581676404653821486,
4684 ]),
4685 Fq::from_montgomery_limbs([
4686 148332194159159988,
4687 10068425626588210986,
4688 13535393921505334097,
4689 153553395999465163,
4690 ]),
4691 Fq::from_montgomery_limbs([
4692 7747426768506042379,
4693 7652171709845608793,
4694 11069887529886935999,
4695 60205371617013159,
4696 ]),
4697 Fq::from_montgomery_limbs([
4698 9292570341502960523,
4699 3236193786725371597,
4700 8898130554136882239,
4701 1009410450149925646,
4702 ]),
4703 Fq::from_montgomery_limbs([
4704 12885815634665358426,
4705 15963150787962414249,
4706 4369817253063661209,
4707 642948406974549063,
4708 ]),
4709 ]),
4710 Matrix::<1, 7, 7>::new_from_known([
4711 Fq::from_montgomery_limbs([
4712 1380867230584918716,
4713 16725144872260989882,
4714 11444322500251449972,
4715 837022230218511427,
4716 ]),
4717 Fq::from_montgomery_limbs([
4718 1087920425360181417,
4719 17141257576042242544,
4720 8987292985620878561,
4721 1110305532217600753,
4722 ]),
4723 Fq::from_montgomery_limbs([
4724 10359964772262918650,
4725 10077460265989495047,
4726 17578499003187392916,
4727 757342367774183991,
4728 ]),
4729 Fq::from_montgomery_limbs([
4730 2779779035056260202,
4731 2282975003625087828,
4732 1919400866622348845,
4733 493318954648288095,
4734 ]),
4735 Fq::from_montgomery_limbs([
4736 15672164960009522373,
4737 3256607523370073938,
4738 13852207222752867333,
4739 1244522698781289416,
4740 ]),
4741 Fq::from_montgomery_limbs([
4742 12874545038411867774,
4743 1217025423748364582,
4744 75869870772488332,
4745 1001217245879206186,
4746 ]),
4747 Fq::from_montgomery_limbs([
4748 8523257600072604774,
4749 8621165006673159831,
4750 1464388999950649637,
4751 1217963817687697670,
4752 ]),
4753 ]),
4754 Matrix::<1, 7, 7>::new_from_known([
4755 Fq::from_montgomery_limbs([
4756 15922812187951378322,
4757 4516460162368536866,
4758 15018766830043386765,
4759 1340613465456337965,
4760 ]),
4761 Fq::from_montgomery_limbs([
4762 287441026936003136,
4763 14764192345714853717,
4764 4173276030750185119,
4765 472111033963352598,
4766 ]),
4767 Fq::from_montgomery_limbs([
4768 10839733167051473961,
4769 3454260583859678864,
4770 11304905847738494430,
4771 650946296327920383,
4772 ]),
4773 Fq::from_montgomery_limbs([
4774 9515448149018827481,
4775 3488032113770392732,
4776 10593726245432275549,
4777 583635792309485522,
4778 ]),
4779 Fq::from_montgomery_limbs([
4780 2742448600840811735,
4781 6652758193289359848,
4782 9635320418424938172,
4783 967821689260084870,
4784 ]),
4785 Fq::from_montgomery_limbs([
4786 9881468678921411834,
4787 11537438085600848038,
4788 7216253876764370660,
4789 1304070984061260617,
4790 ]),
4791 Fq::from_montgomery_limbs([
4792 6196769084394513175,
4793 1271040910625745125,
4794 11073763102896512393,
4795 1165794523446068715,
4796 ]),
4797 ]),
4798 Matrix::<1, 7, 7>::new_from_known([
4799 Fq::from_montgomery_limbs([
4800 15799597978241847363,
4801 12818531158251383624,
4802 6963429972659041410,
4803 397194962489148197,
4804 ]),
4805 Fq::from_montgomery_limbs([
4806 138391674938830183,
4807 6888521073413350790,
4808 13718840433311127770,
4809 1101538822720967029,
4810 ]),
4811 Fq::from_montgomery_limbs([
4812 12684981053383903956,
4813 5500073381157750545,
4814 4169486943568405011,
4815 879134225324190092,
4816 ]),
4817 Fq::from_montgomery_limbs([
4818 464851715795247463,
4819 2927900015464510347,
4820 17346267830876442053,
4821 1137028262870600951,
4822 ]),
4823 Fq::from_montgomery_limbs([
4824 1966072756669882436,
4825 14267740345733608423,
4826 3868025407329923728,
4827 1329300268340841458,
4828 ]),
4829 Fq::from_montgomery_limbs([
4830 12791556832852048085,
4831 7187847328998161782,
4832 6410129678700860221,
4833 1141843742471101195,
4834 ]),
4835 Fq::from_montgomery_limbs([
4836 17394082241710727109,
4837 3925707544410201182,
4838 15631236622778680461,
4839 867359934041458160,
4840 ]),
4841 ]),
4842 Matrix::<1, 7, 7>::new_from_known([
4843 Fq::from_montgomery_limbs([
4844 12197981561714622691,
4845 3447558190007550222,
4846 8731482567404865792,
4847 504033851083789168,
4848 ]),
4849 Fq::from_montgomery_limbs([
4850 15548011549070215821,
4851 18176746913742005334,
4852 6759691930131684149,
4853 748826448544702472,
4854 ]),
4855 Fq::from_montgomery_limbs([
4856 14426381672075599127,
4857 6754779155763548400,
4858 1569326308679565884,
4859 301254674498691116,
4860 ]),
4861 Fq::from_montgomery_limbs([
4862 1190926793578469751,
4863 4569874070454135204,
4864 15349066761719847213,
4865 1143729593598143496,
4866 ]),
4867 Fq::from_montgomery_limbs([
4868 4377698380788322951,
4869 626231241120536954,
4870 5782570196326664329,
4871 794203002404066761,
4872 ]),
4873 Fq::from_montgomery_limbs([
4874 18203023968026598600,
4875 769509082182406304,
4876 14347905833288757784,
4877 849309248009120890,
4878 ]),
4879 Fq::from_montgomery_limbs([
4880 6219667569923491560,
4881 12993749535175636460,
4882 9317843769426981121,
4883 466063065647080758,
4884 ]),
4885 ]),
4886 Matrix::<1, 7, 7>::new_from_known([
4887 Fq::from_montgomery_limbs([
4888 12360205003642410439,
4889 12233377474426101645,
4890 8749241487473360725,
4891 771733806369229100,
4892 ]),
4893 Fq::from_montgomery_limbs([
4894 12909744147344161535,
4895 15270140525914393786,
4896 958053852923168614,
4897 1122903083941798107,
4898 ]),
4899 Fq::from_montgomery_limbs([
4900 11512594517381251244,
4901 7788994558197263271,
4902 17789727628017887833,
4903 604964920168437514,
4904 ]),
4905 Fq::from_montgomery_limbs([
4906 11365008776320664479,
4907 7674849678441687585,
4908 10947191902817323894,
4909 745598673291635479,
4910 ]),
4911 Fq::from_montgomery_limbs([
4912 9298337976025138670,
4913 3504219772802793091,
4914 18423486933153538231,
4915 674863471944898182,
4916 ]),
4917 Fq::from_montgomery_limbs([
4918 10037370553997808960,
4919 5643541321548796784,
4920 3954322339884102888,
4921 1116686823797890292,
4922 ]),
4923 Fq::from_montgomery_limbs([
4924 9151115627925470056,
4925 1080688967380275155,
4926 15991630648226528878,
4927 1130423917661403285,
4928 ]),
4929 ]),
4930 Matrix::<1, 7, 7>::new_from_known([
4931 Fq::from_montgomery_limbs([
4932 16294982486276945283,
4933 7049820508618491066,
4934 8145571059898393342,
4935 186002704339584638,
4936 ]),
4937 Fq::from_montgomery_limbs([
4938 755176559839955182,
4939 11156178401444222993,
4940 14456074258881310686,
4941 278477091367678088,
4942 ]),
4943 Fq::from_montgomery_limbs([
4944 1257685548905109784,
4945 5141440235439936072,
4946 17862579642779035136,
4947 330137635933850138,
4948 ]),
4949 Fq::from_montgomery_limbs([
4950 7830781886086349569,
4951 12605497826381107847,
4952 6483908192271317597,
4953 742032532267494998,
4954 ]),
4955 Fq::from_montgomery_limbs([
4956 15889009530646425854,
4957 4873730462912310136,
4958 2661766248464352916,
4959 886629163939946863,
4960 ]),
4961 Fq::from_montgomery_limbs([
4962 12291205541312705254,
4963 7759245016766434277,
4964 14282726477924298523,
4965 275206715444074183,
4966 ]),
4967 Fq::from_montgomery_limbs([
4968 7015277851946876128,
4969 6540146872039720132,
4970 3413400018095950201,
4971 488630649619127768,
4972 ]),
4973 ]),
4974 Matrix::<1, 7, 7>::new_from_known([
4975 Fq::from_montgomery_limbs([
4976 8080067703614789529,
4977 14335022802712765520,
4978 12181558540579879368,
4979 1181883134308686818,
4980 ]),
4981 Fq::from_montgomery_limbs([
4982 3930610870091700987,
4983 11870595227272460342,
4984 5614691549969018824,
4985 1036838548873476989,
4986 ]),
4987 Fq::from_montgomery_limbs([
4988 15116537084696928201,
4989 6562302783432438956,
4990 8446888808137423003,
4991 1165521566881319341,
4992 ]),
4993 Fq::from_montgomery_limbs([
4994 7622363474306732593,
4995 14018499983613194146,
4996 5504535021523794239,
4997 1156251508187455677,
4998 ]),
4999 Fq::from_montgomery_limbs([
5000 18353812883604490408,
5001 7863175561039540930,
5002 16157508248448358210,
5003 295160799461001215,
5004 ]),
5005 Fq::from_montgomery_limbs([
5006 9630152100811825815,
5007 18335618989479732132,
5008 8847214215895375728,
5009 938895491334142608,
5010 ]),
5011 Fq::from_montgomery_limbs([
5012 13116080893996470839,
5013 13627909126954009780,
5014 15760064020863415616,
5015 884515223942721558,
5016 ]),
5017 ]),
5018 Matrix::<1, 7, 7>::new_from_known([
5019 Fq::from_montgomery_limbs([
5020 6687780439253411478,
5021 6719196503388333019,
5022 88771745794551678,
5023 987619641692746386,
5024 ]),
5025 Fq::from_montgomery_limbs([
5026 18227317062064988196,
5027 14045861136043637767,
5028 16184554390694852575,
5029 168316121892514264,
5030 ]),
5031 Fq::from_montgomery_limbs([
5032 2567020624281662578,
5033 12408201210305429297,
5034 15172611508502121839,
5035 184308211509770511,
5036 ]),
5037 Fq::from_montgomery_limbs([
5038 6504349685450813046,
5039 6151032549024957176,
5040 8446915662866336279,
5041 721911887099189465,
5042 ]),
5043 Fq::from_montgomery_limbs([
5044 3337661731072526341,
5045 2993440831960528581,
5046 1509729075929391927,
5047 478329275350342603,
5048 ]),
5049 Fq::from_montgomery_limbs([
5050 1009230922039257241,
5051 6930789170818330480,
5052 4189309447677808153,
5053 116099938331986078,
5054 ]),
5055 Fq::from_montgomery_limbs([
5056 11734050699831527761,
5057 10637489645393719148,
5058 526453959140559372,
5059 879302010498683200,
5060 ]),
5061 ]),
5062 Matrix::<1, 7, 7>::new_from_known([
5063 Fq::from_montgomery_limbs([
5064 4873204063755775221,
5065 9933480403362446589,
5066 9949453296663390065,
5067 246028972103247826,
5068 ]),
5069 Fq::from_montgomery_limbs([
5070 1486515864865111240,
5071 8186666825731582288,
5072 17298579416284146352,
5073 75432580959795592,
5074 ]),
5075 Fq::from_montgomery_limbs([
5076 505624159752585300,
5077 400192717675446053,
5078 16830576854563029465,
5079 1083591845791403649,
5080 ]),
5081 Fq::from_montgomery_limbs([
5082 15707645648143644435,
5083 15104101221834649015,
5084 2714910978190477603,
5085 1152442812583011873,
5086 ]),
5087 Fq::from_montgomery_limbs([
5088 13680539759561187051,
5089 166623071797346207,
5090 14072328976002035503,
5091 1262049047131890020,
5092 ]),
5093 Fq::from_montgomery_limbs([
5094 1997216355444588659,
5095 4362151030955817495,
5096 4119100627602964220,
5097 86616090171999332,
5098 ]),
5099 Fq::from_montgomery_limbs([
5100 2511307420156057573,
5101 14546073810053310617,
5102 2740719298105876931,
5103 1306803605810669667,
5104 ]),
5105 ]),
5106 Matrix::<1, 7, 7>::new_from_known([
5107 Fq::from_montgomery_limbs([
5108 9796594921607316066,
5109 9046940149281062534,
5110 3066668479453506525,
5111 629717731494457650,
5112 ]),
5113 Fq::from_montgomery_limbs([
5114 15245080183700001743,
5115 17772522498139932944,
5116 1303200707700973869,
5117 1321448515508953860,
5118 ]),
5119 Fq::from_montgomery_limbs([
5120 15382852889694635458,
5121 13258286043643865801,
5122 9129565020842704924,
5123 647265428745294973,
5124 ]),
5125 Fq::from_montgomery_limbs([
5126 406339679439528630,
5127 358526789424126981,
5128 15360185281241795369,
5129 402771395127408535,
5130 ]),
5131 Fq::from_montgomery_limbs([
5132 14729795014613647379,
5133 6659603767330364601,
5134 10382867237853880917,
5135 983014168589450240,
5136 ]),
5137 Fq::from_montgomery_limbs([
5138 130913533882362207,
5139 3464497722457480940,
5140 6174897712775413536,
5141 362284933576221116,
5142 ]),
5143 Fq::from_montgomery_limbs([
5144 6802705157024058052,
5145 13442544871481896094,
5146 13780491571272760495,
5147 909644424511448796,
5148 ]),
5149 ]),
5150 Matrix::<1, 7, 7>::new_from_known([
5151 Fq::from_montgomery_limbs([
5152 15361452699552249664,
5153 9640740743000109947,
5154 5568737378741199451,
5155 962844949024683508,
5156 ]),
5157 Fq::from_montgomery_limbs([
5158 459261181401017545,
5159 7171449908290213843,
5160 15871949118083492196,
5161 158962359341824787,
5162 ]),
5163 Fq::from_montgomery_limbs([
5164 7906547241546612427,
5165 7911718846541029411,
5166 14951976648354808013,
5167 421942213347946833,
5168 ]),
5169 Fq::from_montgomery_limbs([
5170 11183093321955941025,
5171 11064782095852757040,
5172 17028937525080502941,
5173 84626144143427215,
5174 ]),
5175 Fq::from_montgomery_limbs([
5176 15224853022182992564,
5177 6262171785917223470,
5178 16177655818423871790,
5179 1014568265658824394,
5180 ]),
5181 Fq::from_montgomery_limbs([
5182 625719919361420446,
5183 8380808592474630812,
5184 3431067771421433694,
5185 687333698000967202,
5186 ]),
5187 Fq::from_montgomery_limbs([
5188 16024186533956349632,
5189 6397405785318083633,
5190 15989828043790400414,
5191 850765743467676249,
5192 ]),
5193 ]),
5194 Matrix::<1, 7, 7>::new_from_known([
5195 Fq::from_montgomery_limbs([
5196 16821206357298616469,
5197 1130392039725774709,
5198 5626389420189454642,
5199 1118339463429080277,
5200 ]),
5201 Fq::from_montgomery_limbs([
5202 8638502030638568937,
5203 14913248685358382503,
5204 2067471807256194154,
5205 1100154439569300281,
5206 ]),
5207 Fq::from_montgomery_limbs([
5208 17564526714798056567,
5209 2679133728209391057,
5210 12485118550630518387,
5211 962529009983964522,
5212 ]),
5213 Fq::from_montgomery_limbs([
5214 4671481911068696338,
5215 11211404871059653651,
5216 4714104003967750529,
5217 460522700989518506,
5218 ]),
5219 Fq::from_montgomery_limbs([
5220 6601065644493764993,
5221 6108401876661130452,
5222 518511813649845646,
5223 611513774682652448,
5224 ]),
5225 Fq::from_montgomery_limbs([
5226 2861830270848819795,
5227 16356361265808876600,
5228 12810879004275814176,
5229 1286972374050895235,
5230 ]),
5231 Fq::from_montgomery_limbs([
5232 15194368129140163866,
5233 4422109454732341537,
5234 16494227980417936974,
5235 290982210272018089,
5236 ]),
5237 ]),
5238 Matrix::<1, 7, 7>::new_from_known([
5239 Fq::from_montgomery_limbs([
5240 17007536869668539214,
5241 3870339684122566773,
5242 7418389053554657334,
5243 263511272051190454,
5244 ]),
5245 Fq::from_montgomery_limbs([
5246 12410612082473707857,
5247 4040398757796296521,
5248 16094020059960359234,
5249 939075584469470040,
5250 ]),
5251 Fq::from_montgomery_limbs([
5252 7418236128585187557,
5253 15691596850766474049,
5254 4839121991874976767,
5255 1173030423683112566,
5256 ]),
5257 Fq::from_montgomery_limbs([
5258 5215564176166340124,
5259 2655381196051933641,
5260 6045374250672288630,
5261 176416756249057657,
5262 ]),
5263 Fq::from_montgomery_limbs([
5264 13952195320089654608,
5265 13938861125107555897,
5266 13572960470464709581,
5267 247820705708880751,
5268 ]),
5269 Fq::from_montgomery_limbs([
5270 7397318582807137181,
5271 18043760894393149278,
5272 14776480882092071507,
5273 1134492376276011511,
5274 ]),
5275 Fq::from_montgomery_limbs([
5276 10024735062566598040,
5277 5074414902312726054,
5278 16541770110513564624,
5279 1319392307629355494,
5280 ]),
5281 ]),
5282 Matrix::<1, 7, 7>::new_from_known([
5283 Fq::from_montgomery_limbs([
5284 17701692352398604469,
5285 12227868835058163041,
5286 6355645072062803626,
5287 46662470597422118,
5288 ]),
5289 Fq::from_montgomery_limbs([
5290 17486353498011500258,
5291 14688387905134443671,
5292 86673003791736603,
5293 334193962485781999,
5294 ]),
5295 Fq::from_montgomery_limbs([
5296 2725938978570184818,
5297 12538279414757715369,
5298 4423739824876634382,
5299 990960136859773111,
5300 ]),
5301 Fq::from_montgomery_limbs([
5302 1658418413165666717,
5303 4481948955101880251,
5304 2380234418157645031,
5305 242453692938449648,
5306 ]),
5307 Fq::from_montgomery_limbs([
5308 16462799862547279938,
5309 15860491361132810167,
5310 17855590817263886803,
5311 566253932393246465,
5312 ]),
5313 Fq::from_montgomery_limbs([
5314 7795866114233701913,
5315 671818567137775288,
5316 8587656269292170703,
5317 1248608466500904131,
5318 ]),
5319 Fq::from_montgomery_limbs([
5320 12734974453986836356,
5321 13876952892523324606,
5322 8958492656376686082,
5323 1219220119207244562,
5324 ]),
5325 ]),
5326 Matrix::<1, 7, 7>::new_from_known([
5327 Fq::from_montgomery_limbs([
5328 16939094048589357804,
5329 27828887622580244,
5330 17879324893769825916,
5331 1323982021311509582,
5332 ]),
5333 Fq::from_montgomery_limbs([
5334 3829148264852223810,
5335 16344601064097516632,
5336 17405856957400469367,
5337 1015406940125315334,
5338 ]),
5339 Fq::from_montgomery_limbs([
5340 2496078501178333445,
5341 3431033003985481851,
5342 18046940389757892591,
5343 78803126847324668,
5344 ]),
5345 Fq::from_montgomery_limbs([
5346 10354574228107355459,
5347 2956204224517963071,
5348 4281810991966937657,
5349 773005109651151512,
5350 ]),
5351 Fq::from_montgomery_limbs([
5352 11661373254033173032,
5353 7617994408757678472,
5354 3818523458153749994,
5355 1124211529831618075,
5356 ]),
5357 Fq::from_montgomery_limbs([
5358 5343527255304572547,
5359 18057091451537453565,
5360 7219465431491887651,
5361 438777407253439449,
5362 ]),
5363 Fq::from_montgomery_limbs([
5364 6944386246740202781,
5365 15457528402087694028,
5366 3684425466632772887,
5367 516255567451219667,
5368 ]),
5369 ]),
5370 Matrix::<1, 7, 7>::new_from_known([
5371 Fq::from_montgomery_limbs([
5372 11265451120049686448,
5373 17733431402661201252,
5374 10181100791013355567,
5375 1222168459125423207,
5376 ]),
5377 Fq::from_montgomery_limbs([
5378 16541130910067039592,
5379 8550248424255720611,
5380 5388592089365012797,
5381 401807388479450663,
5382 ]),
5383 Fq::from_montgomery_limbs([
5384 15535862948076515909,
5385 14246335147027067446,
5386 3440553300570031637,
5387 1140798916603065405,
5388 ]),
5389 Fq::from_montgomery_limbs([
5390 181454369079184993,
5391 10259998444066142751,
5392 13378833995981646023,
5393 1233479771041134216,
5394 ]),
5395 Fq::from_montgomery_limbs([
5396 16855179079358889281,
5397 15202871199402424660,
5398 10704979988227736970,
5399 1092640973189828568,
5400 ]),
5401 Fq::from_montgomery_limbs([
5402 8641652447153871125,
5403 14767053670343766852,
5404 14349039701716536407,
5405 776309354634057048,
5406 ]),
5407 Fq::from_montgomery_limbs([
5408 16709348381005515895,
5409 522436120289473263,
5410 2848448538858947951,
5411 930729981926185853,
5412 ]),
5413 ]),
5414 ],
5415 w_hat_collection: [
5416 Matrix::<7, 1, 7>::new_from_known([
5417 Fq::from_montgomery_limbs([
5418 5469465372454405746,
5419 11693688927749785195,
5420 9284229770381589387,
5421 263916402201309764,
5422 ]),
5423 Fq::from_montgomery_limbs([
5424 8025142443496737775,
5425 1611073224873590596,
5426 1595200312703520851,
5427 268362793599128279,
5428 ]),
5429 Fq::from_montgomery_limbs([
5430 2646197433325367530,
5431 3327161674116363870,
5432 17523969835882673765,
5433 1224872920276084181,
5434 ]),
5435 Fq::from_montgomery_limbs([
5436 3531022552160069605,
5437 1044916798369741293,
5438 13484540382795405112,
5439 975392012720575741,
5440 ]),
5441 Fq::from_montgomery_limbs([
5442 3532672362950129848,
5443 13232567668052949956,
5444 3949082925084889589,
5445 1169300250855119928,
5446 ]),
5447 Fq::from_montgomery_limbs([
5448 17405909644706202533,
5449 9068195655028130334,
5450 4993737853698066182,
5451 760630245260613434,
5452 ]),
5453 Fq::from_montgomery_limbs([
5454 10760096219897954109,
5455 15819961273994906871,
5456 12000866060961275644,
5457 494051747708222359,
5458 ]),
5459 ]),
5460 Matrix::<7, 1, 7>::new_from_known([
5461 Fq::from_montgomery_limbs([
5462 6362811837083607038,
5463 10112120774028974554,
5464 18223478424715278594,
5465 334017453759956923,
5466 ]),
5467 Fq::from_montgomery_limbs([
5468 9425287269899366801,
5469 11550170751949156528,
5470 13535057945185910331,
5471 481928711879823346,
5472 ]),
5473 Fq::from_montgomery_limbs([
5474 17472259370242997056,
5475 5455690506444253075,
5476 8901482994501262481,
5477 216965978934341710,
5478 ]),
5479 Fq::from_montgomery_limbs([
5480 6461374808168440859,
5481 2522061882145442234,
5482 15960549034903032234,
5483 172640120507478914,
5484 ]),
5485 Fq::from_montgomery_limbs([
5486 15948529219279584260,
5487 15982605346874278694,
5488 6269535640895470052,
5489 598935737770408401,
5490 ]),
5491 Fq::from_montgomery_limbs([
5492 6387843144535167444,
5493 3817387412721348785,
5494 8453759171668596794,
5495 249153266075439378,
5496 ]),
5497 Fq::from_montgomery_limbs([
5498 12733356128673768262,
5499 1719659461140646111,
5500 6773786044742649854,
5501 1187765335723023490,
5502 ]),
5503 ]),
5504 Matrix::<7, 1, 7>::new_from_known([
5505 Fq::from_montgomery_limbs([
5506 13381096107094038201,
5507 17813208526318089114,
5508 18335536409132991824,
5509 339697501389957039,
5510 ]),
5511 Fq::from_montgomery_limbs([
5512 17742161265183589279,
5513 16788867255988109560,
5514 14412857631192854758,
5515 241525962952821929,
5516 ]),
5517 Fq::from_montgomery_limbs([
5518 3132656462108501803,
5519 7337059831094147936,
5520 10405916960575845901,
5521 228104793330536468,
5522 ]),
5523 Fq::from_montgomery_limbs([
5524 4603265731852134279,
5525 5399214122633296191,
5526 8344043762552329652,
5527 985455486033881462,
5528 ]),
5529 Fq::from_montgomery_limbs([
5530 14183899592653698860,
5531 2177269342994828180,
5532 10884678024220653483,
5533 217447665355687992,
5534 ]),
5535 Fq::from_montgomery_limbs([
5536 11323936221359713158,
5537 3341391736943984982,
5538 17508560691141182274,
5539 13239895022264913,
5540 ]),
5541 Fq::from_montgomery_limbs([
5542 13840945524485292215,
5543 9974520753931283863,
5544 4195523720400973895,
5545 762227204403897594,
5546 ]),
5547 ]),
5548 Matrix::<7, 1, 7>::new_from_known([
5549 Fq::from_montgomery_limbs([
5550 4114179516470424298,
5551 6425976053490693203,
5552 12882959905974456947,
5553 110103675307258331,
5554 ]),
5555 Fq::from_montgomery_limbs([
5556 15116210321604905525,
5557 4118549106744296512,
5558 3828886987178664227,
5559 25697701772294022,
5560 ]),
5561 Fq::from_montgomery_limbs([
5562 17140438063675080897,
5563 14878172760305139023,
5564 16025135762152951507,
5565 855206538655380046,
5566 ]),
5567 Fq::from_montgomery_limbs([
5568 10902652921411376407,
5569 298732053043081440,
5570 3474200546567636561,
5571 73249755607734230,
5572 ]),
5573 Fq::from_montgomery_limbs([
5574 10553805817393106605,
5575 11201074828085121396,
5576 245273431044608348,
5577 1118444153373328294,
5578 ]),
5579 Fq::from_montgomery_limbs([
5580 10914295885365195477,
5581 9781502968861552189,
5582 3016024785085649390,
5583 1070566622248381309,
5584 ]),
5585 Fq::from_montgomery_limbs([
5586 17207023773498274582,
5587 16270409020606599297,
5588 15615674408609362833,
5589 496415543408113636,
5590 ]),
5591 ]),
5592 Matrix::<7, 1, 7>::new_from_known([
5593 Fq::from_montgomery_limbs([
5594 12908589501999937487,
5595 8065526495594728145,
5596 14801981742319743709,
5597 275346991162297736,
5598 ]),
5599 Fq::from_montgomery_limbs([
5600 17950935244956210974,
5601 2150016307817314195,
5602 16459867286579284659,
5603 1042519399748946084,
5604 ]),
5605 Fq::from_montgomery_limbs([
5606 17900103050404502082,
5607 14452186078281849672,
5608 6480606341801761206,
5609 622530813027865777,
5610 ]),
5611 Fq::from_montgomery_limbs([
5612 6659043465579778142,
5613 5257478652828025077,
5614 4476708827204863480,
5615 16044674601944326,
5616 ]),
5617 Fq::from_montgomery_limbs([
5618 12982211781831995222,
5619 12049124325752315255,
5620 8705698258631367529,
5621 1297634030024262944,
5622 ]),
5623 Fq::from_montgomery_limbs([
5624 6491213021781179190,
5625 6621864740150572837,
5626 16900492784527502379,
5627 1222186981051134852,
5628 ]),
5629 Fq::from_montgomery_limbs([
5630 10406390218848689011,
5631 15713870170786523261,
5632 10757974052401463167,
5633 1094311561986616580,
5634 ]),
5635 ]),
5636 Matrix::<7, 1, 7>::new_from_known([
5637 Fq::from_montgomery_limbs([
5638 7587047764889575280,
5639 11453570134345482138,
5640 6685160859155170229,
5641 1173043895898907255,
5642 ]),
5643 Fq::from_montgomery_limbs([
5644 16754290437895255736,
5645 9337309604462582506,
5646 12206937090776739366,
5647 420058562194519310,
5648 ]),
5649 Fq::from_montgomery_limbs([
5650 6762379518159147694,
5651 8708770658919355547,
5652 10850018038610162125,
5653 1008085848049838570,
5654 ]),
5655 Fq::from_montgomery_limbs([
5656 13364112208667503342,
5657 15694121621742726571,
5658 10880035211673377855,
5659 373642360429768529,
5660 ]),
5661 Fq::from_montgomery_limbs([
5662 2270999049018193688,
5663 1120874468185376800,
5664 411758025544146420,
5665 1286339318101647584,
5666 ]),
5667 Fq::from_montgomery_limbs([
5668 6487825500972649335,
5669 16454995602857338429,
5670 5467561124775466727,
5671 878704090415683008,
5672 ]),
5673 Fq::from_montgomery_limbs([
5674 1065155450424764553,
5675 12374494253224172277,
5676 8660000041795033471,
5677 1111585064452242609,
5678 ]),
5679 ]),
5680 Matrix::<7, 1, 7>::new_from_known([
5681 Fq::from_montgomery_limbs([
5682 13207693125029693018,
5683 4845337225517968099,
5684 6777888238547968314,
5685 1213784418907181141,
5686 ]),
5687 Fq::from_montgomery_limbs([
5688 8840475980926169942,
5689 2439983533649319439,
5690 10722568534952104178,
5691 237040204857642763,
5692 ]),
5693 Fq::from_montgomery_limbs([
5694 12845192406743600306,
5695 2989732167685602396,
5696 9737375858921653666,
5697 1230697363927166390,
5698 ]),
5699 Fq::from_montgomery_limbs([
5700 17347381872588777362,
5701 13861116144606039805,
5702 13092379011701123650,
5703 764219716687899335,
5704 ]),
5705 Fq::from_montgomery_limbs([
5706 17560394342108123527,
5707 2417597080550067173,
5708 4892519055479234860,
5709 41147728874013821,
5710 ]),
5711 Fq::from_montgomery_limbs([
5712 16525591378009204013,
5713 15575464991459515509,
5714 8422968616365174468,
5715 411199147172891757,
5716 ]),
5717 Fq::from_montgomery_limbs([
5718 2381387149440902461,
5719 5412036122050682991,
5720 13528312040883572709,
5721 906698787086289152,
5722 ]),
5723 ]),
5724 Matrix::<7, 1, 7>::new_from_known([
5725 Fq::from_montgomery_limbs([
5726 3906793572005745013,
5727 18158346260651031144,
5728 13885155522309058406,
5729 81682927312739464,
5730 ]),
5731 Fq::from_montgomery_limbs([
5732 11556601788249882111,
5733 16294603434168644341,
5734 3233905800589936432,
5735 205935519984731,
5736 ]),
5737 Fq::from_montgomery_limbs([
5738 15060956636956141748,
5739 14545891040349678052,
5740 11359264221189720465,
5741 356824974507480378,
5742 ]),
5743 Fq::from_montgomery_limbs([
5744 13651037643855144634,
5745 9057349283398801990,
5746 11128939939991098829,
5747 339192257850626331,
5748 ]),
5749 Fq::from_montgomery_limbs([
5750 13297032679166497156,
5751 9615759066125111838,
5752 17802636590285232697,
5753 561508163130847528,
5754 ]),
5755 Fq::from_montgomery_limbs([
5756 8397658199708546603,
5757 7714753189153428100,
5758 7790178778963243461,
5759 185139104215370464,
5760 ]),
5761 Fq::from_montgomery_limbs([
5762 2180790926999539040,
5763 13412426570621087300,
5764 11981287146222961423,
5765 639288905678439923,
5766 ]),
5767 ]),
5768 Matrix::<7, 1, 7>::new_from_known([
5769 Fq::from_montgomery_limbs([
5770 14052035671409641250,
5771 13059764049401289819,
5772 11971569074865081653,
5773 1150074447408905206,
5774 ]),
5775 Fq::from_montgomery_limbs([
5776 9430708294750522894,
5777 10157980309621419039,
5778 15263989057722108309,
5779 986177323832836397,
5780 ]),
5781 Fq::from_montgomery_limbs([
5782 16901845294627087710,
5783 3489277370587647922,
5784 16697435307791475526,
5785 77304496269930872,
5786 ]),
5787 Fq::from_montgomery_limbs([
5788 11082416581543669906,
5789 10393162674600623371,
5790 3285406343096341615,
5791 1301030845466123760,
5792 ]),
5793 Fq::from_montgomery_limbs([
5794 18004954247480805141,
5795 5840089398123238351,
5796 10933632362911021710,
5797 691842568234993272,
5798 ]),
5799 Fq::from_montgomery_limbs([
5800 17084441454288473640,
5801 2235549442526480819,
5802 4281084601663253516,
5803 854500520628530615,
5804 ]),
5805 Fq::from_montgomery_limbs([
5806 15995978179451110635,
5807 5254996480963543781,
5808 12228168137501357375,
5809 768298814850744789,
5810 ]),
5811 ]),
5812 Matrix::<7, 1, 7>::new_from_known([
5813 Fq::from_montgomery_limbs([
5814 14897923782972976882,
5815 14769556083418318998,
5816 1736582590048574781,
5817 834637190815349022,
5818 ]),
5819 Fq::from_montgomery_limbs([
5820 15951362473351174286,
5821 7550580364442366310,
5822 1142582367377712360,
5823 493901798774432186,
5824 ]),
5825 Fq::from_montgomery_limbs([
5826 6843713892592087790,
5827 17187186375181169829,
5828 2346758743517403254,
5829 440860120126405528,
5830 ]),
5831 Fq::from_montgomery_limbs([
5832 16233685001159101924,
5833 3591097020136681981,
5834 3308092724991209243,
5835 753631765436882275,
5836 ]),
5837 Fq::from_montgomery_limbs([
5838 12817371395153180792,
5839 11781447572225130349,
5840 6186298687319142696,
5841 3684689165947228,
5842 ]),
5843 Fq::from_montgomery_limbs([
5844 373243522249877820,
5845 14362378102133706173,
5846 11334127490376039043,
5847 1029386563565171794,
5848 ]),
5849 Fq::from_montgomery_limbs([
5850 3320051586177558481,
5851 3693313581776176503,
5852 4243258718797155237,
5853 280296683627599109,
5854 ]),
5855 ]),
5856 Matrix::<7, 1, 7>::new_from_known([
5857 Fq::from_montgomery_limbs([
5858 15777714567664176983,
5859 13315644392893971158,
5860 17663595314793470728,
5861 277994346352588461,
5862 ]),
5863 Fq::from_montgomery_limbs([
5864 10698748229571229513,
5865 4993514528007275782,
5866 9851470184989070944,
5867 486473547501834583,
5868 ]),
5869 Fq::from_montgomery_limbs([
5870 15731541659238915573,
5871 10580160097474154328,
5872 14072730437229004460,
5873 541485168141790138,
5874 ]),
5875 Fq::from_montgomery_limbs([
5876 3621838382408245781,
5877 5140837518507686846,
5878 692462686779552266,
5879 1071238232671920069,
5880 ]),
5881 Fq::from_montgomery_limbs([
5882 16903035807706989718,
5883 16402342976729397848,
5884 6638418596135594138,
5885 766006849863633370,
5886 ]),
5887 Fq::from_montgomery_limbs([
5888 3391835462656069558,
5889 8478240763735883610,
5890 6583767175704093831,
5891 605702159954668519,
5892 ]),
5893 Fq::from_montgomery_limbs([
5894 13153440956937332187,
5895 8778062398439311613,
5896 14496687227146002795,
5897 1184865635693926839,
5898 ]),
5899 ]),
5900 Matrix::<7, 1, 7>::new_from_known([
5901 Fq::from_montgomery_limbs([
5902 5492025723621450587,
5903 4802310335533070821,
5904 5103778166610184416,
5905 1237824309223979752,
5906 ]),
5907 Fq::from_montgomery_limbs([
5908 13230781860208750726,
5909 13444089818089484139,
5910 17921412814723519524,
5911 1222680843018701540,
5912 ]),
5913 Fq::from_montgomery_limbs([
5914 6469994574006187252,
5915 9454411230540098121,
5916 347262197325431191,
5917 486705196263913773,
5918 ]),
5919 Fq::from_montgomery_limbs([
5920 3947674970632735265,
5921 2916300977963946491,
5922 6881904307166023017,
5923 457112286806257099,
5924 ]),
5925 Fq::from_montgomery_limbs([
5926 8734203063029639947,
5927 9235030054635977911,
5928 17117573327238268274,
5929 1336943205846791314,
5930 ]),
5931 Fq::from_montgomery_limbs([
5932 14915061407614767729,
5933 5343187615398945512,
5934 5552119928369165945,
5935 230612833250200287,
5936 ]),
5937 Fq::from_montgomery_limbs([
5938 15343760251811669074,
5939 11849716817931855852,
5940 12235003752862513196,
5941 1092174591577707855,
5942 ]),
5943 ]),
5944 Matrix::<7, 1, 7>::new_from_known([
5945 Fq::from_montgomery_limbs([
5946 16055670419025007879,
5947 10167255563356161134,
5948 5873677174484181331,
5949 1119183194058634412,
5950 ]),
5951 Fq::from_montgomery_limbs([
5952 6545073505115712765,
5953 12208880957985144024,
5954 2413898051352165752,
5955 200177087583496979,
5956 ]),
5957 Fq::from_montgomery_limbs([
5958 10675772825457541870,
5959 13221200307080776964,
5960 8360161479127911800,
5961 166239764386669819,
5962 ]),
5963 Fq::from_montgomery_limbs([
5964 2006419824145230446,
5965 1298290087846863922,
5966 11954724771700273308,
5967 1258575857924774921,
5968 ]),
5969 Fq::from_montgomery_limbs([
5970 5182647705377916601,
5971 12490693483304324120,
5972 16433633239279713593,
5973 95750642123415707,
5974 ]),
5975 Fq::from_montgomery_limbs([
5976 95333990082317168,
5977 17157473840728451869,
5978 10012571168547117601,
5979 89162384671094023,
5980 ]),
5981 Fq::from_montgomery_limbs([
5982 4909644498074356100,
5983 4736187679400324044,
5984 5882012018493447769,
5985 1092049061252631253,
5986 ]),
5987 ]),
5988 Matrix::<7, 1, 7>::new_from_known([
5989 Fq::from_montgomery_limbs([
5990 7311109856180655396,
5991 11772066066061778775,
5992 4758323204662324777,
5993 424401521788398695,
5994 ]),
5995 Fq::from_montgomery_limbs([
5996 10327551942056000767,
5997 7896891757351259654,
5998 5415141459879741043,
5999 970729526627356745,
6000 ]),
6001 Fq::from_montgomery_limbs([
6002 16598021919990022911,
6003 4748198554306289116,
6004 17393884082489388120,
6005 1042289367721564407,
6006 ]),
6007 Fq::from_montgomery_limbs([
6008 6071815438135838764,
6009 6957160250256416369,
6010 5727172448350823478,
6011 363080876294209892,
6012 ]),
6013 Fq::from_montgomery_limbs([
6014 9289142807381535883,
6015 17159982138314567248,
6016 17888157697874972247,
6017 525936327365438813,
6018 ]),
6019 Fq::from_montgomery_limbs([
6020 13845673834923418042,
6021 3021171551531346231,
6022 6196055431827427575,
6023 879039969582851499,
6024 ]),
6025 Fq::from_montgomery_limbs([
6026 5868202154697212122,
6027 13487005442942356371,
6028 16163257120298149093,
6029 656445568990681140,
6030 ]),
6031 ]),
6032 Matrix::<7, 1, 7>::new_from_known([
6033 Fq::from_montgomery_limbs([
6034 6021369790491535593,
6035 2415914828808962567,
6036 8804789562076458409,
6037 141257607088107152,
6038 ]),
6039 Fq::from_montgomery_limbs([
6040 8888538666372726960,
6041 417693810472292690,
6042 6625260792856360214,
6043 48639855527887045,
6044 ]),
6045 Fq::from_montgomery_limbs([
6046 6477686476345016713,
6047 5099365493188187874,
6048 9710843539546247353,
6049 356644031678310872,
6050 ]),
6051 Fq::from_montgomery_limbs([
6052 514050899336931730,
6053 1305432265166896997,
6054 3022676376566559511,
6055 992533360610514607,
6056 ]),
6057 Fq::from_montgomery_limbs([
6058 3586775418789355531,
6059 9516764397514990497,
6060 13077440505677103078,
6061 1193605133897764836,
6062 ]),
6063 Fq::from_montgomery_limbs([
6064 11915336245727353796,
6065 3787026284924392313,
6066 9686187959466848805,
6067 331336880299973516,
6068 ]),
6069 Fq::from_montgomery_limbs([
6070 13079652964588155522,
6071 3686330961737298646,
6072 12410090506639101095,
6073 1254304946836077906,
6074 ]),
6075 ]),
6076 Matrix::<7, 1, 7>::new_from_known([
6077 Fq::from_montgomery_limbs([
6078 14841602521644800285,
6079 9707581858559806753,
6080 8194272850889842673,
6081 1175777861699186223,
6082 ]),
6083 Fq::from_montgomery_limbs([
6084 8340457880130547197,
6085 17733479127111148650,
6086 9935013927746385786,
6087 727641041410784864,
6088 ]),
6089 Fq::from_montgomery_limbs([
6090 15762625424586722564,
6091 3435382265052399320,
6092 8159926067386473340,
6093 197998409655179296,
6094 ]),
6095 Fq::from_montgomery_limbs([
6096 8605915918798970675,
6097 13692084072552856212,
6098 4328810091072359910,
6099 868588572376767645,
6100 ]),
6101 Fq::from_montgomery_limbs([
6102 1361081942051675201,
6103 15249716130118278159,
6104 2121941051566676057,
6105 559576702023081922,
6106 ]),
6107 Fq::from_montgomery_limbs([
6108 10752810451997705936,
6109 2862464874834320603,
6110 10309748098106940300,
6111 1304236557076849780,
6112 ]),
6113 Fq::from_montgomery_limbs([
6114 2835871431608154484,
6115 1749514314752450621,
6116 2725234542965358215,
6117 1201694229063035252,
6118 ]),
6119 ]),
6120 Matrix::<7, 1, 7>::new_from_known([
6121 Fq::from_montgomery_limbs([
6122 1073940549267563537,
6123 6847045449574399581,
6124 17756819714770896582,
6125 1117463338790312145,
6126 ]),
6127 Fq::from_montgomery_limbs([
6128 12704094153865092665,
6129 8539050408973245584,
6130 17734788789994913591,
6131 929238621728331350,
6132 ]),
6133 Fq::from_montgomery_limbs([
6134 10082772236499648827,
6135 15108304350645714070,
6136 3086595294879967436,
6137 1200387991311725607,
6138 ]),
6139 Fq::from_montgomery_limbs([
6140 5047622605931054175,
6141 7557906648527048263,
6142 9624095609160422424,
6143 45506591031030909,
6144 ]),
6145 Fq::from_montgomery_limbs([
6146 6965550813182250949,
6147 565066047981282920,
6148 13462964114732145360,
6149 980356066902323608,
6150 ]),
6151 Fq::from_montgomery_limbs([
6152 15558299170349086309,
6153 1286346204199469533,
6154 3574858446200038472,
6155 851991524979889708,
6156 ]),
6157 Fq::from_montgomery_limbs([
6158 7325586067383897002,
6159 10233684635542340023,
6160 17557031856919477181,
6161 132029230490414274,
6162 ]),
6163 ]),
6164 Matrix::<7, 1, 7>::new_from_known([
6165 Fq::from_montgomery_limbs([
6166 7217923862445368663,
6167 3794612520606418012,
6168 8670181285195573375,
6169 240971390392704685,
6170 ]),
6171 Fq::from_montgomery_limbs([
6172 537441915444801171,
6173 3014981172602304732,
6174 1479722163959615169,
6175 155749091741220885,
6176 ]),
6177 Fq::from_montgomery_limbs([
6178 13062793399299583557,
6179 1159027774347651884,
6180 2336679478816355142,
6181 270200510125259051,
6182 ]),
6183 Fq::from_montgomery_limbs([
6184 3831694067573543757,
6185 10964370664526245902,
6186 4087998121879874921,
6187 905965084930019006,
6188 ]),
6189 Fq::from_montgomery_limbs([
6190 13194259065052094927,
6191 388722439697642959,
6192 178624285496351497,
6193 578824842066706531,
6194 ]),
6195 Fq::from_montgomery_limbs([
6196 17948259725763227950,
6197 9014484167981796209,
6198 6107081279184176814,
6199 69534426400404264,
6200 ]),
6201 Fq::from_montgomery_limbs([
6202 7978550262967360739,
6203 7491565367832202367,
6204 4365729291374404994,
6205 1335365781615388178,
6206 ]),
6207 ]),
6208 Matrix::<7, 1, 7>::new_from_known([
6209 Fq::from_montgomery_limbs([
6210 10669459440663038789,
6211 6552676677342008487,
6212 13316372054996453680,
6213 550925049999738916,
6214 ]),
6215 Fq::from_montgomery_limbs([
6216 4419333495078684322,
6217 6927538080001000341,
6218 2225108594758156053,
6219 1079053614093719540,
6220 ]),
6221 Fq::from_montgomery_limbs([
6222 1972675078636948291,
6223 12089663092664065043,
6224 17766574022138625521,
6225 121432615644490431,
6226 ]),
6227 Fq::from_montgomery_limbs([
6228 1053520141057629369,
6229 10770912132989963882,
6230 1148187868111152786,
6231 707938827427743885,
6232 ]),
6233 Fq::from_montgomery_limbs([
6234 3260322753636284964,
6235 10729835216415125135,
6236 716444025392599556,
6237 690504199610876560,
6238 ]),
6239 Fq::from_montgomery_limbs([
6240 6934370135811844333,
6241 6301658833825444793,
6242 4848235658034124485,
6243 472091301484588447,
6244 ]),
6245 Fq::from_montgomery_limbs([
6246 9777643377073268806,
6247 791842489813847254,
6248 12448150674843197239,
6249 458910758561278370,
6250 ]),
6251 ]),
6252 Matrix::<7, 1, 7>::new_from_known([
6253 Fq::from_montgomery_limbs([
6254 15803810666230694733,
6255 17547487450377911929,
6256 11906139405746854533,
6257 825285431509255503,
6258 ]),
6259 Fq::from_montgomery_limbs([
6260 16600353337473024459,
6261 1886864376737549006,
6262 616311009164692973,
6263 639902607392049032,
6264 ]),
6265 Fq::from_montgomery_limbs([
6266 1680268521087434801,
6267 1091097160854707765,
6268 18087803601592847532,
6269 572438372434779394,
6270 ]),
6271 Fq::from_montgomery_limbs([
6272 13425154509660903739,
6273 7155042440442144058,
6274 5484293510771639701,
6275 440694050533320954,
6276 ]),
6277 Fq::from_montgomery_limbs([
6278 18374411341880395201,
6279 14499066397809595914,
6280 13606711309161552316,
6281 988627169135416549,
6282 ]),
6283 Fq::from_montgomery_limbs([
6284 2227485226860398923,
6285 6037771840516072237,
6286 10092335873046301438,
6287 263890669231622026,
6288 ]),
6289 Fq::from_montgomery_limbs([
6290 16396442279804673220,
6291 11758563075897600330,
6292 14728620288909029404,
6293 1009629620490761817,
6294 ]),
6295 ]),
6296 Matrix::<7, 1, 7>::new_from_known([
6297 Fq::from_montgomery_limbs([
6298 17746049445618651584,
6299 15474250106095074477,
6300 6808865525843107141,
6301 252069263355480366,
6302 ]),
6303 Fq::from_montgomery_limbs([
6304 10094119795803932244,
6305 10978354614679659751,
6306 7451382830965148493,
6307 1131617137883762978,
6308 ]),
6309 Fq::from_montgomery_limbs([
6310 16463020271793267367,
6311 16484453755363327531,
6312 16299428051085732734,
6313 1215317962997421603,
6314 ]),
6315 Fq::from_montgomery_limbs([
6316 222141886324808295,
6317 13928396678279854231,
6318 10143359980064533818,
6319 815662865945589973,
6320 ]),
6321 Fq::from_montgomery_limbs([
6322 12231656940181472813,
6323 6572412520702222123,
6324 12613052303172694748,
6325 266113525618574574,
6326 ]),
6327 Fq::from_montgomery_limbs([
6328 988110300489242272,
6329 2246797931487708434,
6330 10572926100714461647,
6331 903118853801541805,
6332 ]),
6333 Fq::from_montgomery_limbs([
6334 530795899436597525,
6335 8521163943052335338,
6336 8151289800410686217,
6337 36252124276088895,
6338 ]),
6339 ]),
6340 Matrix::<7, 1, 7>::new_from_known([
6341 Fq::from_montgomery_limbs([
6342 15950738796712300438,
6343 5211784799364900458,
6344 10872161777257884476,
6345 622500837165264302,
6346 ]),
6347 Fq::from_montgomery_limbs([
6348 1796299668914971469,
6349 10069069742410689124,
6350 17398930418864211639,
6351 571074796095573997,
6352 ]),
6353 Fq::from_montgomery_limbs([
6354 17415629526903541572,
6355 60522099572337001,
6356 7357276421993594658,
6357 67139681069623750,
6358 ]),
6359 Fq::from_montgomery_limbs([
6360 3150476614427182634,
6361 11400695529363767640,
6362 9974085938634932190,
6363 201799321821634924,
6364 ]),
6365 Fq::from_montgomery_limbs([
6366 17211147489720667761,
6367 15454125189814636772,
6368 1785683860014593630,
6369 1234545901167080662,
6370 ]),
6371 Fq::from_montgomery_limbs([
6372 12917754021603623789,
6373 10145571812631521550,
6374 5237021007548635344,
6375 113519696768852825,
6376 ]),
6377 Fq::from_montgomery_limbs([
6378 15503258828146475946,
6379 914788767927389955,
6380 8850539145480636682,
6381 452504293017031100,
6382 ]),
6383 ]),
6384 Matrix::<7, 1, 7>::new_from_known([
6385 Fq::from_montgomery_limbs([
6386 3745554364046936255,
6387 4597306622888789154,
6388 5979651250338667136,
6389 1238385628454513051,
6390 ]),
6391 Fq::from_montgomery_limbs([
6392 3776630884323931547,
6393 3549782146440747750,
6394 5508785071859620867,
6395 701959603932551327,
6396 ]),
6397 Fq::from_montgomery_limbs([
6398 15669417982403128442,
6399 4987063011318496848,
6400 2675129774208819610,
6401 752856218864954922,
6402 ]),
6403 Fq::from_montgomery_limbs([
6404 12384169795306075140,
6405 13266521557806758758,
6406 8976316392650036414,
6407 779369456063978984,
6408 ]),
6409 Fq::from_montgomery_limbs([
6410 7882432423342926513,
6411 17205292058596297059,
6412 11479846445566224721,
6413 1260089851413577942,
6414 ]),
6415 Fq::from_montgomery_limbs([
6416 14020835325904272518,
6417 10352766579517264043,
6418 15417820050597494655,
6419 621361945178146722,
6420 ]),
6421 Fq::from_montgomery_limbs([
6422 17051687952810193326,
6423 6871472877919148363,
6424 3489400199188897362,
6425 687766677359196782,
6426 ]),
6427 ]),
6428 Matrix::<7, 1, 7>::new_from_known([
6429 Fq::from_montgomery_limbs([
6430 17382705588788402853,
6431 4598916697035859633,
6432 4518832565581736311,
6433 653080619696360531,
6434 ]),
6435 Fq::from_montgomery_limbs([
6436 2250500707327888710,
6437 8472537755265510597,
6438 8234912680399854173,
6439 435433220178846885,
6440 ]),
6441 Fq::from_montgomery_limbs([
6442 11580178681277497490,
6443 5498607256285409706,
6444 4135785859002967214,
6445 1124489661838811902,
6446 ]),
6447 Fq::from_montgomery_limbs([
6448 17779714097123614458,
6449 8699423459123996923,
6450 15631484148488778752,
6451 909516986337557641,
6452 ]),
6453 Fq::from_montgomery_limbs([
6454 18163751795979980990,
6455 11867922209368440763,
6456 10515761459427034219,
6457 1332994349752029313,
6458 ]),
6459 Fq::from_montgomery_limbs([
6460 6467500727988715108,
6461 9306282235622577642,
6462 13541102366651570877,
6463 416775728642319774,
6464 ]),
6465 Fq::from_montgomery_limbs([
6466 10383099790322168017,
6467 17058343682036470720,
6468 16556281441888606360,
6469 1108176927190266030,
6470 ]),
6471 ]),
6472 Matrix::<7, 1, 7>::new_from_known([
6473 Fq::from_montgomery_limbs([
6474 8622953880956768188,
6475 7398970229585501839,
6476 3084527402086859984,
6477 1314489003639612227,
6478 ]),
6479 Fq::from_montgomery_limbs([
6480 2647974631426734642,
6481 3924418247812102940,
6482 4184932287519868312,
6483 1194114797716949792,
6484 ]),
6485 Fq::from_montgomery_limbs([
6486 14598747211696490139,
6487 10879316167117011549,
6488 9287974170985802960,
6489 731429090606059611,
6490 ]),
6491 Fq::from_montgomery_limbs([
6492 9444556880219125709,
6493 5586056795682328427,
6494 7367116120983861589,
6495 588219877692556070,
6496 ]),
6497 Fq::from_montgomery_limbs([
6498 10966009764315859760,
6499 10742608081271307349,
6500 3709772539537310986,
6501 497532886403996414,
6502 ]),
6503 Fq::from_montgomery_limbs([
6504 15416260817024711436,
6505 431667905910500746,
6506 1387964135713748516,
6507 918060216721194080,
6508 ]),
6509 Fq::from_montgomery_limbs([
6510 11657403806820742348,
6511 10510065601598889238,
6512 8349835292055724063,
6513 502241567933397208,
6514 ]),
6515 ]),
6516 Matrix::<7, 1, 7>::new_from_known([
6517 Fq::from_montgomery_limbs([
6518 5125027997144123095,
6519 7303165910753964935,
6520 10691796975927186405,
6521 1054799562052499765,
6522 ]),
6523 Fq::from_montgomery_limbs([
6524 3677058682136778866,
6525 2112392306281972958,
6526 6200265695478657913,
6527 720439016775781556,
6528 ]),
6529 Fq::from_montgomery_limbs([
6530 8272146025997512256,
6531 10341698166702554611,
6532 15851101317909170235,
6533 452521866559100336,
6534 ]),
6535 Fq::from_montgomery_limbs([
6536 9968119379746477391,
6537 13931547738079661500,
6538 12809160964499846690,
6539 770440521239403115,
6540 ]),
6541 Fq::from_montgomery_limbs([
6542 11434415940462413800,
6543 16684667769948280834,
6544 17418898698438354203,
6545 1004769570334088081,
6546 ]),
6547 Fq::from_montgomery_limbs([
6548 3258653721799542419,
6549 3871032496675885535,
6550 15086212796812657551,
6551 548348409520277973,
6552 ]),
6553 Fq::from_montgomery_limbs([
6554 9315341100800814485,
6555 16973311177794380607,
6556 9399876472392037546,
6557 371744665007363788,
6558 ]),
6559 ]),
6560 Matrix::<7, 1, 7>::new_from_known([
6561 Fq::from_montgomery_limbs([
6562 13784204593688045203,
6563 987916117600213001,
6564 10766183396659311558,
6565 616603627600417345,
6566 ]),
6567 Fq::from_montgomery_limbs([
6568 16045652418239566399,
6569 8490486261587787544,
6570 17701136459350400996,
6571 200715104605533295,
6572 ]),
6573 Fq::from_montgomery_limbs([
6574 16284971980816740279,
6575 8206294557799882679,
6576 2790028614836001157,
6577 1230396046687758171,
6578 ]),
6579 Fq::from_montgomery_limbs([
6580 9870167375285365220,
6581 7246310481239931900,
6582 17367559916410875637,
6583 828013539220163509,
6584 ]),
6585 Fq::from_montgomery_limbs([
6586 16072962173730053757,
6587 4193938980038706222,
6588 11164976873168367038,
6589 230857852443905890,
6590 ]),
6591 Fq::from_montgomery_limbs([
6592 7523323272036182261,
6593 7860098358273104019,
6594 14378442365280097332,
6595 1330897076351403427,
6596 ]),
6597 Fq::from_montgomery_limbs([
6598 5166916295217303780,
6599 12258429519770930476,
6600 7573997247042435361,
6601 682178487313104306,
6602 ]),
6603 ]),
6604 Matrix::<7, 1, 7>::new_from_known([
6605 Fq::from_montgomery_limbs([
6606 2043764091903620445,
6607 4485903403091863087,
6608 7882707843266586726,
6609 32588602135411527,
6610 ]),
6611 Fq::from_montgomery_limbs([
6612 15445407966754968040,
6613 18357001192960460653,
6614 4704086230082948769,
6615 786939246434391312,
6616 ]),
6617 Fq::from_montgomery_limbs([
6618 16117366278228333427,
6619 18271129267524238221,
6620 10279609063883049289,
6621 1039698878929789014,
6622 ]),
6623 Fq::from_montgomery_limbs([
6624 7187518414442758799,
6625 1779717612181090682,
6626 11702580549115117112,
6627 938810897647106356,
6628 ]),
6629 Fq::from_montgomery_limbs([
6630 17722222577775244941,
6631 9996465098177475040,
6632 6523413930963943566,
6633 594985722442752339,
6634 ]),
6635 Fq::from_montgomery_limbs([
6636 14942503613037167587,
6637 18043065733746265056,
6638 18350946329946766564,
6639 456482704506596726,
6640 ]),
6641 Fq::from_montgomery_limbs([
6642 413913659191909137,
6643 6804960474770818549,
6644 11211569852612831192,
6645 29172099643213194,
6646 ]),
6647 ]),
6648 Matrix::<7, 1, 7>::new_from_known([
6649 Fq::from_montgomery_limbs([
6650 12244020429757927595,
6651 7878431481226438368,
6652 15736494002689538032,
6653 952552586365680365,
6654 ]),
6655 Fq::from_montgomery_limbs([
6656 6811639335636941408,
6657 13087253934833450042,
6658 14243138544038514009,
6659 802500736974958878,
6660 ]),
6661 Fq::from_montgomery_limbs([
6662 5119841013779673124,
6663 924763452388520667,
6664 13728889174508658116,
6665 1253763325687067827,
6666 ]),
6667 Fq::from_montgomery_limbs([
6668 15043507624384025219,
6669 14829641103772380163,
6670 3009461704678867396,
6671 937642236989310683,
6672 ]),
6673 Fq::from_montgomery_limbs([
6674 11671642017952121222,
6675 16541053200478701290,
6676 1980039776401781944,
6677 588963913112990120,
6678 ]),
6679 Fq::from_montgomery_limbs([
6680 10584858696775764162,
6681 11016739814752144940,
6682 16324314276275577748,
6683 654922621317102495,
6684 ]),
6685 Fq::from_montgomery_limbs([
6686 3244897877015736117,
6687 11237789704802235882,
6688 15022173147815144257,
6689 40109243059779922,
6690 ]),
6691 ]),
6692 Matrix::<7, 1, 7>::new_from_known([
6693 Fq::from_montgomery_limbs([
6694 13421818826894964525,
6695 6843121314819036302,
6696 177656756133214759,
6697 1219229288475674852,
6698 ]),
6699 Fq::from_montgomery_limbs([
6700 6718699512784917601,
6701 586674041776306822,
6702 18334677892276409595,
6703 789222582574373919,
6704 ]),
6705 Fq::from_montgomery_limbs([
6706 2284827956975526833,
6707 6582209151387402444,
6708 16582912253436322211,
6709 341803586231976372,
6710 ]),
6711 Fq::from_montgomery_limbs([
6712 7256396544134998118,
6713 8214951682602116321,
6714 3245431556959173874,
6715 1245025275513704302,
6716 ]),
6717 Fq::from_montgomery_limbs([
6718 15432965983836887543,
6719 14720892157109837025,
6720 15495565877696769481,
6721 28040874075986580,
6722 ]),
6723 Fq::from_montgomery_limbs([
6724 2845048156588876954,
6725 8511864041625766030,
6726 12227720668782503297,
6727 751125685338714507,
6728 ]),
6729 Fq::from_montgomery_limbs([
6730 16400929974316258476,
6731 14955948068318960184,
6732 10179371694614714547,
6733 1203413977422071153,
6734 ]),
6735 ]),
6736 Matrix::<7, 1, 7>::new_from_known([
6737 Fq::from_montgomery_limbs([
6738 6945749691605470013,
6739 11814685140591736549,
6740 9661986044853389934,
6741 549110123010799116,
6742 ]),
6743 Fq::from_montgomery_limbs([
6744 10314852142802128718,
6745 16931011931436831749,
6746 6272554436628472312,
6747 613946066674111963,
6748 ]),
6749 Fq::from_montgomery_limbs([
6750 7885885393747543748,
6751 6205273416854026781,
6752 3045614234898978712,
6753 325443134576651832,
6754 ]),
6755 Fq::from_montgomery_limbs([
6756 16340716059032367665,
6757 13900104810468791197,
6758 13840116352417324181,
6759 807825755702914983,
6760 ]),
6761 Fq::from_montgomery_limbs([
6762 11307065830129329386,
6763 17314979792657924564,
6764 1031027443933101440,
6765 670942943796932032,
6766 ]),
6767 Fq::from_montgomery_limbs([
6768 16427383528817659047,
6769 269318770779983782,
6770 12646967434416881049,
6771 792232402464509209,
6772 ]),
6773 Fq::from_montgomery_limbs([
6774 5305513183378836911,
6775 3912518176481377699,
6776 15813014949092997837,
6777 717786010393961950,
6778 ]),
6779 ]),
6780 ],
6781 },
6782 optimized_arc: OptimizedArcMatrix::<39, 8, 312>::new_from_known([
6783 Fq::from_montgomery_limbs([
6784 17670646277747935280,
6785 16706444459999957760,
6786 7654997937391160943,
6787 659194013361630234,
6788 ]),
6789 Fq::from_montgomery_limbs([
6790 9306410324956668761,
6791 11918867663968452855,
6792 16159669320449336406,
6793 1027263653273380654,
6794 ]),
6795 Fq::from_montgomery_limbs([
6796 10424544810878645940,
6797 11533042162917906716,
6798 11405431418950019185,
6799 1181592306684207657,
6800 ]),
6801 Fq::from_montgomery_limbs([
6802 15511314950168773025,
6803 2706584092620486610,
6804 12589344906057924987,
6805 198949415522711747,
6806 ]),
6807 Fq::from_montgomery_limbs([
6808 6463242934034011456,
6809 4480775049700236083,
6810 1147244402884869561,
6811 251099301522684222,
6812 ]),
6813 Fq::from_montgomery_limbs([
6814 6076653156556680739,
6815 6058362204127962922,
6816 2609006430585927072,
6817 1274277644859784421,
6818 ]),
6819 Fq::from_montgomery_limbs([
6820 4034147285618545471,
6821 16309046946281719379,
6822 11732506942908882170,
6823 1141734761043516350,
6824 ]),
6825 Fq::from_montgomery_limbs([
6826 15181402120606708665,
6827 769117698742393942,
6828 8000709366545785093,
6829 128042919054960870,
6830 ]),
6831 Fq::from_montgomery_limbs([
6832 1723632755773767909,
6833 7425611528820224114,
6834 3846361608213771012,
6835 1317157014229771878,
6836 ]),
6837 Fq::from_montgomery_limbs([
6838 1180004570926588292,
6839 9835115993104089813,
6840 255514544102365106,
6841 370024046994873563,
6842 ]),
6843 Fq::from_montgomery_limbs([
6844 16507101987459533719,
6845 15603514395660572922,
6846 14849362947260167652,
6847 1094669615299361663,
6848 ]),
6849 Fq::from_montgomery_limbs([
6850 1641419564627940104,
6851 1734977130266781622,
6852 2359844858057393580,
6853 88569664018692634,
6854 ]),
6855 Fq::from_montgomery_limbs([
6856 16267328831985402574,
6857 4504129177123355587,
6858 2430336937000039615,
6859 182724946762968945,
6860 ]),
6861 Fq::from_montgomery_limbs([
6862 17793535158928999608,
6863 5634031392654154747,
6864 10364337635238532583,
6865 1179994829791766723,
6866 ]),
6867 Fq::from_montgomery_limbs([
6868 145700301814233551,
6869 7743364595931833861,
6870 13600389751414362190,
6871 60896176710147956,
6872 ]),
6873 Fq::from_montgomery_limbs([
6874 17934232373820563709,
6875 6533845630243602776,
6876 15324676632824344806,
6877 193078344538210235,
6878 ]),
6879 Fq::from_montgomery_limbs([
6880 3358859423299088468,
6881 11840854300859333122,
6882 8971776175135254558,
6883 1017237487419914281,
6884 ]),
6885 Fq::from_montgomery_limbs([
6886 16328481477177681368,
6887 1582997519876787207,
6888 5731557971602616313,
6889 498420306800783215,
6890 ]),
6891 Fq::from_montgomery_limbs([
6892 12526989383108933614,
6893 11731194362815364383,
6894 12171285115754354694,
6895 1149426086446852474,
6896 ]),
6897 Fq::from_montgomery_limbs([
6898 809732533742229508,
6899 9195963923014534752,
6900 11886583635578374853,
6901 1292532069463172705,
6902 ]),
6903 Fq::from_montgomery_limbs([
6904 15459398930996981001,
6905 17972537529111616674,
6906 6256384561719931081,
6907 1099908904421687269,
6908 ]),
6909 Fq::from_montgomery_limbs([
6910 6194631511262826563,
6911 5980361634035332899,
6912 6132585703186883039,
6913 1343152289862207638,
6914 ]),
6915 Fq::from_montgomery_limbs([
6916 13704532277655419198,
6917 9493963458736770267,
6918 12653804519172949169,
6919 218428805830292650,
6920 ]),
6921 Fq::from_montgomery_limbs([
6922 8013496787819495990,
6923 18081394694809078101,
6924 14689354188530395484,
6925 215594972753885108,
6926 ]),
6927 Fq::from_montgomery_limbs([
6928 1765918642197202432,
6929 14609627278749496598,
6930 17838479232731490790,
6931 483435431183692300,
6932 ]),
6933 Fq::from_montgomery_limbs([
6934 16887594024800193480,
6935 1328476430727273505,
6936 17409984215868190656,
6937 1068059229250495642,
6938 ]),
6939 Fq::from_montgomery_limbs([
6940 15487315671093445122,
6941 4028755842123792652,
6942 14118515559434131307,
6943 600004660835889583,
6944 ]),
6945 Fq::from_montgomery_limbs([
6946 13620558349664282044,
6947 9072735252525972202,
6948 312787852320488038,
6949 47231029883010665,
6950 ]),
6951 Fq::from_montgomery_limbs([
6952 9895950479699930991,
6953 1320083262020086701,
6954 9381389112858508819,
6955 928504768072893822,
6956 ]),
6957 Fq::from_montgomery_limbs([
6958 10747871248019763953,
6959 4479404654791651748,
6960 11550770912037988700,
6961 438216942461032792,
6962 ]),
6963 Fq::from_montgomery_limbs([
6964 18385142532667962947,
6965 12272398000439779637,
6966 7461987138462771945,
6967 558726769125714997,
6968 ]),
6969 Fq::from_montgomery_limbs([
6970 14139485618053732983,
6971 8348792317702713313,
6972 367233286875102863,
6973 186067690854023043,
6974 ]),
6975 Fq::from_montgomery_limbs([
6976 9041249832633195933,
6977 456527929350696070,
6978 3136123267563166118,
6979 862425036609816636,
6980 ]),
6981 Fq::from_montgomery_limbs([
6982 15124489565605096262,
6983 9591776999407651202,
6984 9949743867591863836,
6985 379301809986101293,
6986 ]),
6987 Fq::from_montgomery_limbs([
6988 7936212225265692567,
6989 5167873242552786141,
6990 15086007892632579186,
6991 34123317109097916,
6992 ]),
6993 Fq::from_montgomery_limbs([
6994 11979204740795107684,
6995 9025639229793397244,
6996 5413420333413553932,
6997 863248811490344887,
6998 ]),
6999 Fq::from_montgomery_limbs([
7000 9695363700834200933,
7001 8045139581671731368,
7002 11369126945536873679,
7003 469549910005852030,
7004 ]),
7005 Fq::from_montgomery_limbs([
7006 16001389245048329705,
7007 14343919283544642008,
7008 8770282828186128872,
7009 609282374273682689,
7010 ]),
7011 Fq::from_montgomery_limbs([
7012 3823216797063303082,
7013 1094417965873836739,
7014 128140664081656267,
7015 505393735803371332,
7016 ]),
7017 Fq::from_montgomery_limbs([
7018 11607694328136514560,
7019 15466463320091898450,
7020 1284330480161723488,
7021 523170093647820661,
7022 ]),
7023 Fq::from_montgomery_limbs([
7024 6591976781647884526,
7025 13155313999173994351,
7026 5534892153549946238,
7027 596288575025257402,
7028 ]),
7029 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7030 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7031 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7032 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7033 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7034 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7035 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7036 Fq::from_montgomery_limbs([
7037 11245287468508932221,
7038 6475072057356916286,
7039 8955917100198612964,
7040 906270931915685321,
7041 ]),
7042 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7043 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7044 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7045 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7046 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7047 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7048 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7049 Fq::from_montgomery_limbs([
7050 15725649958168108419,
7051 4885330408482380508,
7052 6484207300414290657,
7053 1056573086606426860,
7054 ]),
7055 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7056 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7057 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7058 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7059 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7060 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7061 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7062 Fq::from_montgomery_limbs([
7063 16437212199268506264,
7064 15424576221688158299,
7065 13027006101536779850,
7066 608117920425829987,
7067 ]),
7068 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7069 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7070 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7071 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7072 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7073 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7074 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7075 Fq::from_montgomery_limbs([
7076 17697959731033747413,
7077 881277620659586097,
7078 12999020138550792084,
7079 218994748484938916,
7080 ]),
7081 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7082 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7083 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7084 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7085 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7086 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7087 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7088 Fq::from_montgomery_limbs([
7089 12187347033384567067,
7090 17834331425991885966,
7091 8111171543195993305,
7092 1237278747760332198,
7093 ]),
7094 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7095 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7096 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7097 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7098 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7099 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7100 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7101 Fq::from_montgomery_limbs([
7102 11540996079264122621,
7103 2083205448185058166,
7104 346303233664255773,
7105 67570065514985214,
7106 ]),
7107 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7108 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7109 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7110 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7111 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7112 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7113 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7114 Fq::from_montgomery_limbs([
7115 10393932313960189738,
7116 17658417030509504989,
7117 4494310414388827903,
7118 1083916009420136201,
7119 ]),
7120 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7121 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7122 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7123 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7124 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7125 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7126 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7127 Fq::from_montgomery_limbs([
7128 2630959439345449795,
7129 1305013099304121044,
7130 14958893064556663587,
7131 502133670161114876,
7132 ]),
7133 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7134 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7135 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7136 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7137 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7138 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7139 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7140 Fq::from_montgomery_limbs([
7141 13496177055604370316,
7142 12107925075218853848,
7143 10893831346139387200,
7144 735686689798442157,
7145 ]),
7146 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7147 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7148 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7149 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7150 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7151 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7152 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7153 Fq::from_montgomery_limbs([
7154 12364352345596204590,
7155 12473718848164928984,
7156 2425158662567034925,
7157 904357473540167435,
7158 ]),
7159 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7160 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7161 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7162 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7163 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7164 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7165 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7166 Fq::from_montgomery_limbs([
7167 14250114029266561642,
7168 9657963390342822389,
7169 16617255202449702017,
7170 52229193358824331,
7171 ]),
7172 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7173 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7174 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7175 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7176 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7177 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7178 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7179 Fq::from_montgomery_limbs([
7180 3393942568576243306,
7181 15201405507578251139,
7182 6434177138638406256,
7183 116816845492109945,
7184 ]),
7185 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7186 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7187 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7188 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7189 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7190 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7191 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7192 Fq::from_montgomery_limbs([
7193 14360127524315233155,
7194 4631991403443744392,
7195 10826720762323261633,
7196 1154614674523717146,
7197 ]),
7198 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7199 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7200 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7201 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7202 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7203 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7204 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7205 Fq::from_montgomery_limbs([
7206 14829610837565210361,
7207 7693159893394777397,
7208 13277623225200387185,
7209 263905793180518944,
7210 ]),
7211 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7212 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7213 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7214 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7215 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7216 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7217 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7218 Fq::from_montgomery_limbs([
7219 4366690825327685189,
7220 15770582084981330795,
7221 9277162666554299542,
7222 1073180600510589318,
7223 ]),
7224 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7225 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7226 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7227 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7228 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7229 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7230 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7231 Fq::from_montgomery_limbs([
7232 16303997479448678802,
7233 7666294877889688289,
7234 2209941188570371640,
7235 1162514781528013202,
7236 ]),
7237 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7238 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7239 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7240 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7241 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7242 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7243 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7244 Fq::from_montgomery_limbs([
7245 1444309609555002006,
7246 10573827461364748619,
7247 2213854418060563275,
7248 401298293463815465,
7249 ]),
7250 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7251 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7252 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7253 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7254 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7255 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7256 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7257 Fq::from_montgomery_limbs([
7258 13603143649902644173,
7259 267673648604347469,
7260 14770735498081352270,
7261 897064240488864979,
7262 ]),
7263 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7264 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7265 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7266 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7267 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7268 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7269 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7270 Fq::from_montgomery_limbs([
7271 8455439882916778200,
7272 7244379144226653693,
7273 4901050804550540073,
7274 742531378918583129,
7275 ]),
7276 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7277 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7278 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7279 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7280 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7281 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7282 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7283 Fq::from_montgomery_limbs([
7284 9638569098999723413,
7285 8668710516732565855,
7286 12439587172429553092,
7287 769864205315111320,
7288 ]),
7289 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7290 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7291 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7292 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7293 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7294 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7295 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7296 Fq::from_montgomery_limbs([
7297 10577866480500504509,
7298 15180092538013446632,
7299 5047010252898418108,
7300 950851917894966177,
7301 ]),
7302 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7303 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7304 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7305 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7306 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7307 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7308 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7309 Fq::from_montgomery_limbs([
7310 3189260863075829869,
7311 10864458126965265163,
7312 3908173847970795616,
7313 372196369105917792,
7314 ]),
7315 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7316 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7317 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7318 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7319 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7320 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7321 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7322 Fq::from_montgomery_limbs([
7323 2051981355439501951,
7324 5174689290614735930,
7325 13076787589476369050,
7326 248791600711156417,
7327 ]),
7328 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7329 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7330 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7331 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7332 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7333 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7334 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7335 Fq::from_montgomery_limbs([
7336 18083408695123027967,
7337 12620252496424532716,
7338 15225720090085185173,
7339 1087409511851215366,
7340 ]),
7341 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7342 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7343 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7344 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7345 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7346 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7347 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7348 Fq::from_montgomery_limbs([
7349 1151518846415312778,
7350 2617847070972026268,
7351 11920538756871768189,
7352 372494371299109617,
7353 ]),
7354 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7355 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7356 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7357 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7358 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7359 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7360 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7361 Fq::from_montgomery_limbs([
7362 8129021687746030207,
7363 5089594247705352277,
7364 13404536729495455227,
7365 996268291797137887,
7366 ]),
7367 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7368 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7369 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7370 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7371 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7372 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7373 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7374 Fq::from_montgomery_limbs([
7375 9082481642086184012,
7376 16123562957232930427,
7377 113453873016526172,
7378 1171240835007212511,
7379 ]),
7380 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7381 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7382 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7383 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7384 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7385 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7386 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7387 Fq::from_montgomery_limbs([
7388 9619017927874739465,
7389 12861346968534199922,
7390 6474341695138246789,
7391 329774666529093679,
7392 ]),
7393 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7394 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7395 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7396 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7397 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7398 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7399 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7400 Fq::from_montgomery_limbs([
7401 4828844673239990367,
7402 9237140426585666270,
7403 4472429349292670700,
7404 1211740921942321738,
7405 ]),
7406 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7407 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7408 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7409 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7410 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7411 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7412 Fq::from_montgomery_limbs([0, 0, 0, 0]),
7413 Fq::from_montgomery_limbs([
7414 6374588877936433558,
7415 11607665174546753642,
7416 15847675340170713041,
7417 474145143590361300,
7418 ]),
7419 Fq::from_montgomery_limbs([
7420 4088002413776997222,
7421 16030858922743461837,
7422 4313473177343544055,
7423 817302900123673764,
7424 ]),
7425 Fq::from_montgomery_limbs([
7426 18216186189548814543,
7427 5687648301273358200,
7428 6564098766262925833,
7429 235647764529877689,
7430 ]),
7431 Fq::from_montgomery_limbs([
7432 1421650618584051851,
7433 9669410210003093316,
7434 15430467067773365518,
7435 994269415526604309,
7436 ]),
7437 Fq::from_montgomery_limbs([
7438 7574559796775011993,
7439 9643962694113220666,
7440 1013275434882478619,
7441 543427156325963008,
7442 ]),
7443 Fq::from_montgomery_limbs([
7444 4532353768594877907,
7445 2433286855157726742,
7446 15167390808651362948,
7447 914159030044677082,
7448 ]),
7449 Fq::from_montgomery_limbs([
7450 14155199821083030453,
7451 3642619697360819367,
7452 7765405773737076472,
7453 1202115259646869817,
7454 ]),
7455 Fq::from_montgomery_limbs([
7456 16335533268534142579,
7457 4358492749042076660,
7458 16385044626223358243,
7459 847268434257421024,
7460 ]),
7461 Fq::from_montgomery_limbs([
7462 726136436292617217,
7463 4735276118883290434,
7464 6495677390337301519,
7465 1007951275499954400,
7466 ]),
7467 Fq::from_montgomery_limbs([
7468 1441892049918589996,
7469 16125120862288806381,
7470 5244917656153261337,
7471 108755599353706277,
7472 ]),
7473 Fq::from_montgomery_limbs([
7474 9330223445766086137,
7475 9406197553353640417,
7476 13281468059023600014,
7477 500503138812404763,
7478 ]),
7479 Fq::from_montgomery_limbs([
7480 5355456155777194776,
7481 15418542913049291849,
7482 7681885321566295504,
7483 1188094463923126996,
7484 ]),
7485 Fq::from_montgomery_limbs([
7486 11882193142358058793,
7487 4624069509548102427,
7488 6735235437551193554,
7489 962114122876706035,
7490 ]),
7491 Fq::from_montgomery_limbs([
7492 1819083831857771980,
7493 8349663267034291058,
7494 14403983179525206765,
7495 942284040773068417,
7496 ]),
7497 Fq::from_montgomery_limbs([
7498 7024062436534453440,
7499 15203692147142724388,
7500 17082973923084045231,
7501 1191890185052815108,
7502 ]),
7503 Fq::from_montgomery_limbs([
7504 6672719206476059341,
7505 18362672287252020084,
7506 3555226216430454216,
7507 300718449399370145,
7508 ]),
7509 Fq::from_montgomery_limbs([
7510 5828458911011841758,
7511 9271852277477872143,
7512 18378348640149073615,
7513 591074353691784318,
7514 ]),
7515 Fq::from_montgomery_limbs([
7516 15397757499179479361,
7517 1878199828613873660,
7518 4164621900891789384,
7519 558990401377082502,
7520 ]),
7521 Fq::from_montgomery_limbs([
7522 11069496558892348093,
7523 10253211614498485032,
7524 11458203419889384673,
7525 575447664584685933,
7526 ]),
7527 Fq::from_montgomery_limbs([
7528 9808353214047792416,
7529 4805184465312945639,
7530 3985871967202506787,
7531 1229730183276593449,
7532 ]),
7533 Fq::from_montgomery_limbs([
7534 8420435996312062450,
7535 11100705514596499443,
7536 1523101111273631766,
7537 639557004587150270,
7538 ]),
7539 Fq::from_montgomery_limbs([
7540 15630012259368829028,
7541 15079774099427294323,
7542 16765804689810369633,
7543 834886070512612798,
7544 ]),
7545 Fq::from_montgomery_limbs([
7546 2000344807995355152,
7547 8654391083188520616,
7548 13301563010992444431,
7549 490951127405891771,
7550 ]),
7551 Fq::from_montgomery_limbs([
7552 11761875542266860374,
7553 709339183471929228,
7554 17682621289319303167,
7555 570040706396372700,
7556 ]),
7557 Fq::from_montgomery_limbs([
7558 3366481512891059038,
7559 12720609556939839584,
7560 1707138651265172645,
7561 36940608792331559,
7562 ]),
7563 Fq::from_montgomery_limbs([
7564 2427334396528044490,
7565 10170194639028880515,
7566 18243990154741074229,
7567 607502491270396977,
7568 ]),
7569 Fq::from_montgomery_limbs([
7570 6267947100515031640,
7571 14520122887125811439,
7572 6695614471931546770,
7573 251319533602819784,
7574 ]),
7575 Fq::from_montgomery_limbs([
7576 7663026857490478572,
7577 15777701966597798170,
7578 10617198553182548195,
7579 642318201966621785,
7580 ]),
7581 Fq::from_montgomery_limbs([
7582 9959998770754152632,
7583 13119241263216166622,
7584 6328810982306793729,
7585 571460896430554998,
7586 ]),
7587 Fq::from_montgomery_limbs([
7588 12042605027273090048,
7589 14859482580111939906,
7590 11509134713697889199,
7591 561895216440235106,
7592 ]),
7593 Fq::from_montgomery_limbs([
7594 1156916933025613310,
7595 4529329408550568088,
7596 14286907616576238972,
7597 1309540780962817079,
7598 ]),
7599 Fq::from_montgomery_limbs([
7600 7510365353910652337,
7601 14538991928012962248,
7602 4644117500717216624,
7603 1340316749461135700,
7604 ]),
7605 ]),
7606 }
7607}