1use decaf377::Fq;
2use poseidon_parameters::v1::{
3 Alpha, ArcMatrix, Matrix, MdsMatrix, OptimizedArcMatrix, OptimizedMdsMatrices,
4 PoseidonParameters, RoundNumbers, SquareMatrix,
5};
6
7pub const fn rate_3() -> PoseidonParameters<4, 3, 16, 9, 39, 4, 156, 31> {
9 PoseidonParameters {
10 M: 128,
11 arc: ArcMatrix::<39, 4, 156>::new_from_known([
12 Fq::from_montgomery_limbs([
13 15748480026335769443,
14 10026984616551622801,
15 2063724428730618452,
16 1110463257231131824,
17 ]),
18 Fq::from_montgomery_limbs([
19 9405142820695944635,
20 11887146523697465657,
21 7764829263011233272,
22 10688178588086322,
23 ]),
24 Fq::from_montgomery_limbs([
25 7160766575090090422,
26 13093321275956005400,
27 4459692368517809830,
28 1324823328343033307,
29 ]),
30 Fq::from_montgomery_limbs([
31 8967803866417976527,
32 10882703683899587484,
33 12604355713142717837,
34 913362872025451921,
35 ]),
36 Fq::from_montgomery_limbs([
37 15434913893282099231,
38 3277411989792281453,
39 17050922401305883749,
40 1246396795570595652,
41 ]),
42 Fq::from_montgomery_limbs([
43 16287493285262395377,
44 5813955731335134269,
45 4301474317614585594,
46 257520225036445364,
47 ]),
48 Fq::from_montgomery_limbs([
49 6906749939426292513,
50 6186370802689597769,
51 13121713652409052978,
52 974279291569484389,
53 ]),
54 Fq::from_montgomery_limbs([
55 8879700369639612352,
56 13618625792929032624,
57 3907123048620659133,
58 13234475218016492,
59 ]),
60 Fq::from_montgomery_limbs([
61 8645743306703223161,
62 2649437454338131787,
63 1563690154181407289,
64 1014186398941703531,
65 ]),
66 Fq::from_montgomery_limbs([
67 3215833110701720679,
68 2309636887892103305,
69 8098930435412331037,
70 874663616929857835,
71 ]),
72 Fq::from_montgomery_limbs([
73 12979468067887852608,
74 5086746922420764336,
75 15129738790560069297,
76 751939553752695744,
77 ]),
78 Fq::from_montgomery_limbs([
79 2977455406847333432,
80 16814711076234176662,
81 2052393181081329017,
82 1025504667378050833,
83 ]),
84 Fq::from_montgomery_limbs([
85 7769933776177646251,
86 18381610027802955757,
87 14883656026535111760,
88 810712025708758153,
89 ]),
90 Fq::from_montgomery_limbs([
91 17772168373864941552,
92 6465821213265847266,
93 13630379320513469760,
94 377801609900980707,
95 ]),
96 Fq::from_montgomery_limbs([
97 15796194027949120118,
98 344995813018918925,
99 1773993772309248477,
100 495371203446902105,
101 ]),
102 Fq::from_montgomery_limbs([
103 2372367672613269254,
104 1881994507861568925,
105 12499063082888296383,
106 198183890354307133,
107 ]),
108 Fq::from_montgomery_limbs([
109 8560339202466452135,
110 4674741842794783289,
111 2295938056459737653,
112 1305584587019963566,
113 ]),
114 Fq::from_montgomery_limbs([
115 15461653997367792205,
116 5090711996373026875,
117 11075299042609757676,
118 357873227640910306,
119 ]),
120 Fq::from_montgomery_limbs([
121 13214321932666947005,
122 16528230236252211216,
123 1734602115269476888,
124 818804650790090647,
125 ]),
126 Fq::from_montgomery_limbs([
127 3074208048728389137,
128 15294693683882801473,
129 8267213793554472185,
130 939723642447579953,
131 ]),
132 Fq::from_montgomery_limbs([
133 7608844071812963093,
134 3353589238160526207,
135 1067027003640137200,
136 792698467630664137,
137 ]),
138 Fq::from_montgomery_limbs([
139 2391877978401333891,
140 3445084574946968197,
141 5867047100623880462,
142 384653842732542416,
143 ]),
144 Fq::from_montgomery_limbs([
145 13914996210513565866,
146 8700856800201437460,
147 10425054275786134234,
148 541663540168055488,
149 ]),
150 Fq::from_montgomery_limbs([
151 14596932606745167054,
152 16496367856477422743,
153 3083425729320663120,
154 1085256212719522319,
155 ]),
156 Fq::from_montgomery_limbs([
157 2801764879250151374,
158 12953139825024524798,
159 4394381772409440172,
160 830313299202608738,
161 ]),
162 Fq::from_montgomery_limbs([
163 13075739450270366768,
164 9659330049829153230,
165 12704212718639626523,
166 379597176451908972,
167 ]),
168 Fq::from_montgomery_limbs([
169 9001536902225952463,
170 6674549463409581165,
171 3938882380056074877,
172 470816176925644781,
173 ]),
174 Fq::from_montgomery_limbs([
175 5294884807833067443,
176 14704992853616613201,
177 11757098272470647345,
178 665189038743785081,
179 ]),
180 Fq::from_montgomery_limbs([
181 18065518746286947233,
182 11431857512891870190,
183 7287431282350112106,
184 995640933596957099,
185 ]),
186 Fq::from_montgomery_limbs([
187 15052981787521128144,
188 7858896385113452253,
189 5947479460571918718,
190 325110107616048024,
191 ]),
192 Fq::from_montgomery_limbs([
193 8613576755313845653,
194 13985454223970503802,
195 5789054661699635475,
196 985740677230137068,
197 ]),
198 Fq::from_montgomery_limbs([
199 3926674414459183479,
200 15125652309946021274,
201 7647466298927812509,
202 538639589943257540,
203 ]),
204 Fq::from_montgomery_limbs([
205 13088032312231323780,
206 5311715134728782442,
207 9012071499019100799,
208 1330544433302886302,
209 ]),
210 Fq::from_montgomery_limbs([
211 3664690074919872926,
212 1742673068665566813,
213 17290766138005523036,
214 1336141459748487725,
215 ]),
216 Fq::from_montgomery_limbs([
217 16701892693656888438,
218 5154406097941234252,
219 2366974417176707806,
220 154891066872919950,
221 ]),
222 Fq::from_montgomery_limbs([
223 8557542807233937796,
224 15959352071512430351,
225 4990793324727743483,
226 1293908698860086179,
227 ]),
228 Fq::from_montgomery_limbs([
229 15073124381299855142,
230 16058294570821288175,
231 6075369664645776758,
232 87903751159999429,
233 ]),
234 Fq::from_montgomery_limbs([
235 260728936241443673,
236 368587472503844932,
237 2223560135924572606,
238 805228060621005528,
239 ]),
240 Fq::from_montgomery_limbs([
241 7269287363866321270,
242 2522156147731399548,
243 13054616534728649482,
244 931053562448615214,
245 ]),
246 Fq::from_montgomery_limbs([
247 4160721187467010576,
248 15149513473553012866,
249 15656814560183579945,
250 1001129190706658794,
251 ]),
252 Fq::from_montgomery_limbs([
253 14658651187247608250,
254 12880504629543941444,
255 10429384779372580470,
256 1161303852698833077,
257 ]),
258 Fq::from_montgomery_limbs([
259 1235937067845588009,
260 7263495784070768735,
261 1030907402673138059,
262 112249256173393847,
263 ]),
264 Fq::from_montgomery_limbs([
265 9458598589591766548,
266 11826210343318171415,
267 5267632108497983083,
268 878978097354051448,
269 ]),
270 Fq::from_montgomery_limbs([
271 9349450799754247443,
272 5592311323302686001,
273 8710868002211880477,
274 339828983129180906,
275 ]),
276 Fq::from_montgomery_limbs([
277 17187343190949067712,
278 4809921206309548539,
279 1654263325380555971,
280 1029486713709570633,
281 ]),
282 Fq::from_montgomery_limbs([
283 7644765658684612346,
284 13218702097576502896,
285 16500195852294632749,
286 1306030386106155137,
287 ]),
288 Fq::from_montgomery_limbs([
289 3505773913815738861,
290 4811121454898644532,
291 6220593478751174597,
292 617955371370962677,
293 ]),
294 Fq::from_montgomery_limbs([
295 15743683183886237853,
296 5364535566544930778,
297 13962926219706156342,
298 279010990417402073,
299 ]),
300 Fq::from_montgomery_limbs([
301 5534551911701805251,
302 16755407359921259948,
303 11104629150013572555,
304 814043341910345398,
305 ]),
306 Fq::from_montgomery_limbs([
307 8944448190814835116,
308 15456464214992510712,
309 8458597289994495014,
310 1265792487860718358,
311 ]),
312 Fq::from_montgomery_limbs([
313 3488692111583557919,
314 13331987553376721589,
315 18402338094634938868,
316 1065887348732752750,
317 ]),
318 Fq::from_montgomery_limbs([
319 9073355603731228680,
320 14479691350704356281,
321 12891384335089494102,
322 794286481590472402,
323 ]),
324 Fq::from_montgomery_limbs([
325 837263131188576340,
326 12622228587018704025,
327 17555140662019162595,
328 116065994774231082,
329 ]),
330 Fq::from_montgomery_limbs([
331 14557259484417606169,
332 4562566277830260822,
333 4089084236598109790,
334 503526388329690921,
335 ]),
336 Fq::from_montgomery_limbs([
337 4425139792333247996,
338 17192910803843537440,
339 6327001334305018300,
340 1189405791856364044,
341 ]),
342 Fq::from_montgomery_limbs([
343 600163066110636331,
344 12319630319416791292,
345 4537854761219498244,
346 33425175842117417,
347 ]),
348 Fq::from_montgomery_limbs([
349 6516037169436621352,
350 5864705901197391949,
351 9864817317342287359,
352 931460564657389579,
353 ]),
354 Fq::from_montgomery_limbs([
355 11238491471364916474,
356 18217352394306774045,
357 8369866412509597036,
358 1044188737560722381,
359 ]),
360 Fq::from_montgomery_limbs([
361 15194113841410138763,
362 9713698855149445572,
363 840830724179458009,
364 574399528344548482,
365 ]),
366 Fq::from_montgomery_limbs([
367 10094044208972451177,
368 14820311408839650250,
369 832731916797264605,
370 1078999540214538853,
371 ]),
372 Fq::from_montgomery_limbs([
373 16122314034306189535,
374 9724832477076262589,
375 15428406989180491409,
376 739923283713385548,
377 ]),
378 Fq::from_montgomery_limbs([
379 990447045496888008,
380 3954312775585670686,
381 14414097128339264209,
382 1160784537044385327,
383 ]),
384 Fq::from_montgomery_limbs([
385 12790567186406766562,
386 9540692660342267401,
387 12022170182251744455,
388 1252399210348847836,
389 ]),
390 Fq::from_montgomery_limbs([
391 7494400281462281059,
392 13969110066704963391,
393 6054746240150948073,
394 950110029163098453,
395 ]),
396 Fq::from_montgomery_limbs([
397 10519706033512544620,
398 1273243870837414124,
399 6743773117001565585,
400 464260752488464109,
401 ]),
402 Fq::from_montgomery_limbs([
403 6644031355037466023,
404 1291805761807358108,
405 6551243450297799793,
406 489432277343575283,
407 ]),
408 Fq::from_montgomery_limbs([
409 3733838584259262811,
410 7236713087991210405,
411 12126920741789203222,
412 522094252622775454,
413 ]),
414 Fq::from_montgomery_limbs([
415 18303517822547932992,
416 2807195054210467784,
417 13159641576753772587,
418 855829353333514728,
419 ]),
420 Fq::from_montgomery_limbs([
421 4449128923636887467,
422 13611412613163493515,
423 12025336169373281333,
424 1332896560863403205,
425 ]),
426 Fq::from_montgomery_limbs([
427 1957451185913453258,
428 11039336564323764549,
429 12727456287856679131,
430 228326154778309814,
431 ]),
432 Fq::from_montgomery_limbs([
433 11338427901906828980,
434 109935761989873387,
435 12048120310880045899,
436 1308994518812657297,
437 ]),
438 Fq::from_montgomery_limbs([
439 4699060152260570516,
440 11811201865491436236,
441 16537310942924896508,
442 1030678137510996087,
443 ]),
444 Fq::from_montgomery_limbs([
445 12646006819083654452,
446 12494391672709859571,
447 16266030119791019994,
448 719740245520971856,
449 ]),
450 Fq::from_montgomery_limbs([
451 3201794059715843426,
452 7659470317574241049,
453 9031647908161946781,
454 363148928753677985,
455 ]),
456 Fq::from_montgomery_limbs([
457 11915502048720601469,
458 5772846818657644116,
459 14815308031156385389,
460 35923403898725028,
461 ]),
462 Fq::from_montgomery_limbs([
463 170799290955765955,
464 1257452554540755479,
465 154144376612152799,
466 1049253778390741684,
467 ]),
468 Fq::from_montgomery_limbs([
469 12436956446014067805,
470 12495488261233549050,
471 15098105238157791389,
472 981323126540180488,
473 ]),
474 Fq::from_montgomery_limbs([
475 17100349351086466568,
476 15199087629262610106,
477 2857850399247819097,
478 933629509856035794,
479 ]),
480 Fq::from_montgomery_limbs([
481 4893555085527448580,
482 9471095916978593903,
483 15023640703244453163,
484 410519582864510926,
485 ]),
486 Fq::from_montgomery_limbs([
487 17697020347608707279,
488 18087907458231569196,
489 3102461787435620980,
490 62537999126012536,
491 ]),
492 Fq::from_montgomery_limbs([
493 362067899505874664,
494 14616460120599181344,
495 15083851369654439268,
496 631595353512390885,
497 ]),
498 Fq::from_montgomery_limbs([
499 1608981123540692261,
500 8134210797420893342,
501 15670126385653615755,
502 1081728063194062498,
503 ]),
504 Fq::from_montgomery_limbs([
505 4703704396738392227,
506 9402972062611023321,
507 6453958957721258724,
508 851572793112159638,
509 ]),
510 Fq::from_montgomery_limbs([
511 14824233911337383260,
512 4597555368896294115,
513 13023979643520645931,
514 1222004100879652500,
515 ]),
516 Fq::from_montgomery_limbs([
517 2891695900391958118,
518 5796773624231764530,
519 15491428749654748662,
520 1093937749145502896,
521 ]),
522 Fq::from_montgomery_limbs([
523 10646550323399881070,
524 1003826136171019194,
525 8409333161078783785,
526 585473798721331047,
527 ]),
528 Fq::from_montgomery_limbs([
529 10406448549383730564,
530 6135682111734731503,
531 11700407245549915604,
532 1085967648121639010,
533 ]),
534 Fq::from_montgomery_limbs([
535 1292557270730948407,
536 18351657967081052852,
537 2678776828196945632,
538 959596399484615466,
539 ]),
540 Fq::from_montgomery_limbs([
541 17438835186806351279,
542 5684764232294129700,
543 10157135796976222869,
544 221407997194324483,
545 ]),
546 Fq::from_montgomery_limbs([
547 7271080368260971730,
548 12425374983903708199,
549 12363525356310613233,
550 1110769717996073345,
551 ]),
552 Fq::from_montgomery_limbs([
553 8776284918006632977,
554 15535513105129775867,
555 4863301670678022317,
556 606408823553952292,
557 ]),
558 Fq::from_montgomery_limbs([
559 5066052630199551249,
560 15751267872424382675,
561 13216457812319899775,
562 20357134061436216,
563 ]),
564 Fq::from_montgomery_limbs([
565 13075702753995571952,
566 11742969640320942289,
567 17235366015989204124,
568 1150175744034062515,
569 ]),
570 Fq::from_montgomery_limbs([
571 5797072079034365870,
572 17544469376997963633,
573 14801627417863273010,
574 1279229494278656541,
575 ]),
576 Fq::from_montgomery_limbs([
577 7831938700179984096,
578 17180774215462038883,
579 4412793878621746257,
580 1256681412857074070,
581 ]),
582 Fq::from_montgomery_limbs([
583 12968148811839764483,
584 16811480840776650012,
585 8602422769386693728,
586 382111204094941728,
587 ]),
588 Fq::from_montgomery_limbs([
589 13318317749693537082,
590 3768328516420896241,
591 142206933916635569,
592 26627989124778159,
593 ]),
594 Fq::from_montgomery_limbs([
595 11933334459503099726,
596 1065153861357867533,
597 11936439423614846055,
598 1149053547479723905,
599 ]),
600 Fq::from_montgomery_limbs([
601 2631481992765688259,
602 16002912452516972398,
603 2790213850442440167,
604 971241800259043027,
605 ]),
606 Fq::from_montgomery_limbs([
607 13004331011283795828,
608 14189721912689256843,
609 6652832565990539996,
610 452227668495405848,
611 ]),
612 Fq::from_montgomery_limbs([
613 11639365468700302967,
614 13626754345549226066,
615 5122223316448852115,
616 1295194052532032537,
617 ]),
618 Fq::from_montgomery_limbs([
619 12503775634034454216,
620 12484320064934540173,
621 6283031731499175779,
622 1142971827879478463,
623 ]),
624 Fq::from_montgomery_limbs([
625 18442309574762645474,
626 16043706756922086064,
627 1203583357081319117,
628 289542689638807443,
629 ]),
630 Fq::from_montgomery_limbs([
631 13599874590406072599,
632 12311290605935601867,
633 1953047606734609742,
634 893071755833526513,
635 ]),
636 Fq::from_montgomery_limbs([
637 5038580414622442104,
638 7706592482679500096,
639 14281875320180208754,
640 1311692136942617770,
641 ]),
642 Fq::from_montgomery_limbs([
643 9116924453968593592,
644 4695211437329644351,
645 122131672006113022,
646 460639526001551111,
647 ]),
648 Fq::from_montgomery_limbs([
649 612695102453556953,
650 17430917114440300568,
651 3712227006774104749,
652 434565107124519036,
653 ]),
654 Fq::from_montgomery_limbs([
655 2711460600386692082,
656 5084507891975000066,
657 8709631773769875914,
658 701012049286425866,
659 ]),
660 Fq::from_montgomery_limbs([
661 11255000280507413421,
662 5698447525751632608,
663 12610021548558458685,
664 1327688989507972423,
665 ]),
666 Fq::from_montgomery_limbs([
667 13754440516467115564,
668 4761751981327990235,
669 9432675603353781856,
670 1033668598466658556,
671 ]),
672 Fq::from_montgomery_limbs([
673 2955363287632570334,
674 7600733227996025654,
675 12027057950170385287,
676 940571561931822742,
677 ]),
678 Fq::from_montgomery_limbs([
679 9703552155773020694,
680 5742947530758499792,
681 15763297443315122579,
682 930801506499582622,
683 ]),
684 Fq::from_montgomery_limbs([
685 12461619637026250391,
686 11019870465191278910,
687 15873529414143589982,
688 972447937818380498,
689 ]),
690 Fq::from_montgomery_limbs([
691 14971502483088783044,
692 7994961046161658478,
693 1775531898359432051,
694 206771972563020622,
695 ]),
696 Fq::from_montgomery_limbs([
697 4978085183441894637,
698 6786252161551953403,
699 1597833793868027214,
700 752497765450057609,
701 ]),
702 Fq::from_montgomery_limbs([
703 8931448885295850487,
704 14900305553280237157,
705 2562728536608668150,
706 820070530770563815,
707 ]),
708 Fq::from_montgomery_limbs([
709 11091196606428717904,
710 4420547532075463625,
711 6826607115289893546,
712 339509882889855264,
713 ]),
714 Fq::from_montgomery_limbs([
715 17256856864641998223,
716 7372887677193499350,
717 3097849850460902989,
718 1011516479262752115,
719 ]),
720 Fq::from_montgomery_limbs([
721 9808600647888735916,
722 8803141348520645434,
723 18015342816914135198,
724 7277772948085899,
725 ]),
726 Fq::from_montgomery_limbs([
727 4255905157964142682,
728 17462645559877710531,
729 3560989839800268196,
730 1096116226462923784,
731 ]),
732 Fq::from_montgomery_limbs([
733 4532426149332308403,
734 5237561599212546024,
735 9574446344492571337,
736 1288985425094911641,
737 ]),
738 Fq::from_montgomery_limbs([
739 1967144278589690647,
740 13201768465226207499,
741 11675172852243609220,
742 79359524195858682,
743 ]),
744 Fq::from_montgomery_limbs([
745 17074450551687194476,
746 16589227351082498259,
747 5830030722038791303,
748 89110035164054224,
749 ]),
750 Fq::from_montgomery_limbs([
751 3452204926739135764,
752 5895291203558274423,
753 3429941105331217419,
754 412361227440985099,
755 ]),
756 Fq::from_montgomery_limbs([
757 13210175262635268816,
758 10104864748580005346,
759 8240781084290164303,
760 168682271830987859,
761 ]),
762 Fq::from_montgomery_limbs([
763 11525437706352653758,
764 15971301990722544967,
765 11793391563239286407,
766 916031980478624773,
767 ]),
768 Fq::from_montgomery_limbs([
769 4389204516004340807,
770 12441134604525330513,
771 4580143368417059639,
772 517606274666844106,
773 ]),
774 Fq::from_montgomery_limbs([
775 6072537589623190443,
776 14275421712964513977,
777 2053999455871445365,
778 139159162484497428,
779 ]),
780 Fq::from_montgomery_limbs([
781 2238091790845791439,
782 11897799578864713665,
783 10598112979470640955,
784 1188516484791317810,
785 ]),
786 Fq::from_montgomery_limbs([
787 13761995375578127219,
788 14445881686168874002,
789 8730842343343508106,
790 75023619749953264,
791 ]),
792 Fq::from_montgomery_limbs([
793 1876841868458551114,
794 9237020881271725184,
795 16194471067922316805,
796 1271526124614314943,
797 ]),
798 Fq::from_montgomery_limbs([
799 14877699808508013807,
800 12080680751297116426,
801 594057086705046692,
802 93241042719742539,
803 ]),
804 Fq::from_montgomery_limbs([
805 12830970035552954850,
806 16724821255552997190,
807 6657724498740869088,
808 1006163239038875246,
809 ]),
810 Fq::from_montgomery_limbs([
811 4789503842637643824,
812 15837144161010273010,
813 14535004913645399525,
814 386886467210416122,
815 ]),
816 Fq::from_montgomery_limbs([
817 4113769938336656446,
818 12767551034851750890,
819 6208225444974425038,
820 384107338921112388,
821 ]),
822 Fq::from_montgomery_limbs([
823 1457177616745477196,
824 5817007768895882090,
825 18403435531988633091,
826 233268311946882765,
827 ]),
828 Fq::from_montgomery_limbs([
829 8504687346089992934,
830 12196813988838752019,
831 4423978201234255224,
832 103085384776574023,
833 ]),
834 Fq::from_montgomery_limbs([
835 12001393905996299420,
836 7906247193177979514,
837 2548978637445902098,
838 508311140484542625,
839 ]),
840 Fq::from_montgomery_limbs([
841 12545595986735188293,
842 5025452441931542801,
843 9681010628496985355,
844 969281160594328671,
845 ]),
846 Fq::from_montgomery_limbs([
847 4476642231459795365,
848 10130322522288542164,
849 5504810838816131115,
850 942197574992353703,
851 ]),
852 Fq::from_montgomery_limbs([
853 12725269033496721580,
854 6143157215985784613,
855 2563593607564735516,
856 641845243083026263,
857 ]),
858 Fq::from_montgomery_limbs([
859 16567470293191015474,
860 17979338546951754349,
861 679740711221916675,
862 389452091580807800,
863 ]),
864 Fq::from_montgomery_limbs([
865 11781729507075158888,
866 16614033708022660131,
867 8066891565891024775,
868 1321986181569835272,
869 ]),
870 Fq::from_montgomery_limbs([
871 15263301520898366582,
872 5379961920461128458,
873 5298170819253721050,
874 871089269493660926,
875 ]),
876 Fq::from_montgomery_limbs([
877 5741830111596365525,
878 11415264909554107470,
879 8692411149271156415,
880 108534814929374467,
881 ]),
882 Fq::from_montgomery_limbs([
883 14889457972591320596,
884 4443631419689297602,
885 9576604194859673886,
886 55036543682599971,
887 ]),
888 Fq::from_montgomery_limbs([
889 15281837068987139929,
890 16419105318903348956,
891 3445836523780143538,
892 1293417868939267170,
893 ]),
894 Fq::from_montgomery_limbs([
895 17836346323317710151,
896 12227034928325499140,
897 2533213127903144227,
898 888374169811671044,
899 ]),
900 Fq::from_montgomery_limbs([
901 17190507118724296154,
902 11902410769486810674,
903 1884965616619903297,
904 288715797041361057,
905 ]),
906 Fq::from_montgomery_limbs([
907 3698781841092321912,
908 12743575315417669826,
909 2170730182690456487,
910 1222843211331174337,
911 ]),
912 Fq::from_montgomery_limbs([
913 4016814140820935108,
914 7695810038153355283,
915 9484931309805354358,
916 1136167194218052037,
917 ]),
918 Fq::from_montgomery_limbs([
919 14104529875826633218,
920 4636945317611530138,
921 9502367629041549061,
922 1255556235831136969,
923 ]),
924 Fq::from_montgomery_limbs([
925 3761991760077630951,
926 15074729225518792210,
927 17745896690436879228,
928 1023440924724847735,
929 ]),
930 Fq::from_montgomery_limbs([
931 15850125405934611308,
932 14029919305144561597,
933 18399969854542387983,
934 1223450657234113398,
935 ]),
936 Fq::from_montgomery_limbs([
937 15153111831948502891,
938 17514853580286890635,
939 16559251203856754825,
940 921126073718956725,
941 ]),
942 Fq::from_montgomery_limbs([
943 14464801899277986702,
944 11416622266096337177,
945 5506399331882969115,
946 210576422101801202,
947 ]),
948 ]),
949 mds: MdsMatrix::<4, 3, 16, 9>::new_from_known([
950 Fq::from_montgomery_limbs([
951 16270238816294404093,
952 17510165790819614716,
953 15988650198697570299,
954 575844906362867708,
955 ]),
956 Fq::from_montgomery_limbs([
957 2093244959304135473,
958 7921656493611837028,
959 14184576022206158435,
960 729731999227928846,
961 ]),
962 Fq::from_montgomery_limbs([
963 17237574486256691881,
964 7678231653376502440,
965 12981859904545217192,
966 832323394471302938,
967 ]),
968 Fq::from_montgomery_limbs([
969 14878706952858838161,
970 15410104227655356999,
971 17393275270132988194,
972 905602962502284432,
973 ]),
974 Fq::from_montgomery_limbs([
975 2093244959304135473,
976 7921656493611837028,
977 14184576022206158435,
978 729731999227928846,
979 ]),
980 Fq::from_montgomery_limbs([
981 17237574486256691881,
982 7678231653376502440,
983 12981859904545217192,
984 832323394471302938,
985 ]),
986 Fq::from_montgomery_limbs([
987 14878706952858838161,
988 15410104227655356999,
989 17393275270132988194,
990 905602962502284432,
991 ]),
992 Fq::from_montgomery_limbs([
993 17721242321237835775,
994 11985636621509722110,
995 11478464757469040638,
996 960562638525520553,
997 ]),
998 Fq::from_montgomery_limbs([
999 17237574486256691881,
1000 7678231653376502440,
1001 12981859904545217192,
1002 832323394471302938,
1003 ]),
1004 Fq::from_montgomery_limbs([
1005 14878706952858838161,
1006 15410104227655356999,
1007 17393275270132988194,
1008 905602962502284432,
1009 ]),
1010 Fq::from_montgomery_limbs([
1011 17721242321237835775,
1012 11985636621509722110,
1013 11478464757469040638,
1014 960562638525520553,
1015 ]),
1016 Fq::from_montgomery_limbs([
1017 17640631015407645126,
1018 17416650484724036037,
1019 14803487960933328666,
1020 554882262980868625,
1021 ]),
1022 Fq::from_montgomery_limbs([
1023 14878706952858838161,
1024 15410104227655356999,
1025 17393275270132988194,
1026 905602962502284432,
1027 ]),
1028 Fq::from_montgomery_limbs([
1029 17721242321237835775,
1030 11985636621509722110,
1031 11478464757469040638,
1032 960562638525520553,
1033 ]),
1034 Fq::from_montgomery_limbs([
1035 17640631015407645126,
1036 17416650484724036037,
1037 14803487960933328666,
1038 554882262980868625,
1039 ]),
1040 Fq::from_montgomery_limbs([
1041 10632745392742701465,
1042 7191381972905833266,
1043 10576427669223334706,
1044 1037506184958051122,
1045 ]),
1046 ]),
1047 alpha: Alpha::Exponent(17),
1048 rounds: RoundNumbers { r_P: 31, r_F: 8 },
1049 optimized_mds: OptimizedMdsMatrices {
1050 M_hat: SquareMatrix::<3, 9>::new_from_known([
1051 Fq::from_montgomery_limbs([
1052 17237574486256691881,
1053 7678231653376502440,
1054 12981859904545217192,
1055 832323394471302938,
1056 ]),
1057 Fq::from_montgomery_limbs([
1058 14878706952858838161,
1059 15410104227655356999,
1060 17393275270132988194,
1061 905602962502284432,
1062 ]),
1063 Fq::from_montgomery_limbs([
1064 17721242321237835775,
1065 11985636621509722110,
1066 11478464757469040638,
1067 960562638525520553,
1068 ]),
1069 Fq::from_montgomery_limbs([
1070 14878706952858838161,
1071 15410104227655356999,
1072 17393275270132988194,
1073 905602962502284432,
1074 ]),
1075 Fq::from_montgomery_limbs([
1076 17721242321237835775,
1077 11985636621509722110,
1078 11478464757469040638,
1079 960562638525520553,
1080 ]),
1081 Fq::from_montgomery_limbs([
1082 17640631015407645126,
1083 17416650484724036037,
1084 14803487960933328666,
1085 554882262980868625,
1086 ]),
1087 Fq::from_montgomery_limbs([
1088 17721242321237835775,
1089 11985636621509722110,
1090 11478464757469040638,
1091 960562638525520553,
1092 ]),
1093 Fq::from_montgomery_limbs([
1094 17640631015407645126,
1095 17416650484724036037,
1096 14803487960933328666,
1097 554882262980868625,
1098 ]),
1099 Fq::from_montgomery_limbs([
1100 10632745392742701465,
1101 7191381972905833266,
1102 10576427669223334706,
1103 1037506184958051122,
1104 ]),
1105 ]),
1106 v: Matrix::<1, 3, 3>::new_from_known([
1107 Fq::from_montgomery_limbs([
1108 2093244959304135473,
1109 7921656493611837028,
1110 14184576022206158435,
1111 729731999227928846,
1112 ]),
1113 Fq::from_montgomery_limbs([
1114 17237574486256691881,
1115 7678231653376502440,
1116 12981859904545217192,
1117 832323394471302938,
1118 ]),
1119 Fq::from_montgomery_limbs([
1120 14878706952858838161,
1121 15410104227655356999,
1122 17393275270132988194,
1123 905602962502284432,
1124 ]),
1125 ]),
1126 w: Matrix::<3, 1, 3>::new_from_known([
1127 Fq::from_montgomery_limbs([
1128 2093244959304135473,
1129 7921656493611837028,
1130 14184576022206158435,
1131 729731999227928846,
1132 ]),
1133 Fq::from_montgomery_limbs([
1134 17237574486256691881,
1135 7678231653376502440,
1136 12981859904545217192,
1137 832323394471302938,
1138 ]),
1139 Fq::from_montgomery_limbs([
1140 14878706952858838161,
1141 15410104227655356999,
1142 17393275270132988194,
1143 905602962502284432,
1144 ]),
1145 ]),
1146 M_prime: SquareMatrix::<4, 16>::new_from_known([
1147 Fq::from_montgomery_limbs([
1148 9015221291577245683,
1149 8239323489949974514,
1150 1646089257421115374,
1151 958099254763297437,
1152 ]),
1153 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1154 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1155 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1156 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1157 Fq::from_montgomery_limbs([
1158 17237574486256691881,
1159 7678231653376502440,
1160 12981859904545217192,
1161 832323394471302938,
1162 ]),
1163 Fq::from_montgomery_limbs([
1164 14878706952858838161,
1165 15410104227655356999,
1166 17393275270132988194,
1167 905602962502284432,
1168 ]),
1169 Fq::from_montgomery_limbs([
1170 17721242321237835775,
1171 11985636621509722110,
1172 11478464757469040638,
1173 960562638525520553,
1174 ]),
1175 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1176 Fq::from_montgomery_limbs([
1177 14878706952858838161,
1178 15410104227655356999,
1179 17393275270132988194,
1180 905602962502284432,
1181 ]),
1182 Fq::from_montgomery_limbs([
1183 17721242321237835775,
1184 11985636621509722110,
1185 11478464757469040638,
1186 960562638525520553,
1187 ]),
1188 Fq::from_montgomery_limbs([
1189 17640631015407645126,
1190 17416650484724036037,
1191 14803487960933328666,
1192 554882262980868625,
1193 ]),
1194 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1195 Fq::from_montgomery_limbs([
1196 17721242321237835775,
1197 11985636621509722110,
1198 11478464757469040638,
1199 960562638525520553,
1200 ]),
1201 Fq::from_montgomery_limbs([
1202 17640631015407645126,
1203 17416650484724036037,
1204 14803487960933328666,
1205 554882262980868625,
1206 ]),
1207 Fq::from_montgomery_limbs([
1208 10632745392742701465,
1209 7191381972905833266,
1210 10576427669223334706,
1211 1037506184958051122,
1212 ]),
1213 ]),
1214 M_doubleprime: SquareMatrix::<4, 16>::new_from_known([
1215 Fq::from_montgomery_limbs([
1216 16270238816294404093,
1217 17510165790819614716,
1218 15988650198697570299,
1219 575844906362867708,
1220 ]),
1221 Fq::from_montgomery_limbs([
1222 2093244959304135473,
1223 7921656493611837028,
1224 14184576022206158435,
1225 729731999227928846,
1226 ]),
1227 Fq::from_montgomery_limbs([
1228 17237574486256691881,
1229 7678231653376502440,
1230 12981859904545217192,
1231 832323394471302938,
1232 ]),
1233 Fq::from_montgomery_limbs([
1234 14878706952858838161,
1235 15410104227655356999,
1236 17393275270132988194,
1237 905602962502284432,
1238 ]),
1239 Fq::from_montgomery_limbs([
1240 3912868093747842187,
1241 13891638599538547029,
1242 10034520463596988736,
1243 24923162524038143,
1244 ]),
1245 Fq::from_montgomery_limbs([
1246 9015221291577245683,
1247 8239323489949974514,
1248 1646089257421115374,
1249 958099254763297437,
1250 ]),
1251 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1252 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1253 Fq::from_montgomery_limbs([
1254 12940192809323646256,
1255 10063211937356421632,
1256 16102475073289099807,
1257 635255441558029483,
1258 ]),
1259 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1260 Fq::from_montgomery_limbs([
1261 9015221291577245683,
1262 8239323489949974514,
1263 1646089257421115374,
1264 958099254763297437,
1265 ]),
1266 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1267 Fq::from_montgomery_limbs([
1268 13439545502292733320,
1269 8210365196597573290,
1270 10798232243990715182,
1271 209985169044052016,
1272 ]),
1273 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1274 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1275 Fq::from_montgomery_limbs([
1276 9015221291577245683,
1277 8239323489949974514,
1278 1646089257421115374,
1279 958099254763297437,
1280 ]),
1281 ]),
1282 M_inverse: SquareMatrix::<4, 16>::new_from_known([
1283 Fq::from_montgomery_limbs([
1284 9007339992229280139,
1285 10326424826243116856,
1286 5092355938437508509,
1287 1003135009120454797,
1288 ]),
1289 Fq::from_montgomery_limbs([
1290 3793860473594899407,
1291 15568206114553404763,
1292 16793548156181542160,
1293 297017364836875886,
1294 ]),
1295 Fq::from_montgomery_limbs([
1296 13118704239553060426,
1297 7548360664834135031,
1298 15187305571267045479,
1299 227114138088772868,
1300 ]),
1301 Fq::from_montgomery_limbs([
1302 2709900338282071005,
1303 579150611132688193,
1304 11995391540129672972,
1305 212155260597768490,
1306 ]),
1307 Fq::from_montgomery_limbs([
1308 3793860473594899407,
1309 15568206114553404763,
1310 16793548156181542160,
1311 297017364836875886,
1312 ]),
1313 Fq::from_montgomery_limbs([
1314 928445210678486263,
1315 8868160626470841658,
1316 3755794146411517614,
1317 1205473917191967362,
1318 ]),
1319 Fq::from_montgomery_limbs([
1320 10094677827265099397,
1321 10861765592258933950,
1322 11901484874902647424,
1323 945996443767726300,
1324 ]),
1325 Fq::from_montgomery_limbs([
1326 5126644488318323641,
1327 9647529625230561771,
1328 1074775780748510466,
1329 567785345221932172,
1330 ]),
1331 Fq::from_montgomery_limbs([
1332 13118704239553060426,
1333 7548360664834135031,
1334 15187305571267045479,
1335 227114138088772868,
1336 ]),
1337 Fq::from_montgomery_limbs([
1338 10094677827265099397,
1339 10861765592258933950,
1340 11901484874902647424,
1341 945996443767726300,
1342 ]),
1343 Fq::from_montgomery_limbs([
1344 824862419246658903,
1345 16129767034744593238,
1346 2170701329025733649,
1347 1301512370243790878,
1348 ]),
1349 Fq::from_montgomery_limbs([
1350 3590917015388128985,
1351 13161152940282392610,
1352 1559289252300983907,
1353 436823818333081923,
1354 ]),
1355 Fq::from_montgomery_limbs([
1356 2709900338282071005,
1357 579150611132688193,
1358 11995391540129672972,
1359 212155260597768490,
1360 ]),
1361 Fq::from_montgomery_limbs([
1362 5126644488318323641,
1363 9647529625230561771,
1364 1074775780748510466,
1365 567785345221932172,
1366 ]),
1367 Fq::from_montgomery_limbs([
1368 3590917015388128985,
1369 13161152940282392610,
1370 1559289252300983907,
1371 436823818333081923,
1372 ]),
1373 Fq::from_montgomery_limbs([
1374 7790664405396569236,
1375 15096721329668270063,
1376 11927867068824539342,
1377 454228276177545737,
1378 ]),
1379 ]),
1380 M_hat_inverse: SquareMatrix::<3, 9>::new_from_known([
1381 Fq::from_montgomery_limbs([
1382 3075677070517273610,
1383 12935975526496926241,
1384 5413643861495614409,
1385 209652601170259502,
1386 ]),
1387 Fq::from_montgomery_limbs([
1388 5785577408799344615,
1389 13515126137629614434,
1390 17409035401625287381,
1391 421807861768027992,
1392 ]),
1393 Fq::from_montgomery_limbs([
1394 17408664359600548624,
1395 17034391550693366562,
1396 14790887709711326522,
1397 240850225403047528,
1398 ]),
1399 Fq::from_montgomery_limbs([
1400 5785577408799344615,
1401 13515126137629614434,
1402 17409035401625287381,
1403 421807861768027992,
1404 ]),
1405 Fq::from_montgomery_limbs([
1406 6563011294473575235,
1407 14911990801343518815,
1408 5387840296410814352,
1409 742514872555164941,
1410 ]),
1411 Fq::from_montgomery_limbs([
1412 3251880405938485206,
1413 8073678362843046478,
1414 14394469848155607566,
1415 254586312717322188,
1416 ]),
1417 Fq::from_montgomery_limbs([
1418 17408664359600548624,
1419 17034391550693366562,
1420 14790887709711326522,
1421 240850225403047528,
1422 ]),
1423 Fq::from_montgomery_limbs([
1424 3251880405938485206,
1425 8073678362843046478,
1426 14394469848155607566,
1427 254586312717322188,
1428 ]),
1429 Fq::from_montgomery_limbs([
1430 13824643481143691730,
1431 14179537619338997380,
1432 15459123094703748781,
1433 28520280494317649,
1434 ]),
1435 ]),
1436 M_00: Fq::from_montgomery_limbs([
1437 16270238816294404093,
1438 17510165790819614716,
1439 15988650198697570299,
1440 575844906362867708,
1441 ]),
1442 M_i: Matrix::<4, 4, 16>::new_from_known([
1443 Fq::from_montgomery_limbs([
1444 9015221291577245683,
1445 8239323489949974514,
1446 1646089257421115374,
1447 958099254763297437,
1448 ]),
1449 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1450 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1451 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1452 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1453 Fq::from_montgomery_limbs([
1454 15179341900948762797,
1455 11777292160962496113,
1456 5824707706538620273,
1457 936937875498611239,
1458 ]),
1459 Fq::from_montgomery_limbs([
1460 1606954441813089504,
1461 12826102157655983484,
1462 14966661657048055395,
1463 819162019713750967,
1464 ]),
1465 Fq::from_montgomery_limbs([
1466 18056108788388345532,
1467 17234016165201706377,
1468 6789576351003995708,
1469 125032483782692849,
1470 ]),
1471 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1472 Fq::from_montgomery_limbs([
1473 1606954441813089504,
1474 12826102157655983484,
1475 14966661657048055395,
1476 819162019713750967,
1477 ]),
1478 Fq::from_montgomery_limbs([
1479 11752092954103863583,
1480 5034202175795696722,
1481 3707413120985258698,
1482 30603057527914360,
1483 ]),
1484 Fq::from_montgomery_limbs([
1485 9883657716457256646,
1486 10991555415607003281,
1487 6328965851154270623,
1488 1087433766327205373,
1489 ]),
1490 Fq::from_montgomery_limbs([0, 0, 0, 0]),
1491 Fq::from_montgomery_limbs([
1492 18056108788388345532,
1493 17234016165201706377,
1494 6789576351003995708,
1495 125032483782692849,
1496 ]),
1497 Fq::from_montgomery_limbs([
1498 9883657716457256646,
1499 10991555415607003281,
1500 6328965851154270623,
1501 1087433766327205373,
1502 ]),
1503 Fq::from_montgomery_limbs([
1504 9018019125940148120,
1505 4443737769172605648,
1506 9114883657740606330,
1507 325721335091457982,
1508 ]),
1509 ]),
1510 v_collection: [
1511 Matrix::<1, 3, 3>::new_from_known([
1512 Fq::from_montgomery_limbs([
1513 2093244959304135473,
1514 7921656493611837028,
1515 14184576022206158435,
1516 729731999227928846,
1517 ]),
1518 Fq::from_montgomery_limbs([
1519 17237574486256691881,
1520 7678231653376502440,
1521 12981859904545217192,
1522 832323394471302938,
1523 ]),
1524 Fq::from_montgomery_limbs([
1525 14878706952858838161,
1526 15410104227655356999,
1527 17393275270132988194,
1528 905602962502284432,
1529 ]),
1530 ]),
1531 Matrix::<1, 3, 3>::new_from_known([
1532 Fq::from_montgomery_limbs([
1533 3544248464247567155,
1534 2397127324301944422,
1535 9674390580977628774,
1536 1114449731390581691,
1537 ]),
1538 Fq::from_montgomery_limbs([
1539 10793968004403082763,
1540 14776098320186757028,
1541 3926381262294758649,
1542 695945431440508002,
1543 ]),
1544 Fq::from_montgomery_limbs([
1545 2462384498404250202,
1546 12590306298374345930,
1547 11038784733069574134,
1548 419995880141749771,
1549 ]),
1550 ]),
1551 Matrix::<1, 3, 3>::new_from_known([
1552 Fq::from_montgomery_limbs([
1553 13532986407775683895,
1554 9476195915097473266,
1555 1008114724683017572,
1556 545860035442724601,
1557 ]),
1558 Fq::from_montgomery_limbs([
1559 16204216982352313226,
1560 12925674836598514697,
1561 6751896652466221822,
1562 941483813900869065,
1563 ]),
1564 Fq::from_montgomery_limbs([
1565 17313019480228630806,
1566 566130559971125633,
1567 11091260944862748358,
1568 830377232140527827,
1569 ]),
1570 ]),
1571 Matrix::<1, 3, 3>::new_from_known([
1572 Fq::from_montgomery_limbs([
1573 13653317352261633777,
1574 10493929866956769626,
1575 8396755137825041221,
1576 1146048882209297127,
1577 ]),
1578 Fq::from_montgomery_limbs([
1579 4132278932442914408,
1580 14861671218963566328,
1581 7959790402925606057,
1582 1318243553399078199,
1583 ]),
1584 Fq::from_montgomery_limbs([
1585 13456767915419596367,
1586 17246911423899751971,
1587 5711218416857391278,
1588 35403035103928169,
1589 ]),
1590 ]),
1591 Matrix::<1, 3, 3>::new_from_known([
1592 Fq::from_montgomery_limbs([
1593 12907160498704673184,
1594 12152379198293294711,
1595 9252679699965582400,
1596 1224554265731421992,
1597 ]),
1598 Fq::from_montgomery_limbs([
1599 13419199242664167498,
1600 13891452473958728318,
1601 13543072901518191311,
1602 1037106053989502131,
1603 ]),
1604 Fq::from_montgomery_limbs([
1605 16666897222883125359,
1606 12131730689573449836,
1607 13003710399516055414,
1608 648272461984720515,
1609 ]),
1610 ]),
1611 Matrix::<1, 3, 3>::new_from_known([
1612 Fq::from_montgomery_limbs([
1613 13991351580088989461,
1614 17864339801785851041,
1615 11695126599066872867,
1616 921749339582652232,
1617 ]),
1618 Fq::from_montgomery_limbs([
1619 11906579800297278037,
1620 11470441940361903448,
1621 15097374289742739909,
1622 275174984759910272,
1623 ]),
1624 Fq::from_montgomery_limbs([
1625 18232546040145726314,
1626 14147307759659284922,
1627 991776681097878315,
1628 1065560959455072221,
1629 ]),
1630 ]),
1631 Matrix::<1, 3, 3>::new_from_known([
1632 Fq::from_montgomery_limbs([
1633 3117800866767190184,
1634 1873664776760606669,
1635 13118797281780700540,
1636 918694694774008673,
1637 ]),
1638 Fq::from_montgomery_limbs([
1639 16198059297050513347,
1640 8432506190058226772,
1641 9370514214732897655,
1642 212402421053033076,
1643 ]),
1644 Fq::from_montgomery_limbs([
1645 2518782581476945766,
1646 6771388879653376635,
1647 1394823901821599775,
1648 786725020056686548,
1649 ]),
1650 ]),
1651 Matrix::<1, 3, 3>::new_from_known([
1652 Fq::from_montgomery_limbs([
1653 4999125751846201369,
1654 9316583554979616827,
1655 11717167420397718381,
1656 1066546495878431233,
1657 ]),
1658 Fq::from_montgomery_limbs([
1659 1873871365393108203,
1660 11936414467331150546,
1661 11113449918732250015,
1662 317274884289334993,
1663 ]),
1664 Fq::from_montgomery_limbs([
1665 5753682051272078512,
1666 3471409429911499297,
1667 5526758011092646462,
1668 1323229023757477097,
1669 ]),
1670 ]),
1671 Matrix::<1, 3, 3>::new_from_known([
1672 Fq::from_montgomery_limbs([
1673 2662759502586109043,
1674 1695416312126819095,
1675 1012723056571339871,
1676 933004606031207884,
1677 ]),
1678 Fq::from_montgomery_limbs([
1679 16642301735251917773,
1680 1183412391970839036,
1681 3358256470522122468,
1682 496531810743047820,
1683 ]),
1684 Fq::from_montgomery_limbs([
1685 14229377213726726413,
1686 17261160081985153069,
1687 9576276288950416830,
1688 700741200569462595,
1689 ]),
1690 ]),
1691 Matrix::<1, 3, 3>::new_from_known([
1692 Fq::from_montgomery_limbs([
1693 6784297665956970408,
1694 11357803791388406129,
1695 11332180445619439434,
1696 1106781037719016960,
1697 ]),
1698 Fq::from_montgomery_limbs([
1699 73464770077821962,
1700 229820375535861605,
1701 4835258747884954879,
1702 991229687813626051,
1703 ]),
1704 Fq::from_montgomery_limbs([
1705 10226838402609267711,
1706 357277105338386461,
1707 10898037771405216876,
1708 738876256175427730,
1709 ]),
1710 ]),
1711 Matrix::<1, 3, 3>::new_from_known([
1712 Fq::from_montgomery_limbs([
1713 12081508766912259869,
1714 15930347767913903841,
1715 8853663281043083447,
1716 10038595465753804,
1717 ]),
1718 Fq::from_montgomery_limbs([
1719 112737203409514332,
1720 16114412090287437958,
1721 6856032020202317595,
1722 113207183629292293,
1723 ]),
1724 Fq::from_montgomery_limbs([
1725 16338645855580340203,
1726 2107869018362076089,
1727 12567383037519742350,
1728 815641356564041922,
1729 ]),
1730 ]),
1731 Matrix::<1, 3, 3>::new_from_known([
1732 Fq::from_montgomery_limbs([
1733 12125233544299543001,
1734 11893476647476625145,
1735 15457331543628022009,
1736 800448530217165123,
1737 ]),
1738 Fq::from_montgomery_limbs([
1739 16675745322148137368,
1740 1493849644880660500,
1741 8185984318393084462,
1742 138242285432587533,
1743 ]),
1744 Fq::from_montgomery_limbs([
1745 17724307965454702231,
1746 4807522038799077672,
1747 8746642154843823745,
1748 883881308868446414,
1749 ]),
1750 ]),
1751 Matrix::<1, 3, 3>::new_from_known([
1752 Fq::from_montgomery_limbs([
1753 5656989936467702279,
1754 3451526239075705633,
1755 12473714456419681817,
1756 720076561380511801,
1757 ]),
1758 Fq::from_montgomery_limbs([
1759 2752710254647861908,
1760 11030634120397179297,
1761 7520710074325720708,
1762 849095153678924863,
1763 ]),
1764 Fq::from_montgomery_limbs([
1765 15714192245785854425,
1766 1934486269946887645,
1767 249860026764225808,
1768 1186606499687026685,
1769 ]),
1770 ]),
1771 Matrix::<1, 3, 3>::new_from_known([
1772 Fq::from_montgomery_limbs([
1773 1065442882426850105,
1774 18187640339393109068,
1775 8850384031746892082,
1776 317569289072515041,
1777 ]),
1778 Fq::from_montgomery_limbs([
1779 1837681773828322091,
1780 10850972211403707738,
1781 336406577412961307,
1782 885368386317519809,
1783 ]),
1784 Fq::from_montgomery_limbs([
1785 15758214746904074141,
1786 11583431684684102838,
1787 7662385228843486433,
1788 217065657978291661,
1789 ]),
1790 ]),
1791 Matrix::<1, 3, 3>::new_from_known([
1792 Fq::from_montgomery_limbs([
1793 2532634061285367793,
1794 4387885387692314654,
1795 12158131981630891597,
1796 230565483900354414,
1797 ]),
1798 Fq::from_montgomery_limbs([
1799 13346419382798549501,
1800 18280976687063744023,
1801 5606331118089126185,
1802 273578743992252446,
1803 ]),
1804 Fq::from_montgomery_limbs([
1805 17577657789855982030,
1806 9630457784692257422,
1807 12902853055721181839,
1808 36459624765202074,
1809 ]),
1810 ]),
1811 Matrix::<1, 3, 3>::new_from_known([
1812 Fq::from_montgomery_limbs([
1813 9935908372408102992,
1814 14641284087709280054,
1815 17684292083487177951,
1816 1155088959507788459,
1817 ]),
1818 Fq::from_montgomery_limbs([
1819 541701721303367728,
1820 3959174565794182274,
1821 18151179085562458542,
1822 340776254243440974,
1823 ]),
1824 Fq::from_montgomery_limbs([
1825 17690336527687088662,
1826 10937885152973991052,
1827 3836836874424836886,
1828 1090509013794447238,
1829 ]),
1830 ]),
1831 Matrix::<1, 3, 3>::new_from_known([
1832 Fq::from_montgomery_limbs([
1833 12310573214022515884,
1834 3043141462744167127,
1835 7406092407251694082,
1836 9160197655286166,
1837 ]),
1838 Fq::from_montgomery_limbs([
1839 5101804845510497503,
1840 7081024525590050191,
1841 11990249650950760548,
1842 264716438448155623,
1843 ]),
1844 Fq::from_montgomery_limbs([
1845 14013782434072143361,
1846 18031550597362521222,
1847 4176916092795610844,
1848 1008783913934215313,
1849 ]),
1850 ]),
1851 Matrix::<1, 3, 3>::new_from_known([
1852 Fq::from_montgomery_limbs([
1853 5197923006462389769,
1854 10850213912970425984,
1855 6236288807254229677,
1856 381647096775612803,
1857 ]),
1858 Fq::from_montgomery_limbs([
1859 16904562081938006603,
1860 1107639524721847015,
1861 12857487247803522951,
1862 271937989000148046,
1863 ]),
1864 Fq::from_montgomery_limbs([
1865 7013951325055848953,
1866 17628406277137302222,
1867 10293198099660764650,
1868 1028289934164465192,
1869 ]),
1870 ]),
1871 Matrix::<1, 3, 3>::new_from_known([
1872 Fq::from_montgomery_limbs([
1873 9440252581760876632,
1874 13906337780931242750,
1875 7219961419517025615,
1876 863594454449643923,
1877 ]),
1878 Fq::from_montgomery_limbs([
1879 12415229001429896965,
1880 11797271759794076948,
1881 1936084790537971337,
1882 467019200964667988,
1883 ]),
1884 Fq::from_montgomery_limbs([
1885 13553333187067381210,
1886 1913316352777824197,
1887 2458517210763467943,
1888 416174277494956025,
1889 ]),
1890 ]),
1891 Matrix::<1, 3, 3>::new_from_known([
1892 Fq::from_montgomery_limbs([
1893 7868885723930814728,
1894 3969684852222006688,
1895 847603129181085226,
1896 823204710257787357,
1897 ]),
1898 Fq::from_montgomery_limbs([
1899 2624306993317474736,
1900 1804999503475194353,
1901 13323117091522537138,
1902 113213718216814537,
1903 ]),
1904 Fq::from_montgomery_limbs([
1905 13028853788877299982,
1906 16207030875451345887,
1907 2928890708384561735,
1908 948835740600760535,
1909 ]),
1910 ]),
1911 Matrix::<1, 3, 3>::new_from_known([
1912 Fq::from_montgomery_limbs([
1913 10332479856281518610,
1914 5461907926022368118,
1915 7566281008880752185,
1916 864542613737871414,
1917 ]),
1918 Fq::from_montgomery_limbs([
1919 11550343341750412987,
1920 1921332364560602185,
1921 10690162369512005698,
1922 600190744590186860,
1923 ]),
1924 Fq::from_montgomery_limbs([
1925 11343163367577472637,
1926 7523233831279170268,
1927 14378595658429552329,
1928 120678106820511750,
1929 ]),
1930 ]),
1931 Matrix::<1, 3, 3>::new_from_known([
1932 Fq::from_montgomery_limbs([
1933 1497803481831246817,
1934 7312638636652871954,
1935 34925480233639111,
1936 44726202564591048,
1937 ]),
1938 Fq::from_montgomery_limbs([
1939 6152756361006073958,
1940 6090155380815116625,
1941 6481578954979806710,
1942 476190110671401465,
1943 ]),
1944 Fq::from_montgomery_limbs([
1945 18102241645952999143,
1946 12827175776728527569,
1947 10917946848969687318,
1948 1031360619507992497,
1949 ]),
1950 ]),
1951 Matrix::<1, 3, 3>::new_from_known([
1952 Fq::from_montgomery_limbs([
1953 10479806376196948796,
1954 1250933353292865403,
1955 9714052636425979898,
1956 724896984716198201,
1957 ]),
1958 Fq::from_montgomery_limbs([
1959 3536451958691514845,
1960 3820878089540374661,
1961 1602865878357815152,
1962 303292371629072230,
1963 ]),
1964 Fq::from_montgomery_limbs([
1965 2647458017961703424,
1966 14255003531541688237,
1967 9264134941484745925,
1968 1144438898154277748,
1969 ]),
1970 ]),
1971 Matrix::<1, 3, 3>::new_from_known([
1972 Fq::from_montgomery_limbs([
1973 14896674334234435047,
1974 6601140327636410720,
1975 11594733032791631077,
1976 947808208377648736,
1977 ]),
1978 Fq::from_montgomery_limbs([
1979 93857753711709862,
1980 17114219253807441153,
1981 16571911382240086620,
1982 644986335071170285,
1983 ]),
1984 Fq::from_montgomery_limbs([
1985 11491045973623638105,
1986 5832623718891215316,
1987 4637897368334583442,
1988 1270136782835782403,
1989 ]),
1990 ]),
1991 Matrix::<1, 3, 3>::new_from_known([
1992 Fq::from_montgomery_limbs([
1993 12059760086965268413,
1994 2104859632417338119,
1995 3074047925029609319,
1996 208685506241841351,
1997 ]),
1998 Fq::from_montgomery_limbs([
1999 507458650320731749,
2000 9076652763882528689,
2001 10828995108044982790,
2002 52861166057592230,
2003 ]),
2004 Fq::from_montgomery_limbs([
2005 5221245564257429544,
2006 602546441039285868,
2007 15463515802777952068,
2008 500262458682360187,
2009 ]),
2010 ]),
2011 Matrix::<1, 3, 3>::new_from_known([
2012 Fq::from_montgomery_limbs([
2013 7894603091209534363,
2014 5963299443776147743,
2015 13622917766282071553,
2016 713444535504669723,
2017 ]),
2018 Fq::from_montgomery_limbs([
2019 4707822806056225947,
2020 13008601324591260598,
2021 6664196336989843628,
2022 361594494120552721,
2023 ]),
2024 Fq::from_montgomery_limbs([
2025 7234555332968855468,
2026 13223173585719696534,
2027 305242624856210053,
2028 317409461914184558,
2029 ]),
2030 ]),
2031 Matrix::<1, 3, 3>::new_from_known([
2032 Fq::from_montgomery_limbs([
2033 11052531972415731524,
2034 6240249964832493008,
2035 4690512975789608724,
2036 274300931659090955,
2037 ]),
2038 Fq::from_montgomery_limbs([
2039 12865203614941348009,
2040 13629535421935003532,
2041 14381802801123693296,
2042 1108602536075241162,
2043 ]),
2044 Fq::from_montgomery_limbs([
2045 5342089493189303187,
2046 11299417329134660514,
2047 10437815285599784456,
2048 224625807758727328,
2049 ]),
2050 ]),
2051 Matrix::<1, 3, 3>::new_from_known([
2052 Fq::from_montgomery_limbs([
2053 9419019633707904193,
2054 17287104400249488354,
2055 2449834218878066498,
2056 880784160362712225,
2057 ]),
2058 Fq::from_montgomery_limbs([
2059 1290387194510150606,
2060 300217878573287348,
2061 14712510331530271944,
2062 675169241465258261,
2063 ]),
2064 Fq::from_montgomery_limbs([
2065 4319449301091482228,
2066 6604997191961440301,
2067 3677473832318302588,
2068 1226257433999087430,
2069 ]),
2070 ]),
2071 Matrix::<1, 3, 3>::new_from_known([
2072 Fq::from_montgomery_limbs([
2073 9534885027294214845,
2074 4233504142154122132,
2075 671184154419538440,
2076 588715198189399632,
2077 ]),
2078 Fq::from_montgomery_limbs([
2079 7834331777517711657,
2080 12046762886677754640,
2081 12085017871628461830,
2082 1280695769450865349,
2083 ]),
2084 Fq::from_montgomery_limbs([
2085 17051048636914562332,
2086 9931763496822042016,
2087 812132922227142181,
2088 1215806818267015733,
2089 ]),
2090 ]),
2091 Matrix::<1, 3, 3>::new_from_known([
2092 Fq::from_montgomery_limbs([
2093 10248407954863227910,
2094 6765342538198222232,
2095 3376905111922655053,
2096 689295470605671650,
2097 ]),
2098 Fq::from_montgomery_limbs([
2099 852480703421168492,
2100 12355793660799378618,
2101 6731311636032405498,
2102 552777249330804449,
2103 ]),
2104 Fq::from_montgomery_limbs([
2105 1991623127336121727,
2106 6505031450361927139,
2107 15924460190557187785,
2108 1320271660125443798,
2109 ]),
2110 ]),
2111 Matrix::<1, 3, 3>::new_from_known([
2112 Fq::from_montgomery_limbs([
2113 17438135180680113454,
2114 12154982230827864980,
2115 10857096699189529725,
2116 334861850663499479,
2117 ]),
2118 Fq::from_montgomery_limbs([
2119 12624059910780607141,
2120 14938141535714956518,
2121 10243410760322861612,
2122 175466020402160466,
2123 ]),
2124 Fq::from_montgomery_limbs([
2125 11857086838875231849,
2126 16760011700969259517,
2127 8560727830203057188,
2128 152554536976681898,
2129 ]),
2130 ]),
2131 ],
2132 w_hat_collection: [
2133 Matrix::<3, 1, 3>::new_from_known([
2134 Fq::from_montgomery_limbs([
2135 3912868093747842187,
2136 13891638599538547029,
2137 10034520463596988736,
2138 24923162524038143,
2139 ]),
2140 Fq::from_montgomery_limbs([
2141 12940192809323646256,
2142 10063211937356421632,
2143 16102475073289099807,
2144 635255441558029483,
2145 ]),
2146 Fq::from_montgomery_limbs([
2147 13439545502292733320,
2148 8210365196597573290,
2149 10798232243990715182,
2150 209985169044052016,
2151 ]),
2152 ]),
2153 Matrix::<3, 1, 3>::new_from_known([
2154 Fq::from_montgomery_limbs([
2155 5751631526606014397,
2156 8462191803631620224,
2157 10509863267471683158,
2158 447861109114791478,
2159 ]),
2160 Fq::from_montgomery_limbs([
2161 1437717886047567450,
2162 16559126213892176045,
2163 11375302712551931442,
2164 1010730393746897317,
2165 ]),
2166 Fq::from_montgomery_limbs([
2167 1032470319927068309,
2168 9033645067614029358,
2169 18086293033601348125,
2170 304884835659797125,
2171 ]),
2172 ]),
2173 Matrix::<3, 1, 3>::new_from_known([
2174 Fq::from_montgomery_limbs([
2175 10030163671426435897,
2176 10038896509362625400,
2177 11411437429949289797,
2178 606845429174704889,
2179 ]),
2180 Fq::from_montgomery_limbs([
2181 13498048305505589045,
2182 14368156343173972859,
2183 5751396272374329581,
2184 1272023166617958572,
2185 ]),
2186 Fq::from_montgomery_limbs([
2187 9805803927184323301,
2188 13425206131835998785,
2189 13841345243897428245,
2190 615350201809158017,
2191 ]),
2192 ]),
2193 Matrix::<3, 1, 3>::new_from_known([
2194 Fq::from_montgomery_limbs([
2195 14956193223177978026,
2196 4328965669156513709,
2197 1332264507148878686,
2198 908612595539291972,
2199 ]),
2200 Fq::from_montgomery_limbs([
2201 15512085810689995447,
2202 1278811290279093247,
2203 9713635222980865549,
2204 89918473543807263,
2205 ]),
2206 Fq::from_montgomery_limbs([
2207 10908982736163998884,
2208 10522718116611575026,
2209 15481410495350859749,
2210 209345561210183580,
2211 ]),
2212 ]),
2213 Matrix::<3, 1, 3>::new_from_known([
2214 Fq::from_montgomery_limbs([
2215 11298966019883739719,
2216 3737954136375979756,
2217 15666428783954356951,
2218 93322090349950905,
2219 ]),
2220 Fq::from_montgomery_limbs([
2221 10237667835076512281,
2222 12325953953570405613,
2223 12285254403281429040,
2224 507107093264211690,
2225 ]),
2226 Fq::from_montgomery_limbs([
2227 14936641530723543297,
2228 12684654093637137182,
2229 6573648560098330931,
2230 479128193670708215,
2231 ]),
2232 ]),
2233 Matrix::<3, 1, 3>::new_from_known([
2234 Fq::from_montgomery_limbs([
2235 4665624059074225901,
2236 569773391663140707,
2237 8039376161136700750,
2238 305908263293765813,
2239 ]),
2240 Fq::from_montgomery_limbs([
2241 12181552876023559131,
2242 7764448317943448064,
2243 10288520924018884818,
2244 1103852203169073095,
2245 ]),
2246 Fq::from_montgomery_limbs([
2247 15135999239214672948,
2248 10790616626797062588,
2249 17724896909590777918,
2250 1127104704406195421,
2251 ]),
2252 ]),
2253 Matrix::<3, 1, 3>::new_from_known([
2254 Fq::from_montgomery_limbs([
2255 6486714260719829146,
2256 11040751111500249834,
2257 8958297661837625585,
2258 504881187176923268,
2259 ]),
2260 Fq::from_montgomery_limbs([
2261 9943503409323924620,
2262 9519655296534470798,
2263 10031214880424175980,
2264 880224541550113700,
2265 ]),
2266 Fq::from_montgomery_limbs([
2267 2137123775246483621,
2268 14575781645937393202,
2269 6082200831828333306,
2270 319693495256136311,
2271 ]),
2272 ]),
2273 Matrix::<3, 1, 3>::new_from_known([
2274 Fq::from_montgomery_limbs([
2275 18213874187166503017,
2276 7357620257182256357,
2277 12753979462901781784,
2278 653327632081049969,
2279 ]),
2280 Fq::from_montgomery_limbs([
2281 5648402480861501803,
2282 1298801804080198935,
2283 16361566576947818947,
2284 92096317293783223,
2285 ]),
2286 Fq::from_montgomery_limbs([
2287 17945395108017238106,
2288 3498558197841053284,
2289 7092504945026653103,
2290 372132312547601421,
2291 ]),
2292 ]),
2293 Matrix::<3, 1, 3>::new_from_known([
2294 Fq::from_montgomery_limbs([
2295 15622147422254947733,
2296 250116726000401472,
2297 8318204049018604061,
2298 866935352572882912,
2299 ]),
2300 Fq::from_montgomery_limbs([
2301 18241804623807754966,
2302 4053430455599371737,
2303 4911593924672747195,
2304 915087345052626509,
2305 ]),
2306 Fq::from_montgomery_limbs([
2307 4269143728338544596,
2308 14357201884344458328,
2309 903006646797065399,
2310 462454343275509581,
2311 ]),
2312 ]),
2313 Matrix::<3, 1, 3>::new_from_known([
2314 Fq::from_montgomery_limbs([
2315 16493823488007719206,
2316 14779329128742765495,
2317 18378884619527915493,
2318 360610956997885799,
2319 ]),
2320 Fq::from_montgomery_limbs([
2321 8231956009608211607,
2322 2237272948977110346,
2323 11234918376541957482,
2324 211807215316292218,
2325 ]),
2326 Fq::from_montgomery_limbs([
2327 4694295422393950539,
2328 494515799644279017,
2329 16377559543581347883,
2330 1023664249665260398,
2331 ]),
2332 ]),
2333 Matrix::<3, 1, 3>::new_from_known([
2334 Fq::from_montgomery_limbs([
2335 269632147881481827,
2336 17676834172042717446,
2337 13502391546248246285,
2338 158178875674850167,
2339 ]),
2340 Fq::from_montgomery_limbs([
2341 854535799571654664,
2342 4436276133137563398,
2343 12250035363748361097,
2344 569847052981690503,
2345 ]),
2346 Fq::from_montgomery_limbs([
2347 8356573900420286918,
2348 3943111982741005596,
2349 6690528014909196681,
2350 100899612597296936,
2351 ]),
2352 ]),
2353 Matrix::<3, 1, 3>::new_from_known([
2354 Fq::from_montgomery_limbs([
2355 12053108327360532468,
2356 2215278670095839574,
2357 18310257358516903189,
2358 507153778977982696,
2359 ]),
2360 Fq::from_montgomery_limbs([
2361 15548327836627863789,
2362 11669395097045425760,
2363 16626297677851084169,
2364 692658363999722441,
2365 ]),
2366 Fq::from_montgomery_limbs([
2367 5590241427234064239,
2368 15193192965574703365,
2369 7643293374071077424,
2370 502287078265137211,
2371 ]),
2372 ]),
2373 Matrix::<3, 1, 3>::new_from_known([
2374 Fq::from_montgomery_limbs([
2375 7121109350102790552,
2376 3842989306298966953,
2377 15442678426893498207,
2378 43682019324253859,
2379 ]),
2380 Fq::from_montgomery_limbs([
2381 8543065120635606147,
2382 17618464589270231617,
2383 4296924638616724859,
2384 409105874035239827,
2385 ]),
2386 Fq::from_montgomery_limbs([
2387 12676854185827013572,
2388 13888077538347807744,
2389 7139127667431143175,
2390 1225243047885808896,
2391 ]),
2392 ]),
2393 Matrix::<3, 1, 3>::new_from_known([
2394 Fq::from_montgomery_limbs([
2395 4347759847866483265,
2396 5855881520281836030,
2397 5505541235252858831,
2398 976243446170017999,
2399 ]),
2400 Fq::from_montgomery_limbs([
2401 1880808402247115426,
2402 943890821775946445,
2403 12000264441794154793,
2404 12973763854532988,
2405 ]),
2406 Fq::from_montgomery_limbs([
2407 8496845738719301602,
2408 11057791601996073401,
2409 18430915991403133806,
2410 442312408397388928,
2411 ]),
2412 ]),
2413 Matrix::<3, 1, 3>::new_from_known([
2414 Fq::from_montgomery_limbs([
2415 4597591998391646042,
2416 17549544536524741100,
2417 7632675978077243758,
2418 789227364575351796,
2419 ]),
2420 Fq::from_montgomery_limbs([
2421 6247914330752058188,
2422 17379927947827819186,
2423 459262613159719376,
2424 17669136651242999,
2425 ]),
2426 Fq::from_montgomery_limbs([
2427 4416622626270946808,
2428 9011173931926497864,
2429 2385315687804767815,
2430 1100085754679242026,
2431 ]),
2432 ]),
2433 Matrix::<3, 1, 3>::new_from_known([
2434 Fq::from_montgomery_limbs([
2435 2858027675101851698,
2436 15199707771225336894,
2437 6912007903404713737,
2438 1195736020550467109,
2439 ]),
2440 Fq::from_montgomery_limbs([
2441 16536374087395040861,
2442 11905207237145903612,
2443 6114638606661711198,
2444 227197704829902271,
2445 ]),
2446 Fq::from_montgomery_limbs([
2447 3076102373056113184,
2448 9532492163005512122,
2449 6930666801042367372,
2450 359947620632631939,
2451 ]),
2452 ]),
2453 Matrix::<3, 1, 3>::new_from_known([
2454 Fq::from_montgomery_limbs([
2455 9440427530838662463,
2456 13085976282871216533,
2457 11609820600896955445,
2458 51192596107359503,
2459 ]),
2460 Fq::from_montgomery_limbs([
2461 17890235474475849352,
2462 12861769158994967907,
2463 17199388852287681020,
2464 1318104728008794611,
2465 ]),
2466 Fq::from_montgomery_limbs([
2467 9609805589266211410,
2468 1670962659820459283,
2469 9562963939311936174,
2470 688275382419503341,
2471 ]),
2472 ]),
2473 Matrix::<3, 1, 3>::new_from_known([
2474 Fq::from_montgomery_limbs([
2475 11167389070307520429,
2476 13977359843749392350,
2477 18441644755473839422,
2478 290366407278115355,
2479 ]),
2480 Fq::from_montgomery_limbs([
2481 12443632002797775505,
2482 4654520606670285598,
2483 7306556664291017650,
2484 1327633699432541153,
2485 ]),
2486 Fq::from_montgomery_limbs([
2487 8092706722129444827,
2488 3658752323492067072,
2489 4793508300996597563,
2490 747223853807345138,
2491 ]),
2492 ]),
2493 Matrix::<3, 1, 3>::new_from_known([
2494 Fq::from_montgomery_limbs([
2495 2950573641865927995,
2496 8127787636945490240,
2497 13677031676353641065,
2498 158618420355845681,
2499 ]),
2500 Fq::from_montgomery_limbs([
2501 11307462183326711698,
2502 4564920402521666764,
2503 14622180354087693631,
2504 1336492508958389172,
2505 ]),
2506 Fq::from_montgomery_limbs([
2507 4173008676431506498,
2508 17674916393358760276,
2509 12680688896701595449,
2510 968385841042257188,
2511 ]),
2512 ]),
2513 Matrix::<3, 1, 3>::new_from_known([
2514 Fq::from_montgomery_limbs([
2515 15472538886056214069,
2516 16032473331676368569,
2517 16841883688877890652,
2518 857731186179030920,
2519 ]),
2520 Fq::from_montgomery_limbs([
2521 3288920438915728986,
2522 5565335638237954732,
2523 16168717028973711379,
2524 557711450924669146,
2525 ]),
2526 Fq::from_montgomery_limbs([
2527 2265592654319698024,
2528 3205443269480017209,
2529 18001932803255029483,
2530 256652906325487142,
2531 ]),
2532 ]),
2533 Matrix::<3, 1, 3>::new_from_known([
2534 Fq::from_montgomery_limbs([
2535 281001495283692254,
2536 13790290956215242906,
2537 864387281468051063,
2538 1176693997057782923,
2539 ]),
2540 Fq::from_montgomery_limbs([
2541 5123560649935846987,
2542 5199616350359672235,
2543 1101436586367673740,
2544 39975262197625469,
2545 ]),
2546 Fq::from_montgomery_limbs([
2547 6484555314181403346,
2548 13702935644386089262,
2549 1070288899201945043,
2550 1275458004049976710,
2551 ]),
2552 ]),
2553 Matrix::<3, 1, 3>::new_from_known([
2554 Fq::from_montgomery_limbs([
2555 98165037936801382,
2556 7473654891184825762,
2557 349134079485996919,
2558 938092578927267223,
2559 ]),
2560 Fq::from_montgomery_limbs([
2561 14188791834503488423,
2562 18250342088521722141,
2563 2040654749291153960,
2564 926512896204558398,
2565 ]),
2566 Fq::from_montgomery_limbs([
2567 15224380743676270964,
2568 10786962884449555555,
2569 11361613959686699022,
2570 1210280746834414029,
2571 ]),
2572 ]),
2573 Matrix::<3, 1, 3>::new_from_known([
2574 Fq::from_montgomery_limbs([
2575 11759988830619476554,
2576 8373507443143532317,
2577 3120367880452859596,
2578 1169296147393250270,
2579 ]),
2580 Fq::from_montgomery_limbs([
2581 2846578710538047768,
2582 1316160842247957353,
2583 13088400622784413268,
2584 408653118294756083,
2585 ]),
2586 Fq::from_montgomery_limbs([
2587 17205667740934035850,
2588 3622944266683523375,
2589 9638129797382886543,
2590 994379064072552476,
2591 ]),
2592 ]),
2593 Matrix::<3, 1, 3>::new_from_known([
2594 Fq::from_montgomery_limbs([
2595 10882825922057764254,
2596 14418568533897154353,
2597 491214512167095700,
2598 433897962559667772,
2599 ]),
2600 Fq::from_montgomery_limbs([
2601 35128611736586842,
2602 16389786149729784671,
2603 10083558142637806972,
2604 137127276176467702,
2605 ]),
2606 Fq::from_montgomery_limbs([
2607 6798031404470581862,
2608 17848651283256458296,
2609 16222358536010933656,
2610 803683331342998490,
2611 ]),
2612 ]),
2613 Matrix::<3, 1, 3>::new_from_known([
2614 Fq::from_montgomery_limbs([
2615 6972405454939855920,
2616 4552281101007467397,
2617 7264795943490057443,
2618 864688899960148444,
2619 ]),
2620 Fq::from_montgomery_limbs([
2621 13927481061475209845,
2622 15489762958527206567,
2623 6189983331269957882,
2624 547789234607264680,
2625 ]),
2626 Fq::from_montgomery_limbs([
2627 3562534859757502067,
2628 1843985785467419577,
2629 4386226263096503262,
2630 1115671597351053159,
2631 ]),
2632 ]),
2633 Matrix::<3, 1, 3>::new_from_known([
2634 Fq::from_montgomery_limbs([
2635 12278022351526165705,
2636 17770191387101388710,
2637 10802565891039662934,
2638 1075900781773362211,
2639 ]),
2640 Fq::from_montgomery_limbs([
2641 9958371080654925973,
2642 11831887817395699647,
2643 1304723427562418477,
2644 354927743406208632,
2645 ]),
2646 Fq::from_montgomery_limbs([
2647 7902693975921282234,
2648 10693029805943046522,
2649 8006364623005626891,
2650 336833334808426575,
2651 ]),
2652 ]),
2653 Matrix::<3, 1, 3>::new_from_known([
2654 Fq::from_montgomery_limbs([
2655 16076162621220796497,
2656 11613654344612125103,
2657 18364396485836487261,
2658 865751367130059847,
2659 ]),
2660 Fq::from_montgomery_limbs([
2661 177169936881514673,
2662 15617655321830945408,
2663 2675644582344792450,
2664 813774581927626127,
2665 ]),
2666 Fq::from_montgomery_limbs([
2667 10024256268223083204,
2668 4626025808735980516,
2669 15602381466554927909,
2670 372989881235976309,
2671 ]),
2672 ]),
2673 Matrix::<3, 1, 3>::new_from_known([
2674 Fq::from_montgomery_limbs([
2675 15323355670275250642,
2676 18066772602049731907,
2677 11033816093504217490,
2678 425723417069229499,
2679 ]),
2680 Fq::from_montgomery_limbs([
2681 13530227036238294143,
2682 4726864651116558793,
2683 11836084010804535503,
2684 345580619383028526,
2685 ]),
2686 Fq::from_montgomery_limbs([
2687 9033276785296979553,
2688 8015158493901738529,
2689 7685612975844433499,
2690 646369922266692941,
2691 ]),
2692 ]),
2693 Matrix::<3, 1, 3>::new_from_known([
2694 Fq::from_montgomery_limbs([
2695 6106858674192767659,
2696 6489383503992760141,
2697 15104627566688873842,
2698 967007977448094027,
2699 ]),
2700 Fq::from_montgomery_limbs([
2701 15940025338744316838,
2702 9550216566045214897,
2703 11499601007486969156,
2704 519967031225120334,
2705 ]),
2706 Fq::from_montgomery_limbs([
2707 4457318900167954816,
2708 12351443184813817360,
2709 14113262131954548168,
2710 753463690543950206,
2711 ]),
2712 ]),
2713 Matrix::<3, 1, 3>::new_from_known([
2714 Fq::from_montgomery_limbs([
2715 1881864483835241252,
2716 13219574080686529684,
2717 10918646441166728772,
2718 345526905812511168,
2719 ]),
2720 Fq::from_montgomery_limbs([
2721 16713317497695859602,
2722 11594535032725047066,
2723 8614425525972045100,
2724 729458370408931167,
2725 ]),
2726 Fq::from_montgomery_limbs([
2727 2382365843901650484,
2728 13640386342346411833,
2729 2679421435014953531,
2730 1060573086709931927,
2731 ]),
2732 ]),
2733 Matrix::<3, 1, 3>::new_from_known([
2734 Fq::from_montgomery_limbs([
2735 17434826777667612735,
2736 2365065059007002287,
2737 12113557410986701552,
2738 486906253608904981,
2739 ]),
2740 Fq::from_montgomery_limbs([
2741 15422260981332801416,
2742 11687068808662228912,
2743 15340447593430286694,
2744 1095477751721025581,
2745 ]),
2746 Fq::from_montgomery_limbs([
2747 3067136625363818837,
2748 15414947239083578872,
2749 4357451922062335136,
2750 670849424861114413,
2751 ]),
2752 ]),
2753 ],
2754 },
2755 optimized_arc: OptimizedArcMatrix::<39, 4, 156>::new_from_known([
2756 Fq::from_montgomery_limbs([
2757 15748480026335769443,
2758 10026984616551622801,
2759 2063724428730618452,
2760 1110463257231131824,
2761 ]),
2762 Fq::from_montgomery_limbs([
2763 9405142820695944635,
2764 11887146523697465657,
2765 7764829263011233272,
2766 10688178588086322,
2767 ]),
2768 Fq::from_montgomery_limbs([
2769 7160766575090090422,
2770 13093321275956005400,
2771 4459692368517809830,
2772 1324823328343033307,
2773 ]),
2774 Fq::from_montgomery_limbs([
2775 8967803866417976527,
2776 10882703683899587484,
2777 12604355713142717837,
2778 913362872025451921,
2779 ]),
2780 Fq::from_montgomery_limbs([
2781 15434913893282099231,
2782 3277411989792281453,
2783 17050922401305883749,
2784 1246396795570595652,
2785 ]),
2786 Fq::from_montgomery_limbs([
2787 16287493285262395377,
2788 5813955731335134269,
2789 4301474317614585594,
2790 257520225036445364,
2791 ]),
2792 Fq::from_montgomery_limbs([
2793 6906749939426292513,
2794 6186370802689597769,
2795 13121713652409052978,
2796 974279291569484389,
2797 ]),
2798 Fq::from_montgomery_limbs([
2799 8879700369639612352,
2800 13618625792929032624,
2801 3907123048620659133,
2802 13234475218016492,
2803 ]),
2804 Fq::from_montgomery_limbs([
2805 8645743306703223161,
2806 2649437454338131787,
2807 1563690154181407289,
2808 1014186398941703531,
2809 ]),
2810 Fq::from_montgomery_limbs([
2811 3215833110701720679,
2812 2309636887892103305,
2813 8098930435412331037,
2814 874663616929857835,
2815 ]),
2816 Fq::from_montgomery_limbs([
2817 12979468067887852608,
2818 5086746922420764336,
2819 15129738790560069297,
2820 751939553752695744,
2821 ]),
2822 Fq::from_montgomery_limbs([
2823 2977455406847333432,
2824 16814711076234176662,
2825 2052393181081329017,
2826 1025504667378050833,
2827 ]),
2828 Fq::from_montgomery_limbs([
2829 7769933776177646251,
2830 18381610027802955757,
2831 14883656026535111760,
2832 810712025708758153,
2833 ]),
2834 Fq::from_montgomery_limbs([
2835 17772168373864941552,
2836 6465821213265847266,
2837 13630379320513469760,
2838 377801609900980707,
2839 ]),
2840 Fq::from_montgomery_limbs([
2841 15796194027949120118,
2842 344995813018918925,
2843 1773993772309248477,
2844 495371203446902105,
2845 ]),
2846 Fq::from_montgomery_limbs([
2847 2372367672613269254,
2848 1881994507861568925,
2849 12499063082888296383,
2850 198183890354307133,
2851 ]),
2852 Fq::from_montgomery_limbs([
2853 8560339202466452135,
2854 4674741842794783289,
2855 2295938056459737653,
2856 1305584587019963566,
2857 ]),
2858 Fq::from_montgomery_limbs([
2859 5894698623250752231,
2860 11196686474075291940,
2861 319786488005502847,
2862 976772307367475705,
2863 ]),
2864 Fq::from_montgomery_limbs([
2865 9900044152758269451,
2866 6382301581301578495,
2867 486281876073250633,
2868 71881436776511649,
2869 ]),
2870 Fq::from_montgomery_limbs([
2871 8858083304247561548,
2872 5671107377399080192,
2873 14186551763070529190,
2874 1191940751561414494,
2875 ]),
2876 Fq::from_montgomery_limbs([
2877 11388935853995478114,
2878 12687122290317818660,
2879 14863371661788062147,
2880 1158919028776138907,
2881 ]),
2882 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2883 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2884 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2885 Fq::from_montgomery_limbs([
2886 10994187684158036079,
2887 6365622770188053181,
2888 9403760573784657161,
2889 1146936259121378165,
2890 ]),
2891 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2892 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2893 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2894 Fq::from_montgomery_limbs([
2895 10359734611031618397,
2896 6788070320086383195,
2897 6870540987465879902,
2898 1154055204589981421,
2899 ]),
2900 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2901 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2902 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2903 Fq::from_montgomery_limbs([
2904 6567270162376125909,
2905 13203968161919606288,
2906 7529228388954710988,
2907 1019437133634541415,
2908 ]),
2909 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2910 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2911 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2912 Fq::from_montgomery_limbs([
2913 17083543156205069093,
2914 11374420946242035033,
2915 18049715002122120090,
2916 906131070047943878,
2917 ]),
2918 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2919 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2920 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2921 Fq::from_montgomery_limbs([
2922 2206466804129196608,
2923 7840059231658610949,
2924 18148556368765089670,
2925 985832054058842554,
2926 ]),
2927 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2928 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2929 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2930 Fq::from_montgomery_limbs([
2931 15160443716672326145,
2932 3977221634341810924,
2933 11902494952164999188,
2934 990146605314032630,
2935 ]),
2936 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2937 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2938 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2939 Fq::from_montgomery_limbs([
2940 15193334268554411388,
2941 16206854972517382356,
2942 12905310888333022888,
2943 513326483567402639,
2944 ]),
2945 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2946 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2947 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2948 Fq::from_montgomery_limbs([
2949 5576504557462251248,
2950 8125452713587662843,
2951 16486629117159905898,
2952 293174270601514481,
2953 ]),
2954 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2955 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2956 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2957 Fq::from_montgomery_limbs([
2958 17062406856052799045,
2959 4903125714753109748,
2960 8990920239472029770,
2961 936892459427742133,
2962 ]),
2963 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2964 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2965 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2966 Fq::from_montgomery_limbs([
2967 6584002420364695129,
2968 10284681536623141870,
2969 7366280281192288180,
2970 305633769889978939,
2971 ]),
2972 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2973 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2974 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2975 Fq::from_montgomery_limbs([
2976 6566050072214065144,
2977 10806265958907184854,
2978 2902594108468871307,
2979 927316604280713413,
2980 ]),
2981 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2982 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2983 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2984 Fq::from_montgomery_limbs([
2985 9252557727477672981,
2986 3306161630265918351,
2987 179799263786823209,
2988 104291884324148129,
2989 ]),
2990 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2991 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2992 Fq::from_montgomery_limbs([0, 0, 0, 0]),
2993 Fq::from_montgomery_limbs([
2994 16542259604895379638,
2995 11861465458652059930,
2996 2193746946143577162,
2997 159871979033281704,
2998 ]),
2999 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3000 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3001 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3002 Fq::from_montgomery_limbs([
3003 1973639865256742476,
3004 12494642903985355205,
3005 12678561251384262826,
3006 1063132847474762378,
3007 ]),
3008 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3009 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3010 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3011 Fq::from_montgomery_limbs([
3012 16335431452481000471,
3013 3819468482480263699,
3014 13079543972531520553,
3015 161635515931478039,
3016 ]),
3017 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3018 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3019 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3020 Fq::from_montgomery_limbs([
3021 6649676330206378374,
3022 170192309920289600,
3023 12660537932851201431,
3024 875374125882958636,
3025 ]),
3026 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3027 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3028 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3029 Fq::from_montgomery_limbs([
3030 18237532705140415183,
3031 5538703501092204277,
3032 12946255801995328124,
3033 1087375767378395044,
3034 ]),
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 1012766659404803227,
3040 13885920911268862504,
3041 11108883550523828802,
3042 162298092776208930,
3043 ]),
3044 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3045 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3046 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3047 Fq::from_montgomery_limbs([
3048 2714322473297105009,
3049 249945166940002912,
3050 12698583590562308965,
3051 394261012891088761,
3052 ]),
3053 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3054 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3055 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3056 Fq::from_montgomery_limbs([
3057 11185042895155911424,
3058 15268539255422683750,
3059 7532909772946377585,
3060 463947154991508934,
3061 ]),
3062 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3063 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3064 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3065 Fq::from_montgomery_limbs([
3066 2052933093431843614,
3067 1295021459124440371,
3068 8148559147565678653,
3069 89295276853247542,
3070 ]),
3071 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3072 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3073 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3074 Fq::from_montgomery_limbs([
3075 12899268934677529381,
3076 16307080267150235665,
3077 10898130171280001197,
3078 518068384980908314,
3079 ]),
3080 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3081 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3082 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3083 Fq::from_montgomery_limbs([
3084 993244798968596356,
3085 11096685116364920579,
3086 8750430116109558950,
3087 9308397748705116,
3088 ]),
3089 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3090 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3091 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3092 Fq::from_montgomery_limbs([
3093 5953598583374622076,
3094 16232619257237216458,
3095 17798149940250628730,
3096 654505929641861550,
3097 ]),
3098 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3099 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3100 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3101 Fq::from_montgomery_limbs([
3102 11857053641605556992,
3103 4354078495412090273,
3104 4158908777158450718,
3105 1170888300956232550,
3106 ]),
3107 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3108 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3109 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3110 Fq::from_montgomery_limbs([
3111 12321182200541779000,
3112 10436914785964154798,
3113 4712843605747406852,
3114 790686269705752315,
3115 ]),
3116 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3117 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3118 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3119 Fq::from_montgomery_limbs([
3120 11380659121996065200,
3121 7281347105742142276,
3122 13205980178228421104,
3123 804622887165645998,
3124 ]),
3125 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3126 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3127 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3128 Fq::from_montgomery_limbs([
3129 5152043905886227057,
3130 17756682668953288347,
3131 10695990401739553448,
3132 1061486419247893614,
3133 ]),
3134 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3135 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3136 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3137 Fq::from_montgomery_limbs([
3138 13186025127373894323,
3139 16210743521572602678,
3140 17903754729019377882,
3141 874061397244045546,
3142 ]),
3143 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3144 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3145 Fq::from_montgomery_limbs([0, 0, 0, 0]),
3146 Fq::from_montgomery_limbs([
3147 12725269033496721580,
3148 6143157215985784613,
3149 2563593607564735516,
3150 641845243083026263,
3151 ]),
3152 Fq::from_montgomery_limbs([
3153 16567470293191015474,
3154 17979338546951754349,
3155 679740711221916675,
3156 389452091580807800,
3157 ]),
3158 Fq::from_montgomery_limbs([
3159 11781729507075158888,
3160 16614033708022660131,
3161 8066891565891024775,
3162 1321986181569835272,
3163 ]),
3164 Fq::from_montgomery_limbs([
3165 15263301520898366582,
3166 5379961920461128458,
3167 5298170819253721050,
3168 871089269493660926,
3169 ]),
3170 Fq::from_montgomery_limbs([
3171 5741830111596365525,
3172 11415264909554107470,
3173 8692411149271156415,
3174 108534814929374467,
3175 ]),
3176 Fq::from_montgomery_limbs([
3177 14889457972591320596,
3178 4443631419689297602,
3179 9576604194859673886,
3180 55036543682599971,
3181 ]),
3182 Fq::from_montgomery_limbs([
3183 15281837068987139929,
3184 16419105318903348956,
3185 3445836523780143538,
3186 1293417868939267170,
3187 ]),
3188 Fq::from_montgomery_limbs([
3189 17836346323317710151,
3190 12227034928325499140,
3191 2533213127903144227,
3192 888374169811671044,
3193 ]),
3194 Fq::from_montgomery_limbs([
3195 17190507118724296154,
3196 11902410769486810674,
3197 1884965616619903297,
3198 288715797041361057,
3199 ]),
3200 Fq::from_montgomery_limbs([
3201 3698781841092321912,
3202 12743575315417669826,
3203 2170730182690456487,
3204 1222843211331174337,
3205 ]),
3206 Fq::from_montgomery_limbs([
3207 4016814140820935108,
3208 7695810038153355283,
3209 9484931309805354358,
3210 1136167194218052037,
3211 ]),
3212 Fq::from_montgomery_limbs([
3213 14104529875826633218,
3214 4636945317611530138,
3215 9502367629041549061,
3216 1255556235831136969,
3217 ]),
3218 Fq::from_montgomery_limbs([
3219 3761991760077630951,
3220 15074729225518792210,
3221 17745896690436879228,
3222 1023440924724847735,
3223 ]),
3224 Fq::from_montgomery_limbs([
3225 15850125405934611308,
3226 14029919305144561597,
3227 18399969854542387983,
3228 1223450657234113398,
3229 ]),
3230 Fq::from_montgomery_limbs([
3231 15153111831948502891,
3232 17514853580286890635,
3233 16559251203856754825,
3234 921126073718956725,
3235 ]),
3236 Fq::from_montgomery_limbs([
3237 14464801899277986702,
3238 11416622266096337177,
3239 5506399331882969115,
3240 210576422101801202,
3241 ]),
3242 ]),
3243 }
3244}