Source file `ark_252.ml`

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
(*****************************************************************************)
(*                                                                           *)
(* MIT License                                                               *)
(* Copyright (c) 2022 Nomadic Labs <contact@nomadic-labs.com>                *)
(*                                                                           *)
(* Permission is hereby granted, free of charge, to any person obtaining a   *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
(* and/or sell copies of the Software, and to permit persons to whom the     *)
(* Software is furnished to do so, subject to the following conditions:      *)
(*                                                                           *)
(* The above copyright notice and this permission notice shall be included   *)
(* in all copies or substantial portions of the Software.                    *)
(*                                                                           *)
(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
(* DEALINGS IN THE SOFTWARE.                                                 *)
(*                                                                           *)
(*****************************************************************************)

(* Come from https://github.com/dusk-network/Hades252/tree/7a7a255f6cc48f892de5cf8935b5264eb8893852/assets *)

let v =
  [|
    "49485629590707188350627438543790601843164666730832802354167700559078990180805";
    "5252492454239988725999362667606361246537049278449296815482681202241423199030";
    "14618464101860214640501669418913406667488798576646720991952572594257377039502";
    "49620695691812425396881667059975042814057870860951834243048751692229624331677";
    "52370272705607335752267236318243264940083827067691749458235447563501832651257";
    "14710933242610523976995706443397757945742163741677668728466445608487118981880";
    "40295605676867759583334785789872476122167378326657237878145663333439589007156";
    "17275250730668933226474210235642934004873625116556680337206784052264566986455";
    "45633796471806275582583687299302600425559632837704148321307522586100540673964";
    "33681130375233352141656505268473716952957296224087839911967969212184713588195";
    "712629851673255722293534395801485044243728655856788348424319702704859382351";
    "43317142284252827604873495043870647060512975769565878032083607834275571303426";
    "49340354054830215768241644525595586576960916648952093483202539768057155695733";
    "51072133689923992485577335797823140838583096495379330871465525854048879509188";
    "46949696588385743239566882413656461741807666921366097544593880485391490027378";
    "20573821191096550126141597782760949856255209170402036553268647563825526870436";
    "27160407187556206874731839906107055583040719055315009650316032986707542736994";
    "50189849422262643653706645096664834529407274784147778804216234124791624405728";
    "36711845592560022607016872007330968632549815256229219571331231734465570541772";
    "35499690369690524959345453870997264497352033723668303049826986491601092626610";
    "16316511810555998552036883529281049006950270019860246764897773268401228568605";
    "24273505785788709750944619357321960159456240163658175721572690190239573216897";
    "38957445901173225235458499674711464149245486205504890531219786468849422975246";
    "11823467170230054064490275077272871963881914272709655957174399232209364647447";
    "49592360594196231864432308576338740596601726416914181276008583207908643556097";
    "3309012748654570967607135422003010755248166478871582757366403846071939043322";
    "28008997260349091544245311173997512340365040670749744770222988406313503293844";
    "7882946347332999275161185525751330966422116178677196163170258809540423320804";
    "29731010687109400386993771800155774620735785970162866907509352726525420687486";
    "23931998959081617445949503259792788311676984957946834382760056406764899364397";
    "20391484046421688653112911850234570788797563186823093327188237858525889539247";
    "22656719734855634367860470343411809786356929276974263964151006136177227714579";
    "42018013924524453942303746320960679879055521221983992010530880401352394546138";
    "34997396324562296578241314578708220449054628732531003841806342137992978809863";
    "42567292638455246337550117708556510507190278048736836413208545981863780856831";
    "19529288884212474725617121011420109083719176084042307000138428649194091920639";
    "8327938075667211716886168580211869181679628310891241396086663868161241632320";
    "50546778806178535468498887210218810106123307251791580882247524421100294295341";
    "30574977411404820333239918514944667200338902645085529348563130262864324926217";
    "9892903275194545714737750789991423957405171153621887382923972196579113423179";
    "4920577323034891968079586456848977110594227055454553465331672976737322470181";
    "10785473652133501829555600968223966606682909992869608850754498368109405959958";
    "44259656456536904544779434380762383481009668840670964276817234604369847527532";
    "16013602167551971824719708405514957436426476815028708803379542465790908188145";
    "13198374304416209263916195294139003986416471192907786718634040648208496216781";
    "21804530702651053682928092693590400484720275112701610945338033348613546128300";
    "41258400074102294032881307279891022609951591773444936556013171377165772120999";
    "37500410649974720689109041933579952412448029290473291361854784961766576368877";
    "34335673011929272194773705817147158647851634047942272296257858433783818390462";
    "13886304004325070507319308017925418279796532347344964674118255936953984359681";
    "36212245366398184116212011743173706647869616792063869197638400841024375748712";
    "25759006975740081144269794348054803069434307735185793664670622388493509618893";
    "27454141834179019142193646102488261892878322855049554559653828601521710959492";
    "46231413498972598224538743321743754536555738713900369992799611667660505830198";
    "12831308687888044138550325104853798541540822575395885697883589148652582777980";
    "35086901484248977088412788551567969916605411503392381636519644581735135246639";
    "6475115432881146883349186955429401720007995218321780836251063967786164777830";
    "8814580017771885006531117758255250813668411043820855097899546270767102414310";
    "7807296524174932448970457695754749231363157877776562676221113586348272093145";
    "42150072600290314522584934838938619527057217927054115870685066610015126576749";
    "12014531038737162581705520180807422015561278346762069046014491217217393623145";
    "19933331143038021192464408343147972121326092927465949610356498707738693905912";
    "48162370217774420152062014238018799880581373414572553684036906215372618932347";
    "40819852050845908476800605687008690729086125750975079926804162995170273045987";
    "22226594575860551577968163846926724696603097833150589784765199214152339318359";
    "19545194169971732111027157974516008318207647066892354069067261444231038348510";
    "6049836141434740667284236008114543106249641546035952601692539242914716493120";
    "6791353070942758297826333323115522110180828045205749596445149910757953314373";
    "29909049992012855058485881696486638410170793566701289014595505025597038675406";
    "37049050048958384299197228584051152045340884544932681109205219968133691211039";
    "8271317962040216706363322101654508431702987030110073352137002798152913000015";
    "1670774897775895329767148809679299585171850878621026134776642441972236794266";
    "17422031471600536376610034591163807877753208015405398182227178552347096580633";
    "18756624022690204397552680734127650080255894251074233287591407798661854030530";
    "30668115702052736591929919340014079888097509113980964494205188093038881676393";
    "22070300308208791796677976010650187233479496718840088914015812675958670301234";
    "8719223857171626532277312086417428648729460205529882841381547602107666862130";
    "37958249804564731124361955041894134137282950000798272227069902229038293082676";
    "37189467966805221844845186538807960819299637527099935959247421905494814306365";
    "21466607532037915848310355716841895751321958036985554994122512635502114704749";
    "14179699035342293451307513028958516816541083634684431605407839181393476104825";
    "29154847955666596586127425042717506047631050595585497722311215198569277732248";
    "33188642560979777145374528795549704783805148120231153611600332204665631092317";
    "42564521923637471405699083052532506872185646145525237703447984248100308540906";
    "9688958844450335307002049478744008486071252176234867674338843547336023975670";
    "42848254690746470199841780456337093355003554479162355775109612541732121188865";
    "26571650306498172537015187191960172565543217489415394043243003022941239501277";
    "13259263851666023894687861132930820553832823620306352930622248435429243173163";
    "14935311346095148671867793890923330605843422232075508196436807220447844613370";
    "4344538561671100537571115284147321749241294067305664704606142724262115973132";
    "3661287306275145440306213618539663151346918182078062211644897084121048254313";
    "20823698858703001283317436317010639863721597996546476932310242177301854267509";
    "29589286785528202709772071088244026953664280695981877455063175736821781541694";
    "14714810814119711606060345652389090896596349569507164391329166387481498170325";
    "14212678415151015135383112231592717825106807730018994977285657694049579298318";
    "27294817345129277597625121693563352246269025230758913013178562651622515976209";
    "16308958452953063563921495978976808898979645896736092486449459545961496250858";
    "23801416487202359083498068782586588131855222018242538192997207782091276206860";
    "21788204341490442112154345605131469142633618445779895292676418878377458001839";
    "42939889385890003399975992564558390206777324067014435789391978812483943473084";
    "18744379815502146842706137175625169737619118740225857671323003521379145620839";
    "22969419294986037114832463860692313839911009856023995119192316414140491424064";
    "5158048168028926443440685040647048915854092072898670428607816727103222084992";
    "45436514015774807133067927806141304958513041619855877603424280662728885659666";
    "4148575853437187976059844949320814090464120728486411120676443836675361156433";
    "39274458258755370051287444400457797244045933354561090576339386851101477414906";
    "24226038446737669899105084780102219021070008789681262557528873238824761650295";
    "45554128757216009101367584501852978682053416379828133489710853000149481226345";
    "15468212483347652283360923936198282812982215187267560543021929817615478344667";
    "49120785890340968057046175708683790395194430243216223332975263066275757413807";
    "22165820818885004643510856850784071522542800536416499851315809803527220567485";
    "24255417733013943695455694074510916498983472445769012245738544215443095625555";
    "3578717881416756340877516666877448995809041970558865616428083782655188854064";
    "23826341091172689336238927086223180009822950998486138608038032100061694451939";
    "27712967780178175030774348740828282622058332263075474167028713006452109351081";
    "10692520630891410810882731879436263881937079315958040076096859309741666181887";
    "4139611615212690436843419488530338015260675471298926305839949926237319638064";
    "23893117338530655111858176000813570070168939016669641291797989062978619668263";
    "29493430044283825498112780304231954297919106956762292987523773747600907821123";
    "31224696921534136211793606269507101328026664939270273541391154325809905983477";
    "1161990788645954276916059640768435755816955781531340749166719053457102674329";
    "40032672466651019681467480685414198090289911817277735486101335738870038918838";
    "4663929628087510457582572341889343283250798458980128777564503205493248261588";
    "14576003601768386193074498529707218258345393840871241657474970275429765574440";
    "41907905377583342345509053513634246064531351674075011102250846877938645814680";
    "13820230842080821315141850957892243677733920498405615643268916522170002600281";
    "19848873264729615502674527376791162181860225160995619982736986062940458512804";
    "39528445680729025348431669264547519897612726406686606338168880578253680155174";
    "3118432592224748465457531048962416120738464253058324843908920356643714609755";
    "20291688884043804174664313901962915383913038845115296389312218366129420572704";
    "42557007757415638497613471685612090789101153750789304616028486221591259415030";
    "46792197373741062915032927311079971699067950253133746671662212783669451417489";
    "4446326402184357086836436163159453880944166545117770668456616153083342179625";
    "28708468885765405820890561098801183951304364975777439218943183437220558999123";
    "36301422605515541288198992288053820065278318287890213939282985302088469667626";
    "16513700588570500247891971462860214234891585098734807087134948638523417237942";
    "51303521335085563665906206982117421593801796082688254691383972540879029269486";
    "38349748912024833254388160686883390837675515065069293547130880253459258191513";
    "5863602768144479058589215618670066402672112266393989291900873801213554123005";
    "24816851569224726654303407018916136914696378461182187828394888509457202905452";
    "35668217636187023661106024284393036487257457620610684950679976695467857461614";
    "18049157617317886186455739291622755056587311439504905678793914609021791583485";
    "24311184582337406630675921345578587870745539726250911563471149827579208380375";
    "47049171163587328805804625147855798309518236528924756379359079671413806548741";
    "49217441966653616354960566046394237511933307451264416176581197097030607882249";
    "9741440763223308622766088611912800832840447253106863229069648354711337865316";
    "6711970275005184765958920828167320253630591665126522378985833259053410800609";
    "9977417151377590543160871053129520943830884975635063831123262229069994513327";
    "3082837542990263750321290997953667039889961622919749500136642256407112034669";
    "44429448918101910406096079124013269684487142109369137229916801140750864418243";
    "10204944711013435201457808979370927831932282339697033510029454082329887203672";
    "27567961079029968585701667459244395330846299598586490098261597725737547209132";
    "17092282981739153700626134625162471407726486372216667820609932370888878727413";
    "31485584271040282956654226763326588049877825728467428926223647874479701786506";
    "12955442244748326703021715942574723118787276791607410352602368690534050770417";
    "36233598404262020873794741863731429804608939874302234761885447289322137408181";
    "17365032709923238164430981278878270324454980279560841069445448454199643029113";
    "1599308425815788479548362313813963333016792520742870977461515191009005920540";
    "43669871288596037415496023789232130242903264831017218631867709702917757490026";
    "49117721877014812477333148166335201583815489936606800780714317383158496433108";
    "50780218530638944533890976760629911189324354866670913408371520875375844233903";
    "7689428494847004464240529995304510607351514709716679690600711591096978491670";
    "47955977594669526260247931440322469685056949069904259470080759325035295286461";
    "8365512332847242169003328823195689637827840697541204265356337650289585838123";
    "3840401128719370383692078279691168408796656116885154086592491099204611073383";
    "43069581936608602226405255629351890119646172590162211959289288774795830286246";
    "43974189709355209820476462362097537404927792511028786194043940929898183793414";
    "26332351117299179629573047197679883935341765313312089900660919650133476414458";
    "50351703458402831605416039704608408974892592655299422309480445654414527175979";
    "33468607565896128905680223110626886234307943229683243021379890835118051012325";
    "6614565191349098977235002226407314032868555511403717887772191274612517181410";
    "38103056918801597643212870363828947832437506655680421481428698964117403542602";
    "32908423128582779977704279934611177327699184469671505430337832556835115384573";
    "51834951159973764105688866487621285182469090830458796598668031091107941720686";
    "20906443585217694636590360222926761090515273711034774487436003326403616929638";
    "11543128149317521186944038480148089876167062819998754661365448516694779551074";
    "13337387009791879577397425157695857206822652677921492812658909620421271792366";
    "26158663219738110112661733659009555223590055652836643266081611952515633330808";
    "16620288606563676461349358549564125077202861312536356779066223457462338103688";
    "9370353560216700598486832215289311328374345394195634955453105798486005404415";
    "33633718565315235577394971195804503457415899433434050508477479187227057261067";
    "22882449296374811923033442799913069323577656681081909852574042775892111287921";
    "2940185604989639101256714689859475930684457088567484617894462057139075862941";
    "34483194121915222880375114276064125544128032137924712006849489977876279836276";
    "45372384774901078103486078987247871000423060133375498791638103398927924400835";
    "52387604781514376107006295066270649568927674910028459430830457444029012327788";
    "6167869651297502278429690950623450349205119487045648580978208453778184411341";
    "27462497275790959876141507254409980360566911339456621474224385082554805533038";
    "49147087543811949479056383453491986538702256593160239527509029396813090030404";
    "49587001406488557808406328288652991476747338395266693648839878008858484697835";
    "6313958677173548204879553757285379819254567579081576303778677143280554291690";
    "5591468493874061488706454796222404166033712948542307967483439147905003945470";
    "2437221293824201160919193686511276517772539907794390113067425954677677410182";
    "30357986563693269312610963334150804237408332248581737751589214609304706424480";
    "16637601486751396636529759375224983522742599069263721097214299703128247198523";
    "27879534340144216562112405598077066811919674403148810235445326156746715979842";
    "30788313762153313626674963316612595454484683342245093445515009044754566899486";
    "15725387840690796443588540099094119524389569177620500091843845820844320431289";
    "34132295312326003636265296299999208396694730499866986050666477793086157249908";
    "15362934941085533070255910138373084570641154047840765685532551420580152655609";
    "2755137135618857778067513724833509904536351561976592574187101898503219001617";
    "46622911741851631588024639842856120275465416427660592975008281197121795628830";
    "6964635240711037051215022604794208273817621384886657093402502491567294160845";
    "25783574129877826155110663698218382830525380279909999762879880818546978011140";
    "23465315121256052707655414720713957672069185881022798701424890012062179540328";
    "14395053091536499765531983402867839134341617705786295303106179101403117403050";
    "11316253621114442899553787480078181551163062516697851587687844977545722300558";
    "50064661939091922013762459183760659158315803719176946262123119222324910530256";
    "8783665334345037843914454257570704820761444130918358310108843988258662584186";
    "27618475988876729519248024362417979774716550450998439569984942958903150185062";
    "43015769169394210865366119150018957649114200451714812555830871262755495468016";
    "49732426066558397245060256272342911170810452758926457010543502425937044377044";
    "2952797980452813888623715400169643543685112681184348275283000981057872198778";
    "50872740372354623466916457669382604074806324513038750478426891403283893655073";
    "392818184515825854281773563914353854398754713238832910269587407972143774476";
    "50779005954836595097541637958107285799215893016482426373886980746829520936350";
    "25176357246579974791673072598303068538657314197431647903881566730654004596817";
    "20248152184837592885327768689673131083342577141215627095954882454724068067303";
    "30064303728202536588603791400844418739073552658034934314710159102990759896158";
    "21384606984835160613401783081720653002397794837776744119212545320680659814207";
    "22759565228734648282413300371375307271924944352100268152538666537290900864554";
    "39429333593022349595681621998820719879621843929926124877175561019165223081129";
    "12070092883346592852789463918508042095108508741001381953375286128032289075905";
    "33289517265391819899507145162086978987916991654940411189206013329200864859674";
    "7221597429770981330375263241511499043705983470816845272720562845158859285226";
    "16638272235182748474572289194344411365650205299005022442793882687465898549539";
    "36006214239196604148614442091188440583481038594995316939593040856887035358617";
    "25792600705977450864245882132395859611441619832808864344772519627069798329604";
    "4080552845447537437568804141996338888821838801402604114257764603164350512676";
    "11798208445675100720061102611516112959643834415640440909769995293901688418811";
    "19858693043126873191571109475227847243177160525403793202276277722982907002636";
    "51792167109522919038849306964270342579703542020877440269381030774505714185697";
    "11631710203663443472344988456889389622339025983399538662094459108486378805525";
    "2182473716255059033897861691447270412333028850406831066185078223238986325112";
    "761168299106618959837253184610027302352675981172895412789219362344349418506";
    "36857059855189113781134096792662950699742275482770772595919903687711739320818";
    "18213396754699008102047102089506462494549290414412359468656221893099620902008";
    "12599997312887962866854539884234476951913054226022526078890032319964768070561";
    "31295812056319316979171165714902562241023210946259070539368704588259135657855";
    "36028478227374554353553197903612149760893367375462390976595843472968694902073";
    "19755792677313410149868952739127262822852161041591595345565317109808360990362";
    "7604195354962581173699215459157831606985245892932148667568863588427368471328";
    "37402797671729867091958880703368044330554219817351439709435695854279377052968";
    "15021754554199031983119820117039379649754158617595693761803226478334678245252";
    "47490255684408806072434251664743508051420570808132025501451725974827121258687";
    "17058297088100779754668670576690752359201713072728307725116578742664258035812";
    "33177512279709821535209584501483624708734718786595445144375381063910225855217";
    "22722275695407528091691304246968383686239176745361072723538077075588718852746";
    "22523893181902428650174996691790130832371188536502447987063143120257450653772";
    "23308895356450165080771503655705485959702912748685275383709016805561195393730";
    "31027920485628166856312777655247597928527620141623480299311482321440235423250";
    "45061629190945989233993296798591248101958034421473451931174248051572365665596";
    "12635346734022971744529531315542317156695950592572588825637598149329121435602";
    "20943947811812318510797609944365001415379144029156369080552566308035645494236";
    "25272795848989661284291121337868232983504512905079898072787482710703777539907";
    "30267260031722018334657676019133705236740734579176664833600084021013496843546";
    "31517311768361733509846398942976030662400143969686723910638374750883139079149";
    "23179568872539103374642859400181289258494250830556186918556740813443091863672";
    "43764857307902449625975867969146072336127131357517214347103058354083616467535";
    "50986536293458449273154397197499183679036967678265692625380537258000063532144";
    "17739561056178158081098295809388500809247889131390006315905372775593328303174";
    "29288755790242817717621638923197240104295093218759888966129245521028472275230";
    "34134838804483412147238682009351758572433373367047849860439248437388218182820";
    "5678031864698043849290292270505282805363676850706953191264384683006133884965";
    "26520160397861331597785508913058535821999870140894147231231876363158277734288";
    "29240730915918164705120039064238164059586741149554989326639275573958724232530";
    "8343909311567226700622893556200749476532608824719086807691291972160111871498";
    "35422495044092101446713476071226458201086591087201551382952729636451893974060";
    "28788191175818003347220573268922959045830070401915571862444782695818400239985";
    "4964783835867249774083299211014420218490608209476492267659355881364453511847";
    "10216614694145379678113358015463688529998198929758355282726851046519070445194";
    "27803494825843439402691751649293753560989707643490491294838415993813244078970";
    "30748627242627915480476055895904136928510253392793276393732599431460830214019";
    "7751739221008798527034371607783061382972620557894156823243899329549833690423";
    "33136351771438729026535955096064818190694747127577887810498359791738478202735";
    "15487861031051273320246153480621276816764645205006338931216717383286810036662";
    "49842641210693624237669424014970933360600934128562418971602444161937944689815";
    "38080738277407466133634923380952979679353443729179754588489421357109266527740";
    "49835778803230991359657573667412732792328267908571176221265893225909110634684";
    "48979716276201786775168967369617265563190564537859459940775310207730069238772";
    "48115968293689106220270565101906186091927515718072586052159138752415504690487";
    "44974490348051781688152167728748294073951164996734932874793980137333724713822";
    "32723711714533643804223002624655983381445583052702071992248370814287912622753";
    "35770018441385880747665875909685263825335619219990900501758283083700215049177";
    "24462225877284730742182932602961025133445826599619125054636967365951416719552";
    "23783458847678429109975790282720688654564666590790639711956826681143293787773";
    "22347164999197115677368036880715580840867296071947684897983662897368903035923";
    "44436078084173495334203313236158995421334213775491689085750945085639709823274";
    "25531354606207591001503734717276709131788523985002917593279732600020946775257";
    "25684785975858758309831379800021705800796165309307017255796818608524248856681";
    "15689846944752800355408013445547581183295267110737304356038985876510433629593";
    "2954755130869062203053930362449428183522050551079825685966392986029023636700";
    "27701477658173432393740883974255870340912747006748435341251832401519511471276";
    "49144605237971303130051477474500252441736011779691510816968732821261269570968";
    "41339385840143300905581133617960524027180235012107468786212952859173390468514";
    "39648185702412479261241716678418509894559280563465255646156879733379530382617";
    "2941231259680949143593699011623744100174752512729757643099482873601163245575";
    "42912407210638823710182011018928480520340098630346497369618624020054117846676";
    "48149959907456562949390018405936990163864807774773031806196322989123705667163";
    "22688265260172456453339993837459152038039626634400711129266583542220009592074";
    "12000693219442732741816223290743392039668089531561600727937394342995414579134";
    "11903596729989502145549179132986907891593077014729378748826473464861625192683";
    "2687111115125246444031317339291347908971840740015813305558838776418739833086";
    "23449522976975553535812413915796651435793968713230742677655098865139106223667";
    "9127447737910095400860412314688824392136048676974256371522014899566329800277";
    "18470081002802756098187392375443129770425055057517598292932337151147562979415";
    "44570736387423385650881595596783530585778739624944938740374839306088992916739";
    "41506121518765476611532159577026640847942725069679660287546611181740321613803";
    "17879365806603642296154180079678225700598122219887762781358998608195664544974";
    "5797039731182029290044110349162251456412636832186827899836873551225117057673";
    "16295660997252122627187664110946939903408094437070458659338126254215674463605";
    "34524081549397177387160463682322947783604339299199714872938486944639466740633";
    "46792070054974847313209541773010710216925758583669099409416452772447490195997";
    "26758138270863118025378847876443541196713233312489031593470542282276213542370";
    "25932795773661200059482623714428701540382804071390881515116858419823633841821";
    "13321689192715674395770738630438750136066468135694575335309580617698058033117";
    "9707380803157554078082855616156559824492425930465667797574921265494807066314";
    "7456158743057656267196226193273529706797096313758394320439183942428804984716";
    "45355642533698338070691932069661520741557819242118354206922415757362929214681";
    "11678259483364614216163185940141297609599778858679439537001487250711661685168";
    "3518832067902435230725709346836794333454945124555395496274090845504580131455";
    "32945555853640395249820450907965284295734348780933164440399544563294403789630";
    "39144256186074248653430012132977997931891740120897263028206417805470480396128";
    "513475060263080708913788928053965257750752082706905923893128454713255069681";
    "3683049475437575758554728873338252672236374719853531546923396056498941488282";
    "40512995296870597270088595777901813960760477076488920843379483396300135285919";
    "27566780071222822332525446641593709138022329153495927653774019832657393592701";
    "14553386429473594909470688556596424443792788721346677010176123183887024496060";
    "27859920549341120221544363269894592509610202544403757207234685024595167318501";
    "43630799630596017253244467929174687910181739803861346262759350693495295759987";
    "10566905550291524816328331044922050443675986854353663452037665157735899469921";
    "41883294330455662982758134167170988606274464177099964393473215947428373454548";
    "49807615802944289048873232050825447587887207808798093013193396431089336030610";
    "10322165791099655621755425357073963493688332466706230721287522258992803490137";
    "30646173733388488363150064701278686720564910831836411411651976803737973266145";
    "9402643818207936923863049876511905578631103389374441210902427576559340397042";
    "26796903570709220124665459153306887688701095587820014535393806663646332690802";
    "46485326810825309550921448694342993906840425779587939587426865276020325464945";
    "24356907333535237405651241236585413997915979417848569943590616378149521017774";
    "23511169606994309941348827806149481805650274994320980240977267213388100293357";
    "15731023427833496072707128064453862171578629248859961123054184724775612220021";
    "15476157034920561920585064222922712755398556043478554933175489223519135633295";
    "2588249154193062661573385899432005495347251302263070328643388740869671399217";
    "6009738957936176982507178002696621297792591037813275212151400246297074354799";
    "19233332597631491707508807992208382330520636330001528420218682645685589256221";
    "52257447718383093991766497150127369332489778818971489581567733290721167946805";
    "49137177389699894517809095595548850494591743777874595835879738514452528623678";
    "46568408911734306168397184498986706003337923310668800879260860154439924802578";
    "47934768334329838261157101167633276452145498250520979978623243405647174036268";
    "50548985142375412913344898480017599364756597551569943313108030702053373292351";
    "47313547501137846688862600708885501470839439049482542252265318066588835595877";
    "44379141510324834123427106121179013384083052933887649345549024509665387337907";
    "12745350498713174792397397689765109018413448791457948167478567090039244524261";
    "26500864710621301469407121438090857294270092269498670394353899106577395878729";
    "11347414485694636965135491107674675767460314869225865451044094742585314486685";
    "30546797282015374456420465905729920533639220341847643819193401157056239855445";
    "9764420137258539782443919930298504966223551788317773035826893207520127548815";
    "22299459460462072891198481974919074362126418543881491087838369912934426392572";
    "16855285284125844489209514080904609067369163236122279642071700082910563677928";
    "28470684714066956536547171205246920705847552363405765916824456152219308886458";
    "4732461843529436130239807886795100206469260396399272943452254374852516911378";
    "34562136348353570109700872901928872554702381799420513020116701553340267771150";
    "32365558558736606695100598286177066733690579155204608260555923597643725911454";
    "39093274064908662087943844021095101112203783571135735803933668222858746865243";
    "43197629030144295844773883705380449163834899349448680049499938815732794818313";
    "28135261046436067943449704769784602664670169528558709941327602925531279330283";
    "1506102606338525938978917833686468888009362316628110197189912144850886803765";
    "42336701278628501135217154714167575672783514963702875925876272615990289229528";
    "25024620564425776027644674844378116603084237932862382763192286329954441925762";
    "17870721740021152115020062852028651603316820821405634598215292938053122266052";
    "8726154223262675362011088994808023052872330129832279854214301067840970209836";
    "14874402962592699078349928625650239666631999908036706122344921639840279200415";
    "39756319747099752854658342549564553329846048617905492959798860958027344323191";
    "16691128005183566214615852202071092535806876544863611664073120718156966518635";
    "3656641624593787470623179851898501381429958149290052751094306413295906197198";
    "23058535769798180750363501250801625076459404778101435404523789853891253539536";
    "33558816550895409218380886501604904940103012687961987303678839499951905999903";
    "3535320991257296205944099868175259133046387724680729551263894422361251248758";
    "7317061444673855310460676987104314467363507031733135923911471906709732796227";
    "11500894792409448904640700230690380435021471256333652274764744790985040833762";
    "29946587402762992979637543680372942972051576109298571343103906148223476379391";
    "4083115199018558811067305667801506297182902358286795914571961100973484984414";
    "21780845559336370060316195032869693907916051322860704165373540781960864925849";
    "50108406296877211542712950356627343571290344962477533388788483384843943241826";
    "3604194748440975970709176256380189264567204604496059337216505471586505569550";
    "25367520387024971306924473288179691904393907838798350326959612955828936977623";
    "20832698602125152248033711132843527797288526400731772664791124082045251454142";
    "42631062868366746704081529205540353901856777480389910573915817519106326556653";
    "34498285379235908749982034362054765010463122336180289849202738319552611997489";
    "42569303254780782209383769555863500331363619065952722987173481354130829961783";
    "2968398972388390861514824927379622551058313567208592925335792817590639277711";
    "26932822849411517822460887083515713714294971165226156231324226720523884126957";
    "12289852530007884112177675781197310398488340001613130934099944458324157517609";
    "32571394385633728540470223537905763247514888927223219047927568504736330049592";
    "49323371198951330358894217978741100439230061670861277900398849522199063498403";
    "20916227317093555798135256109920923636673315915840710498394615832626002268064";
    "50437846180582211045193594549699682565194393344569259404783034512017335183667";
    "12720868063213131315535911341883761360678170824615477340625750278643114107287";
    "37197243361742872107474934672270277255457140880848614348969979603547286846838";
    "49972563335848604083615943319581538413921258859517393388640982639930301010342";
    "24578514759429435534489548439103508142292694204518742527201734880498761607088";
    "13544000375663478018521907983648192775225634805964564209488796232080592901057";
    "30244906257123439752743184026932532959005248829599515228075497819748836533053";
    "17158480056121611203761622020240364912867157439578870271481544859959963992982";
    "43213708539956730045950791581115215808814156477860100393372067402068523043784";
    "48148048525328038354477853614732455140796148613572766084643376345096272862233";
    "23955550900926153176119256387738001205670821929278609825909043128410785370923";
    "32084112248131778873683184950328740630941915092866433791792196623349700717247";
    "25228735758855933155378400293367847597725487322422339171350380923514466214585";
    "38708924229373547897104118288852039016237551318118836657141457341427167364654";
    "25573420543845971899026547821922148843484281700825584055000279017238479818969";
    "24727047789721276146751871546128337281102901395874275592320129585145360286605";
    "16376363547325397340914349214206199307694252744603372010394026437013197100776";
    "20208836376333578926014682699975542524501761930394685283441636991924627929267";
    "35206301732048412276841356453505638516993236521927454740085319844070799435331";
    "41261166618096608240361379074330395434896879239200007895635788430952244472582";
    "41432219394078727593377645450491483074448807484512488014556070054882946094209";
    "20834236252121597410527416638607520798042160344062107596356735831487842114761";
    "23532139063413819501017120637575271821539320929878848328154727861013760586039";
    "3946253966634265225936238815600554190068564160724890879995534127285456411579";
    "22846690625697257310904779889019761152674142140749605466121380947233821897617";
    "22087213788241393345997830798811611648992098114012713841486529785834041554496";
    "43158723807235728204358654052498829642083060365187988897913589551158805148577";
    "15465863697980742098871467263990006125886103501516872842535870075250801222781";
    "5680194980291197839690960478626830816555317427024014693910787627450289237742";
    "9094058180026172545686171028787053405103676091999366345519984327286409630688";
    "2332670368762680570021571783692863301454064644206808151563000113996159738789";
    "41147800869911993983577010981800974642409890520338080941707731579519543968663";
    "13279894307388819655466420434801883531790954002783939588058497750423667181893";
    "4870460897717989146446912775477927413376391253591063401746677243573570104602";
    "21434150992290282229101961254012913715487714753851223580286820712178569140123";
    "5884699423472479901902447150142507004213890029567299438503194948937225087869";
    "10751322070759878166895822040094727160998828737858183859125132419531492304288";
    "38992650885322951602413869202579221872340599306440561607592984827348058953230";
    "29170379394369260301915803080156002423232616339189492529725305493825816836491";
    "28207328749747479105410685727161242130439891647417887391083580573114642433586";
    "30853455820741483128256761592665063199571831731867607712950643840486915981512";
    "19674757655311695412098014331868801137574968530161273910500977119681828944720";
    "39760311849140484104401541894168574438723197691222319633908463502228900435385";
    "32907700014271836452044581308399924687442165571312547230568158377188973441089";
    "21419616329214777079035587170514020306037526204702975777693989034339440177318";
    "26618360897653828866229525715043321785206978439662756876063444705770873337597";
    "36839328402947719672481705066838749753765029179922670705966460218560367824702";
    "33819865214094561436972297577491830411674255022072017707118420428518277463984";
    "52239226873754505993400788229529834860768913846928108083029668222253331104089";
    "33663514509883297348657719612646437260376060472686074175777529465535219635914";
    "41003879710590127522478830906318116993393243242504050949617603963042321060476";
    "7812617450066867719201142889276223443655576184992693957516680471935511930279";
    "51121304503531803641767527835120763884818550079574319802192969900240584243331";
    "1274612101252555263549693940665575968018149479789118602662813998362863815476";
    "28111554183672061495966203485846707355259261091518108181556420685499275202196";
    "42136394643178945109983278623800719553667430014244921031314292928454177600075";
    "29400787731444232592537985972506449856480774156983480052734223261628825541468";
    "51495741815899207992089872049098533532158347593725999004967104881825150810836";
    "39333115389438061754746792518056897857082090561687954807372914815130461016655";
    "14294336768755739754763672664822083245398240681090554840744022889714341896060";
    "47674122242123052198728676357951860449892667730335860967923060333702419341834";
    "35684666049106444634028920061342458983421529108234610860428488342278162340897";
    "9217271467341686730075876652325145965408071349745719665965491968116132171401";
    "49102996771041826251600275636051473450230724151940234292281582608241970286503";
    "34854604674557982238222418551502188390821202909341038834798601283398583979700";
    "44103714803951799081408903773636811469217830709674983501189338090554583969027";
    "35216265618185969272100001311669741239205828963710925045672291350518816047261";
    "38403524999556193056272637467205416979772986748102914574085083812998622738913";
    "27146144115803706054383284709975278288993223860198708633471683084389321626754";
    "13717875182956004040277399923680066755828211406717894371621241252873305128902";
    "43893363745908782939920493548985641014151424637808957048781989937501374580035";
    "11726253545109081409164353376819469125399426277505280541880391837677360874072";
    "38928083350744149770676864428063336223211502898736165860838144487338522811447";
    "14125823190822219756837975179681223974137829967998184374453263586157382305654";
    "38513876015199093611082189496524624266110546915344263711135739803957351751310";
    "47685229118417094929745561957819690007671043576786068405288351527235450947053";
    "6959539796323704070461146242134806197237474129123359577767978063953427949977";
    "47545452988897685363050245883092979778729706327058096488694175926251841756750";
    "50819854690063046353662942259579520840136358471545216283227859112171763003225";
    "15309201933918541480912493953275686961353315663926344924717901793290472429632";
    "25814701665737234866376372053628534273087781843875343981916301130840793116256";
    "1916844826075222519090392623030931550354624290318063661929274409207762237329";
    "1046514656280512977708818059092759387987165875435181225389723691639677269582";
    "48632931314601925346131427356122727760212316227166299632747707086089052363684";
    "6605181920334239323337807639920607887166441510148481166461711505022421245712";
    "24648729211610178594528829323421440848291736568213484173668007946234312273906";
    "46859494710268538864658299697721145997690895979735714480735923808224531095520";
    "41175929282429829777281847415308245248403968515148043916452754293744702303400";
    "4936300094396586135539485728167289346454991472436633497057899786781957023646";
    "26497056294320821551797856452767310941293845697666592809944450466405074510159";
    "30179755929855617808122588385117490529340524783380573627382420814158046220265";
    "51404155368749455548900426038075050336878399275390882961314989220012144625413";
    "14816852270047203104312028732909159967998906770274196690632931234420725527426";
    "9617752168355609648284058626664682170830718885414476704978109198619947225853";
    "7427964446763934879077123333856010036056226354148572747809815822346855367365";
    "29674872948739147286091273509870908664455349901359630308300510194622261921733";
    "43495676299055671139434544393413803052382814125675363612358978059313789429586";
    "13094408335698611712427781744265395983524687621162836316320830449519959763188";
    "38569497775632608093794125886753456740306226239072882532108501824492224325593";
    "40308698798346304095630271480781739014165493986458798701620020450887376406428";
    "21695323206500389583562384680685981414856167910480068112985112222651637002862";
    "28462792058602339889033620039075559101583339912637364038250676107653835038248";
    "46541024611362968529348952496518032317778604675804472582130971946588321773057";
    "51356043325501315362210916662661650495252901592454120098836536302110199287188";
    "50506579084327411763038002678064865811256717858083039734318534808177330899455";
    "43768274514650675477817361475016698140148452675749491793321899996800017542942";
    "4365130454011506171008828920058285825290911024175299642700028827967669304334";
    "41317071247365873784712926167181757675491093869449596462352859768807347211544";
    "2666773836237810619617948712753874439458872566874729089643359958440020536859";
    "11268787534831056816083083174895755956352873998182091668492218789389708906242";
    "40695329903519172458025898268523734890965958519055359802905784576698941321234";
    "41627365240233602645027028937623461357745612228956394512781214869371540472342";
    "4164478539096095999131892571705567059771712234999653371776917360777549612104";
    "51248727099288674225044422898397396359619826428997072695850613136023953439945";
    "48153799345590764241473716564225186646412111682334808658902588825212784855559";
    "4038288326645960636183384957834655531514058972517268839850385229326514434196";
    "9349746370858115821223769976893823674367044998087780251985518797575566269054";
    "26635144643229156230109683885266832396020379662024410046384058858172974749048";
    "43223596713057491838453489984430963701106626227127004266936175851674881127669";
    "34365304033357616463976462028585280284797223483341370850659338406635297935595";
    "2134516731680789816358678416060804041161035786347309768102559295564927033298";
    "45222140147028755238863517248876975843048731238253735396150896367564901004686";
    "498606925255879431664844628549393158879953298471933183455573478512612767210";
    "31655578397479065559694701010163356160453434259437394629612488741366238826723";
    "44556920347721604505312194713898769297829148630669474738183867182834534512253";
    "41066252220898939528372277962872199592413634363843816853371068676896371450235";
    "17898654860211486557422421879369818443339885864697693239455405713385693412604";
    "32513783099500141673439294633034010193535529791111957913458937240956644750422";
    "39905409111076411206565494347110894882613346677151423254819846790782130025281";
    "34988407687074005102516587752744593627068947572334289485494224614781612900746";
    "49737579529532507611760379505316974983940800332946027442906862839608822441536";
    "40162178377217761341550347366456178201094415946625032846674573547145969502567";
    "19353664035666185668244147626872757644951716514199713218834744622396379021728";
    "47102456478332690688659328489760691845709562508921577866325372829999411432449";
    "12207115819013703533090639097195525814981520405803331543503208389206865838351";
    "49994145749153772801588770229283450802831018859577109122749028671638201340175";
    "11750496117230153414206471040577887902252831603305505401836225613139968743361";
    "39247158472854700135101098114122648755375036565112534510407184246554146458821";
    "34888420087558994696576075863747777609045400754497672888032242287719438881063";
    "36746602810649853608305671227827297524785410557002588877308144918466075161379";
    "35110190469581159095125917772271263108711630576551389559652466237914252519706";
    "17666646113580405089387681323991445813223732839702375394019098767167481113374";
    "49832915191890911296130390700527381380353409264287349518316829690779511940285";
    "24443498466703215427536198609292882343492137081224136946780263563592401049860";
    "9354050407159006695831135953483212990074661420262042032504530886059244184549";
    "43333009983788285821400695240087914486289602002713044560524409547002696507943";
    "18752273838312523782927643189706439976957320321860728910806488085573896888517";
    "17277900024182511146710507398920674498144288099203282562831710644330579267863";
    "37307678413917534108508235735432663978301009388979394911932194936937228116983";
    "28849789673530572936431250397502939284314408030083300337114716226795362105688";
    "50912816147821018549769876876636191732251692688907664846983470977761901142017";
    "30131058343978916976539560634538314390572592064574889352048802922118040591878";
    "3706738172138818078705220133282568519342502151909947908081476774050163705447";
    "45699814681518246744400453094285582701849408763005827286692443508836010669243";
    "18846003060227712054607266173221112847285282616057372060555371817788046689458";
    "22066640520973054711560800705115163615789502002092761843459719025242646197522";
    "23829247396636262290884964425831569678858143545005515755792807616917823372004";
    "48198239185624674941704629705912623499339853704797750011743362965545369705797";
    "14437343003724224631871818628799571960312140411440628694004790267232875166985";
    "9205739813512268504763814673014453677276549572272076135414717042201476484408";
    "39791411423593512268799994379557077985176861512059575297944927863183698039381";
    "35926621231744856494112841579711773281980064124370668225976659404439672270700";
    "44486629680241930770190601741590174294937444204078046665996776098470715578917";
    "12162293378945031764624085071759188374782023105344514611109545726564556675201";
    "36307225704631546442623734392611975648010152587096752396997755313409683740066";
    "41250750058001775370365399976123622596191578857360075239352807587783963966911";
    "27326083632152278734711454453088575834660104218399840842350769848804017390818";
    "21738472712881664490908162471080764510324227185426320378156680732466086006946";
    "48253221985307003164932400584047916688911336639213284074501437919167577474120";
    "31747278632217258576675538435288102373171173881876663185343643389289388474560";
    "5761801194886985126517131550892405530757591539197426021056539623860947947777";
    "25080051431129686333412677366349247249765542691781361133023295276989895785662";
    "44725507017222585824480973320142248615864064267075237276314928012346637335685";
    "2270142730849677751753329523089749032641108434062308390614061733510185159182";
    "29151537587921846263406040946950786214733637455178025270138954283829217507166";
    "51701993706600967882137291998419813154460359807514636008564722369823738880081";
    "27396983310969582762655735423233600814011645446508465877860524193464148646437";
    "47027464785635786821973369345787882857794216687685310972827981582102274085589";
    "8537697526465704802497642132002864572208835642458535053052653228499861354076";
    "33216310879070852920780500139920461536347985311343304758357092362169634432945";
    "39742197294627214520191321293386324944093718559889580220315772412754596333618";
    "33896963789316206258615821504316306436964228772759528417727957697783861669643";
    "25010660153820592469701812125053548417837781371102734874578902256052345209508";
    "36367261405021942429836445456841404357897358255476611125054531559819745708605";
    "52426140434579970656719582674709112782140126494023197627160774284296958026640";
    "17974065625542652257057290211548736634195575643976320857820652175876530118764";
    "37053031019194686166066970377043979546613341770302232565495885535831842113241";
    "13811446176969112541505871240921570152518757388141946244776461129201049000050";
    "15092093442185484653246077567190483143911375332335503262901381196989675075655";
    "30290712242976568484406185485374545475757630659561739950369976270424078249156";
    "42300599090797035681205333143172106725230562804023721865246977451648659325451";
    "23034899362471909543298700478448553281114092027702550350324373720046757230720";
    "48731736718724459302206059867835027581192820404271125436441919516120222347777";
    "38210977651743308949567656032696478385819661205063514163655683061120398680442";
    "31066571830413162458652431971739961248158700618823531207554971312281336740306";
    "38604214043841500037487247628107100072934980241996056096027128810264297729133";
    "42466391101465852203816440495696613849995732468216567393767726715283921987679";
    "7918626562942975338180644093933988817993856782142079793192213031203713419564";
    "49684155517934574637878829138073579948423899014921699823733824485886261361800";
    "1451275366564565438656353212713435069619539370740288657639758022186872783344";
    "4060684572698408855577084852784974870722088774822168823176048676904575595914";
    "2266042413117404820068618979432448191143223638313669085447265538970047743222";
    "30905627074463551844852560969973865864965309523440254426402110555428247986128";
    "44158908912184255345458082216141321324031565774822466208284543424748103990868";
    "46781765007298128451676105938324040827134620337685516847682075321984346802681";
    "14555474190305191329651931092157102989148485771814319545054338444403258212594";
    "16881117240817753666225190901719116414117517568051590769838881684777210471563";
    "2091384128545629176488696135490230680171339008214937873929334100299232999763";
    "42961581958424980887960069029855144961942029721580484171693959065822644239271";
    "37293380196472166233044745617934489446223933790110588175152241706018245409475";
    "50472789792567303044557428917354654330233740880518444155725173737527015380692";
    "26254591932763759021184569941619883521949754828362687682030335425079808014229";
    "17113230459817249275857268126349806861319046074842290127707156305676386386894";
    "24231753369429127358009700702110183480199277263167907099485750041582214965155";
    "32263789144438090923613388538761009896632203008432412115908330894004664953052";
    "12618230980377962991318338064162350506512133151309212471355044610992713035428";
    "44287411811548063431416128186222883697784161373833563087100707769861270222355";
    "12243970408204409993839495395374510961024300896394362315078558518998085218595";
    "44173339028947996046249077532478888110286784422982124321103998220058630129185";
    "4598274292520003424438601799771684670337297603988895001679632082627567473920";
    "32220511643743595369808381786406376653262724588548158227055695474753444711477";
    "35927311526370278156701529193976259428647110571727767928074012487713280141168";
    "33414541138436871747848548210767170259303594301338319380897399124147207142256";
    "10985815035297592042713783076262430811622978337187158511590030541267680813140";
    "47191419930669230163741552576498932288846324126311314824353674932127709343958";
    "22784828163631611768238083672698851077894334504107657128357294425726824989181";
    "49949907206009595584434917818119046546975686520915136028196584050967515480584";
    "26410109194133218506580932937648982507548919566531870050806115243653049366263";
    "49713902702044838319213158273679308025133803584815262572193546155507722324872";
    "23535559504337049461830629174751216364093038300260308135874588247062574403616";
    "2238775094716444052477495313057898840054408997234199224243609623847342839111";
    "24251437981344168177052800972995593868567104302081741438918736451368941030394";
    "27982993433491253628745454998904820434128996322734239523565021212024510217448";
    "50295838517535590686256014994179135654184756295823594187599260917362939655408";
    "20057613369317870978599836560225006632816653691101308330458367154191918881132";
    "39394614248557203761718739642839828701390805742892989071457854079306409260621";
    "47798093889297880302781161190820961988270610469163421109136182280644356165044";
    "44393568357054115404229042885561023580153267137301539458060374049988839557996";
    "33693283919970625185262931602508844386692612080074318597070832534138700238378";
    "39815716493396968613970558873707844074909540436043586091356171795994263694381";
    "46853573174002303039170539308214250609519855889637324611927935851194802547886";
    "40815147595190732687521587437353012947450179162389073327247952677750833108813";
    "26339521409702735393744068131812259633542864885333572967691724944624282632629";
    "29354121099706613567496209577487729580389509912153101367352651455990974641897";
    "13956682594977060215824578428178631751673652949659210522408548576867791213468";
    "21710651844333023404269198169431081997914625130038397009887765719584062563582";
    "34776931503807259527470945396912938849688359577250098809620069934536239444952";
    "30888022057753192523461569966379378071529579974487499148314453535224010075827";
    "50706911026467569615838130915836644196872403584282694942070640728917921207853";
    "46864858442437162961458912480193558760809343578316469752769914636209220922273";
    "13257506406075894433104506959381001454814282265917832054419709339905914092656";
    "748651022964498225720140702853094466861887182520450179370194887763003477434";
    "9928055927827498106046655953164657438589198384956991765511981535095278477147";
    "17282353886786306350464074480326051762770764361308450866796096466478345879680";
    "1031912496796069267128921308084345914023374178989340573752894044339622888592";
    "25926134979442574649058093555286719859705643564478648509775995356905528815887";
    "15964568489522278652756557360367403556214280414131594187699659173938365588488";
    "38050091280410708232976422594473351403153808832581737053257668228216639900422";
    "12030737699352751292766799393553393267232605717122753898023894800120436351283";
    "28481686315014470274923914799086898836504959567797773710778502159442143532873";
    "34854855773809028752393995264841215192998714650018251274814328745684277843700";
    "23177024339262302793601070921104366455941060951873187433549022636746564985947";
    "32706651237059443616796121926868583069846707958453355769010508784973815882902";
    "46999132467290246174738142479599222392723632370675458675293558263299577721042";
    "51658189751923308132217973966348349720258327530023246552822556444736712390623";
    "6849360125712696557397143449526597653234220520772426233279930720210309738320";
    "37750806736224959930132995620486959583722999721579507748526178865808200136556";
    "20596145017860309309979234965966368019102563566006691095290434157503935075151";
    "41254341165403645465348838011157544897177244154415343520886560798681195976471";
    "39958936321623717554709758924074568269853737880198337327309503417601943446557";
    "19195223398318500029787325435183109593313197618937185661501802900443846527922";
    "10629204629388999052909123660165259102503430047516526387386913093894818621559";
    "22392494050571001911742800275551946666157619565710102369399744439030672915709";
    "45789181983557040436379972210390979168574359994520320974901389101449898971667";
    "31993107635680932518045016097850934312675277860051930648249938294616399737203";
    "41394691516688662849678605584944839500777787870042035604148788674531052718761";
    "4260057227269055804184487378356538538091829237564811490140159259203053493365";
    "22755914276797984949384994213736139778684895539493230631683465009788203482529";
    "40041235704216186530314362855470728008875244931687384625262157538702289816794";
    "6239837510956467015853754603670020841591725704614056805052967999814231026644";
    "29458802836337316653464358527714116167816937061907636047906242601994052671860";
    "10495803222616830164930921154664460461646398358336997556169589368662143070925";
    "22898549214190047583215260016577644830295617833670028301698818524286997579532";
    "24393132143758164018011524734233512995814989110864264594937375305003558662082";
    "35599669100699975483818766527498585288817388816371602239888485323895149359158";
    "38006814568801552692257172170653057840209105926496657875471253681231978835474";
    "37543934971882261953367219974994268988229276972094897853703891601912512732069";
    "15638582370101925565491212811912002274875207706665814348068235624071156999370";
    "31580840665375344887237728746628275665874622958061630557939670052080082572146";
    "12367368728174853025325572761705668347969447581862767534739917589252910852407";
    "6431300041535226336752933722639922185807048849346218384550177388163783622203";
    "25253158156291597068997002534648267078756725939239005896820619368973386400618";
    "32407272173038095334116664653948892086910040424886147129262625126739839822771";
    "13280522211524717536348472783270194511863920959394096229476951226643221055230";
    "16772104472116956787783912564859125725251207740620474891039818280005602295238";
    "9380491773071000549418384879702223304167388163133689178789924347338789859850";
    "6740138750908982892458436295989575152579732709412893038486800886922449522370";
    "48314810935891480393270246846320465418304988645667044400639849377044382785493";
    "49525268202538850726708934355964079225214093569356591960731024652251573337974";
    "10491451908415598562758512398208310743863775903122876297029651957513361141458";
    "19406081409800592976259677521739333450025655891055151006357086244687039619147";
    "13796012858975195466491814297891072959260328291852781745607018638427554265885";
    "6485115628027826708347895792986221021092093804047270852634430130894243301376";
    "7032119811712255634773442378987402663863092963351749353790436863005730387277";
    "49570765767525444909530922468492577696342166915419424004169639950326136617057";
    "1285129643807481578340292178367830355589280266621317949423705788259432932006";
    "3441634142357505544306799203411944242234343920049337423233909232710820734846";
    "46025794658354018692379411175175073186560341494151624685587728046975000562010";
    "12106158677633440534700667787331666286230014762373964286877200484724425265456";
    "23852090676446145451864225599736384585160730887606821819365287956188313561217";
    "4645666973599908624611019322719702479503064932117311025810250241310882715612";
    "27973788552235695206305543261730414876912259984347644517174031345462270738555";
    "43025700336074147238459595423479529842575492457031762291142760348199150113491";
    "11114947607987207788072907159327922005689782074310097245997186074333396056216";
    "49687044256007315302113254820386474091495296180003075377414100433265777233121";
    "10121176151471384524101283711923697637725868232114641816445390512389391879025";
    "51330986445125278830864400207324675203699148153035087480401908084977553474061";
    "47310595279963533769585290517718071207229353045922336729470385238771992063949";
    "45470655810089077363013869164914020509319391456872208545345084082605634862224";
    "40929877503242649981348819772838274267223608227057310481110253536393018059255";
    "17372055570115191467281872597379815744802692968021921450248895690511846645695";
    "47678362609779802562177762420543329986622289631981586798104589503720694371775";
    "26411767877298533345027866329803788909747237313956364077530765489692282596278";
    "24229533690702187779130733022119521753205414714542053126286077188979825374531";
    "18497840321762427856624303545987123524462980182393573916022980133186401139409";
    "926339800459865307621110262317592729066835255833528961455819197753330330312";
    "26987605273411980269258666993213102373601884668454325175338172997856347972333";
    "18391274780315164583236795984691281435086666456604388825240216970397471681364";
    "12097832322841410456967729421116714442525972726222297222010623646121128815790";
    "49675177072983404142217920899359528991366227410655512062504000260893530407911";
    "15707135722931316515055649351245978339654864807851241599499601638769193005324";
    "13383342070542016733720366624023776259361772045149591256080689729754658059980";
    "50987374166360059560703430211826736262378937327825787684985599281463601570367";
    "37692333855557499699736644309219454870696030700215486572270708025082781551549";
    "48478650594548719294793600227459643485482841832424895683273572346673969340753";
    "34197000768287613413510926912918063900967585863143579777915396555872696168197";
    "42341791561950739851197883113950655969381083158985137996020454938455824791661";
    "50432013007639406618408631759754993701106347480289482412566889289659098747090";
    "33561349681426358960433818341708626828528089088226844117603110599540730269202";
    "50705077822458966913066394832821751993904360422435901531249988211620289538605";
    "45812150193659057136265559669604043591894801656607121583303377953470442982671";
    "44899405678979175008096051077001310599468936311348170044304489130853662237683";
    "7059127019337779356629411915385107326268136949565987358909106161315155646816";
    "34328690381291138075517043550284055917545629141111757511239996475405290993321";
    "26939654315244001880568035987806732594072719629182278790540271608004202736265";
    "30814725983945874115800588983627465902316483105630339244815320449875682709724";
    "8398481858488384468602034607148505717684965642826928411240604873022038757210";
    "32368995614504469151394179394757902584570432859893345667551706377300971640771";
    "41155627378215384456908425831665893311330630453454498015644998744726313357371";
    "2153340160120049982298930685564703679245036425190525326118018096283043155652";
    "30352448634031048114241985941470924393535967542582997762031027911599426568195";
    "15261716957885212013251887338156359768948744882202708080437574444095163828003";
    "38989413931358185435843776850185009130324946962753359173722889885807098911567";
    "1704331953122835388982301028858718889034690658545952309945645484614333632807";
    "27403750471903172003031534481941256144265878552723731083968505201259043778402";
    "17562955366799954474182871335569462132288297189443997453618631664362553626261";
    "19086162457604934210305997669117786907689549640695600906760353084525692086019";
    "909236720157425570791649582895043242306821976668909162225950852357093705234";
    "2587678208364293762041139325677564169740285152881638284308667606120057681746";
    "35455340013646018884370176867194236432498101681197729616134222175532845188407";
    "10597974015947868971053495476281648442554475914904865903565006092661125167077";
    "3237760185979457517707698614567204490221992393739789914647016856511321085131";
    "36946097031106423588593893994546210486025823406712493196127193878277998127793";
    "1562072353855994226121886801808336494359509412675230144523806046877228821245";
    "19010448428150791333165899594482872847843192038124839342939985299225110393618";
    "21579288013136572427312994291446922214090964937547933878834394360351661124147";
    "27476725675454012862496969681583556164753553840148186542141037944739225011404";
    "12721482754555216902365268649699780762391451537917039204354173116225938906231";
    "17726161376964586155439029895353641881124547308134311074590598308682629739586";
    "21277449426226092595780141778474905944490289128777491654503164263224221094647";
    "8027270477264632862462234106666097274072824365485884960263030432202348123210";
    "41704607970414222533592973837383672465179394179105424582475027116253727832320";
    "24911397878677534717817496400765259525912587429394942164360589864420581372895";
    "28487683264297785882293411974724574939733908335995066450236207591718649511876";
    "9410945672219127372505114826532796375498170564414051544192375021034240158151";
    "41501277216118808186585885765499182580814856188527129455247808366786573543421";
    "10786842188586265560953543650077602380076591787820349469333358966937440803493";
    "27009619599448135465453464435058428424786314448509662877166278927396974389912";
    "24408090401747031528777292030856366914050775066115322946199273876732066533603";
    "27717428010589203122459895369508850795775086801529508808907903171549714517552";
    "43961339117528688303727933814338246842560025117902212123957164184934798616272";
    "23539099267901977681530985543753979115801969780392578671053292012737090359960";
    "29129130787064690115403858309463936784595038310196943453528132510780666740275";
    "11544217335881527838309935861738104229903387666758470620902798348360616219319";
    "33462911116491023898914175915108269500003786821526355903193319352945031002857";
    "42971396791389197300566908724428992708740412328465643262012289069601063353167";
    "11114100576866102546082991452575837001302257906574345014759165856210897893390";
    "10869503142950375121273168986955759969708630281326506993743041491528703068926";
    "10056285389986129969950435124477608942343465496465667661560622683088232566646";
    "34352912333098020699609122066221942402647202729511926372551684177727356125767";
    "48815653149287031584900334425973245208502245603175731919813468058312231051539";
    "27279886970331272055453009825591093815823325722521311734285899406328214417219";
    "30743518328862506788849929078973418258912120322041236148115187319465176865909";
    "23836593777410321994736212695067663874445976812493472680359497431194677069707";
    "14271245249714372701863366640280358937336173352148459212765723706902523416666";
    "44751389477552162369260519320913279071846090137697398153616721749914975209463";
    "50049310530591903842202745108285775951310636397993830164309261859077944727008";
    "31203592346501430398694586706221740358145194595166035656399113862917383342162";
    "37447642270457825605341454299863838011561200065009939824839354876147406554050";
    "10574164763913009315349684560659607328049286937437594137678635676492164664990";
    "38325320802240945919839117157786458966683186777304529608044491498455717130551";
    "40805013056129827384501225380368635414535634360289381317746546936202290112538";
    "48333388268805149543196989643320441803480506998791523089965182033002284368947";
    "5782032582803275485235374665654094879290446054520008831705805183845211898185";
    "39802516355118908351021607643423040697458583372235828229304343199015399090975";
    "30492929460132725992608458300060364368351457395826268799884859998700261205304";
    "1420460004901060161999428487693270028427827250557258348019289211566581365454";
    "44193635056304562477505124994430538128890073548458826363763791536481254794966";
    "50720689419341593983069569011764146978553260482771698590157644701830829402947";
    "8073796990034033964469665366473997793181957677797087439421280810770488925256";
    "11918471565012754466601744707948105395283969402172028499903545447868170529713";
    "20077023346487118481621638270056399928015669807959870935567399723256898313150";
    "17213961046117186209464109755931248173988132541497089384021158920901269721090";
    "40806924151578521440897441275485084726249888295413627153644179743836373627459";
    "48180670522504204627184158154001766027012194162495506518370446939968021666069";
    "42003056523512230201797933267792902549574504149012715622767056620086275745478";
    "45101413241990392158966509799943874633896537344671548489389563011092925383814";
    "50587462404507583069240045742171989746743467775065297737509970837012535861612";
    "47815286514663372521264717191280262614050727424357000042525142008994950651639";
    "17400463065364361454879212497416099212109445911086039739080338012549330324535";
    "18161390929522210528368217943618859674698687969813941340329551243423634163215";
    "14441574882494975584903294130579023104909680031021053889713767896122879098657";
    "21912867184623729582081200571230217079961934918095841057644441114392793081978";
    "45361556540636295590917957481529238741505687644950500354869312727558668766825";
    "49539592650928368969231099603636984862255298622407911855462789343614490745974";
    "33869060934120743008239749284289212363453006243904282220127716668152965210748";
    "25076370715589585424326332620725315977885925199077963714556765297037513234989";
    "8002444064393390123216308842243771494245898705227632990107898963043446382143";
    "1356017732914259689267113844885694824971954414004791084036465384478863651474";
    "18698831976592497490869840317995921745505006029532075513759064786215310313034";
    "48836462159247124316625665463190819813831892402600021151195654650125270340651";
    "44079217861342722911981257144373371771560838079739791623631524927582118528474";
    "7917860632115468421843323257057624091855319060906343969030682698738062187742";
    "15328920775298393985301712443835521222368870056830753657709551066102881234707";
    "40585149282725386186676237190866920474926692908526104716015727560418525066965";
    "22476618951264551734672333363230193505101669500810396582135708891630628995331";
    "22976271519589645590337728787979950618802152541630285510037871742827357400405";
    "26490418622799095788111021654113322288820745026736077183862125058416171724885";
    "38668434553373591212556681994380448212723195862087041826021901890569924770065";
    "15734290460192933229142204966761293110558662629712541767317274191859409979185";
    "50708043312916419002750805838232616804578377791118982931279441695110104859619";
    "25661993114668520552639676665126758448336667422881593126449325707247794604888";
    "27300404692554829310057036397197575379085146250686335589922839236734268293026";
    "16616950908374247513630471498870667771958507881588444010494951003904728142357";
    "780331858290974370698544345229396895975774808594696606255314479320722478183";
    "15356252408972709076003921799298413990129664042289284426790671672668901277378";
    "22195679839447440563352896996056925121555070971714547978827589453261615780585";
    "50055031037344446643661166893394701232488862253278315780297281928041839024491";
    "39853343710092418340651301215898149540667450843137399936276811087705281337915";
    "41234320088350200826168830307183441504603558317128457459369045773720261208509";
    "41026304730141400072631269150112787967137999190332230376064990660056537630883";
    "46270298741623878847116335581496501056187952274321389849457282429215904661001";
    "24229852243440737653059813128440054999089637857670449169075813133344895934250";
    "8424306277967302875586430461180994699747156058101091594395383080190147483624";
    "49672959835707465722916473003774662744770586652374151972176418791640619586394";
    "50953606432923765425047764715621990710996981237692942916850916691445210588986";
    "44233571495113761415664137120393901177879884654356773130439945796774579578083";
    "11574634161412767461102549430739220546934205978274834090884125505175189074069";
    "8645184998607708462451095150206729904754427459024724873922986748255464652029";
    "37128418642109534373362468648382548670038346064741412903988995594256056481978";
    "33355443735171069266537113956815564199390017657125748952951909212993930853609";
    "18346976095151853612362092673379644124598042905694460090917547301686808797968";
    "32646375704171180130330224041820560945074015817182291941815877259349052407072";
    "43225167886161343156931475989059671126108470737009680929793198947446394575937";
    "8816437937287404337360397847635602367292009763466086832728768883240427981891";
    "38366899091948084905344245020593946957409036781563456341174116328327175180679";
    "800298045483712205484307334575942288725541659796453174814416446066185314381";
    "14508830287813168002435636185480014871079716479693496544419639273961439244196";
    "19123558056196698077756824716735733526899307503111963110801154666985150036515";
    "16303389189674597252380274616649999385814924811197807163354356674102789306574";
    "7453668915100625394664770229394717267390236182731660405097681417166662567678";
    "38798071571359045878565848619638213488585154176099273867945877100609620185282";
    "36631959497302172344707808434460251250381882633514089681745071353294520523286";
    "3295651438846461067006904471387575625423106106098387875100629738076787368486";
    "7639968555171428539513522652621621046079902482011709740085444603640503656201";
    "29579395581332007484259733934571852879364872891046795155379474874395906573519";
    "26653656757216667921153411281655535324426792606630320014981412395252223538329";
    "33945142010095644499737879503783227769340995607126548035094938552106092827502";
    "35659738763390756446419442911986047138385980543377566364330341100094367895238";
    "5380796247086464908504473508326895383205443609034527483380059328805596144573";
    "45555109220928268984543580497682265831199280528890734732631782982445734750732";
    "20535285005178766298291665162439441374276729776225027287990176172368474655430";
    "42276900911794446922826515302740555211179964292337862181106694848183792840849";
    "52163438563491625237964145588646657521828399654529930322643039527692977471445";
    "12381085634185465518625170120342681595340115886064341209590250417404145330796";
    "41332854461896499143467401552257229221502912725720917689641824107995364172760";
    "48130816341111135562667996573877686235140742636682402903593978927062615809300";
    "40708352896435303925197058053634288518207618858900910754332784721266337267119";
    "20414673166470607272747811391805104245858774907937409341200492727939746607797";
    "25627294268923401583055123311122337854601831198810692741217863178401731813982";
    "9471796077791050250358831370212483753463358283515022318409978072807223150958";
    "18314066421198133015325418115287580268791041525896152562360347711250600527843";
    "24017014751842644177743018360725989342257842302110775272063931146838823820708";
    "21581200003538126245980521668237719802680919088433705982480735447972766043363";
    "50184800347056048262055270151626286042367002765576087001102590179487127900402";
    "30495886812798520386657837931015291018488945515192090129642139250370928693580";
    "22576369160305502855935040778001809663355224383879666287087499574629468037932";
    "8892650559142637497217516060667987141940174680954367407928503085925759784531";
    "26585722842364766084323735392097803839711029569348840728693523172589688253154";
    "29233945065322679878626700781011757896403829828629855948960912667621036626304";
    "46495499699253457275171950570731129922763854056949062569251813711011602552765";
    "20175726311806847923316241767174947396593584808993154634747567993383544235788";
    "4439738901982759407797641994447539352385040803130129830312569441261131407125";
    "16457982232415810076025629044220925770877965806117341776311181746417552277025";
    "19907475632940820992995770155453308899317289306448422338160567626015082798255";
    "35223042914091176169939921699730780563001221818541154418947974752159293542388";
    "43001533944345692738449547388403626716967932955110192080457393496732555299619";
    "34125500451758985735535246859157148109918522814391361071782479828094264751521";
    "672210927468386341214054725731176563716514412831001669942787056703691451010";
    "11955392088705171556964578398079500139155403309741307240924960466165999666255";
    "15001212103447594119920182143104283078666143755444714277900928289186853558391";
    "12494141652757315459070169705561134159399433995127302554127714989589492762158";
    "12539864421219420825268500409099786634396457699752281899702857644933872397743";
    "43101784081867314199511257387329290804750329977663948322198895874188929154741";
    "27446223298884346343269149146243911653385549792135607763714158002175305061634";
    "1221810201232089129932400022193871837808173942749956359312713538906718836479";
    "27532908760517365244003806543506083069460105424541918130562804937168539380933";
    "15648693309686663323928562339596607937964297674438414931587554610267850089762";
    "51990644901841817393110558619667069965078896715337659449054804464607693143160";
    "33794620192818979295379085241975052389791263016087838781391920545764975674473";
    "101607244559760430212506597577050204264047733826203142005234996733194535803";
    "40666396311706682608077428065814708907526669028006167240560016976036610792591";
    "12093027072881844562446294223504358738044964433607132404028203137662407596800";
    "47855031407689076102071980457490179464098686349841578053656622219683394194927";
    "22887362617646323246137538576383771868750784401107098034751943222440904306549";
    "14772206578599333281746941359370160645118537874167329823865244020069915126081";
    "3526757700545255914615010391053602312122669226422265428284197630347896730651";
    "33007891082396853981232434558524697472333004416828682481099968575992162687374";
    "31988013417414141593906072198372172527694109442594239825489920432494911766933";
    "11191961053993644897418397896972876540611743197344140729636835194462710841804";
    "21880105207814770273563304401112493784911759454461136323535459121487533758411";
    "41486397989964301339068924325783394852002678141033490060445600519554945226014";
    "16498626461620337833657560298722288376309400783422382991374550718050901966642";
    "24943377286264067314569680564276927094588309007929081549392361988305161867433";
    "37986591875971070389212991388767178111861904302329418052260086662061715255565";
    "32017690217798460109067983234755326443554479110662411364776709358644611216536";
    "11268114558872136972649888237328080074799940976672472351727712756343878033991";
    "8553866868885110753717367996095488037219349823019339928639756785019374917125";
    "32329156174505548357975583161085823726178367498919221564757310317285457845069";
    "27211717469524004207872746964920608620364761642576492559180465819096139390446";
    "17951459528837145129192967424193834007781706018124597879528401736511208623124";
    "5641081412497253735686285180366403504609424502347938813022628844058433088254";
    "44149401842640426661188167090997457203149609985845860407845476505741286527400";
    "1131272348428881671180311242049529569730380344899908988923912651593170365621";
    "29408853361809783058473821719041796914748403385269196060920996759386405450822";
    "46397512824547164970111952967961313462600614947138288894235958387784135997027";
    "47516645729584090306484976699637881381716439437813917167035708795500295063993";
    "33055093158354315225697732538526252497152864807143121380155645175831367997411";
    "2483278713512874912077821925021730472549918913537260777217235941375925483743";
    "48815704230612764031863984553515469905544143230929551627072471933945117691529";
    "4328792740667001536219824544300358343992356873304526946361038441974068375040";
    "8936186593485597641227715388671424329734834396891419524831642301555170823192";
    "17951920387101669293331644306482124096994648510679825947980062912137916768437";
    "19375514622607648705471192919423809092605947096218527444759114794843323604399";
    "29610094038370566321951750688045410763551744002173884016718675203262367949199";
    "26412332356216088802741437584182840836365448342900386978712282658982011423028";
    "6857200692997830027964569096279902529051039382386370537664642602910884711585";
    "23793860449672430773141781094420115804950727589006926766592001526772413630888";
    "48757257789712605511132590475466929307721670979642060291457808809543669563707";
    "41645960082452856575583766422864660930176349173234319988174582522281045680944";
    "33000251418643291466811739862781501771791890505914908533407925955048210111449";
    "15394914111369858819577264515844393687512099293048804309053356275657357176587";
    "8206746691969770388090261805798801614135957851585811798250200766530283892894";
    "8853211220347505554369001872046201218026106125304684911336722654414177119527";
  |]
Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/octez-libs.plompiler/ark_252.ml.html

Source file `ark_252.ml`

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/octez-libs.plompiler/ark_252.ml.html

Source file ark_252.ml

Source file `ark_252.ml`
