-
Notifications
You must be signed in to change notification settings - Fork 0
/
const_amd64.go
1412 lines (1405 loc) · 84 KB
/
const_amd64.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
// Copyright (c) 2017 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
// +build amd64
package edwards25519
var d = FieldElement{
929955233495203, 466365720129213, 1662059464998953, 2033849074728123, 1442794654840575,
}
var d2 = FieldElement{
1859910466990425, 932731440258426, 1072319116312658, 1815898335770999, 633789495995903,
}
var SqrtM1 = FieldElement{
1718705420411056, 234908883556509, 2233514472574048, 2117202627021982, 765476049583133,
}
var A = FieldElement{
486662, 0, 0, 0, 0,
}
var bi = [8]PreComputedGroupElement{
{
FieldElement{1288382639258501, 245678601348599, 269427782077623, 1462984067271730, 137412439391563},
FieldElement{62697248952638, 204681361388450, 631292143396476, 338455783676468, 1213667448819585},
FieldElement{301289933810280, 1259582250014073, 1422107436869536, 796239922652654, 1953934009299142},
},
{
FieldElement{1601611775252272, 1720807796594148, 1132070835939856, 1260455018889551, 2147779492816911},
FieldElement{316559037616741, 2177824224946892, 1459442586438991, 1461528397712656, 751590696113597},
FieldElement{1850748884277385, 1200145853858453, 1068094770532492, 672251375690438, 1586055907191707},
},
{
FieldElement{769950342298419, 132954430919746, 844085933195555, 974092374476333, 726076285546016},
FieldElement{425251763115706, 608463272472562, 442562545713235, 837766094556764, 374555092627893},
FieldElement{1086255230780037, 274979815921559, 1960002765731872, 929474102396301, 1190409889297339},
},
{
FieldElement{665000864555967, 2065379846933859, 370231110385876, 350988370788628, 1233371373142985},
FieldElement{2019367628972465, 676711900706637, 110710997811333, 1108646842542025, 517791959672113},
FieldElement{965130719900578, 247011430587952, 526356006571389, 91986625355052, 2157223321444601},
},
{
FieldElement{1802695059465007, 1664899123557221, 593559490740857, 2160434469266659, 927570450755031},
FieldElement{1725674970513508, 1933645953859181, 1542344539275782, 1767788773573747, 1297447965928905},
FieldElement{1381809363726107, 1430341051343062, 2061843536018959, 1551778050872521, 2036394857967624},
},
{
FieldElement{1970894096313054, 528066325833207, 1619374932191227, 2207306624415883, 1169170329061080},
FieldElement{2070390218572616, 1458919061857835, 624171843017421, 1055332792707765, 433987520732508},
FieldElement{893653801273833, 1168026499324677, 1242553501121234, 1306366254304474, 1086752658510815},
},
{
FieldElement{213454002618221, 939771523987438, 1159882208056014, 317388369627517, 621213314200687},
FieldElement{1971678598905747, 338026507889165, 762398079972271, 655096486107477, 42299032696322},
FieldElement{177130678690680, 1754759263300204, 1864311296286618, 1180675631479880, 1292726903152791},
},
{
FieldElement{1913163449625248, 460779200291993, 2193883288642314, 1008900146920800, 1721983679009502},
FieldElement{1070401523076875, 1272492007800961, 1910153608563310, 2075579521696771, 1191169788841221},
FieldElement{692896803108118, 500174642072499, 2068223309439677, 1162190621851337, 1426986007309901},
},
}
var base = [32][8]PreComputedGroupElement{
{
{
FieldElement{1288382639258501, 245678601348599, 269427782077623, 1462984067271730, 137412439391563},
FieldElement{62697248952638, 204681361388450, 631292143396476, 338455783676468, 1213667448819585},
FieldElement{301289933810280, 1259582250014073, 1422107436869536, 796239922652654, 1953934009299142},
},
{
FieldElement{1380971894829527, 790832306631236, 2067202295274102, 1995808275510000, 1566530869037010},
FieldElement{463307831301544, 432984605774163, 1610641361907204, 750899048855000, 1894842303421586},
FieldElement{748439484463711, 1033211726465151, 1396005112841647, 1611506220286469, 1972177495910992},
},
{
FieldElement{1601611775252272, 1720807796594148, 1132070835939856, 1260455018889551, 2147779492816911},
FieldElement{316559037616741, 2177824224946892, 1459442586438991, 1461528397712656, 751590696113597},
FieldElement{1850748884277385, 1200145853858453, 1068094770532492, 672251375690438, 1586055907191707},
},
{
FieldElement{934282339813791, 1846903124198670, 1172395437954843, 1007037127761661, 1830588347719256},
FieldElement{1694390458783935, 1735906047636159, 705069562067493, 648033061693059, 696214010414170},
FieldElement{1121406372216585, 192876649532226, 190294192191717, 1994165897297032, 2245000007398739},
},
{
FieldElement{769950342298419, 132954430919746, 844085933195555, 974092374476333, 726076285546016},
FieldElement{425251763115706, 608463272472562, 442562545713235, 837766094556764, 374555092627893},
FieldElement{1086255230780037, 274979815921559, 1960002765731872, 929474102396301, 1190409889297339},
},
{
FieldElement{1388594989461809, 316767091099457, 394298842192982, 1230079486801005, 1440737038838979},
FieldElement{7380825640100, 146210432690483, 304903576448906, 1198869323871120, 997689833219095},
FieldElement{1181317918772081, 114573476638901, 262805072233344, 265712217171332, 294181933805782},
},
{
FieldElement{665000864555967, 2065379846933859, 370231110385876, 350988370788628, 1233371373142985},
FieldElement{2019367628972465, 676711900706637, 110710997811333, 1108646842542025, 517791959672113},
FieldElement{965130719900578, 247011430587952, 526356006571389, 91986625355052, 2157223321444601},
},
{
FieldElement{2068619540119183, 1966274918058806, 957728544705549, 729906502578991, 159834893065166},
FieldElement{2073601412052185, 31021124762708, 264500969797082, 248034690651703, 1030252227928288},
FieldElement{551790716293402, 1989538725166328, 801169423371717, 2052451893578887, 678432056995012},
},
},
{
{
FieldElement{1368953770187805, 790347636712921, 437508475667162, 2142576377050580, 1932081720066286},
FieldElement{953638594433374, 1092333936795051, 1419774766716690, 805677984380077, 859228993502513},
FieldElement{1200766035879111, 20142053207432, 1465634435977050, 1645256912097844, 295121984874596},
},
{
FieldElement{1735718747031557, 1248237894295956, 1204753118328107, 976066523550493, 65943769534592},
FieldElement{1060098822528990, 1586825862073490, 212301317240126, 1975302711403555, 666724059764335},
FieldElement{1091990273418756, 1572899409348578, 80968014455247, 306009358661350, 1520450739132526},
},
{
FieldElement{1480517209436112, 1511153322193952, 1244343858991172, 304788150493241, 369136856496443},
FieldElement{2151330273626164, 762045184746182, 1688074332551515, 823046109005759, 907602769079491},
FieldElement{2047386910586836, 168470092900250, 1552838872594810, 340951180073789, 360819374702533},
},
{
FieldElement{1982622644432056, 2014393600336956, 128909208804214, 1617792623929191, 105294281913815},
FieldElement{980234343912898, 1712256739246056, 588935272190264, 204298813091998, 841798321043288},
FieldElement{197561292938973, 454817274782871, 1963754960082318, 2113372252160468, 971377527342673},
},
{
FieldElement{164699448829328, 3127451757672, 1199504971548753, 1766155447043652, 1899238924683527},
FieldElement{732262946680281, 1674412764227063, 2182456405662809, 1350894754474250, 558458873295247},
FieldElement{2103305098582922, 1960809151316468, 715134605001343, 1454892949167181, 40827143824949},
},
{
FieldElement{1239289043050212, 1744654158124578, 758702410031698, 1796762995074688, 1603056663766},
FieldElement{2232056027107988, 987343914584615, 2115594492994461, 1819598072792159, 1119305654014850},
FieldElement{320153677847348, 939613871605645, 641883205761567, 1930009789398224, 329165806634126},
},
{
FieldElement{980930490474130, 1242488692177893, 1251446316964684, 1086618677993530, 1961430968465772},
FieldElement{276821765317453, 1536835591188030, 1305212741412361, 61473904210175, 2051377036983058},
FieldElement{833449923882501, 1750270368490475, 1123347002068295, 185477424765687, 278090826653186},
},
{
FieldElement{794524995833413, 1849907304548286, 53348672473145, 1272368559505217, 1147304168324779},
FieldElement{1504846112759364, 1203096289004681, 562139421471418, 274333017451844, 1284344053775441},
FieldElement{483048732424432, 2116063063343382, 30120189902313, 292451576741007, 1156379271702225},
},
},
{
{
FieldElement{928372153029038, 2147692869914564, 1455665844462196, 1986737809425946, 185207050258089},
FieldElement{137732961814206, 706670923917341, 1387038086865771, 1965643813686352, 1384777115696347},
FieldElement{481144981981577, 2053319313589856, 2065402289827512, 617954271490316, 1106602634668125},
},
{
FieldElement{696298019648792, 893299659040895, 1148636718636009, 26734077349617, 2203955659340681},
FieldElement{657390353372855, 998499966885562, 991893336905797, 810470207106761, 343139804608786},
FieldElement{791736669492960, 934767652997115, 824656780392914, 1759463253018643, 361530362383518},
},
{
FieldElement{2022541353055597, 2094700262587466, 1551008075025686, 242785517418164, 695985404963562},
FieldElement{1287487199965223, 2215311941380308, 1552928390931986, 1664859529680196, 1125004975265243},
FieldElement{677434665154918, 989582503122485, 1817429540898386, 1052904935475344, 1143826298169798},
},
{
FieldElement{367266328308408, 318431188922404, 695629353755355, 634085657580832, 24581612564426},
FieldElement{773360688841258, 1815381330538070, 363773437667376, 539629987070205, 783280434248437},
FieldElement{180820816194166, 168937968377394, 748416242794470, 1227281252254508, 1567587861004268},
},
{
FieldElement{478775558583645, 2062896624554807, 699391259285399, 358099408427873, 1277310261461761},
FieldElement{1984740906540026, 1079164179400229, 1056021349262661, 1659958556483663, 1088529069025527},
FieldElement{580736401511151, 1842931091388998, 1177201471228238, 2075460256527244, 1301133425678027},
},
{
FieldElement{1515728832059182, 1575261009617579, 1510246567196186, 191078022609704, 116661716289141},
FieldElement{1295295738269652, 1714742313707026, 545583042462581, 2034411676262552, 1513248090013606},
FieldElement{230710545179830, 30821514358353, 760704303452229, 390668103790604, 573437871383156},
},
{
FieldElement{1169380107545646, 263167233745614, 2022901299054448, 819900753251120, 2023898464874585},
FieldElement{2102254323485823, 1570832666216754, 34696906544624, 1993213739807337, 70638552271463},
FieldElement{894132856735058, 548675863558441, 845349339503395, 1942269668326667, 1615682209874691},
},
{
FieldElement{1287670217537834, 1222355136884920, 1846481788678694, 1150426571265110, 1613523400722047},
FieldElement{793388516527298, 1315457083650035, 1972286999342417, 1901825953052455, 338269477222410},
FieldElement{550201530671806, 778605267108140, 2063911101902983, 115500557286349, 2041641272971022},
},
},
{
{
FieldElement{717255318455100, 519313764361315, 2080406977303708, 541981206705521, 774328150311600},
FieldElement{261715221532238, 1795354330069993, 1496878026850283, 499739720521052, 389031152673770},
FieldElement{1997217696294013, 1717306351628065, 1684313917746180, 1644426076011410, 1857378133465451},
},
{
FieldElement{1475434724792648, 76931896285979, 1116729029771667, 2002544139318042, 725547833803938},
FieldElement{2022306639183567, 726296063571875, 315345054448644, 1058733329149221, 1448201136060677},
FieldElement{1710065158525665, 1895094923036397, 123988286168546, 1145519900776355, 1607510767693874},
},
{
FieldElement{561605375422540, 1071733543815037, 131496498800990, 1946868434569999, 828138133964203},
FieldElement{1548495173745801, 442310529226540, 998072547000384, 553054358385281, 644824326376171},
FieldElement{1445526537029440, 2225519789662536, 914628859347385, 1064754194555068, 1660295614401091},
},
{
FieldElement{1199690223111956, 24028135822341, 66638289244341, 57626156285975, 565093967979607},
FieldElement{876926774220824, 554618976488214, 1012056309841565, 839961821554611, 1414499340307677},
FieldElement{703047626104145, 1266841406201770, 165556500219173, 486991595001879, 1011325891650656},
},
{
FieldElement{1622861044480487, 1156394801573634, 1869132565415504, 327103985777730, 2095342781472284},
FieldElement{334886927423922, 489511099221528, 129160865966726, 1720809113143481, 619700195649254},
FieldElement{1646545795166119, 1758370782583567, 714746174550637, 1472693650165135, 898994790308209},
},
{
FieldElement{333403773039279, 295772542452938, 1693106465353610, 912330357530760, 471235657950362},
FieldElement{1811196219982022, 1068969825533602, 289602974833439, 1988956043611592, 863562343398367},
FieldElement{906282429780072, 2108672665779781, 432396390473936, 150625823801893, 1708930497638539},
},
{
FieldElement{925664675702328, 21416848568684, 1831436641861340, 601157008940113, 371818055044496},
FieldElement{1479786007267725, 1738881859066675, 68646196476567, 2146507056100328, 1247662817535471},
FieldElement{52035296774456, 939969390708103, 312023458773250, 59873523517659, 1231345905848899},
},
{
FieldElement{643355106415761, 290186807495774, 2013561737429023, 319648069511546, 393736678496162},
FieldElement{129358342392716, 1932811617704777, 1176749390799681, 398040349861790, 1170779668090425},
FieldElement{2051980782668029, 121859921510665, 2048329875753063, 1235229850149665, 519062146124755},
},
},
{
{
FieldElement{1608170971973096, 415809060360428, 1350468408164766, 2038620059057678, 1026904485989112},
FieldElement{1837656083115103, 1510134048812070, 906263674192061, 1821064197805734, 565375124676301},
FieldElement{578027192365650, 2034800251375322, 2128954087207123, 478816193810521, 2196171989962750},
},
{
FieldElement{1633188840273139, 852787172373708, 1548762607215796, 1266275218902681, 1107218203325133},
FieldElement{462189358480054, 1784816734159228, 1611334301651368, 1303938263943540, 707589560319424},
FieldElement{1038829280972848, 38176604650029, 753193246598573, 1136076426528122, 595709990562434},
},
{
FieldElement{1408451820859834, 2194984964010833, 2198361797561729, 1061962440055713, 1645147963442934},
FieldElement{4701053362120, 1647641066302348, 1047553002242085, 1923635013395977, 206970314902065},
FieldElement{1750479161778571, 1362553355169293, 1891721260220598, 966109370862782, 1024913988299801},
},
{
FieldElement{212699049131723, 1117950018299775, 1873945661751056, 1403802921984058, 130896082652698},
FieldElement{636808533673210, 1262201711667560, 390951380330599, 1663420692697294, 561951321757406},
FieldElement{520731594438141, 1446301499955692, 273753264629267, 1565101517999256, 1019411827004672},
},
{
FieldElement{926527492029409, 1191853477411379, 734233225181171, 184038887541270, 1790426146325343},
FieldElement{1464651961852572, 1483737295721717, 1519450561335517, 1161429831763785, 405914998179977},
FieldElement{996126634382301, 796204125879525, 127517800546509, 344155944689303, 615279846169038},
},
{
FieldElement{738724080975276, 2188666632415296, 1961313708559162, 1506545807547587, 1151301638969740},
FieldElement{622917337413835, 1218989177089035, 1284857712846592, 970502061709359, 351025208117090},
FieldElement{2067814584765580, 1677855129927492, 2086109782475197, 235286517313238, 1416314046739645},
},
{
FieldElement{586844262630358, 307444381952195, 458399356043426, 602068024507062, 1028548203415243},
FieldElement{678489922928203, 2016657584724032, 90977383049628, 1026831907234582, 615271492942522},
FieldElement{301225714012278, 1094837270268560, 1202288391010439, 644352775178361, 1647055902137983},
},
{
FieldElement{1210746697896478, 1416608304244708, 686487477217856, 1245131191434135, 1051238336855737},
FieldElement{1135604073198207, 1683322080485474, 769147804376683, 2086688130589414, 900445683120379},
FieldElement{1971518477615628, 401909519527336, 448627091057375, 1409486868273821, 1214789035034363},
},
},
{
{
FieldElement{1364039144731711, 1897497433586190, 2203097701135459, 145461396811251, 1349844460790699},
FieldElement{1045230323257973, 818206601145807, 630513189076103, 1672046528998132, 807204017562437},
FieldElement{439961968385997, 386362664488986, 1382706320807688, 309894000125359, 2207801346498567},
},
{
FieldElement{1229004686397588, 920643968530863, 123975893911178, 681423993215777, 1400559197080973},
FieldElement{2003766096898049, 170074059235165, 1141124258967971, 1485419893480973, 1573762821028725},
FieldElement{729905708611432, 1270323270673202, 123353058984288, 426460209632942, 2195574535456672},
},
{
FieldElement{1271140255321235, 2044363183174497, 52125387634689, 1445120246694705, 942541986339084},
FieldElement{1761608437466135, 583360847526804, 1586706389685493, 2157056599579261, 1170692369685772},
FieldElement{871476219910823, 1878769545097794, 2241832391238412, 548957640601001, 690047440233174},
},
{
FieldElement{297194732135507, 1366347803776820, 1301185512245601, 561849853336294, 1533554921345731},
FieldElement{999628998628371, 1132836708493400, 2084741674517453, 469343353015612, 678782988708035},
FieldElement{2189427607417022, 699801937082607, 412764402319267, 1478091893643349, 2244675696854460},
},
{
FieldElement{1712292055966563, 204413590624874, 1405738637332841, 408981300829763, 861082219276721},
FieldElement{508561155940631, 966928475686665, 2236717801150132, 424543858577297, 2089272956986143},
FieldElement{221245220129925, 1156020201681217, 491145634799213, 542422431960839, 828100817819207},
},
{
FieldElement{153756971240384, 1299874139923977, 393099165260502, 1058234455773022, 996989038681183},
FieldElement{559086812798481, 573177704212711, 1629737083816402, 1399819713462595, 1646954378266038},
FieldElement{1887963056288059, 228507035730124, 1468368348640282, 930557653420194, 613513962454686},
},
{
FieldElement{1224529808187553, 1577022856702685, 2206946542980843, 625883007765001, 279930793512158},
FieldElement{1076287717051609, 1114455570543035, 187297059715481, 250446884292121, 1885187512550540},
FieldElement{902497362940219, 76749815795675, 1657927525633846, 1420238379745202, 1340321636548352},
},
{
FieldElement{1129576631190784, 1281994010027327, 996844254743018, 257876363489249, 1150850742055018},
FieldElement{628740660038789, 1943038498527841, 467786347793886, 1093341428303375, 235413859513003},
FieldElement{237425418909360, 469614029179605, 1512389769174935, 1241726368345357, 441602891065214},
},
},
{
{
FieldElement{1736417953058555, 726531315520508, 1833335034432527, 1629442561574747, 624418919286085},
FieldElement{1960754663920689, 497040957888962, 1909832851283095, 1271432136996826, 2219780368020940},
FieldElement{1537037379417136, 1358865369268262, 2130838645654099, 828733687040705, 1999987652890901},
},
{
FieldElement{629042105241814, 1098854999137608, 887281544569320, 1423102019874777, 7911258951561},
FieldElement{1811562332665373, 1501882019007673, 2213763501088999, 359573079719636, 36370565049116},
FieldElement{218907117361280, 1209298913016966, 1944312619096112, 1130690631451061, 1342327389191701},
},
{
FieldElement{1369976867854704, 1396479602419169, 1765656654398856, 2203659200586299, 998327836117241},
FieldElement{2230701885562825, 1348173180338974, 2172856128624598, 1426538746123771, 444193481326151},
FieldElement{784210426627951, 918204562375674, 1284546780452985, 1324534636134684, 1872449409642708},
},
{
FieldElement{319638829540294, 596282656808406, 2037902696412608, 1557219121643918, 341938082688094},
FieldElement{1901860206695915, 2004489122065736, 1625847061568236, 973529743399879, 2075287685312905},
FieldElement{1371853944110545, 1042332820512553, 1949855697918254, 1791195775521505, 37487364849293},
},
{
FieldElement{687200189577855, 1082536651125675, 644224940871546, 340923196057951, 343581346747396},
FieldElement{2082717129583892, 27829425539422, 145655066671970, 1690527209845512, 1865260509673478},
FieldElement{1059729620568824, 2163709103470266, 1440302280256872, 1769143160546397, 869830310425069},
},
{
FieldElement{1609516219779025, 777277757338817, 2101121130363987, 550762194946473, 1905542338659364},
FieldElement{2024821921041576, 426948675450149, 595133284085473, 471860860885970, 600321679413000},
FieldElement{598474602406721, 1468128276358244, 1191923149557635, 1501376424093216, 1281662691293476},
},
{
FieldElement{1721138489890707, 1264336102277790, 433064545421287, 1359988423149466, 1561871293409447},
FieldElement{719520245587143, 393380711632345, 132350400863381, 1543271270810729, 1819543295798660},
FieldElement{396397949784152, 1811354474471839, 1362679985304303, 2117033964846756, 498041172552279},
},
{
FieldElement{1812471844975748, 1856491995543149, 126579494584102, 1036244859282620, 1975108050082550},
FieldElement{650623932407995, 1137551288410575, 2125223403615539, 1725658013221271, 2134892965117796},
FieldElement{522584000310195, 1241762481390450, 1743702789495384, 2227404127826575, 1686746002148897},
},
},
{
{
FieldElement{427904865186312, 1703211129693455, 1585368107547509, 1436984488744336, 761188534613978},
FieldElement{318101947455002, 248138407995851, 1481904195303927, 309278454311197, 1258516760217879},
FieldElement{1275068538599310, 513726919533379, 349926553492294, 688428871968420, 1702400196000666},
},
{
FieldElement{1061864036265233, 961611260325381, 321859632700838, 1045600629959517, 1985130202504038},
FieldElement{1558816436882417, 1962896332636523, 1337709822062152, 1501413830776938, 294436165831932},
FieldElement{818359826554971, 1862173000996177, 626821592884859, 573655738872376, 1749691246745455},
},
{
FieldElement{1988022651432119, 1082111498586040, 1834020786104821, 1454826876423687, 692929915223122},
FieldElement{2146513703733331, 584788900394667, 464965657279958, 2183973639356127, 238371159456790},
FieldElement{1129007025494441, 2197883144413266, 265142755578169, 971864464758890, 1983715884903702},
},
{
FieldElement{1291366624493075, 381456718189114, 1711482489312444, 1815233647702022, 892279782992467},
FieldElement{444548969917454, 1452286453853356, 2113731441506810, 645188273895859, 810317625309512},
FieldElement{2242724082797924, 1373354730327868, 1006520110883049, 2147330369940688, 1151816104883620},
},
{
FieldElement{1745720200383796, 1911723143175317, 2056329390702074, 355227174309849, 879232794371100},
FieldElement{163723479936298, 115424889803150, 1156016391581227, 1894942220753364, 1970549419986329},
FieldElement{681981452362484, 267208874112496, 1374683991933094, 638600984916117, 646178654558546},
},
{
FieldElement{13378654854251, 106237307029567, 1944412051589651, 1841976767925457, 230702819835573},
FieldElement{260683893467075, 854060306077237, 913639551980112, 4704576840123, 280254810808712},
FieldElement{715374893080287, 1173334812210491, 1806524662079626, 1894596008000979, 398905715033393},
},
{
FieldElement{500026409727661, 1596431288195371, 1420380351989370, 985211561521489, 392444930785633},
FieldElement{2096421546958141, 1922523000950363, 789831022876840, 427295144688779, 320923973161730},
FieldElement{1927770723575450, 1485792977512719, 1850996108474547, 551696031508956, 2126047405475647},
},
{
FieldElement{2112099158080148, 742570803909715, 6484558077432, 1951119898618916, 93090382703416},
FieldElement{383905201636970, 859946997631870, 855623867637644, 1017125780577795, 794250831877809},
FieldElement{77571826285752, 999304298101753, 487841111777762, 1038031143212339, 339066367948762},
},
},
{
{
FieldElement{674994775520533, 266035846330789, 826951213393478, 1405007746162285, 1781791018620876},
FieldElement{1001412661522686, 348196197067298, 1666614366723946, 888424995032760, 580747687801357},
FieldElement{1939560076207777, 1409892634407635, 552574736069277, 383854338280405, 190706709864139},
},
{
FieldElement{2177087163428741, 1439255351721944, 1208070840382793, 2230616362004769, 1396886392021913},
FieldElement{676962063230039, 1880275537148808, 2046721011602706, 888463247083003, 1318301552024067},
FieldElement{1466980508178206, 617045217998949, 652303580573628, 757303753529064, 207583137376902},
},
{
FieldElement{1511056752906902, 105403126891277, 493434892772846, 1091943425335976, 1802717338077427},
FieldElement{1853982405405128, 1878664056251147, 1528011020803992, 1019626468153565, 1128438412189035},
FieldElement{1963939888391106, 293456433791664, 697897559513649, 985882796904380, 796244541237972},
},
{
FieldElement{416770998629779, 389655552427054, 1314476859406756, 1749382513022778, 1161905598739491},
FieldElement{1428358296490651, 1027115282420478, 304840698058337, 441410174026628, 1819358356278573},
FieldElement{204943430200135, 1554861433819175, 216426658514651, 264149070665950, 2047097371738319},
},
{
FieldElement{1934415182909034, 1393285083565062, 516409331772960, 1157690734993892, 121039666594268},
FieldElement{662035583584445, 286736105093098, 1131773000510616, 818494214211439, 472943792054479},
FieldElement{665784778135882, 1893179629898606, 808313193813106, 276797254706413, 1563426179676396},
},
{
FieldElement{945205108984232, 526277562959295, 1324180513733566, 1666970227868664, 153547609289173},
FieldElement{2031433403516252, 203996615228162, 170487168837083, 981513604791390, 843573964916831},
FieldElement{1476570093962618, 838514669399805, 1857930577281364, 2017007352225784, 317085545220047},
},
{
FieldElement{1461557121912842, 1600674043318359, 2157134900399597, 1670641601940616, 127765583803283},
FieldElement{1293543509393474, 2143624609202546, 1058361566797508, 214097127393994, 946888515472729},
FieldElement{357067959932916, 1290876214345711, 521245575443703, 1494975468601005, 800942377643885},
},
{
FieldElement{566116659100033, 820247422481740, 994464017954148, 327157611686365, 92591318111744},
FieldElement{617256647603209, 1652107761099439, 1857213046645471, 1085597175214970, 817432759830522},
FieldElement{771808161440705, 1323510426395069, 680497615846440, 851580615547985, 1320806384849017},
},
},
{
{
FieldElement{1219260086131915, 647169006596815, 79601124759706, 2161724213426748, 404861897060198},
FieldElement{1327968293887866, 1335500852943256, 1401587164534264, 558137311952440, 1551360549268902},
FieldElement{417621685193956, 1429953819744454, 396157358457099, 1940470778873255, 214000046234152},
},
{
FieldElement{1268047918491973, 2172375426948536, 1533916099229249, 1761293575457130, 1590622667026765},
FieldElement{1627072914981959, 2211603081280073, 1912369601616504, 1191770436221309, 2187309757525860},
FieldElement{1149147819689533, 378692712667677, 828475842424202, 2218619146419342, 70688125792186},
},
{
FieldElement{1299739417079761, 1438616663452759, 1536729078504412, 2053896748919838, 1008421032591246},
FieldElement{2040723824657366, 399555637875075, 632543375452995, 872649937008051, 1235394727030233},
FieldElement{2211311599327900, 2139787259888175, 938706616835350, 12609661139114, 2081897930719789},
},
{
FieldElement{1324994503390450, 336982330582631, 1183998925654177, 1091654665913274, 48727673971319},
FieldElement{1845522914617879, 1222198248335542, 150841072760134, 1927029069940982, 1189913404498011},
FieldElement{1079559557592645, 2215338383666441, 1903569501302605, 49033973033940, 305703433934152},
},
{
FieldElement{94653405416909, 1386121349852999, 1062130477891762, 36553947479274, 833669648948846},
FieldElement{1432015813136298, 440364795295369, 1395647062821501, 1976874522764578, 934452372723352},
FieldElement{1296625309219774, 2068273464883862, 1858621048097805, 1492281814208508, 2235868981918946},
},
{
FieldElement{1490330266465570, 1858795661361448, 1436241134969763, 294573218899647, 1208140011028933},
FieldElement{1282462923712748, 741885683986255, 2027754642827561, 518989529541027, 1826610009555945},
FieldElement{1525827120027511, 723686461809551, 1597702369236987, 244802101764964, 1502833890372311},
},
{
FieldElement{113622036244513, 1233740067745854, 674109952278496, 2114345180342965, 166764512856263},
FieldElement{2041668749310338, 2184405322203901, 1633400637611036, 2110682505536899, 2048144390084644},
FieldElement{503058759232932, 760293024620937, 2027152777219493, 666858468148475, 1539184379870952},
},
{
FieldElement{1916168475367211, 915626432541343, 883217071712575, 363427871374304, 1976029821251593},
FieldElement{678039535434506, 570587290189340, 1605302676614120, 2147762562875701, 1706063797091704},
FieldElement{1439489648586438, 2194580753290951, 832380563557396, 561521973970522, 584497280718389},
},
},
{
{
FieldElement{187989455492609, 681223515948275, 1933493571072456, 1872921007304880, 488162364135671},
FieldElement{1413466089534451, 410844090765630, 1397263346404072, 408227143123410, 1594561803147811},
FieldElement{2102170800973153, 719462588665004, 1479649438510153, 1097529543970028, 1302363283777685},
},
{
FieldElement{942065717847195, 1069313679352961, 2007341951411051, 70973416446291, 1419433790163706},
FieldElement{1146565545556377, 1661971299445212, 406681704748893, 564452436406089, 1109109865829139},
FieldElement{2214421081775077, 1165671861210569, 1890453018796184, 3556249878661, 442116172656317},
},
{
FieldElement{753830546620811, 1666955059895019, 1530775289309243, 1119987029104146, 2164156153857580},
FieldElement{615171919212796, 1523849404854568, 854560460547503, 2067097370290715, 1765325848586042},
FieldElement{1094538949313667, 1796592198908825, 870221004284388, 2025558921863561, 1699010892802384},
},
{
FieldElement{1951351290725195, 1916457206844795, 198025184438026, 1909076887557595, 1938542290318919},
FieldElement{1014323197538413, 869150639940606, 1756009942696599, 1334952557375672, 1544945379082874},
FieldElement{764055910920305, 1603590757375439, 146805246592357, 1843313433854297, 954279890114939},
},
{
FieldElement{80113526615750, 764536758732259, 1055139345100233, 469252651759390, 617897512431515},
FieldElement{74497112547268, 740094153192149, 1745254631717581, 727713886503130, 1283034364416928},
FieldElement{525892105991110, 1723776830270342, 1476444848991936, 573789489857760, 133864092632978},
},
{
FieldElement{542611720192581, 1986812262899321, 1162535242465837, 481498966143464, 544600533583622},
FieldElement{64123227344372, 1239927720647794, 1360722983445904, 222610813654661, 62429487187991},
FieldElement{1793193323953132, 91096687857833, 70945970938921, 2158587638946380, 1537042406482111},
},
{
FieldElement{1895854577604609, 1394895708949416, 1728548428495944, 1140864900240149, 563645333603061},
FieldElement{141358280486863, 91435889572504, 1087208572552643, 1829599652522921, 1193307020643647},
FieldElement{1611230858525381, 950720175540785, 499589887488610, 2001656988495019, 88977313255908},
},
{
FieldElement{1189080501479658, 2184348804772597, 1040818725742319, 2018318290311834, 1712060030915354},
FieldElement{873966876953756, 1090638350350440, 1708559325189137, 672344594801910, 1320437969700239},
FieldElement{1508590048271766, 1131769479776094, 101550868699323, 428297785557897, 561791648661744},
},
},
{
{
FieldElement{756417570499462, 237882279232602, 2136263418594016, 1701968045454886, 703713185137472},
FieldElement{1781187809325462, 1697624151492346, 1381393690939988, 175194132284669, 1483054666415238},
FieldElement{2175517777364616, 708781536456029, 955668231122942, 1967557500069555, 2021208005604118},
},
{
FieldElement{1115135966606887, 224217372950782, 915967306279222, 593866251291540, 561747094208006},
FieldElement{1443163092879439, 391875531646162, 2180847134654632, 464538543018753, 1594098196837178},
FieldElement{850858855888869, 319436476624586, 327807784938441, 740785849558761, 17128415486016},
},
{
FieldElement{2132756334090067, 536247820155645, 48907151276867, 608473197600695, 1261689545022784},
FieldElement{1525176236978354, 974205476721062, 293436255662638, 148269621098039, 137961998433963},
FieldElement{1121075518299410, 2071745529082111, 1265567917414828, 1648196578317805, 496232102750820},
},
{
FieldElement{122321229299801, 1022922077493685, 2001275453369484, 2017441881607947, 993205880778002},
FieldElement{654925550560074, 1168810995576858, 575655959430926, 905758704861388, 496774564663534},
FieldElement{1954109525779738, 2117022646152485, 338102630417180, 1194140505732026, 107881734943492},
},
{
FieldElement{1714785840001267, 2036500018681589, 1876380234251966, 2056717182974196, 1645855254384642},
FieldElement{106431476499341, 62482972120563, 1513446655109411, 807258751769522, 538491469114},
FieldElement{2002850762893643, 1243624520538135, 1486040410574605, 2184752338181213, 378495998083531},
},
{
FieldElement{922510868424903, 1089502620807680, 402544072617374, 1131446598479839, 1290278588136533},
FieldElement{1867998812076769, 715425053580701, 39968586461416, 2173068014586163, 653822651801304},
FieldElement{162892278589453, 182585796682149, 75093073137630, 497037941226502, 133871727117371},
},
{
FieldElement{1914596576579670, 1608999621851578, 1987629837704609, 1519655314857977, 1819193753409464},
FieldElement{1949315551096831, 1069003344994464, 1939165033499916, 1548227205730856, 1933767655861407},
FieldElement{1730519386931635, 1393284965610134, 1597143735726030, 416032382447158, 1429665248828629},
},
{
FieldElement{360275475604565, 547835731063078, 215360904187529, 596646739879007, 332709650425085},
FieldElement{47602113726801, 1522314509708010, 437706261372925, 814035330438027, 335930650933545},
FieldElement{1291597595523886, 1058020588994081, 402837842324045, 1363323695882781, 2105763393033193},
},
},
{
{
FieldElement{109521982566564, 1715257748585139, 1112231216891516, 2046641005101484, 134249157157013},
FieldElement{2156991030936798, 2227544497153325, 1869050094431622, 754875860479115, 1754242344267058},
FieldElement{1846089562873800, 98894784984326, 1412430299204844, 171351226625762, 1100604760929008},
},
{
FieldElement{84172382130492, 499710970700046, 425749630620778, 1762872794206857, 612842602127960},
FieldElement{868309334532756, 1703010512741873, 1952690008738057, 4325269926064, 2071083554962116},
FieldElement{523094549451158, 401938899487815, 1407690589076010, 2022387426254453, 158660516411257},
},
{
FieldElement{612867287630009, 448212612103814, 571629077419196, 1466796750919376, 1728478129663858},
FieldElement{1723848973783452, 2208822520534681, 1718748322776940, 1974268454121942, 1194212502258141},
FieldElement{1254114807944608, 977770684047110, 2010756238954993, 1783628927194099, 1525962994408256},
},
{
FieldElement{232464058235826, 1948628555342434, 1835348780427694, 1031609499437291, 64472106918373},
FieldElement{767338676040683, 754089548318405, 1523192045639075, 435746025122062, 512692508440385},
FieldElement{1255955808701983, 1700487367990941, 1166401238800299, 1175121994891534, 1190934801395380},
},
{
FieldElement{349144008168292, 1337012557669162, 1475912332999108, 1321618454900458, 47611291904320},
FieldElement{877519947135419, 2172838026132651, 272304391224129, 1655143327559984, 886229406429814},
FieldElement{375806028254706, 214463229793940, 572906353144089, 572168269875638, 697556386112979},
},
{
FieldElement{1168827102357844, 823864273033637, 2071538752104697, 788062026895924, 599578340743362},
FieldElement{1948116082078088, 2054898304487796, 2204939184983900, 210526805152138, 786593586607626},
FieldElement{1915320147894736, 156481169009469, 655050471180417, 592917090415421, 2165897438660879},
},
{
FieldElement{1726336468579724, 1119932070398949, 1929199510967666, 33918788322959, 1836837863503150},
FieldElement{829996854845988, 217061778005138, 1686565909803640, 1346948817219846, 1723823550730181},
FieldElement{384301494966394, 687038900403062, 2211195391021739, 254684538421383, 1245698430589680},
},
{
FieldElement{1247567493562688, 1978182094455847, 183871474792955, 806570235643435, 288461518067916},
FieldElement{1449077384734201, 38285445457996, 2136537659177832, 2146493000841573, 725161151123125},
FieldElement{1201928866368855, 800415690605445, 1703146756828343, 997278587541744, 1858284414104014},
},
},
{
{
FieldElement{356468809648877, 782373916933152, 1718002439402870, 1392222252219254, 663171266061951},
FieldElement{759628738230460, 1012693474275852, 353780233086498, 246080061387552, 2030378857679162},
FieldElement{2040672435071076, 888593182036908, 1298443657189359, 1804780278521327, 354070726137060},
},
{
FieldElement{1894938527423184, 1463213041477277, 474410505497651, 247294963033299, 877975941029128},
FieldElement{207937160991127, 12966911039119, 820997788283092, 1010440472205286, 1701372890140810},
FieldElement{218882774543183, 533427444716285, 1233243976733245, 435054256891319, 1509568989549904},
},
{
FieldElement{1888838535711826, 1052177758340622, 1213553803324135, 169182009127332, 463374268115872},
FieldElement{299137589460312, 1594371588983567, 868058494039073, 257771590636681, 1805012993142921},
FieldElement{1806842755664364, 2098896946025095, 1356630998422878, 1458279806348064, 347755825962072},
},
{
FieldElement{1402334161391744, 1560083671046299, 1008585416617747, 1147797150908892, 1420416683642459},
FieldElement{665506704253369, 273770475169863, 799236974202630, 848328990077558, 1811448782807931},
FieldElement{1468412523962641, 771866649897997, 1931766110147832, 799561180078482, 524837559150077},
},
{
FieldElement{2223212657821850, 630416247363666, 2144451165500328, 816911130947791, 1024351058410032},
FieldElement{1266603897524861, 156378408858100, 1275649024228779, 447738405888420, 253186462063095},
FieldElement{2022215964509735, 136144366993649, 1800716593296582, 1193970603800203, 871675847064218},
},
{
FieldElement{1862751661970328, 851596246739884, 1519315554814041, 1542798466547449, 1417975335901520},
FieldElement{1228168094547481, 334133883362894, 587567568420081, 433612590281181, 603390400373205},
FieldElement{121893973206505, 1843345804916664, 1703118377384911, 497810164760654, 101150811654673},
},
{
FieldElement{458346255946468, 290909935619344, 1452768413850679, 550922875254215, 1537286854336538},
FieldElement{584322311184395, 380661238802118, 114839394528060, 655082270500073, 2111856026034852},
FieldElement{996965581008991, 2148998626477022, 1012273164934654, 1073876063914522, 1688031788934939},
},
{
FieldElement{923487018849600, 2085106799623355, 528082801620136, 1606206360876188, 735907091712524},
FieldElement{1697697887804317, 1335343703828273, 831288615207040, 949416685250051, 288760277392022},
FieldElement{1419122478109648, 1325574567803701, 602393874111094, 2107893372601700, 1314159682671307},
},
},
{
{
FieldElement{2201150872731804, 2180241023425241, 97663456423163, 1633405770247824, 848945042443986},
FieldElement{1173339555550611, 818605084277583, 47521504364289, 924108720564965, 735423405754506},
FieldElement{830104860549448, 1886653193241086, 1600929509383773, 1475051275443631, 286679780900937},
},
{
FieldElement{1577111294832995, 1030899169768747, 144900916293530, 1964672592979567, 568390100955250},
FieldElement{278388655910247, 487143369099838, 927762205508727, 181017540174210, 1616886700741287},
FieldElement{1191033906638969, 940823957346562, 1606870843663445, 861684761499847, 658674867251089},
},
{
FieldElement{1875032594195546, 1427106132796197, 724736390962158, 901860512044740, 635268497268760},
FieldElement{622869792298357, 1903919278950367, 1922588621661629, 1520574711600434, 1087100760174640},
FieldElement{25465949416618, 1693639527318811, 1526153382657203, 125943137857169, 145276964043999},
},
{
FieldElement{214739857969358, 920212862967915, 1939901550972269, 1211862791775221, 85097515720120},
FieldElement{2006245852772938, 734762734836159, 254642929763427, 1406213292755966, 239303749517686},
FieldElement{1619678837192149, 1919424032779215, 1357391272956794, 1525634040073113, 1310226789796241},
},
{
FieldElement{1040763709762123, 1704449869235352, 605263070456329, 1998838089036355, 1312142911487502},
FieldElement{1996723311435669, 1844342766567060, 985455700466044, 1165924681400960, 311508689870129},
FieldElement{43173156290518, 2202883069785309, 1137787467085917, 1733636061944606, 1394992037553852},
},
{
FieldElement{670078326344559, 555655025059356, 471959386282438, 2141455487356409, 849015953823125},
FieldElement{2197214573372804, 794254097241315, 1030190060513737, 267632515541902, 2040478049202624},
FieldElement{1812516004670529, 1609256702920783, 1706897079364493, 258549904773295, 996051247540686},
},
{
FieldElement{1540374301420584, 1764656898914615, 1810104162020396, 923808779163088, 664390074196579},
FieldElement{1323460699404750, 1262690757880991, 871777133477900, 1060078894988977, 1712236889662886},
FieldElement{1696163952057966, 1391710137550823, 608793846867416, 1034391509472039, 1780770894075012},
},
{
FieldElement{1367603834210841, 2131988646583224, 890353773628144, 1908908219165595, 270836895252891},
FieldElement{597536315471731, 40375058742586, 1942256403956049, 1185484645495932, 312666282024145},
FieldElement{1919411405316294, 1234508526402192, 1066863051997083, 1008444703737597, 1348810787701552},
},
},
{
{
FieldElement{2102881477513865, 1570274565945361, 1573617900503708, 18662635732583, 2232324307922098},
FieldElement{1853931367696942, 8107973870707, 350214504129299, 775206934582587, 1752317649166792},
FieldElement{1417148368003523, 721357181628282, 505725498207811, 373232277872983, 261634707184480},
},
{
FieldElement{2186733281493267, 2250694917008620, 1014829812957440, 479998161452389, 83566193876474},
FieldElement{1268116367301224, 560157088142809, 802626839600444, 2210189936605713, 1129993785579988},
FieldElement{615183387352312, 917611676109240, 878893615973325, 978940963313282, 938686890583575},
},
{
FieldElement{522024729211672, 1045059315315808, 1892245413707790, 1907891107684253, 2059998109500714},
FieldElement{1799679152208884, 912132775900387, 25967768040979, 432130448590461, 274568990261996},
FieldElement{98698809797682, 2144627600856209, 1907959298569602, 811491302610148, 1262481774981493},
},
{
FieldElement{1791451399743152, 1713538728337276, 118349997257490, 1882306388849954, 158235232210248},
FieldElement{1217809823321928, 2173947284933160, 1986927836272325, 1388114931125539, 12686131160169},
FieldElement{1650875518872272, 1136263858253897, 1732115601395988, 734312880662190, 1252904681142109},
},
{
FieldElement{372986456113865, 525430915458171, 2116279931702135, 501422713587815, 1907002872974925},
FieldElement{803147181835288, 868941437997146, 316299302989663, 943495589630550, 571224287904572},
FieldElement{227742695588364, 1776969298667369, 628602552821802, 457210915378118, 2041906378111140},
},
{
FieldElement{815000523470260, 913085688728307, 1052060118271173, 1345536665214223, 541623413135555},
FieldElement{1580216071604333, 1877997504342444, 857147161260913, 703522726778478, 2182763974211603},
FieldElement{1870080310923419, 71988220958492, 1783225432016732, 615915287105016, 1035570475990230},
},
{
FieldElement{730987750830150, 857613889540280, 1083813157271766, 1002817255970169, 1719228484436074},
FieldElement{377616581647602, 1581980403078513, 804044118130621, 2034382823044191, 643844048472185},
FieldElement{176957326463017, 1573744060478586, 528642225008045, 1816109618372371, 1515140189765006},
},
{
FieldElement{1888911448245718, 1387110895611080, 1924503794066429, 1731539523700949, 2230378382645454},
FieldElement{443392177002051, 233793396845137, 2199506622312416, 1011858706515937, 974676837063129},
FieldElement{1846351103143623, 1949984838808427, 671247021915253, 1946756846184401, 1929296930380217},
},
},
{
{
FieldElement{849646212452002, 1410198775302919, 73767886183695, 1641663456615812, 762256272452411},
FieldElement{692017667358279, 723305578826727, 1638042139863265, 748219305990306, 334589200523901},
FieldElement{22893968530686, 2235758574399251, 1661465835630252, 925707319443452, 1203475116966621},
},
{
FieldElement{801299035785166, 1733292596726131, 1664508947088596, 467749120991922, 1647498584535623},
FieldElement{903105258014366, 427141894933047, 561187017169777, 1884330244401954, 1914145708422219},
FieldElement{1344191060517578, 1960935031767890, 1518838929955259, 1781502350597190, 1564784025565682},
},
{
FieldElement{673723351748086, 1979969272514923, 1175287312495508, 1187589090978666, 1881897672213940},
FieldElement{1917185587363432, 1098342571752737, 5935801044414, 2000527662351839, 1538640296181569},
FieldElement{2495540013192, 678856913479236, 224998292422872, 219635787698590, 1972465269000940},
},
{
FieldElement{271413961212179, 1353052061471651, 344711291283483, 2014925838520662, 2006221033113941},
FieldElement{194583029968109, 514316781467765, 829677956235672, 1676415686873082, 810104584395840},
FieldElement{1980510813313589, 1948645276483975, 152063780665900, 129968026417582, 256984195613935},
},
{
FieldElement{1860190562533102, 1936576191345085, 461100292705964, 1811043097042830, 957486749306835},
FieldElement{796664815624365, 1543160838872951, 1500897791837765, 1667315977988401, 599303877030711},
FieldElement{1151480509533204, 2136010406720455, 738796060240027, 319298003765044, 1150614464349587},
},
{
FieldElement{1731069268103150, 735642447616087, 1364750481334268, 417232839982871, 927108269127661},
FieldElement{1017222050227968, 1987716148359, 2234319589635701, 621282683093392, 2132553131763026},
FieldElement{1567828528453324, 1017807205202360, 565295260895298, 829541698429100, 307243822276582},
},
{
FieldElement{249079270936248, 1501514259790706, 947909724204848, 944551802437487, 552658763982480},
FieldElement{2089966982947227, 1854140343916181, 2151980759220007, 2139781292261749, 158070445864917},
FieldElement{1338766321464554, 1906702607371284, 1519569445519894, 115384726262267, 1393058953390992},
},
{
FieldElement{1364621558265400, 1512388234908357, 1926731583198686, 2041482526432505, 920401122333774},
FieldElement{1884844597333588, 601480070269079, 620203503079537, 1079527400117915, 1202076693132015},
FieldElement{840922919763324, 727955812569642, 1303406629750194, 522898432152867, 294161410441865},
},
},
{
{
FieldElement{353760790835310, 1598361541848743, 1122905698202299, 1922533590158905, 419107700666580},
FieldElement{359856369838236, 180914355488683, 861726472646627, 218807937262986, 575626773232501},
FieldElement{755467689082474, 909202735047934, 730078068932500, 936309075711518, 2007798262842972},
},
{
FieldElement{1609384177904073, 362745185608627, 1335318541768201, 800965770436248, 547877979267412},
FieldElement{984339177776787, 815727786505884, 1645154585713747, 1659074964378553, 1686601651984156},
FieldElement{1697863093781930, 599794399429786, 1104556219769607, 830560774794755, 12812858601017},
},
{
FieldElement{1168737550514982, 897832437380552, 463140296333799, 302564600022547, 2008360505135501},
FieldElement{1856930662813910, 678090852002597, 1920179140755167, 1259527833759868, 55540971895511},
FieldElement{1158643631044921, 476554103621892, 178447851439725, 1305025542653569, 103433927680625},
},
{
FieldElement{2176793111709008, 1576725716350391, 2009350167273523, 2012390194631546, 2125297410909580},
FieldElement{825403285195098, 2144208587560784, 1925552004644643, 1915177840006985, 1015952128947864},
FieldElement{1807108316634472, 1534392066433717, 347342975407218, 1153820745616376, 7375003497471},
},
{
FieldElement{983061001799725, 431211889901241, 2201903782961093, 817393911064341, 2214616493042167},
FieldElement{228567918409756, 865093958780220, 358083886450556, 159617889659320, 1360637926292598},
FieldElement{234147501399755, 2229469128637390, 2175289352258889, 1397401514549353, 1885288963089922},
},
{
FieldElement{1111762412951562, 252849572507389, 1048714233823341, 146111095601446, 1237505378776770},
FieldElement{1113790697840279, 1051167139966244, 1045930658550944, 2011366241542643, 1686166824620755},
FieldElement{1054097349305049, 1872495070333352, 182121071220717, 1064378906787311, 100273572924182},
},
{
FieldElement{1306410853171605, 1627717417672447, 50983221088417, 1109249951172250, 870201789081392},
FieldElement{104233794644221, 1548919791188248, 2224541913267306, 2054909377116478, 1043803389015153},
FieldElement{216762189468802, 707284285441622, 190678557969733, 973969342604308, 1403009538434867},
},
{
FieldElement{1279024291038477, 344776835218310, 273722096017199, 1834200436811442, 634517197663804},
FieldElement{343805853118335, 1302216857414201, 566872543223541, 2051138939539004, 321428858384280},
FieldElement{470067171324852, 1618629234173951, 2000092177515639, 7307679772789, 1117521120249968},
},
},
{
{
FieldElement{278151578291475, 1810282338562947, 1771599529530998, 1383659409671631, 685373414471841},
FieldElement{577009397403102, 1791440261786291, 2177643735971638, 174546149911960, 1412505077782326},
FieldElement{893719721537457, 1201282458018197, 1522349501711173, 58011597740583, 1130406465887139},
},
{
FieldElement{412607348255453, 1280455764199780, 2233277987330768, 14180080401665, 331584698417165},
FieldElement{262483770854550, 990511055108216, 526885552771698, 571664396646158, 354086190278723},
FieldElement{1820352417585487, 24495617171480, 1547899057533253, 10041836186225, 480457105094042},
},
{
FieldElement{2023310314989233, 637905337525881, 2106474638900687, 557820711084072, 1687858215057826},
FieldElement{1144168702609745, 604444390410187, 1544541121756138, 1925315550126027, 626401428894002},
FieldElement{1922168257351784, 2018674099908659, 1776454117494445, 956539191509034, 36031129147635},
},
{
FieldElement{544644538748041, 1039872944430374, 876750409130610, 710657711326551, 1216952687484972},
FieldElement{58242421545916, 2035812695641843, 2118491866122923, 1191684463816273, 46921517454099},
FieldElement{272268252444639, 1374166457774292, 2230115177009552, 1053149803909880, 1354288411641016},
},
{
FieldElement{1857910905368338, 1754729879288912, 885945464109877, 1516096106802166, 1602902393369811},
FieldElement{1193437069800958, 901107149704790, 999672920611411, 477584824802207, 364239578697845},
FieldElement{886299989548838, 1538292895758047, 1590564179491896, 1944527126709657, 837344427345298},
},
{
FieldElement{754558365378305, 1712186480903618, 1703656826337531, 750310918489786, 518996040250900},
FieldElement{1309847803895382, 1462151862813074, 211370866671570, 1544595152703681, 1027691798954090},
FieldElement{803217563745370, 1884799722343599, 1357706345069218, 2244955901722095, 730869460037413},
},
{
FieldElement{689299471295966, 1831210565161071, 1375187341585438, 1106284977546171, 1893781834054269},
FieldElement{696351368613042, 1494385251239250, 738037133616932, 636385507851544, 927483222611406},
FieldElement{1949114198209333, 1104419699537997, 783495707664463, 1747473107602770, 2002634765788641},
},
{
FieldElement{1607325776830197, 530883941415333, 1451089452727895, 1581691157083423, 496100432831154},
FieldElement{1068900648804224, 2006891997072550, 1134049269345549, 1638760646180091, 2055396084625778},
FieldElement{2222475519314561, 1870703901472013, 1884051508440561, 1344072275216753, 1318025677799069},
},
},
{
{
FieldElement{155711679280656, 681100400509288, 389811735211209, 2135723811340709, 408733211204125},
FieldElement{7813206966729, 194444201427550, 2071405409526507, 1065605076176312, 1645486789731291},
FieldElement{16625790644959, 1647648827778410, 1579910185572704, 436452271048548, 121070048451050},
},
{
FieldElement{1037263028552531, 568385780377829, 297953104144430, 1558584511931211, 2238221839292471},
FieldElement{190565267697443, 672855706028058, 338796554369226, 337687268493904, 853246848691734},
FieldElement{1763863028400139, 766498079432444, 1321118624818005, 69494294452268, 858786744165651},
},
{
FieldElement{1292056768563024, 1456632109855638, 1100631247050184, 1386133165675321, 1232898350193752},
FieldElement{366253102478259, 525676242508811, 1449610995265438, 1183300845322183, 185960306491545},
FieldElement{28315355815982, 460422265558930, 1799675876678724, 1969256312504498, 1051823843138725},
},
{
FieldElement{156914999361983, 1606148405719949, 1665208410108430, 317643278692271, 1383783705665320},
FieldElement{54684536365732, 2210010038536222, 1194984798155308, 535239027773705, 1516355079301361},
FieldElement{1484387703771650, 198537510937949, 2186282186359116, 617687444857508, 647477376402122},
},
{
FieldElement{2147715541830533, 500032538445817, 646380016884826, 352227855331122, 1488268620408052},
FieldElement{159386186465542, 1877626593362941, 618737197060512, 1026674284330807, 1158121760792685},
FieldElement{1744544377739822, 1964054180355661, 1685781755873170, 2169740670377448, 1286112621104591},
},
{
FieldElement{81977249784993, 1667943117713086, 1668983819634866, 1605016835177615, 1353960708075544},
FieldElement{1602253788689063, 439542044889886, 2220348297664483, 657877410752869, 157451572512238},
FieldElement{1029287186166717, 65860128430192, 525298368814832, 1491902500801986, 1461064796385400},
},
{
FieldElement{408216988729246, 2121095722306989, 913562102267595, 1879708920318308, 241061448436731},
FieldElement{1185483484383269, 1356339572588553, 584932367316448, 102132779946470, 1792922621116791},
FieldElement{1966196870701923, 2230044620318636, 1425982460745905, 261167817826569, 46517743394330},
},
{
FieldElement{107077591595359, 884959942172345, 27306869797400, 2224911448949390, 964352058245223},
FieldElement{1730194207717538, 431790042319772, 1831515233279467, 1372080552768581, 1074513929381760},
FieldElement{1450880638731607, 1019861580989005, 1229729455116861, 1174945729836143, 826083146840706},
},
},
{
{
FieldElement{1899935429242705, 1602068751520477, 940583196550370, 82431069053859, 1540863155745696},
FieldElement{2136688454840028, 2099509000964294, 1690800495246475, 1217643678575476, 828720645084218},
FieldElement{765548025667841, 462473984016099, 998061409979798, 546353034089527, 2212508972466858},
},
{
FieldElement{46575283771160, 892570971573071, 1281983193144090, 1491520128287375, 75847005908304},
FieldElement{1801436127943107, 1734436817907890, 1268728090345068, 167003097070711, 2233597765834956},
FieldElement{1997562060465113, 1048700225534011, 7615603985628, 1855310849546841, 2242557647635213},
},
{
FieldElement{1161017320376250, 492624580169043, 2169815802355237, 976496781732542, 1770879511019629},
FieldElement{1357044908364776, 729130645262438, 1762469072918979, 1365633616878458, 181282906404941},
FieldElement{1080413443139865, 1155205815510486, 1848782073549786, 622566975152580, 124965574467971},
},
{
FieldElement{1184526762066993, 247622751762817, 692129017206356, 820018689412496, 2188697339828085},
FieldElement{2020536369003019, 202261491735136, 1053169669150884, 2056531979272544, 778165514694311},
FieldElement{237404399610207, 1308324858405118, 1229680749538400, 720131409105291, 1958958863624906},
},
{
FieldElement{515583508038846, 17656978857189, 1717918437373989, 1568052070792483, 46975803123923},
FieldElement{281527309158085, 36970532401524, 866906920877543, 2222282602952734, 1289598729589882},
FieldElement{1278207464902042, 494742455008756, 1262082121427081, 1577236621659884, 1888786707293291},
},
{
FieldElement{353042527954210, 1830056151907359, 1111731275799225, 174960955838824, 404312815582675},
FieldElement{2064251142068628, 1666421603389706, 1419271365315441, 468767774902855, 191535130366583},
FieldElement{1716987058588002, 1859366439773457, 1767194234188234, 64476199777924, 1117233614485261},
},
{
FieldElement{984292135520292, 135138246951259, 2220652137473167, 1722843421165029, 190482558012909},
FieldElement{298845952651262, 1166086588952562, 1179896526238434, 1347812759398693, 1412945390096208},
FieldElement{1143239552672925, 906436640714209, 2177000572812152, 2075299936108548, 325186347798433},
},
{
FieldElement{721024854374772, 684487861263316, 1373438744094159, 2193186935276995, 1387043709851261},
FieldElement{418098668140962, 715065997721283, 1471916138376055, 2168570337288357, 937812682637044},
FieldElement{1043584187226485, 2143395746619356, 2209558562919611, 482427979307092, 847556718384018},
},
},
{
{
FieldElement{1248731221520759, 1465200936117687, 540803492710140, 52978634680892, 261434490176109},
FieldElement{1057329623869501, 620334067429122, 461700859268034, 2012481616501857, 297268569108938},
FieldElement{1055352180870759, 1553151421852298, 1510903185371259, 1470458349428097, 1226259419062731},
},
{
FieldElement{1492988790301668, 790326625573331, 1190107028409745, 1389394752159193, 1620408196604194},
FieldElement{47000654413729, 1004754424173864, 1868044813557703, 173236934059409, 588771199737015},
FieldElement{30498470091663, 1082245510489825, 576771653181956, 806509986132686, 1317634017056939},
},
{
FieldElement{420308055751555, 1493354863316002, 165206721528088, 1884845694919786, 2065456951573059},
FieldElement{1115636332012334, 1854340990964155, 83792697369514, 1972177451994021, 457455116057587},
FieldElement{1698968457310898, 1435137169051090, 1083661677032510, 938363267483709, 340103887207182},
},
{
FieldElement{1995325341336574, 911500251774648, 164010755403692, 855378419194762, 1573601397528842},
FieldElement{241719380661528, 310028521317150, 1215881323380194, 1408214976493624, 2141142156467363},
FieldElement{1315157046163473, 727368447885818, 1363466668108618, 1668921439990361, 1398483384337907},
},
{
FieldElement{75029678299646, 1015388206460473, 1849729037055212, 1939814616452984, 444404230394954},
FieldElement{2053597130993710, 2024431685856332, 2233550957004860, 2012407275509545, 872546993104440},
FieldElement{1217269667678610, 599909351968693, 1390077048548598, 1471879360694802, 739586172317596},
},
{
FieldElement{1718318639380794, 1560510726633958, 904462881159922, 1418028351780052, 94404349451937},
FieldElement{2132502667405250, 214379346175414, 1502748313768060, 1960071701057800, 1353971822643138},
FieldElement{319394212043702, 2127459436033571, 717646691535162, 663366796076914, 318459064945314},
},
{
FieldElement{405989424923593, 1960452633787083, 667349034401665, 1492674260767112, 1451061489880787},
FieldElement{947085906234007, 323284730494107, 1485778563977200, 728576821512394, 901584347702286},
FieldElement{1575783124125742, 2126210792434375, 1569430791264065, 1402582372904727, 1891780248341114},
},
{
FieldElement{838432205560695, 1997703511451664, 1018791879907867, 1662001808174331, 78328132957753},
FieldElement{739152638255629, 2074935399403557, 505483666745895, 1611883356514088, 628654635394878},
FieldElement{1822054032121349, 643057948186973, 7306757352712, 577249257962099, 284735863382083},
},
},
{
{
FieldElement{1366558556363930, 1448606567552086, 1478881020944768, 165803179355898, 1115718458123498},
FieldElement{204146226972102, 1630511199034723, 2215235214174763, 174665910283542, 956127674017216},
FieldElement{1562934578796716, 1070893489712745, 11324610642270, 958989751581897, 2172552325473805},
},
{
FieldElement{1770564423056027, 735523631664565, 1326060113795289, 1509650369341127, 65892421582684},
FieldElement{623682558650637, 1337866509471512, 990313350206649, 1314236615762469, 1164772974270275},