-
Notifications
You must be signed in to change notification settings - Fork 155
/
Copy pathconstants.rs
7590 lines (7585 loc) · 405 KB
/
constants.rs
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
use lambdaworks_math::elliptic_curve::short_weierstrass::{
curves::stark_curve::StarkCurve, point::ShortWeierstrassProjectivePoint,
};
pub const fn shift_point() -> ShortWeierstrassProjectivePoint<StarkCurve> {
StarkCurve::from_affine_hex_string(
"0x049ee3eba8c1600700ee1b87eb599f16716b0b1022947733551fde4050ca6804",
"0x03ca0cfe4b3bc6ddf346d49d06ea0ed34e621062c0e056c1d0405d266e10268a",
)
}
pub const fn points_p1() -> [ShortWeierstrassProjectivePoint<StarkCurve>; 930] {
[
StarkCurve::from_affine_hex_string(
"0x0234287dcbaffe7f969c748655fca9e58fa8120b6d56eb0c1080d17957ebe47b",
"0x03b056f100f96fb21e889527d41f4e39940135dd7a6c94cc6ed0268ee89e5615",
),
StarkCurve::from_affine_hex_string(
"0x003909690e1123c80678a7ba0fde0e8447f6f02b3f6b960034d1e93524f8b476",
"0x07122e9063d239d89d4e336753845b76f2b33ca0d7f0c1acd4b9fe974994cc19",
),
StarkCurve::from_affine_hex_string(
"0x07229b12e8428f710abf28f83336c210d35cce1fce0c3fb83f5bbbd1033f68c9",
"0x023425e83f32f3677ce1e46d004c13898d5170248300fd0f3ee42b6013a2a2fa",
),
StarkCurve::from_affine_hex_string(
"0x040fd002e38ea01a01b2702eb7c643e9decc2894cbf31765922e281939ab542c",
"0x0109f720a79e2a41471f054ca885efd90c8cfbbec37991d1b6343991e0a3e740",
),
StarkCurve::from_affine_hex_string(
"0x00df45299e7e1d2231116da91797315f672deabd6fdd83b139a782c6a3328df4",
"0x058d8082c3852c613f18759e1bce170c8225a2202456c638660aef996f4907cb",
),
StarkCurve::from_affine_hex_string(
"0x0340f018dac64edcc62482a77357ffa46cb5560a935be398dc1f2d9072728e32",
"0x029d2c3fee3257c4af71536cb2c1a8b5eb960bb874444a956b92f1dab9c23495",
),
StarkCurve::from_affine_hex_string(
"0x0550eaa3b906d70f681f279029342cb6ca7a18eeaf41f40460dcac94a33558bd",
"0x03290266ae4666f375765ff418ce895ec04e6849bf6c79fd1fdfa55a0d6dbc36",
),
StarkCurve::from_affine_hex_string(
"0x02f52066635c139fc2f64eb0bd5e3fd7a705f576854ec4f00aa60361fddb981b",
"0x06d78a24d8a5f97fc600318ce16b3c840315979c3273078ec1a285f217ee6a26",
),
StarkCurve::from_affine_hex_string(
"0x0406a4903dff511fd555465a62c879070daff3f97d5dfcbc25a89b912b0f245d",
"0x02ac3ad5e021f342459f3e23535a1b76b546b7ce8922e8cb4b42272dee8c15d2",
),
StarkCurve::from_affine_hex_string(
"0x048ee5faafb8626a51f20bc4d9d7171ba796193bcfc4dc15efe2f01842c159d6",
"0x0436a82462639f945fe0cc7807bf3df035bf74aee299e0317efe51c3b7b29e5a",
),
StarkCurve::from_affine_hex_string(
"0x05e8906095605da0ce8bbcf4f1faa885239d46cffd0ec58ebd80d85d2ff17f5f",
"0x07363c43c0f6f1756a27bd9b67960f31f26a71777d150af9d9e9d5f397a13184",
),
StarkCurve::from_affine_hex_string(
"0x04e724e82fe08a75b06bf4601435f0dd7146b07f2ce99915f2fbb3e8d2739391",
"0x00a1aafde6e3ad64e28d30f25ce2ba34bb978fa70c374c37a1a506dd065252f1",
),
StarkCurve::from_affine_hex_string(
"0x07ed3443a478173dfc6e695e46866cdf09a1eccc24bac49f457bbc2c4a16893e",
"0x016376037b759d6b042da47d35003a7b926c66c4009a07188bf42317ddd0a397",
),
StarkCurve::from_affine_hex_string(
"0x00184e6a77137f5981ba3104f641272d4315dbf17942aa72306f5039ef44face",
"0x0383342a72aae69729343a8363d3d674c0c2fecba1be4bdb7c54e11548a1b08f",
),
StarkCurve::from_affine_hex_string(
"0x014b98c2eee31d8cce3ada97504f033be6f447d4b4b6e9374b5d0826ca1e1154",
"0x071178c2f4ca2c6fd7fcdfa6ae6b87f7c5cc5e46e3b577896f8afb376dc10008",
),
StarkCurve::from_affine_hex_string(
"0x06a0767a1fd60d5b9027a35af1b68e57a1c366ebcde2006cdd07af27043ef674",
"0x0606b72c0ca0498b8c1817ed7922d550894c324f5efdfc85a19a1ae382411ca2",
),
StarkCurve::from_affine_hex_string(
"0x07fa463ee2a2d6a585d5c3358918270f6c28c66df1f86803374d1edf3819cc62",
"0x00a996edf01598832e644e1cae9a37288865ad80e2787f9bf958aceccc99afae",
),
StarkCurve::from_affine_hex_string(
"0x00433ca5a9740fd5444c82d3a031842be7fc64c52c24731a68aaebc4b3fad126",
"0x0182d522a91b3605ddfc2b1a0fd2a7ccb705c6e6d1bc6b35bc75933748d2512c",
),
StarkCurve::from_affine_hex_string(
"0x03d4da70d1540da597dbae1651d28487604a4e66a4a1823b97e8e9639393dbec",
"0x045cdef70c35d3b6f0a2273a9886ccb6306d813e8204bdfd30b4efee63c8a3f9",
),
StarkCurve::from_affine_hex_string(
"0x05132ef198cb729635749974739d4096f25142db97af3fde079089cfc8fff003",
"0x03946837958b4b03428a4ae47c197a0de9e13d372282705f1959770b47ce25ae",
),
StarkCurve::from_affine_hex_string(
"0x01b5fd788e27a712d739d6b86cfc2907bf230a56762550ab90885d0d5d0711d8",
"0x0365ec932cb2e4cfdc9169d832101f16e4a9fcb17f9073ee96d9ed7eb779cd66",
),
StarkCurve::from_affine_hex_string(
"0x00f8e5df3d74ea43638d46640e3d7ec79590ec4fef664bb48a521a88005ff510",
"0x047003dcbef6a4dda6c5a6d22dd974134ac1aedc2b01730bfff81c5ad0f9e3c4",
),
StarkCurve::from_affine_hex_string(
"0x01e448fdbcd9896c6fbf5f36cb7e7fcb77a751ff2d942593cae023363cc7750e",
"0x030c81da0f3a8cb64468eaa491c7ae7b4842b62cb4148820da211afc4caffb3a",
),
StarkCurve::from_affine_hex_string(
"0x05473730c8a3fc843fcc70d2e20533f07a45689c7381857191137af36bd6a743",
"0x05d96a94e1ccf4c60b95b1a6d4482c2451c1bfb12d899e6d967df63dfe6d315e",
),
StarkCurve::from_affine_hex_string(
"0x007fac20fe7b0c59c67987b3a7e42aff5b857ee532b73d10a5a689e34280325b",
"0x03b20d3e307ed631871a9074e800448d807d2d6586edd3953cbdfd6876d5c3a5",
),
StarkCurve::from_affine_hex_string(
"0x049299aa96ce9e57b9ea9d4737351f5ad20bd02f618d3af294227e552ad3fccf",
"0x01b2c2c73c4839c94e9b62f8430f0f88da1336173a471a1af14e9d04b91575eb",
),
StarkCurve::from_affine_hex_string(
"0x015908bd905fc4b1ab61802421d99acad007eec07f9cc5a7f51a7c8166f42a7c",
"0x074532c685718fd5eb89b8a84fd5ea112953ecaeddf3310705a4ec694c27b369",
),
StarkCurve::from_affine_hex_string(
"0x00893e0cde416f8a61d58c8cacf2314af9eb331d6cfce6d36a210486b76c9048",
"0x0405879e7817d8dfac211f9d051463e8b8ffe47f911e8404557554faef193cd5",
),
StarkCurve::from_affine_hex_string(
"0x021fb8a6378be3dfb0af4a899e5c51b6e3f53c677a6fe34244b846fc065d95b3",
"0x00a8e9f5cc41dbd7e43bc24caddeaa2f6526d03b1acbc0c9780d2df18e57d29d",
),
StarkCurve::from_affine_hex_string(
"0x00abbb0ca4aa2018feca36fed8ffd2779ce1c444de7cf1e6f4336317239a229b",
"0x03a5f5f1372ed9a8811eb74154001c7b2d491d590c97e67e9fc3f4a881eb1fd6",
),
StarkCurve::from_affine_hex_string(
"0x06531acf1a7cb90a4eb27de0b7f915e387a3b0fd063ba6e1289b91f48411be26",
"0x031330f5daa091889981a3ea782ae997f5f171336ed0487a03f051551a2cafa2",
),
StarkCurve::from_affine_hex_string(
"0x054be016394d5662d67d7e82f5e889ed2f97ccf95d911f57dd2362c4040ed4f4",
"0x00c6cb184053f054d6a59c1bf0986d17090d25089b3fdcdaf185edc87ef113e5",
),
StarkCurve::from_affine_hex_string(
"0x06f4f4793df4469b4a89da52f3ff45832564fe7ee67a07c7aeb7bd849a359c48",
"0x02c47fb246409be043ccb20932fa308094142e0c1fdcedd0b279e74f00abec0b",
),
StarkCurve::from_affine_hex_string(
"0x035b9ecd0499ca1d5d42dcbb0c6b4042b3733c64b607ca711e706e786ef2afc6",
"0x05624b476a5b21c3a544f0712d4817b06ad380a5a6529d323bf64da8ef862d8d",
),
StarkCurve::from_affine_hex_string(
"0x03396de1b8034959c41bc44b32feaead8c07f54b2456c06403687dd45e92a01a",
"0x00c2ef4cd3a067d95dceb741b0e194b8b43c86964fe54337ee3a71e2d8ff215a",
),
StarkCurve::from_affine_hex_string(
"0x07f5af55179620a0e291bf2e4975d4e4fd17f695228b57b6ef30ec4b64f5229f",
"0x0103e752c691f2ceab9d17fd391ac5aa69596225ca9015817c421174024c7f11",
),
StarkCurve::from_affine_hex_string(
"0x007db0af269635778b2cdb98d49413e03419439c1db00891bf8cc23e17de0638",
"0x04aab69d21e8912e05b9ae1227baddcaf888a3945b71b1f0f676563112a94eb9",
),
StarkCurve::from_affine_hex_string(
"0x04ce0378e3ee8f77ed58f2ddbd8bb7676c8a38bfb1d3694c275254bd8ca38e23",
"0x05a16fcbff0769c9cf2b02c31621878ec819fff4b8231bff82c6183db2746820",
),
StarkCurve::from_affine_hex_string(
"0x058ee31b121e0d2343b525b8070124596d0f341e98b07afedadff9a74ec678b0",
"0x0649ebd69a4d612ac98f5cb10a3a59fb5080083488eba7ab6549d3133e936cec",
),
StarkCurve::from_affine_hex_string(
"0x02e9a8c9adfd58e886ff5e8835be0304c5b921fd9b7e0d9ba246633d1f9b5cb6",
"0x02cf5c605a67acd85f01780fcfaa36de39ad964555d670b5c1e594652311c8f4",
),
StarkCurve::from_affine_hex_string(
"0x0114f01fdad91af9a43da1079c51dfb76f1c6b47d24811b7a161f548d1ce94d4",
"0x000ceabf891c2a439f28e3f70797ba51026253492d614576c431d4aa9e319939",
),
StarkCurve::from_affine_hex_string(
"0x03906297bfbe91c274b3439b2d358dd753500988cf4ab33b4699cb92852a8351",
"0x0628e4f1c3b085f71f276a0857e7aa033dc64cdaee9af2fee88055b53738e62a",
),
StarkCurve::from_affine_hex_string(
"0x0372d1ef3230d499d5ddd8475e5b878a4d01785da806ba92226a7ca9ad379de7",
"0x073ab138117f1b679c11fa81e572187d94eec710164c3bc3523d0094dfceba37",
),
StarkCurve::from_affine_hex_string(
"0x07675b925eb1860917ecffde0db01d51770fbe7108460b808c56b3e354f70d97",
"0x06627121085781697f62c43c0d29833c3fdc257a8e6375429e620be7c63632ac",
),
StarkCurve::from_affine_hex_string(
"0x03804a310c3d332ae426a892e125dd13bf0a0cc9849a8e7b2a67be7334a1fb86",
"0x0700ff46ee391b0ef5d86438734ae3b4c1043c9c488a78a16bc552c516aeb75b",
),
StarkCurve::from_affine_hex_string(
"0x0648d5c6f98680a1b926bfeb01c00224c56fdcf751b251c4449c8a94f425cfcf",
"0x072c05ac793cd1620a833fbe2214d36900ebe446e095c62fcb740937f98cca8c",
),
StarkCurve::from_affine_hex_string(
"0x00bd09be3e4e1af8a14189977e334f097c18e4a8bf42577ef5aafa0f807bd89b",
"0x06e0e72ed7eb65c86cee29c411fb4761122558ee81013344ba8509c49de9f9b6",
),
StarkCurve::from_affine_hex_string(
"0x0060e98611c70049ba42e68adab8db06fa3deb24e542481cb50e998c1c444c17",
"0x0783ccedeb3bee6376f0c02f2b5cb54e115d36c71038be64b4798b1dd9e20886",
),
StarkCurve::from_affine_hex_string(
"0x035ea4e339b44ae7724419bdfbe07022253137a4afb7cbaffad341ea61249357",
"0x03665d676a026a174f367bb4417780e53a7803cb02d0db32eb4545c267c42f14",
),
StarkCurve::from_affine_hex_string(
"0x05fb52838d0a4e255cd59f9df0810b1f511ded5ef26f95eb20a589bd3ded9899",
"0x039460e30ec6a68c1eaa2b27a512bbf5097ccae98153eedb82a851adaa554e6e",
),
StarkCurve::from_affine_hex_string(
"0x029d553857527a9fb753b218628f7fa22d0b035e134acba9fe7bb603ae11a4b5",
"0x00abf9b2689831b7f8bfc5d3e8db2af3f5feb26645e0ec08bf5ecb7d4a806877",
),
StarkCurve::from_affine_hex_string(
"0x04cae397bcab2196aebb6152f2aa6c0ed9d4243c7f52cb930c5cd602f784cff4",
"0x07c84f8966daf03473e05e53439ada76452a4fd5bb485865732ba8bfe122fd40",
),
StarkCurve::from_affine_hex_string(
"0x036457bc744f42e697b825c2d1afd8f4029d696a4514710f81da52d88e178643",
"0x07c93715896735492a68c7969a024b3a8fd538bffc1521538107de1a5f13ce9c",
),
StarkCurve::from_affine_hex_string(
"0x026f3bdef66b4befcff1076c8733db1e24cd4e25640db0d722055ca05e03499d",
"0x05f2ac048f88ab6ee28dab048d6b0e6b7edb38ef93433a05b033b59a5aaf5b07",
),
StarkCurve::from_affine_hex_string(
"0x043daf55d25dd9b7b0048d14762d1798bb88c6a74a10b6379b17c3fe3ab662ae",
"0x0644593b6956b8c0f62c1a8eeeac8a2d44bed6a7b932d66337dd55a7821f047b",
),
StarkCurve::from_affine_hex_string(
"0x001db2e250ef3c59382857425e99183f2c512a90c8c02677cea5ce5a503bc829",
"0x06dc4e058d69707948cbbac387bedec2be560d4e0bcc3ec1ce82808def25fae9",
),
StarkCurve::from_affine_hex_string(
"0x078e58bc2fa1c4a6feeb772c23f80e4fc3d9c9a06475213e88e7e05dbeed8bec",
"0x009b6a3f676231e9af5b51e9348952996ca1854d3dbd339f78ad344b0abc53dc",
),
StarkCurve::from_affine_hex_string(
"0x013424b850382824f7b451f1542e06ba56a945f20494848cb33d731f947f7a21",
"0x0374e341c5cc8126591881817cd671d72d48f50cfb2fefb4b5e7500453072f82",
),
StarkCurve::from_affine_hex_string(
"0x02425cce7159478cbd8efd4134f8d91c422292bac4deee60e301057ec5359f08",
"0x0097301e86fbe625c711aba4a954c15c226ca2736c1fa621cc279cea3ac32443",
),
StarkCurve::from_affine_hex_string(
"0x06151a3c5bccd2285771488d6bf61ae5339450824597674e8f7251354c913892",
"0x02fa5b62063fe9db9bb29cd0b707aa0f5de65a48a4c78c17beb4574d171cbc3f",
),
StarkCurve::from_affine_hex_string(
"0x05b3a08ebcf9c109cc9082f70d9df2b9c11b5428ee23917b4e790c4c10f6e661",
"0x0009d7b42ab0c20f5510df7ea5e196eec99342739077e9a168198c89da859753",
),
StarkCurve::from_affine_hex_string(
"0x021883ef8580fc06e59481955d52ece3aca6e82c8c9fc58e216dcf46f96990c6",
"0x051a6423543e6e8a43e71da34cd90f5b520b8d33b67c4bf857573ab9e301aa4c",
),
StarkCurve::from_affine_hex_string(
"0x00efbdfb8d391b3857a053d0526ac1d92a3c855e82db9fa5744f0512b06df3fe",
"0x03655a1e71a701d2c9495c20035a6a80711fb6b1978e156677d0356a323c434a",
),
StarkCurve::from_affine_hex_string(
"0x019e86b77f9b581e81092b305c852faf53940a8f15f0a6990c414f04c0fa7ef9",
"0x00515630e35d4398c9c79fc4ee08e1023fa47d8e03c6e7819c6d2ccef45398fa",
),
StarkCurve::from_affine_hex_string(
"0x052cbca763f535966ba8be2b32f8ae9284ee1591f37a8958d7595c884ca57031",
"0x0762e9c04bfe85fa231f59afba1a1c52f1994aedc3853c89e7e98964b8ff6b57",
),
StarkCurve::from_affine_hex_string(
"0x078f1e6fbd1395703c932a3921efafabee829c1983221513337e3368b076cb75",
"0x034e5af4b2634492bf595b5ed70975b548660ee658d81b74dae90d90717602c0",
),
StarkCurve::from_affine_hex_string(
"0x048410d09bf47d33426af0af7934427a6d86325b3d7be2954ce996f19ec42a62",
"0x0022532d2cf20f61e1b63778626d3871658178a49002bd0f1e5fabaafec2c462",
),
StarkCurve::from_affine_hex_string(
"0x00888ab8eb4c31bb2ac5b54aa320dbe1a69c96b864e8a5f54d89c1d1a6b86c24",
"0x0730e148467f6a55ce22c5296f5380df88f38de76ef0b2de844cd3094aaaf3ea",
),
StarkCurve::from_affine_hex_string(
"0x042c95d04e4af3f0b485e7dc19d031c82ecd9dc8210ddcbedf651534e217d5f6",
"0x055cd9cab9d502856e5420c4684cf1561472f05b0f97788bc755c80c59dba7dd",
),
StarkCurve::from_affine_hex_string(
"0x03be1c8c0747b35b64f024328ce45f71b99df5c8ffa09a8fb79c326ee0a67fbd",
"0x05e4e474c847ebf98e3209d504f81cdbf58c993322ef2e08b802468ed719fe24",
),
StarkCurve::from_affine_hex_string(
"0x008b0d7f0ff79cd042af4b42bc5d384d9f8cb200216f9824e25d3b0a9fe429aa",
"0x0025d6198e37257433b6728a7d6f3a6b60f6ee3b8d462168422e06c79da2298e",
),
StarkCurve::from_affine_hex_string(
"0x0509606f39d2df35826bad011f25a6850e017b32deef00e1974f2ed0934666e4",
"0x03d6ca71df802ca910b8e8afa8213e2fcb9740701e326e21c61e58bec33262ab",
),
StarkCurve::from_affine_hex_string(
"0x01e337495b39b3bad6bc211f6dbca74335a5c12da286cf0451df207734a07d59",
"0x02272c3b13aaa4533bed1a4485abf771a5ea0b96ddfa14fb3beebb0db767ef8f",
),
StarkCurve::from_affine_hex_string(
"0x03fe9f774fe0b6485d33f7bdf6efd1c12d31c70b2df9411515cd283a1bdc70b6",
"0x02fd7de11035a8dda9b2906f7511460fabeaedbac515810f6583731356e39a59",
),
StarkCurve::from_affine_hex_string(
"0x012716a93cf48c54fd93617650cbece5335eeb039f214a6a97a3ca0f3aa80df0",
"0x0271b36528eb2717442d3500177ed6c1811ae38e53003d8defff5a07fb4505f3",
),
StarkCurve::from_affine_hex_string(
"0x075e79ff13a894e7120dac17b7429c0c32ce7828f726c9973728c0977a5f5977",
"0x04960526e59c1c736561a201bc56f7d762641b39f609d273cc996f5d9197cfb8",
),
StarkCurve::from_affine_hex_string(
"0x0640fe009249115d7254f72ecafb3006139e4bed7e9041af51458c737282d1d5",
"0x003cc6c978a575246e2ce4f7ef1fcc7f63085db9ff98a1b1f3fe374087c0332c",
),
StarkCurve::from_affine_hex_string(
"0x03830e694ae144b0a73d050a57a06e15b7d5c9a16998abcac3afcaf4f225dd7c",
"0x0270f5368cc52b0fd67dc3686652f2c08570abd38975ee210e27e7afac934de4",
),
StarkCurve::from_affine_hex_string(
"0x06d6fd09ccab7c26de9b3906191235deb5c34685580c488275356a05e209ca96",
"0x07157f81a34213dd8f91dea4f6df1bcfabc4ee091a3049eeeb3b7923d39b8645",
),
StarkCurve::from_affine_hex_string(
"0x07c6a612a9c2a86a3d96a0d0800b4cddb4662e204e5185f0a3c158b721130ead",
"0x0721caed7f45fe1ac7858cb9155058d886419d2c19a5a72cc5f0b8902c6871a4",
),
StarkCurve::from_affine_hex_string(
"0x0478a2342289c28dc0846655731ee2468c89b57ce721298cc0200e27a7cf6cbc",
"0x007f689580e05c555a40803badb2177fc00aa4e0b7fe99323c03b7b5854c1cdb",
),
StarkCurve::from_affine_hex_string(
"0x02926bb76680ae6a841dfca3c3dc4baadb18ee48c8e2fd495b3a17627b073e5c",
"0x03ecc73926c07a0e4d2ede2ec610037993fdb626526bd5c5ff522fe28a2a6353",
),
StarkCurve::from_affine_hex_string(
"0x05531ca1d00f151d71da820918f74caf2985b24dca20e124721fff507b5a5876",
"0x0518529643d3f25e47f72c322223ba60a63d6bfe78cf3f612215d9c19bf29200",
),
StarkCurve::from_affine_hex_string(
"0x03e2edd1d2f6d2f8309263d45d4e3c5f53a08aa7018a73d15162d8501ea05d23",
"0x04753d9733655e9b4b9c0af76101be6dbfb9457e8b4440d8fc2d9da058bead4c",
),
StarkCurve::from_affine_hex_string(
"0x07f136709ac0667cf209936843d95b2b80e491e01180d1bfddab7c82f872b7c3",
"0x0412f28bdf5f186382c48b9159799ab4db8194d7bfcd7a6adc186729b655dc67",
),
StarkCurve::from_affine_hex_string(
"0x0419df0b81d159286588f4ae84b5b5d5ed36017eb9c4ac46e76f664798fd0129",
"0x00f793ea32bc98aa47576cecc807c136192a8add62e1ab4df81e805fbf47f8af",
),
StarkCurve::from_affine_hex_string(
"0x057ad67b9a20c16c80f1b584a96ffec61b513dcec44c8b5bb37074753aa4123d",
"0x00b6bd4fdd04d4b386d11dbfa6443f0bac3288889e7f6ca950d420c1c4497e56",
),
StarkCurve::from_affine_hex_string(
"0x0122e7fd3f587a9c678cb36d2d86a92ff6d360dfc5910eb435e7388f39cbdbd2",
"0x073675b1f1d80cbb437e6bc21b88ba6b1bc1e191f7cd70ae7f495ea13e63307f",
),
StarkCurve::from_affine_hex_string(
"0x06e433daad3a1cd8d35a2982818e0f8210ab82834f2d093b8969c42949813009",
"0x07b1fd0bbb89675604da04b1313625f3762ee723bc66a9999bf713bab185a7d8",
),
StarkCurve::from_affine_hex_string(
"0x00ec75fb16f84d66aa46b1d8398fa0293c9fa124aea4c8d8f23d5a8155af7d6e",
"0x065dee206316554f51e8f892645baed6dbe56bac1660ff84441e76a7cb4cf584",
),
StarkCurve::from_affine_hex_string(
"0x06192d454e4f8fe212bdfccd5b15dd5056d7622ffe456c6c67e5a7265aea49c4",
"0x02377a45dc630017ae863cb968ddb38333a70c7946d8684e6d7a6213f634b7bc",
),
StarkCurve::from_affine_hex_string(
"0x0542fb44b4ef3640a64fdb22a2560fb26668065c069cf31d1df424819a39ff18",
"0x05dbae9b0948e0361aea443503840341c322aa1a1366ce5390e71bf161f78f8c",
),
StarkCurve::from_affine_hex_string(
"0x03c5133d3856680586e284eec9bd4c056eb8c1204d5e9a5303023bf902d3e8c2",
"0x05ce549f398e6267cd2974be878d8af04b1238b65aa4c3bd7809df5311b11b31",
),
StarkCurve::from_affine_hex_string(
"0x0299ff3e3412a7eb4cb4a3051b07b1be2e7b1c4b789f39ffb52cba3d048b71de",
"0x01951d3175c02761b291d86b6c0a08387ad5e2a2130ccc33c852530572cb3958",
),
StarkCurve::from_affine_hex_string(
"0x05f856bb94f77c71e220e2a6b8402efd6129b334bdb7a8711c6fb00ef1b78fdc",
"0x058ba8d0578bb9fa33e15a3ee2d45ece949c9f6259eb05337087d56b920de8b1",
),
StarkCurve::from_affine_hex_string(
"0x050edcce31d3b563adbc1624987cf8c7b72b2743b1b50483b7d0cd64635e6b6e",
"0x05a6d296d418426c6524b4eee788ce56dad6fb5108ad8802409e133d2e68f1e0",
),
StarkCurve::from_affine_hex_string(
"0x0351165fa9ec8c06e7746b92e952e0fe48d27ec73ad8cd78c1290e8e1c9e25ad",
"0x0682356c7a3ab57b9eda27076ff63971e7af69a9ca4c9233888dbd06a5679f5a",
),
StarkCurve::from_affine_hex_string(
"0x0628ce3f5367dadc1411133e55eb25e2e3c2880d6e28754a5cb1c5d109627e73",
"0x00ae3e9b7d50964e28bd15380400b7659b87affdef5d2586cbefcd9be7d67c0d",
),
StarkCurve::from_affine_hex_string(
"0x050e9c67b03b31c31a558148ae9a9664afceb3f5cdaa8b9a00bd4e30631ae01b",
"0x05897e56d78ddde8d0add98a1e30dafd21593f8de223f9889cc239b2391a1bd4",
),
StarkCurve::from_affine_hex_string(
"0x05854498bfd63718edae41d9dc2d3a2b219f639d74785e866a34cb78acd3f968",
"0x05f68d1e30764b34862247d27e19556fbf35d5cc5d413f8ea2d91b3da878e1fb",
),
StarkCurve::from_affine_hex_string(
"0x02b7221dcd584907e4726834836f878093f49e83aa5d75e280cc13a8d24ccdd5",
"0x00be79753a6b45ef082f465ba6e0cf12230ac0b7f270cab3a4a5b25457b55fda",
),
StarkCurve::from_affine_hex_string(
"0x02c520c3ec539142f046b83dcbe511dc85a484e6597025adcb41a3d78f914c92",
"0x072c6abede13fb05f7bdfaa5a12d795141cda7249f049ccb70847d10ac2d738c",
),
StarkCurve::from_affine_hex_string(
"0x05133871c2159d5542c66c2c2d5040ae934c80a16c56bef96268abd876a6ee93",
"0x04f415510268fcc33be7a721b7ea6e7fd06cc61aeb87b18a2a18d49752754920",
),
StarkCurve::from_affine_hex_string(
"0x00d3c599e0e2585f4e527c19dc2784641da8b8f056d6b20d7f83130bc7ea4020",
"0x06f592771da9b47d4ac6ec283c75d4d3f7fbe7470553ecea6357c92f747eb12b",
),
StarkCurve::from_affine_hex_string(
"0x03abaa62706e3a1f0d1bc732695a5a9247fbcc9d470b31a0e24c0f2a97967eca",
"0x06696bf44d9f4e91c4eb2cc011100e039be6ddf5f571424e0c9ebbdf499788cd",
),
StarkCurve::from_affine_hex_string(
"0x06ea54aff064895eccf9db2283225d62044ae67621192b3346338948382f5933",
"0x06431507e51aadacfaf39f102a8ff387756e9b5e1bc8323d44acae55130d93db",
),
StarkCurve::from_affine_hex_string(
"0x028097d50d175a6235320fe8cfe138dd9e46895d189582e472c38ad7a67d923a",
"0x07f9eab4133d7d09a7ff63368d6135c26262b62336eca1b5ca33f2096ce388ba",
),
StarkCurve::from_affine_hex_string(
"0x056f27b3d3213f0f8e0f4eef2728932d1df85acf21088a390d7732ed6d7d623d",
"0x06be64a2e18be2f9e537f0371979a7bf76f27eb3ae07e1ad3dd8f00622edee57",
),
StarkCurve::from_affine_hex_string(
"0x0619fd09cdd6ff4323973f256c2cbdcb224f7f25b8aef623af2d4a0105e62e02",
"0x02c95f0ae11d47eeae1bc7f1350f75f9185c5bc840382ceb38a797cae9c40308",
),
StarkCurve::from_affine_hex_string(
"0x056e37c9108a1d2fda8184f6fc34abbdde3dd0ce0b8be9cde7830a0746abbd57",
"0x023937e0878524b2ec775a75fe19b0cb66abef6470550ff575b1aa456c50c7b2",
),
StarkCurve::from_affine_hex_string(
"0x04743a9d13b8d93ca9be5837206aa3898c21ae857fc78c08a1b8005bfa339274",
"0x006876b5abacde7286c583e3bc26e8b3a52f900d8e4bd61ced78fd099f54f177",
),
StarkCurve::from_affine_hex_string(
"0x000257fcf60b12428f4f0f367bb0d30bad503e8077d9b170f39fef16cdf53bac",
"0x02a74981aee312c9abd84c496453263c15dcac33c5bade7d77dffe680c3ca811",
),
StarkCurve::from_affine_hex_string(
"0x0641c18982ced304512a3f2395942a38add0d6a7156229c2a7c8b8dfbe9beb96",
"0x06f6288c9c659b6af5ac975f4180deffe53d516399b2cc62f31732e9d4ba9837",
),
StarkCurve::from_affine_hex_string(
"0x00e58fcb9fad01845eb1aab852c1e52e36adf03e4d261f15db8299cb01e655fc",
"0x016c88b6f8f08359d38396bba1f4fe9c891fa96489cbda34b4588cc2ac249072",
),
StarkCurve::from_affine_hex_string(
"0x01b40ff525d25d7f3183d7dcebccdb77a744881d4ea55f3e7d9f46abfb16cbb7",
"0x03901f0a3862c75c8d6ddd73fc1b3d5385b387b18a0796cafbaad4654ec4dd94",
),
StarkCurve::from_affine_hex_string(
"0x0481eae9b66e9d36d64c6eccc93c19d58894663c3ef14fa2b381933c34db3d1f",
"0x0436b2ec7b91cd6759bb3c0da90eb57533c7a2aa540708b114b187b8b399d88e",
),
StarkCurve::from_affine_hex_string(
"0x05e00043d6d6bf4da4b217db351260f44708ac82f3271e66122f83af2bded486",
"0x00870b6f17d317dfa3bf74a9baeee8b4958d0fc6ad3c9ba0b5b5046cd064d1ef",
),
StarkCurve::from_affine_hex_string(
"0x0214386164c5401f527177e159ad5aac65c011fac5a6b6bc099435c886e4a7cd",
"0x011e32e1b14c3e41b6a97459942ca4e876ac65581974a13466ef41928d8aed0a",
),
StarkCurve::from_affine_hex_string(
"0x02c7b7f80095baad8e823dff5264e2755dc30f65ceaa1aff244f264049c59a94",
"0x07dc1ca9a72eff96bcb83df039e955c8ab477bf573be1321c7ba831a3f786e4f",
),
StarkCurve::from_affine_hex_string(
"0x077348f0f64c22a974103026e3dd14504af0467ff0d3cf264f72d5885b4d1b56",
"0x029be64c099813861bebb51866af87e865f9c3f4c1bc111e59a88d6bdf0e97fc",
),
StarkCurve::from_affine_hex_string(
"0x058ab546e51fe49fc5a382e4064a2bd6cfc268904412f86c26de14f28a71d0f2",
"0x0124b7217943e7e328408e8afdfa7da00dcbc94a2bb85fd8e01fb162d2c2c0a9",
),
StarkCurve::from_affine_hex_string(
"0x00a82c2fdedbb26c3c762a12f7e86b0e01e65320e0a25a8399d665f6e266bf74",
"0x01a1de28e253f3e10f44d0111e8074f882d7f42e5900780ccbdc31da372d3fd8",
),
StarkCurve::from_affine_hex_string(
"0x013fe2361b752ff86102093c99e7a1e62c402c379b05976d9ff8d9a96d1c26cb",
"0x067d67a12ad6636829119b38de0d58244168d4888b151d3aebb6273e1018c870",
),
StarkCurve::from_affine_hex_string(
"0x0744c725a7455a992e3cf5bd007bc234dd4668dba285f553f38350ad94c1615b",
"0x007f721a87f48798bdc4a9c0eb88559e2ad7a74112fd901e70ea159e67a9c33f",
),
StarkCurve::from_affine_hex_string(
"0x0367132c7537dab3c343203c0ec263ae1cefa2b31b30783d624d748ee25e3ce7",
"0x026483d7d266b97556d1487ba741c7acdf024bace065cef0541dd6d79254abcb",
),
StarkCurve::from_affine_hex_string(
"0x04a5c65b81bc26c33368701f6ad8cfc5280724f24a987ef29c53eab4f2968139",
"0x030bf1ecd36032d842d4092c5141f19240634caf76c7547bece1750aaa1f6683",
),
StarkCurve::from_affine_hex_string(
"0x0546bb08bed63f6f52361c14d757102e6e32621c68af1d0d3002d577d3fa7d1e",
"0x0544e48665da6f36379c5734cd2947c5c1f9e9604b3630c42e39cd9dc4b19dd5",
),
StarkCurve::from_affine_hex_string(
"0x0434df142ddaa60f7881b6348d91687de40457de7ccfb07f0304b9e820705d0c",
"0x07fae425e3b53f97dd1f5b20e49ed9fe24ff1efc341ba5e017ac89cf8df0cc39",
),
StarkCurve::from_affine_hex_string(
"0x057de1d7ecf6257014f41031b7de385c7456d269fb5f13fd17e554c89722bba8",
"0x037502052d7da135a35d230b4165485a6e2d454f67c400b8a1a42524be1cd63e",
),
StarkCurve::from_affine_hex_string(
"0x071f2a596947104aa3b412f6aa553233bbef109d822908a70daeb4a9c7cf5771",
"0x00dc285aca4f3198411ab11a016ef79aa1d8ff625c106772b33308d5b66abc79",
),
StarkCurve::from_affine_hex_string(
"0x05e5209f472b8df53e8013f4ac455cb7e4dfe87e814c50d4e8186b4bad9a2112",
"0x06771696bd86be587c2215410cdeb302db6728272258430167238c26f38ef22e",
),
StarkCurve::from_affine_hex_string(
"0x00f49d2cbab24aa7f9718fce314274fe81720b9934b2115b1cdeafc8ef1b57a6",
"0x02053b559490b125437c64d6f6083f45e4d6a1df9a40465542d92487bc3e4df5",
),
StarkCurve::from_affine_hex_string(
"0x06045932e1a10c8b3bd9b5a6c0fa6e3df67d5aad8d990ed9c38edcd5490f8b06",
"0x02d98d4be121ebf85fb76e86c5248deb73aea7531cedaf560863886a4a92bd71",
),
StarkCurve::from_affine_hex_string(
"0x0770cca3cb044b99c9d93344e663a4cbdfb9593aec5d03d558d870414cf1f480",
"0x02dd22cc6f8383122e80b80eda1071ad440f1898013e57974898df8c6e29a684",
),
StarkCurve::from_affine_hex_string(
"0x04b510386dc302ff3b605eb3c06d8e333d1b09c84139534c26b776a7f2458b1d",
"0x06d84a0c04de8517f28bc6b7ba10f12f520ec11016ffa9133906b34ff2f2e0fd",
),
StarkCurve::from_affine_hex_string(
"0x07a1e2b809dff46277021cbc376f79c37e1b683bbd6bca5317014f0dc0e1ae73",
"0x056790278a231912c334eff05281e08af1558e85516b4411ef64647c13bea431",
),
StarkCurve::from_affine_hex_string(
"0x04931b7990348d41cf8907be79f45bb7991fd18f8a57868351c92fa7a34cbcd7",
"0x00ca35091815cdf0837d396e25aad6052ad32d497a33b123256cffdc008bc50e",
),
StarkCurve::from_affine_hex_string(
"0x01d7e6ee48280a0c3f107b8a0ecacd04b9e1c4db62de8e136b40c238d5cc2b57",
"0x033057135b2a8364c61b5ca96638f651ade34ae5f23285adae5b7c0c8a6f0513",
),
StarkCurve::from_affine_hex_string(
"0x0250b815d352fd89f8210b624b147ea7d0a4f47bcac49f3ac9b777840da93ebe",
"0x01173f10e9691948b7da7632f328520455aadcba46e017f891e0a1d7da2bef04",
),
StarkCurve::from_affine_hex_string(
"0x02f6203142dbbc95fb523363f51b4bf13baa257aee5b83a7f49d83f05bd2ad9c",
"0x011bb55422518f09d7e7778125cbaf5b49a74c5820d17dc85621bf2f8f19d292",
),
StarkCurve::from_affine_hex_string(
"0x0281d21dfe1d27eda730a2488e79067e5b1c53c40ef8861c1d32aac141450074",
"0x02efd08f6011d0eb872a5650cb95cfa540e0c81b91552884283f141f6091e846",
),
StarkCurve::from_affine_hex_string(
"0x00582cb34a054000bedd3a91d515c9eca50187f7366a0a33b75396330e398faf",
"0x05d4e4f9789ed10ba497c69a932dec90ccae75defe67c7221b1871cd2e8b4e7c",
),
StarkCurve::from_affine_hex_string(
"0x02223b85032fa67292f6e1f822628e6756e5c3cc08fc252ab88d63d624e4dfb2",
"0x055619ba96a7dcec77832fcb22cd5c21c7dcebc0280d730cba0002b67e0a8c63",
),
StarkCurve::from_affine_hex_string(
"0x0278bba40eabef3a5a90acbdedc5a6ba4ae7673a8548d754a91bb4651971fd99",
"0x06ea582bca1b0e0c1a71f47f263ba8471b63ce9906eea7278cdc0dc9b31e66ad",
),
StarkCurve::from_affine_hex_string(
"0x05efa75044ab99e653b10373bf2e11c050101d60182e5af9ccecdc40973b371e",
"0x02e48ec5dc905140e1b07badddab17c6e46745688b14d25c3d2520c3feca473b",
),
StarkCurve::from_affine_hex_string(
"0x066ace6d06507c12bd6072fed3e9069349cbd965ad3a797713368fbaff16fe8e",
"0x06853c4dbf2739b33a3479f789ed511c00f7865abee02efab4bce52659211e1f",
),
StarkCurve::from_affine_hex_string(
"0x00cf54045847e20eaf005f0ec2be53e9ac8836f73de68d07d8c064349c58443e",
"0x06754bb13c7ebca6603639a51daf38ab90b188e931008bb4fd3708354ed80b76",
),
StarkCurve::from_affine_hex_string(
"0x06ea7cdf0463d267f2f4f2d00a84d2f512378c6df89a346c54e7b58d7cb883ec",
"0x03cfa940ccb6f6f35f909251a54db168deff502373803115c8a8ced55bec0b5a",
),
StarkCurve::from_affine_hex_string(
"0x074562ab94b86dfa3f863469e2a4a2f609bb669551370854c19ab0de8b2b2c13",
"0x02700611fa6b7ca567c908488e2320b23346bacdd63d465db01063c5eec0a847",
),
StarkCurve::from_affine_hex_string(
"0x032a857deaab815f1a6ffd3f4d8716b01a5516c35625389d2a41d39ae125f796",
"0x055dce8162dced3648178e2468e2f73a60ae1094674a8bca96f960b48ba69495",
),
StarkCurve::from_affine_hex_string(
"0x0249b131e04de73af9820d3e22492d9ec51bdc0c4c4f34d95352fa44dd61f245",
"0x07576d3b5d136368ff01170a77d8286d0d1c7c40688862fb40813b4af3c6065e",
),
StarkCurve::from_affine_hex_string(
"0x06777915d9b4769027eb7e04733f8a2d669c84fe06080f55e8a55674dfbf9efb",
"0x0640d0ff384c9635e1af364760f104e058e3c86209fa9d2320aeac887b2e02d8",
),
StarkCurve::from_affine_hex_string(
"0x06f81282734648ff7e5e82d23f1994f927af1c6d195c03c5b1b741a54e2ddbc4",
"0x023ff8b7e243ef2b4b2d00a55c856e2e413a73e3d5c5598e2c56d71d4964c9d8",
),
StarkCurve::from_affine_hex_string(
"0x02abe3f237681052f002414399111cf07f8421535af41251edc427a36b5b19c9",
"0x0636ce4deaf468a503ab20ccb2f7e5bdc98551656ebf53e9c7786b11dd9090be",
),
StarkCurve::from_affine_hex_string(
"0x06447231367bb8d3467f904e1d3ad78e010117353048132968b232cc057b4fd6",
"0x01cb766be58ea36e7789de7c2041a48b4b0bb334758dd21828eb53908764c14c",
),
StarkCurve::from_affine_hex_string(
"0x04b2cb0e9e019546afe025cb3d1e3953b79562b442aba1f1057f7e2cec5b9a4e",
"0x03035d83893a5713fd2988d9bfaa28f08d07d085c095b65c3c4fbc9c36e473f8",
),
StarkCurve::from_affine_hex_string(
"0x05f78309f8ea28a2c5294bde2d423698157d73ebace06cd4f43eb319c4173e6b",
"0x06a7e61f89cb41194648ba19c9762c3e7264f9d6cebda77a40b097c902f3d3bb",
),
StarkCurve::from_affine_hex_string(
"0x04d5cc5414758ea1be55be779bd7da296c7e11f1564d9e8797ceea347c16f8ea",
"0x01a680c4c410cf5ddc74e95ff2897c193edaaecce5b2cde4e96bbae5c0054eff",
),
StarkCurve::from_affine_hex_string(
"0x04538e6f7c4156453eac50f114a0b361ebae3d035d15f313574cc25ddb2dba3f",
"0x03aa95bdb9e21b0649579bd0ff3ed6fe77959e7af23e50aa3c60c5ac4fc9d936",
),
StarkCurve::from_affine_hex_string(
"0x06758a120cd5fe2dbb67a3f8d9bdab962f61164383e3036920a0773afae43b7e",
"0x0234ed0ec5dc97bbf5ef6c0ce8f497791471b562199c88d16b9699d53f67420d",
),
StarkCurve::from_affine_hex_string(
"0x047e79174afc9f3350519ad3d53301c3009cd5c671eb938195ee6ced6b04a2f8",
"0x02883c9c71301e9d54a5e0c2a5b1e20bb3d356f5f45cc4f3005492beb2ea7f99",
),
StarkCurve::from_affine_hex_string(
"0x00bb28aa289167e93b346ff0498f7920d447be3f53798d339c099f4ea6597990",
"0x056fa84b0d103472e21ad6a40b4708d361e4165e5ae2a7d8efad72032e005c5a",
),
StarkCurve::from_affine_hex_string(
"0x029ab53a29de90eb1ef751b6ea917e5a10874f022cfd575136988a58f05c8787",
"0x028ec1aef03b9ec7813c4ee50c4c1cb7a883f13c4cd2d065c96cdf2a564f63a1",
),
StarkCurve::from_affine_hex_string(
"0x06fa2f57cdb134c1dd5edc62476693f1e05c09301ce7b4d66a1e883dee04c28c",
"0x041b107d45024203bde56ce87f4b194ff607955a6cf43b28d38106d4dc51f507",
),
StarkCurve::from_affine_hex_string(
"0x0768b03d0928644290b7d1b219daa677a8d5ecdba0f13776a9c137f3321723c0",
"0x01619d22350ed54c968bf733a549266affb5bc2f3aa1bc74f74f26473d5fa24d",
),
StarkCurve::from_affine_hex_string(
"0x046c375c684b30adf4d51de81e92afee52b1a3847e177403372c82109373edca",
"0x01eaadc5783c90a0261306423d52009e991126b3f620e9cb6cffca41ca096f4f",
),
StarkCurve::from_affine_hex_string(
"0x02ddfb71f51205888118cbabba8fd07d460a810289bfdeeb7118707e310cb152",
"0x01fd905d07b3933be886f2518246bdafa6f33259a174668808223cd7c28183c7",
),
StarkCurve::from_affine_hex_string(
"0x003b31ad1cd77f77ba5c56becb4b136b2d8a14741cb004bdb599f158a1e37833",
"0x07c4ca72d1cfa29ebccf9f20f27001902b1684d442c229528e91134a8b4633a1",
),
StarkCurve::from_affine_hex_string(
"0x0386f3879960713d41fdb3b1e41bbebf26b1c0e27a9a75bb1adcc1a0d3e8547b",
"0x02b21498c0f34ec6f17c720334dc0f36021c2f87afbbbc8847d0bd536eb265e5",
),
StarkCurve::from_affine_hex_string(
"0x04c4b9ea052f688961c3c379a6cbc38c6c9ab5803b78b68ca2d8257855574170",
"0x023acc43c50950adfdc0e95fe717421a68c54d1226b0a4e527a0a698dc4c0b71",
),
StarkCurve::from_affine_hex_string(
"0x00301bca1c8c68beb18de87861dc92ecaeb5bbc5722563289eed8c0b59f4c60e",
"0x016281c02661387ae85149686f6697617337850712ceea2e101b2264a6994d23",
),
StarkCurve::from_affine_hex_string(
"0x00fabc1f9e72fd4dbd6211edbc3dc7b03cf3b958a9811ac60c566a38a2964698",
"0x06b2f7e58a0ee4ca917fe2e83a2f861c6dd68bd8a4c09643559e0fedd820b9bc",
),
StarkCurve::from_affine_hex_string(
"0x0407eae62c6c4de3b942195afec3f45efec71ddb5e6edee3d427631bcdbf9b90",
"0x0436e7f2d78268ef62c4172d2ff1469028bad1f1d0f97ab007064418e61caa8f",
),
StarkCurve::from_affine_hex_string(
"0x00b9d3092abf381cdd44c9027cf96c997fa5626915d348024b526b36a23d124d",
"0x0714e16dded4f9d2ac216528e8d192671a266363bafe02a0367e5c8ee59dba75",
),
StarkCurve::from_affine_hex_string(
"0x017fe1cd41a05a31b0b68e402c0de14e65de3c39331526ae63853209d51c1295",
"0x05c928a5972db2423724e67f503c452450ed7fe2aaf375547b5ef485d97fd5f7",
),
StarkCurve::from_affine_hex_string(
"0x06767ec2c42436d377daecc7ee1ecfc667fa381d27533ba675eed8fe55f0ab47",
"0x0134d2bb23030aa6366262732f9576ba8fd39dd4c25b1eda04bc12b303fc1233",
),
StarkCurve::from_affine_hex_string(
"0x07b98e553566e2bc8fdd132346b69b9f8aacfdb0f742c4f0ca49525e3392133f",
"0x0208f4941b84d254c014170905b6c54c66dce9c37c99b031615e7d4e0729d214",
),
StarkCurve::from_affine_hex_string(
"0x02127c55162f2641193ed8b7443f8297d34eed24c997eb046ff5b1a17430ddb5",
"0x03d3487f78c38cfdedd56cd01948f1a379230113b41edb5ba69356757155e045",
),
StarkCurve::from_affine_hex_string(
"0x074a3f027b432d92d0c69c22088138b581d190cf4d9eddcf04616cb257936d15",
"0x020faf1a59b803c02c2f11ce58a7e6726c92b0d15d665a77e7e7b232c6e83cf7",
),
StarkCurve::from_affine_hex_string(
"0x015ee18ca41ca3fc742f7a84b0764a0dae8e33ebcf6a20d2e055ab5f22b6aab8",
"0x0288807ac2ed330292a7c59ba06ab509e8a4f1f3e217e32db06602e4732f5102",
),
StarkCurve::from_affine_hex_string(
"0x01b881175e21201d17e095e9b3966b354f47de8c1acee5177f5909e0fd72328f",
"0x069954b1a9b8bfccf8ec384d32924518a935758f3d3662ef754bcc88f1f6f3ec",
),
StarkCurve::from_affine_hex_string(
"0x07d545a82bff003b8115be32a0c437f7c0a98f776bcf7fddb0392822844f3c5e",
"0x034b6e53a9565a7daa010711f5bf72254a4e61da3e6a562210a9abc9e8b66d69",
),
StarkCurve::from_affine_hex_string(
"0x04d1c70bcbeaba9e818640fa41163dceefd51b263878a4ef74a3f3dded987a12",
"0x0001fa627351e1254784faf682544604cde313e86aebb73481a9ec4e637a490a",
),
StarkCurve::from_affine_hex_string(
"0x0299b9fcd4fadfc4b6141457a3036aaa68501c23df579de26df69d4def89b913",
"0x00b95bf2c2bb303c38bb396382edc798ca6a4847e573ce19b7b08533d1912675",
),
StarkCurve::from_affine_hex_string(
"0x006ead816a3f81aece567a9f0cdf99579bcfc97cf7db471c727523d6fe238569",
"0x018ce8deadb0ccd8bbcfaf4cc877ad57b4a68746fd1f48a090e934fb86044cfc",
),
StarkCurve::from_affine_hex_string(
"0x0704982253eb1e57cbb5f4fcfded707f25eae70a7e1c61fcb0bcb9364181a5a4",
"0x051243d94f1f9e533da0f8eb82bd981086fbd80a25980bbdc6efca9ab7f0ae48",
),
StarkCurve::from_affine_hex_string(
"0x04cd143414fd634368429d33a659a880326c652a58111a177e67ca7cc5931d82",
"0x01ef5a5eb84d0040e639f365b642151af708e8c32ae2f0e11e017b35b5738995",
),
StarkCurve::from_affine_hex_string(
"0x0551f5a4dae4a341a3e20336a7d2f365ddd45849351ec6dd4fcbedfe4806d5d5",
"0x05865c977a0ecf13ce85ae14c5c316872080bd36f0f614f56b6dfc7ece83792e",
),
StarkCurve::from_affine_hex_string(
"0x016a947ab797fb370353b4ea510f088c400733f32ff2eab29537548400fbddd8",
"0x0168ff79965be55ca10fb41fcc8c90591a6507e8aebfe125618f084e80f3f260",
),
StarkCurve::from_affine_hex_string(
"0x0110f706235d35daa7c586b6be23cbec2d74cca91f1942777866ff132e9ae95d",
"0x04e9a3b34987ac6280f3326e752d433daccbbf7429e87eee3671b59067d0f889",
),
StarkCurve::from_affine_hex_string(
"0x028c3edfcfdd88b3f57a58ca614346eb1473e93709c574ab961698e47e13b3d0",
"0x06d697633d1a49f8d8e2458eeb9787cdc72ffcc6c41e07898f261fb558180c88",
),
StarkCurve::from_affine_hex_string(
"0x01bcb24af76973971e380b64754161cacda07bb0bc63ed0906ee06a90d7b3cf4",
"0x02b43aefcbe1197640cedf711febf20dafb9f0df070af6544a2f525844ef5c6a",
),
StarkCurve::from_affine_hex_string(
"0x05176b4555b18f97318da67f6bc279600e9779259cef0a287f23da68165a769c",
"0x06dfc1596d53bf2a9b36892663eca3fcf701a977ea715ba2d4b3a05d91781a73",
),
StarkCurve::from_affine_hex_string(
"0x035d98529f7c4be68dde9e7ded8bf1902429a8a1cab09122dd64c4854e609616",
"0x03677a5bbd9c04fa34e56d656d2341882a0f3ca9c812f66a380bd1084a691506",
),
StarkCurve::from_affine_hex_string(
"0x01457a7bf6763c8bc8445322012e2037dbf43f00ab2d2760ae607d5f76136d04",
"0x00cc5fc5c98ea895c9c5f55b4bfa6a6fc488d37f5acf5e0c8aa1f36ac4781b1e",
),
StarkCurve::from_affine_hex_string(
"0x07a1d69c08e68c80ad8b310736e6247a53bcba0183b9b8798833bc696a0fb6e2",
"0x03ce803a20ebb3b120d5eaf0ad64bed0522fad1a0f2ce39a5c5cbae98c4438f6",
),
StarkCurve::from_affine_hex_string(
"0x028acacc0bc41d84e83663f02b36981a2c8272ecd72d3901164be2affb09c504",
"0x07a5aee0b160eaff5b5968ab1a0304ce58c3d5ae0148d9191c39e87668229e5b",
),
StarkCurve::from_affine_hex_string(
"0x0791670163ec8ae6e52c1673806a05d3933d3f936f8282ca7424caf8a42c6932",
"0x0132c0c3e2bd499d74566a3c71122bece1c61c50266811a1288a99fdab86d3e0",
),
StarkCurve::from_affine_hex_string(
"0x01f78cfdbcc767b68e69a224a077468cdfcb0afd6952b85bccbdb96d1fb8500b",
"0x04772ba173c6b583284eb001cfc2a124104833f464ff9df096443e10ef3e9dd4",
),
StarkCurve::from_affine_hex_string(
"0x02cc9d19317a8e4d41e8b1878175cf76622c32d69b7c0163d7cf5d5c2a1714ba",
"0x063fa861f8ccef9d7277af4e206bc97f103083566add9d5374975290f232c5d3",
),
StarkCurve::from_affine_hex_string(
"0x060b8808a0b4d26dc6a8469f289466a0340583ac0a42c11a8ac285481c9baf82",
"0x02ebdfb367d07bdd719e724692fa2746467185a09bb6ae2c60ee7f10ec7a359c",
),
StarkCurve::from_affine_hex_string(
"0x0771eed999db52d032d808c947ce60cf98605f217905969d1413d0aa4c0f263b",
"0x049684fcaf0ef530d58c70cdb76137b51dcca9c2078d9119fd50578992daf4a9",
),
StarkCurve::from_affine_hex_string(
"0x02774108962ca9897e7f22c064d2ccedac4fef5fc9569331c27cdc336c95774b",
"0x009e13d79b68e8dc8091c019618f5b07283a710ddf1733dc674a99fc32c12911",
),
StarkCurve::from_affine_hex_string(
"0x00e47ec42e9659d96c44a25da2cf955e006c4284c1736e49627130e1d6ef83c7",
"0x07faa74393161e0fa276029865f7fe2e93be99ddf8a91ebd87cceab2f8778234",
),
StarkCurve::from_affine_hex_string(
"0x015a86e35fb1dc4426f5856d1c3faeb126876bc75d34b03b37325559f0190686",
"0x052966463e31911fbc859370880a747f9af765db7937ae4585a7437c7b0cc90d",
),
StarkCurve::from_affine_hex_string(
"0x0729ce3b24c4007e27c63d3ea7ff1b7a6bee2deb1c999249879476b5c8eb9c0b",
"0x05b3c4c99102f00ae20615f4873c1dc76cfeaac57ef652918c8d2c15d08e98fd",
),
StarkCurve::from_affine_hex_string(
"0x05bd96eccc79ce49f3f74d22fa9d027f1b15ed3b4103cd043269857e3b61310d",
"0x02bc5db36b14e35c134cd907651a4110302139970a7055e683f3ae5616b1ae28",
),
StarkCurve::from_affine_hex_string(
"0x055fc3fc54fd080b46e9022c5867a23cf94ec12cadd57d713ce591f454e8717a",
"0x039c17c15dde2c6b4e934c7f1a7b43d32a811fc1e666bb2f1e89c440ee479210",
),
StarkCurve::from_affine_hex_string(
"0x05452a315bf5c79bd5adc042777d9cde7997dec81b15ae4d4224e4b638d1b660",
"0x036fd9b88ce52f2493f00b123664289e0fc9677a796716fe6ce781ccd6bae877",
),
StarkCurve::from_affine_hex_string(
"0x0746abb611c99652227c9aabda92e91448a740d35a7cca71611e6a6e9cfd490d",
"0x07b82e74092feef8310a9f7fa1d04613ae6fd6f453564a138ebe1a41cd90e756",
),
StarkCurve::from_affine_hex_string(
"0x0770d116415cd2c4ace0d8b721dd77e4a2ef766591f9ec9fa0b61304548994ed",
"0x042165d93c82f687635aa2b68492b3adffd516beb4baa94520efa11467a209fd",
),
StarkCurve::from_affine_hex_string(
"0x05e6e4ece6621e2275415e1fda1e7c4f496de498b77c0b913073c6a6099394b9",
"0x03d92ce044fc77fa227adc31f6fc17ef8b4ec1c5aafc44630c0d9195075bf56d",
),
StarkCurve::from_affine_hex_string(
"0x077c29753cae84788c0321eec01213b285795f3b86f9820b25144f2cd79bfa65",
"0x004a4cd6062dcf8796de9136585ceb4d16538bc2e0f915e311a24afd83dec3db",
),
StarkCurve::from_affine_hex_string(
"0x06e69c717b5d98807ff1e404a5187a9ceaf0110b83aa15a84f930928b1171825",
"0x01ee7cfc3a9744d7fa380ba28604af9df33ac077724374c04588bd71fa16b177",
),
StarkCurve::from_affine_hex_string(
"0x06524efaf1ef995c2fc022b07a92ad18aaff67ff1b58d26588756603fe4eb5b9",
"0x0433e654f7c7263ab56043059421a9aa8c0a2e93bae57cbf4ec33288b96a83cc",
),
StarkCurve::from_affine_hex_string(
"0x04bf84f9ea7df23758cd894491e480d0a476ff631e9ad7ff718e0083b06e0f74",
"0x05b3d884d26b0f1a5f8ba62dab0feac7235a39cafacbc1e792ad27a23d409142",
),
StarkCurve::from_affine_hex_string(
"0x079bb7d217a1ff047a278b13301a97a8c495a9ef6f499e55410fc60e98d323bd",
"0x03b55c720a835ae732a20039f0d994dc0a2f812947897a35c7ad72accb3ece94",
),
StarkCurve::from_affine_hex_string(
"0x0404318f2d2ceb44f549c80f9d7de9879d8f7da4b81e7350c00e974ebf2daef1",
"0x03934831b5af70d17a3f1da9d2931bd757e6acf2893236264fc7e0d92ff1a1cb",
),
StarkCurve::from_affine_hex_string(
"0x034f76980361989a9e712f25b56b0f3b50533f9efd10a2497a9a382bc7407121",
"0x02edf097fc9b674ac310a5b519f59a57ea6f37ee3115b7c799978c94a97913fa",
),
StarkCurve::from_affine_hex_string(
"0x067abc6bb1f23ce52c19312b447d96ec01401436f27bdf4ed618852508100563",
"0x043ae7cd4a8999e2f0846ac6ca0e9b583e2abdfa093eb1d39ca2cc075f7dadc9",
),
StarkCurve::from_affine_hex_string(
"0x012f583929f3e0de63f13fd9c1f0af5b11b284699d5dcad27380591fc8bff89c",
"0x0200564e5252fa89fd981d626b7fc56551c17bbd042e0f3ba836c7de1a31d767",
),
StarkCurve::from_affine_hex_string(
"0x056f93fd763768ee8e3183be29faad3050682f325f71a9b7295ddd3a4ffb3df5",
"0x03d4d30d4ab48a9a30e9e1cde1a2fa265641cbfa109941d8397768cb05d68ef4",
),
StarkCurve::from_affine_hex_string(
"0x07aec427b526806568b3661318e76c109304cc66e52b7d60f693677022debf55",
"0x07180910240525490405125aac39729e9fdd2318c823ca068350a7232262f627",
),
StarkCurve::from_affine_hex_string(
"0x04c49cd4df5c6b8519131c6bb53633286c7b6e6eeeb0c4f8d4c4526be0f5090c",
"0x041a1abe17ff78b4c71ca1956b9d81f78786bde00657b4a0efd4d38298b47ea9",
),
StarkCurve::from_affine_hex_string(
"0x041aa0e6b8bae1a7b37707abca58fd09ebdf61c6b2976c6eadf3618d5bad00ee",
"0x0550466e111fe2c8ba2a3598f512936e0c83b4d0cff5aa59f3e24d5a128d4848",
),
StarkCurve::from_affine_hex_string(
"0x020dcb6f394fea6d549b2e75748f61b7ec03b6e52319cb14163373a9c22bb9dc",
"0x0106a8c96cfb95a331618b7416d1498554730499e194a58fbf63019890480fc7",
),
StarkCurve::from_affine_hex_string(
"0x0119000f277ccee013e6bb121194ec1ab5460fb6a96eb702a14079865f4170aa",
"0x01737a32f5415e8720a5606ec1dd4756f02e7c6817e3723b453d091f2d192773",
),
StarkCurve::from_affine_hex_string(
"0x024b7a9216a2ac531c2c318eee682180d394a7596e7219f64a4413206aa62108",
"0x078fd489922cb3c6e2d534d4e8000f475d3864b6383a7eaae2d88e3db5c960cc",
),
StarkCurve::from_affine_hex_string(
"0x045d0fb5cd95db76d05dec3faa12e467a308eabaad363a062353db3cd2d9b749",
"0x00ae08691b5b0cdd19ec499132421638f470f493320e4003d123ab1da761b965",
),
StarkCurve::from_affine_hex_string(
"0x014455bbe2a196d9320a6010f4a5ad6a0480f47a096cdd43b7524b13b19e187c",
"0x039f7df161a3cb28b249b666815853502548fc3d82c30cb87fd4b76e4a22a75b",
),
StarkCurve::from_affine_hex_string(
"0x035645b557df8e66f0665354012e4e8b46ee19004547f4f0b1b9a2b9f4b7f27f",
"0x00ff38d481f14c324ab3995fa6f5686a60f0d41a6c73046da6f6eb75497b4dfa",
),
StarkCurve::from_affine_hex_string(
"0x058816cfdd17d8f7e00c0e3b522d13adc6985831f84ffda523b5b15be049e712",
"0x037df06c43abbac34c74fe11a42dd2d08fc52b3123ce3a8184bf32341c7a9af6",
),
StarkCurve::from_affine_hex_string(
"0x01257b3e65cdfb6367c6d0942327e799bc66eb221e70c6573a9862889eb51c38",
"0x0593309fd45755dd2cc4afd2b9316bc4638b0c5ddb3009694fcb7b250d0c8a2f",
),
StarkCurve::from_affine_hex_string(
"0x070c55f523088ae4167872f9e0728817b8c8ee4d11ac69fac00935d2e9d278e5",
"0x02abc80ad7b1b2f026907138873052010ee5f30a853e135547e9c40f1f09b140",
),
StarkCurve::from_affine_hex_string(
"0x0121be713b18775280c58ecaf99f3fafceba6a0a3ccd78bdaa0b039a01dca700",
"0x05f1a670cdcae1a793c509878b353de576044fbc774c4858ee066797ddadc241",
),
StarkCurve::from_affine_hex_string(
"0x015274bbb7a6f089d769cb07bdaae45fbc82e3d7809845715fbe431f58508637",
"0x016ccaf74f364d3a84c87cde65ce9556f3ada0dd6d48a328fcae1feff5d68aba",
),
StarkCurve::from_affine_hex_string(
"0x0689bdbbc1f6067756f775d2c80ac97dfe182686fa7f95b86d57f772c6859a3b",
"0x06843cefd0215f0dca692c37b1964e1481130705b2f7af487c3731b1a19cbcaa",
),
StarkCurve::from_affine_hex_string(
"0x059f7aef17aea8fb52851a7d4f1cbda97a5df236488147c4f7a5d2149633dff9",
"0x05da3dd360110b43dbd06ff2c3b76f220b48c7c80a3b25f0dc1a1077177b0559",
),
StarkCurve::from_affine_hex_string(
"0x0124c997ebcf7cfc0c4ec3e4d8ef8a1487f4c4bb18cd2fdfa55a2f33c3bc1955",
"0x0796eff8a3182604c60f8669b1a14bc61d23ed23ff977cb1ecb0359811d5b9bb",
),
StarkCurve::from_affine_hex_string(
"0x01cfa692b4ea379c0a4a59212fa5afe459635081d8d65b73f659b5fce53d9959",
"0x001cb133c2d602c16f17860ef9255aad4b0f3c9fa5bc3f85f8777a82b5c2378b",
),
StarkCurve::from_affine_hex_string(
"0x0186dcf9950f72e868014a8accf14aa36e82a7a2a29f86ba37f6632da4189db3",
"0x055684c9f7a043fc523ed78f756f834b4db823d5e4161bd79602c17d55a5cd8c",
),
StarkCurve::from_affine_hex_string(
"0x058791d5569f282f5c3b01ecdc9388df7ba3ca223a2dc1eed5edaf2a1d302fb9",
"0x06298d7dd51561a045bb4089deda9f40b2865589ed433e56d54554f8b45e79f0",
),
StarkCurve::from_affine_hex_string(
"0x049fcfd1f91de6367d15699c38f80b4253d4b38c3acb3a3ff7071f2344344949",
"0x05a2df8383e58f480df2ac020453a2638d25dddedfa599086ffb50cf2c726a63",
),
StarkCurve::from_affine_hex_string(
"0x013fd87144aa5aa4b24d5a7bf907d8280d15937fed262d41084898cb688fc28b",
"0x03fa54367770cc4479a857411ddcabe86627b405ce1cd14ad3b2863bde13abe4",
),
StarkCurve::from_affine_hex_string(
"0x03b795c36f08d24b5759983245b3f87bc0bb3a7bacd8ce469808cdd3dff756a0",
"0x054d1a63e20429b960320b732ee75c788cffe37d0af089af80a2bef759f2512e",
),
StarkCurve::from_affine_hex_string(
"0x0493f307b898d0224d7abe27e8c3191e9c4bbb01252f2b58a85aa89d2202a2ca",
"0x05a938afdb84da82376707acdc8728bd7449e3873dad883cc864af9f1dbaaf60",
),
StarkCurve::from_affine_hex_string(
"0x078c9fb111ffc902e5f4b4147306d461a5bb6a11d86a84fb10d2d0920d49a454",
"0x009b4364ca713d208f2a0acd560e778b1b6da7b896bb241f8851aa557495dc0e",