This repository has been archived by the owner on Nov 28, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
const.go
2136 lines (2116 loc) · 102 KB
/
const.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
package starkex
import (
"math/big"
"github.com/fardream/decimal"
)
const (
ORDER_PREFIX = 3
CONDITIONAL_TRANSFER_PREFIX = 4
WITHDRAWAL_PREFIX = 6
)
const (
ORDER_PADDING_BITS = 17
WITHDRAWAL_PADDING_BITS = 49
CONDITIONAL_TRANSFER_PADDING_BITS = 81
)
const (
CONDITIONAL_TRANSFER_FEE_ASSET_ID = 0
CONDITIONAL_TRANSFER_MAX_AMOUNT_FEE = 0
)
const COLLATERAL_TOKEN_DECIMALS = 6
const NONCE_UPPER_BOUND_EXCLUSIVE = 1 << 32 // 1 << ORDER_FIELD_BIT_LENGTHS['nonce']
const (
NETWORK_ID_MAINNET = 1
NETWORK_ID_ROPSTEN = 3
)
const (
ONE_HOUR_IN_SECONDS = 60 * 60
ORDER_SIGNATURE_EXPIRATION_BUFFER_HOURS = 24 * 7 // Seven days.
)
const (
ASSET_ID_MAINNET = "0x02893294412a4c8f915f75892b395ebbf6859ec246ec365c3b1f56f47c3a0a5d"
ASSET_ID_ROPSTEN = "0x02c04d8b650f44092278a7cb1e1028c82025dff622db96c934b611b84cc8de5a"
)
var (
mainNet, _ = big.NewInt(0).SetString(ASSET_ID_MAINNET, 0) // with prefix: 0x
ropstenNet, _ = big.NewInt(0).SetString(ASSET_ID_ROPSTEN, 0) // with prefix: 0x
resolutionUsdc = decimal.New(ASSET_RESOLUTION[COLLATERAL_ASSET], 0)
)
var COLLATERAL_ASSET_ID_BY_NETWORK_ID = map[int]*big.Int{
NETWORK_ID_MAINNET: mainNet, // MAINNET
NETWORK_ID_ROPSTEN: ropstenNet, // ROPSTEN
}
var FACT_REGISTRY_CONTRACT = map[int]string{
NETWORK_ID_MAINNET: "0xBE9a129909EbCb954bC065536D2bfAfBd170d27A",
NETWORK_ID_ROPSTEN: "0x8Fb814935f7E63DEB304B500180e19dF5167B50e",
}
var TOKEN_CONTRACTS = map[string]map[int]string{
COLLATERAL_ASSET: {
NETWORK_ID_MAINNET: "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
NETWORK_ID_ROPSTEN: "0x8707A5bf4C2842d46B31A405Ba41b858C0F876c4",
},
}
// N_ELEMENT_BITS_ECDSA math.floor(math.log(FIELD_PRIME, 2))
var N_ELEMENT_BITS_ECDSA = big.NewInt(251)
// BIT_MASK_250 (2 ** 250) - 1
var BIT_MASK_250 = big.NewInt(0).Sub(big.NewInt(0).Exp(big.NewInt(2), big.NewInt(250), nil), one)
var ORDER_FIELD_BIT_LENGTHS = map[string]uint{
"asset_id_synthetic": 128,
"asset_id_collateral": 250,
"asset_id_fee": 250,
"quantums_amount": 64,
"nonce": 32,
"position_id": 64,
"expiration_epoch_hours": 32,
}
var WITHDRAWAL_FIELD_BIT_LENGTHS = map[string]uint{
"asset_id": 250,
"position_id": 64,
"nonce": 32,
"quantums_amount": 64,
"expiration_epoch_hours": 32,
}
var CONDITIONAL_TRANSFER_FIELD_BIT_LENGTHS = map[string]uint{
"asset_id": 250,
"receiver_public_key": 251,
"position_id": 64,
"condition": 251,
"quantums_amount": 64,
"nonce": 32,
"expiration_epoch_hours": 32,
}
const pedersenParams = `{
"_comment": "The following data was auto-generated. PLEASE DO NOT EDIT.",
"FIELD_PRIME": 3618502788666131213697322783095070105623107215331596699973092056135872020481,
"FIELD_GEN": 3,
"EC_ORDER": 3618502788666131213697322783095070105526743751716087489154079457884512865583,
"ALPHA": 1,
"BETA": 3141592653589793238462643383279502884197169399375105820974944592307816406665,
"CONSTANT_POINTS": [
[
2089986280348253421170679821480865132823066470938446095505822317253594081284,
1713931329540660377023406109199410414810705867260802078187082345529207694986
],
[
874739451078007766457464989774322083649278607533249481151382481072868806602,
152666792071518830868575557812948353041420400780739481342941381225525861407
],
[
996781205833008774514500082376783249102396023663454813447423147977397232763,
1668503676786377725805489344771023921079126552019160156920634619255970485781
],
[
100775230685312048816501234355008830851785728808228209380195522984287974518,
3198314560325546891798262260233968848553481119985289977998522774043088964633
],
[
1837189741429329983886833789246131275985545035599091291966623919967841244204,
469920083884440505232139273974987899994000885911056071194573294589259802432
],
[
1337726844298689299569036965005062374791732295462158862097564380968412485659,
3094702644796621069343809899235459280874613277076424986270525032931210979878
],
[
2997390320399291502365701712271136720873363591256030629621859546399086933620,
2725742381037070528763700586156979930560374472266472382691451570287013862562
],
[
3608386523905995279224196894194758246854376991737956048428718275550441491554,
299638830690759628369563708877422667364443387620215168054000198378323554222
],
[
1733017745745290190841058775834438078769759612359153596488000160651631909868,
1973340172374381850851160588687352250788736199336041450103281811142396650489
],
[
855657745844414012325398643860801166203065495756352613799675558543302817038,
1379036914678019505188657918379814767819231204146554192918997656166330268474
],
[
2860710426779608457334569506319606721823380279653117262373857444958848532006,
1390846552016301495855136360351297463700036202880431397235275981413499580322
],
[
2395624363109833935111082867579092089638282063493755655374369403894420657396,
351237427147755677344067136337758392262982966921757802462075586166198965221
],
[
1518817631841006315871038165514435660668372956425694825094659891110110998470,
2435234811597428668734076452595083530950234466401981561306652881621340269965
],
[
2173245854114081430013864960244839145346281378834121479101410821419573677603,
2546798213917003006819050845641858786968858658397560158974242382076827691040
],
[
2842565516483040219247288049386440051275065340592157409909273207335045943247,
3243970369543480657564144388570283526584293743815525434693286186817417955980
],
[
334001339911595275369567085510917903426590364565508070786916614629507192987,
3111246400312591389547128607242178414610449977696648758380570718520342084022
],
[
1524160182224703084171959692156493185929433834577885561910744542328224256855,
1537801596806048756579645687819844574476915843680990392821821911338917834516
],
[
1534228784878613855372285213913393282004680247144707529194564051083323737667,
3521706376781514787959257460794337508069645724875214092054188903006114926236
],
[
2578937995141029655393232141271255572790413762563128577126763729975116228193,
17390356333795810120168422581001175036590566546824644641783194730252048211
],
[
947940612979492942947148169286573131514814097313999984923945564630579515590,
2308193393705297792974084886503909156992936885451139308263357445074155842124
],
[
732404465937527082089939128149870791505934917542321234949662968808570781433,
143709480454569956048931032102611838633822436488408778496842771196869318906
],
[
241248627215637165874725355816367843299343644290443713521922700286140902436,
3252553440660691138666231381716834106176440363202963142721270080741642531818
],
[
3333115552336678637619322993761507811794447605372046548664704236825849321847,
2074314011440265695926966409849756773065015399410882685131987099183343980472
],
[
2828708362623152676836369441327395494506045083356924287447843608221054063061,
107382801318187992328203770492115828936772008265759480771447426051158848300
],
[
3093728769381682918281543022553646237541394965209383769732554106568421526166,
3204173745255459543321323207111205642245664180117592291733272407863239345733
],
[
2408410160653222627937499570601090771762354825212795227033567284727088044150,
2304538566806563442614047090440785060491938762209719835685218901694719627776
],
[
2758360715188072223623539313334284404194065029791792170224299872004682172868,
1002646182229402950578888347706450598176482335256655665515308125378628073404
],
[
2379910339855741683480364155463331175570260120162494489033888506779165916952,
2649708833736663077287705299849077665696945338155198794587505679066706972556
],
[
1176714920396664309204390318351093831295503091238549055894748705033779114462,
715774545317274898026140714630411642171682270543528864055131586173491427672
],
[
2785974441098456234843127330799770200846625265290625972155616950088804499059,
307863489533861377687037248795744305150392367370243564208692826588510059533
],
[
3127903794657845782054923624413460963746108626701051648823597412593664219443,
2832400994360149010034695923237223654142501296305205824531678157494587069403
],
[
1131830029003838132931634271160654858275272609594100638978880153740390535738,
3607754722674459909791405256520586221653709952825470711876211792388292839610
],
[
2759794674261780431984200708995704387783325908768350345798229435903528807938,
1260417916396710926345525006943606967340884567049582926597956766543273788168
],
[
2830057895043497782751868691208958763779500933641414034760294364554584648598,
3148801330152002136119343944143478481505330324328753740340717562089558415415
],
[
2506640265270419609137616465635205683276867684162736282412466285973014171890,
517183264945713035190384665697926865674306942691511144684578407765174829225
],
[
297135274309227547571122074141892368978567606416603548099453251059259457396,
738308515934554491948011858951484620721581230541917718419817808748771885016
],
[
3287710003144516108009450594509223314440628263909148329742349774812346409307,
225177091586755328705836619671963709040245082813366263262829376695813391167
],
[
1902667075164809149654789463437998238417922554649696913795190312096632954124,
3609476325943007214468624874971854834826753291984136726633316509571578121273
],
[
3452217073856686233854377494033704667278961088549888774623466171791636016755,
2444544408047898094236889539040891081629098003972134793849574953018755818545
],
[
2069167537346986671273731269107346759773110422380837126332493778223975152855,
357269144817598369811221449775153952909196646906055962631273486250245080334
],
[
1047243972090526803876529530618926456830431728514494419504365869386003201726,
493385597033162791196594107722557650629404615534399757351633988473756315396
],
[
965109286411904242713728581817485738428793211202426744037474223240067211186,
2413690664561921424572393647761853376475215279589433231249258838213909974115
],
[
1034828486658124322341241159997750207973283714015564270100039839265723642437,
3320659525509256706388336697822491014651786050898707765488292630053240833630
],
[
2924967592602073254569141793533465663326310402870978597207810641466195156731,
2828397747600941786969312189630745459745605646639868710157419955197341205208
],
[
1208329771806436797417016120088886878299172415075658275611114767604464163273,
2810710693404583496584233908768327740199404051365142000873009254465681789118
],
[
2187000042175732773516370724251479381096587891539947053664138571731476871402,
746498189666538551392041580103908969319041062419800073057943031798594621183
],
[
2000452964676707688903182602940959322690781577603915068119089450310903786954,
866954387631286490641992457358203082174659959202834537990114265745821626191
],
[
1296834309098498653963459206815713058813876510889656567958698555814791917906,
900321515532234476515871433334993494171305935536543684417444011164731278279
],
[
1595376832537627540806114085753076669172519984983967639366317789074759898235,
1219266627855965397760533984052253611682860681989985974389624113620845749733
],
[
1823240537897691300512000714094702014772232075125035605123065504505635249040,
1906261986240090609038909222466712928329872469704972427112770233118685440655
],
[
778303663772980866291056760213466667611301230393329301216572062540133184143,
2984789228888160339109292850517099811453943454548552440328876677370962441196
],
[
3543009119282959041814671650391719969699313481882590413207543576117841443934,
1490213523215199378557197585333711645365263188010733339965078460230935145833
],
[
1176236937487751405961855617527764992282992896230256112304717984169523263763,
327501310716241925530534584357204203311238806558120970999031300336125027957
],
[
2406374227501733859839714271591391036982988438954690468147627905682319529429,
2498960794066678523664440543302013058525262611284856216226688049821146904878
],
[
3452133497919418476271423809649290075304287340106989073706651714039300732642,
1721794031770397703814538822528137647140579794352083932468384744314312603894
],
[
1149850245936233973982137051189893468427998957468612707869248329754912343300,
3458926667343838493950348154788263034977717528749131548957463567618227215963
],
[
889697158819326131781010711389595245311511671705340221964679483759691059211,
2019807322878676390755723975464224869137141739292295209065143377221547630036
],
[
1115329342882491971826579323754611049286425400118842701871616630850493708107,
279298782170669703031554266329450929495785208527313704344065678320374720785
],
[
3365519876326833923487050935023315949049714901059255282163633136201965868269,
1868260280532817409831058300719431634773697469228981331390874154636702517757
],
[
2669519052792032403625707785046224942570603898100356640293648365762798392505,
1740654081939116207510779753054238062700744649382792523869583125748991653229
],
[
3121331648294614359396440970780137002689430823241383158647529355695088932901,
873685066624425351999444458200994077868639460913455806504495956245857350007
],
[
1816660828193076969492079690868149793376961857938776531133929200951688539889,
1617163330180274180907112309026652344859788476549850480902966972316617122251
],
[
928998762106806361096934313135623561544110643422813945289044484271228303836,
464078854784700975668790446344005332658112186605529977536203111266829995975
],
[
496484433760448456019075524089809339174015679144397089226817311073355526314,
656343647912825200827812764729017634457244310809059156122299990679423100787
],
[
1973676598953671410920434538501081964242302598763799105681937944844095305545,
307489436917501023536717840176704363109773690206006513056594461780393179493
],
[
518536787018692743767191710241721928752533989539898170372615978836875877432,
2521626354257053998255710814293449754273786720271901759585107157901808273967
],
[
690595468184470683559850269431813912957862648277508592008590933748732173747,
2414429566032394919031053748274838227119236756361308391916397575422431579532
],
[
2501095101472669025652293419986706422252484721018908950115277955062729551801,
2787294359824056854441860940419185812333861607391901444904784313692077324784
],
[
565118044580500186326118761527011487144705745596478022906701885062524158603,
1799231527053210762358771329838631545632111862410291843983616507220396846052
],
[
2037340835455495949556975891561839169602876578929015568690589435716642289270,
2204387525434065888311157590483645040393870259860783204107223503007512510657
],
[
2114937389277866993631127029230629118622631637448671765297876516930885448024,
2772043872341063054220063825377798998299638741683281348998984204361894484463
],
[
2097763236780897995115236415009286780722416534493059040644518024665003224715,
2246556465712181592290422124919768779861225704408240007042932086214236197576
],
[
3612119898822167069923931382556535386023574823466693257258182923730749602297,
1269484610898538742657592460359658026176515519847024771198089933933954376158
],
[
2881403268965266082547256964340568575654154178897275699709021163679539118655,
1692819601432103623771042884269589390667189502599274435132350636867812310182
],
[
750328371578183028452365126719312491229205795053566378454173411358094968605,
953119186030327873981560224892058145045695472203493861081607133113834466378
],
[
1656613311827787565035393466226110392419398195273172946657205368665450125099,
2599745208280264384426758693760932474903320975443399225749144566172064401743
],
[
2103692960985198293421966097241235578982164940176248129325331384077838061492,
2570917734334329081039835855157625956461983506342767455507599344910133039387
],
[
2956028884218562660581192985661469944972780357808337397013249554146206921192,
408046758724714924414144046633476879802492779243354079741111917699605101737
],
[
3295092543885183250245242131201657515391353210344574951962581116320755471573,
1642807297265426717090166824916187234878363764999511552230372565887780637331
],
[
3254747955211938731592559910914052760563649051803026767692046312174361324755,
2597825541939769956115552787003343561035903289305000309435219987085455364052
],
[
3061661576103456171574781131851984681727274357576590194413976242212020548895,
1440946704104779823819051619396174008908467766221900978049401983321224347705
],
[
838962129372725157269649943170983294581294061955271030939039912615696392969,
2450855656904900531871678154573620082208900269187857841648756800522172293828
],
[
623738578803750870859101112646088321855359403665383400994605481921028955581,
1896987617779463068695767102228909909503881877404532152457554106592081120284
],
[
3005336317328034100451063789097066979058288244531776915568829475740707033442,
589659290793751995469380634546964377934517395448274738900772252627065284531
],
[
12756189276497641079437863756137709474617047416617345367587373008165663758,
1456142055978131072821045695636502275738045623685201320945241755292775664199
],
[
1074674018821399880635425421583189259497571069746227839865670725436462244312,
258858007368753107323242423300483485125794748975129950895267988132082308316
],
[
681655034855073789847960596245322342285304909895796912572444021565696961022,
2638585878119722820634387321875125243576892120356441191562743859796708349183
],
[
484275861089119330366419813397313284916585101030604880621077715936286046362,
2124340832207188633301820498272014794490866326891190193431359618065899307375
],
[
405073150800337564971044639647327667948449004749665061152270060911349262451,
1489771173602690638325396124433593050299556632624187628464627170731054511183
],
[
2210274362697653963013276763896406028937726941229800687802476566182252928069,
107281585620564596853732679859399446219714819235699352412476509704530753455
],
[
1574843453768695165378209623495036727403155857878058624836922271817659867629,
1555661183633642518402202300513733784743599394430116656383692711334768895734
],
[
1123478630620218654285047429952065588412730975530361457071991777237712271756,
2829567770920061439901039508116248775591132699709271161323340183772358690173
],
[
1297650053639848975729187455845252204377426797153455899043246280172874099679,
1368877225005672215217218872501867910626338344551878492763876596080463242259
],
[
1370690034945541589206390781179695998551445194688862467131056389583582009970,
1470539777067742221259042319802797839837448440044303811384116671245122402709
],
[
3447187626984579154758815357460309989835728867823525757738362796350869385148,
1816603979655684111669599224323721980301208636016613170580056711560881185458
],
[
1813653163931885994109909806517422543930671118466754170167858925831571853970,
3512341620174737184060311796746868634824078847254277831432645720920236439319
],
[
2837307695083915103816975903131537789416753154015497312646069123780420491714,
616619065833574133353826959462642204697394233876988991826103321230494864299
],
[
594079125176886234216350989657852431152571525526195525372802362637040396383,
2494644159641327263522333201651180948727022160625648361761185979144016156268
],
[
2908396604150117877413275805593843594741970566352971841958566678954509739722,
2270651079544400929734484036612745055500450526594372099549710701035274374884
],
[
2678766929120334020289731872716504689707050034449508844312788171212235149009,
335161156418784138664067328871308180390826302690183885244799298812600140579
],
[
292866251242750359983852405638782648443335655395113648998608114038199112084,
1929874131411396072089047462553509072816290408149385625319723159940078151305
],
[
882230982554387611436849430391722624915254936568405968528170702860016504332,
212032938028459898975134792582247420939126124794435382098720034240512634047
],
[
128726401362994700814735301317860445928097536803417431852613367962589785439,
3394124118935926464118252583967031473364357246179309645829616988941527947171
],
[
677401161940040406778133733501716798305847724216576059351439033320244262845,
2925999450717968641674678177839015248195288227966544952091044204990727381539
],
[
2609307202957921769201454597723184920663265694086171832237331231605229071753,
801185762689670517839772705471851009753066843170718046248101910206876036095
],
[
3164184719276807654208802895852587431370308788690119771658913844464285523544,
1905779810840212631464048113896329901522020622508861085333684930860131307278
],
[
3611134164349757211212839193742321198628214417127680099335976437205997336534,
2043780132560451089266915016427409559115509465273768103961201197432849551860
],
[
674219880578998785256251799630500124321523321851449394348048261225376968813,
3482911053866603432328977995361936638192865211341332440041477929097847986703
],
[
3592898179794583311559546383565181628347625484079136119992096748458485223135,
1465170880570843353446345695255388397672185811127330686304727767842553737080
],
[
3479945591612641094508473900775458017345694655844890750906112888442669167437,
3101936119331166017640859304880796239643688879875971179134677606262220157899
],
[
1109415449398025759620102870831886622665877707210305893342279346428768457000,
2860907454930708330476655483302818728978205359193672814876717458325223426655
],
[
1357688207483205144399854674655145367528198873070486160807161516476844171794,
2883341787687489538845947867713953817206085374003322509387259371280461173550
],
[
2673153466150226365693822405439428986034577351717746967078667507408831331822,
1711608722888314089357865502727953201489434753448475578858737527005192231458
],
[
3399600989769963316575978481506459307955666332477901574428783938231920315833,
3215591135790328619011904119580811201910745729655431204459208397816583809934
],
[
1836471948074401070182493369353230908796463402812051721703561360825727986274,
2080945706738209357213401773997996954868066166149050730738271792162977075010
],
[
3078673344420931157936045314816499193943345153816528362806332351627801597029,
1525425884468796152026606689861526369646610285280224319617687192867257228599
],
[
2722661126018430265331502523339121563282558062510457654064467493725828237046,
2961950709147303512642570304801930511214999580227551995337732709133755475031
],
[
3274644392893639165667150492068461730297126947445956777112794513023991125188,
2045331969496016255571307687320013551853048491733214352646441341466617604859
],
[
112765822376634836986557327486952401905342511371567932656784212360129920193,
2925784973032974919740053039088226660025084255241123579355659877189527261408
],
[
1615139200617101600744409619536119151548135245881789111743749077087127202607,
928952548463900597431429074097494026341638502402888819595959975139532597586
],
[
89110835703618626006281975484745142479630710003689233432269611283359724860,
215577133560624823939271084084157878843706221683942956847919314607432159969
],
[
2365204845648678418296386461366871427710672197784591168077970521383279482418,
1305956795685348559654727794862561316677393382417655218949059817923691390961
],
[
3079404798552502156907780297645909071656015399012681371402409463283987518254,
21056707131743755971547625076568417377953234492785298586731786122687871587
],
[
1774615721844036510130640283396354163953067525827829514432813052928446640946,
2335149358230730291686085189834918003837685389648150105141235796252419309479
],
[
1735808336641971303276438949279976616427622212845904655791080520595464040270,
1731419497051910986191800745158520013128509429166504524452212426369487243072
],
[
225628732048332665517140883504098234968194122687532130198116739739190659914,
2967548981364742052624681942465301778302189310173531702492567780724033172480
],
[
799750724987433962024178782345988625264638811940430837962580781131993819643,
2706844911451851414869588131946375233343117270234616506423955430971490523817
],
[
1369724618979165159567545620227678034464433354639639473366228046556595024708,
2336720505293481339154253277307615910867992206313138581663759107186258146704
],
[
1930319710428527822612172469423758994346239585108798378474140896733181974186,
3075715260783582884087648822116793974103741019719484227525273088977328650560
],
[
3338564282673470966018775402725903223528182579868287010100527892104759349598,
3420593956586273983490728381161913171223107153319939485895365605089451302873
],
[
3555800392979470758767025620764223025989211483193054579480906006330657301837,
2149899957029896266930433713982567969321434161670385808908337955713550175074
],
[
3608545457332454869249792272060591549043786202385519868035962077469064609868,
2809440208316315053241747840271233428261159310708153434099156262944856645508
],
[
3322687396347671973732888070910250198991075315814763746941655084877070735058,
832722278416792540687431048542953362405174329235971097088928697230453072453
],
[
3256622670111196871124104758094097761744096984947383503745643093253708235118,
978374695622574912744133217293321822318821008760942454268417456141195625584
],
[
3410173130373258134073085888536026114751965010082957684030563699696697480724,
1029778749451237919869173468746897632364581346265567722171293156697958069877
],
[
3112433780585229726581053697334217985356658602483885980524816220344484038215,
2532342168888613388980558686859546650509221859779222781594186523997684356788
],
[
2105373184300453833566715269278756869308617438842998862447898598873739219726,
877369785681960743494801702556244962845285506808792672979162666273085193389
],
[
1393232346062500558436496118495653473949473378263920202909352539047530421805,
2756127133762923853208501814856325859087297216739373809908612188013181865996
],
[
2602735208672053198262611186569615211175565049926056251480233572878547833479,
629329025417775185892796948300727047077553416972749774530835029538350502253
],
[
1793674060552460299974233062088263069538015472516735538751555695772239138820,
3267910293235826685471049883722469455862230494501330393412138559038075359794
],
[
86863311610097694600007716574788775452468848027297474155593683107676444091,
2437707467955141280580805831659061124536906723244797886865002980932492722630
],
[
647853547298757687427688341299451732092383134491816678870980494283372695378,
3617636854438826076469516140770697015113683007543372219324291693845766252558
],
[
3334781490544017130581236435947958883590529475501049503331616858692678672100,
1524104441388820711776621309003922630015731846383839927647934980171536936944
],
[
1706920492017425179811478489658749041569247255320747028220786202351882167016,
3136062931779844207701097197470225751864670973511824570767144629934893764829
],
[
149961882640494348338043440935347934018050992098250101342463562074704074105,
3512185327682078074777552971488882847736861539286017805546782388407073599152
],
[
370860151698809780775659878430714854391039795566897134502189484720213964480,
1238632390866429469777130064298502868565198081327737370254478336416980048965
],
[
1282856472050108295483684218758047396436543346709509434400652555424465185837,
3192157841056717224043634359360155098877589892941349993757962372268962797115
],
[
3312829654231446830533616425871987858809512713259532177921343043407846981843,
1806976906510042164961209222220236480094335196359899499152673663644589005295
],
[
2826214476236947463134060188026701900955812519597178470627224598830931756638,
1580208692732193723402036455390144043645806993218896764366725410799716087870
],
[
379282466405240907198946408283110293887947304133389197401888303636683398267,
2678326696284237155462064013317839501356719176588712513572353629324338176024
],
[
523694191683203858486629087773330056719704186407500237062037916699142935895,
2926557820959194747499923406515961933437184756076777735860240549085691053587
],
[
124833202191020085496726895079225667003902078587119506095688146305802394652,
3363531045637590226091127058344713074476460386293564329053575414302767346399
],
[
2143651374532047414518845091756289685497664604612574318922876963772765730070,
2673827034448835877302891179434422590334329367577351180190722501245625474345
],
[
3221138751067425577747344145841964056907436939401545122534796814786108536883,
235336175612617006468583569743134666841147774340073069013500151038053147462
],
[
2555268812438549803835155012590418157639496654385486677760162898546595196513,
1689750620936872465271905664884810894356966245587199342495604460756806777168
],
[
625234954128220194452646182586699463591457452260757480259168774898052708673,
213161676086201716193087398992571428821719377385651036018131821081133441051
],
[
791204612818253360042670315855828265280744396446868065071639490833059389857,
2903319472504514375570923883911935291656049846866663158923319947614657595965
],
[
2454646497469354145786043440836113873410753626627793200029667058037294177092,
2032912288570051024788875629005185779516597292453270591316074924761292028478
],
[
2123337906329005118437052559658178011321855724007242277348144379266185921681,
1894503378078529242131889602767919022671882244815906977803914704575270961364
],
[
3602877859331983834496856242375420741994478431198393391854598373337944528390,
1390248307806555980791681315101366407220742869690031661994109003230157894293
],
[
639878381660983183381027433798087557736798886846049125326586828176785833470,
3512419367912974372084649665826686824136068377404083433804922599142564888100
],
[
1419134474578125103135604337269063811149389272963545586390539000069337598859,
2235806112698740444007125277529836633381483234992038997663439878202987160165
],
[
2778935883893248105666429190432349575416381537333107318387561120528861164061,
1077278765722002922040368598422352116268480578772186030121792709039469085744
],
[
428120812125473710465911539814876147732404851270862105382572167865288414733,
311433631492674653227552598028197969484982737235311408621797869297871619494
],
[
2952060790673513881810338872881675262252364545105524564508325071871367391468,
3582199809541312286609332154241682748678754599041344486017973240874423950806
],
[
1594461313084220822848406979098581830091616974334911374972620995310916825614,
2807125397722833979284621487977999302186252215199452982876117209095859541679
],
[
2043845413859332839989544551581949027414436310630598302726839258465898602603,
1493460761394315567854883351837738680253927509880345067100858649883130457048
],
[
910520306205610055407037560562219297599712042011958124271729124108713600122,
1227332044591912072232756174484900317585931037443282067667157281800895006658
],
[
1356322905904034407802797063629117404975010366322135572201704229186917875805,
3062811278605169224008088325523606193685397687377873754697372903028059871958
],
[
2651699680375521157731474794703697878196552894539932179312542308190248741615,
1374999585439430684113300998459982464172009456194373596393318069525504982141
],
[
2478956707907870604028063666882128463565422187569850243079631251653021026113,
3484420957530723200820826205205389208856700316444106810018542093549855044781
],
[
2745165789654622430617796031383732860380537410258722201878555322390065895409,
1389786264162289064932319984048404041828181018706839586582409596900469763316
],
[
792291068607630837524967871082697288161825884871154205347723150298096233265,
1595885520235983259847467303703354388143203603602941324268342974672349807911
],
[
1112766696158267198974840537128095637678660084973877593826070735478819877428,
76854025577946938851193238773961903814332442336300641590764677722879845665
],
[
3075088147214758449280318679771364592694228314680731955170139149431172226453,
2631464825354322427832325664266556982858783834009349057603625173618876560686
],
[
1946952991061874087036397224151139450490763292883750208451596293164980017180,
1671486844817988227846350440864329091397847162425205354534975696550529649006
],
[
447922002514491195056340638904274303849743543434622916451489369322819570022,
481989665314939062190810517257104327416911189393567287995442516666694890745
],
[
278768424991728679375985793004023299002069942702077846697446381167229872879,
2117939832550233574127330090850877444733498561141023361942969078992294709841
],
[
3216273780587845885344648641198104357960391646838456530374473185745790254775,
3606237386675957259713749411947060068172141797816584221362457562749070134457
],
[
888490252135075821787230358754699355629649708262317489940736076372880196421,
2243899191640238208431440104126936619623401575061085948377697882800556601532
],
[
1748762228708691375443278014066210232528543730943854135660867476022163374357,
299810809101280072373711346937892828549469075660577914238588790523849116964
],
[
21800463980443581727936921323539002523916110909487141095813330024439604509,
3239991592162948599965263758537867210199504881270279333333530879723254864285
],
[
1945649262091085266248324326387300230209483523911852369537103537534602188669,
937547850790372496342721899405171497997439341142225383636485893081045476840
],
[
95187198852190497553925369717104578448538072022660253488035756790745062479,
3284691659350683572361562338651440251050266476442725062173141352883841793890
],
[
396966715395293979183022035167233963473677021753099328784772352776439798275,
1613322234499535439350563907086596802838800251144492804438492852751836971863
],
[
1705843197146248589209974041619858441399461896194255757072890762703413482026,
2709234803093296173390529287307769438552461179797518815269401286400797214943
],
[
965896257227883986820160011629505229958129089095279852981573428580834882124,
3222878455111086494470662906288505024631219103956585024274050126506278071618
],
[
1711062768895650467512736187912681238407905324392544748841566987114959619940,
2037166002293356114375846587992164902616900087753130705770148512236761109532
],
[
306929171824313514409556697011428394218011837518848517597157431560368406919,
2733907887575749650664983471979960087709811489243842872308868788028064963544
],
[
1589132075979748817708848065945386431745143428233530475552120730272187989177,
3479574566456289934918449243936076329515058364276769923171744108995406563734
],
[
535088375724656896741944948092293887713409890408387277644439471611811707698,
3084839991780046496389632054225148955101489706660124944353740712683200220129
],
[
1108714469400502294909191174424037717245383586375174474928489701713698780203,
344696096736515166863459054453204973598183407079213029580530012456358476055
],
[
1896541196944951993777265586048099398652846183460110390523151621587553084390,
1356944636529832014079353150870395726873584547194854259003641654476043751831
],
[
2129740212445659709473295068445927295211143686808997136843204790705829600051,
2784093412242244048858451658511978494505560368170364505963748965317959330652
],
[
1164682312446525913981569213875150029132760939832308651498251601400403129032,
860011516352836343688401715896426496333552023448545234232950198907527747215
],
[
403381603306414312665420204496598046512017134030800187206579847445734886844,
156710329648174386978898329138661964114318418114565494873287202679709752521
],
[
3612709524322508414252878964415432233546157461869758422797096779080105910197,
3298597797713539922720249912653326762917459398002362406667649739024691730641
],
[
2788472028266807168790808585452088947945831098822807970786023663768554965883,
780984533356516602828788864429847085423068302018929746266555371946539918101
],
[
765015221711443098273066494715116075624315673921356068577773696969663768888,
121864134634742875401471744901077698759842590065938894637311780483786803739
],
[
3420458059929261250134488209708428351089317850483628650712157545902459535082,
2753073224523413466263788479220930266258909876418753081552150110011967761473
],
[
2435788601301668445647253094872163056944118800775256416712610409880768679053,
600038247016283378097972299409314284965737590535869850167688589980357128171
],
[
2791234127851217827076638673185921990434565258934782489657649399234080946948,
3019532625505810270756207292319968517034464214472035802893765165728566407791
],
[
2175512767988966931157181387193147869682253002700484615343260272758293076239,
16356925783563920024655061104076219675967060212474163352137306664035714196
],
[
2346289056582359849501003989438672266264448907419687867675159268542148069281,
269429309748271385175467663457270641975914217681440684037010041835530573698
],
[
481679002404926691230990214906065876613510532429501667509718578731645569407,
1609976879746739928846288345159176310170130379856291476257183396230103110555
],
[
2127782061956380596600761098774414382531840909564578638354721422890231607858,
3522660228464874209807741153414518456209790498657511195587886434205303653276
],
[
2990749966959304578563050621982841125682975201749885210174805380941485460083,
295197603441351883186074553477194964532333406546643184464952640061744781463
],
[
322299859114885008311771586431338392030172898629995798709098486233393241698,
1023285551085384033485966778701460844235475326250602612915962425374866217237
],
[
2679886206461898569320731641611496876582297592825799115233896892980598546123,
3099565537546363902378775008459983997262715254411954165424270988571981464521
],
[
853528159824941445672647399048964399831359191507493106790462832690982526176,
1009640753029626140011297690792696405115462988587033910421277684043461588633
],
[
1303674320335969124745880365084447847319437106063642511200542633107159295205,
862053741658449155711084470286087651524720201941852653377417774320602998882
],
[
371784976647836509603140476112794524387140033126839183825485397106022337443,
1481126947243599849498136670060476522501192641446886664638431717153471858730
],
[
256524228763970643322523560381608580385109852183329255389135850583181280611,
406062519770964392170499110443173965524033961539587233636744514155485982986
],
[
889909761640899390466461648537512393214660407373609451150870536404743826631,
3579579432590016439918468051553122806010260839218529712227712227008716479453
],
[
2181687776535382366933204874050926043644394510983340241902960182125931413775,
125591469249575554746765789850870005842434420699124766244689384267560349454
],
[
1698011648746714871368937594549801676987990963546029514109897028714017239145,
2032238188811755521211420251330988300583305301151292725000783151183349336764
],
[
207686199415566734810376310722982179068617367123996792470313948717972567639,
1457942055660330932304294699096717861622662715626699977446009835743129689987
],
[
732258411798183046441278957122759122697038828507788948928154704288224686840,
2612299176220286719934749375400756907183274870137646747294920834312868644617
],
[
1131610047798062548492567521656272602549897300746434874306725974344582031445,
592276015836506844762700749171355258254203250155822561654862572344939966418
],
[
1683203479448902722167828838268483614879733285176640956474769817134838920079,
2990934852576563000604264577641206566403815930150479384314858100664762791309
],
[
3379046363093840121427219819819164110884408212445336400953102193400631404907,
3581767823598790218171818955173138326266037759069958949236204540729167542495
],
[
267147147550523725868561003543093307186644052136871409944613118661005584614,
1306549083362239169609006162611383775071361663461903546405449470601023271459
],
[
296975912955049993838036596802334313092629826214334467025699377929310754375,
1563707217733470474074970856533625421700727823760061087588764083345926207730