PolyP5freeIndependentSet/14EdgeGraphs at master · mitresthen/PolyP5freeIndependentSet · GitHub

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
2501313637558969176967016534
4844467962336660077245170868
2530206647937698973109447903
4696653156033759723862782100
4680736160551723879854251894
4128441847303603606843764185
2783980639391521244317562867
4306963517665352882650605697
2882063133141020741510103296
4030512520974596579933454295
3682888312291334597542844314
4922545725724956547496262630
4439169706717514842397773196
3274199663846127920268654398
3476978602131323126140796263
4716070292379050854362051851
3580150797206382327879837413
4927420180397330762615240647
2554499227910869974398386159
4834228341687047353463475119
4324628057372394168353499115
2479545820336898213197798375
3270238795440366945108047792
3639340133676728996063295158
4304660181564485169193676543
3095199562383945193303045757
4326319692954514873584529367
2487266306284467729581809391
2562967948286812036666880895
3461040578721038520612298742
4790816514593963170563275889
2543584897794248294215491579
4297027810533050907206077423
4605914361008425786917258949
3299309677463464897551564542
4460702239649791390224006843
4566394645657196199114168089
4678074868150211885905236101
3283364031646549303385468946
4773750944397377631609237215
3896635733355777052977377269
3242611133857548840591094443
2986893257452234210814959487
3848302019679741897112256510
4678309065711523134852492526
4762237123314156351653220345
4866528258162299699872079862
3667521859821433454843501295
3638574515641202670984490030
4736527830767615941061922246
4148077573534309802684921443
4317910796041984585393929718
4281506314674112906101115180
3274016961604738205721312763
3441618699042142610295781865
3017421807386389506630352736
4812865672139653562909890427
3133839073082176551920525346
2910975309241216570817753081
3401615007459922305071110910
2785629405005825658466000381
4584234274720010275196415327
4902265972053430077247987453
4326204186265623250964793973
4115819187291558694585057023
4949007899371529578864139518
3638238722452243900084010999
2740923337909507307769470847
4946579544235091740184738051
3271919612698971977150830294
4873013143231419327601571323
4632771984071261099078554621
2514490541784615344486834432
3631306160285919659765463701
2697585723769893754257252351
4785976749716126796766182978
2595599570119947853276487167
3124263395124423687589074408
4303995451982484213514232431
4905329283365722859713879951
2906118013133484129407016463
2490415597851322231393287871
3832249305518733391311281559
2695008118565951929272366179
2631889003217405956347396089
2700891600529337830606278519
2476046715917666600703440543
4648872265472801193693147395
2678350366936710779036951131
3739560110155791259330386415
4027255122285356511876623334
3750047798428655055141795925
3566803092365772088304779243
4673123595265133036473822719
4907554612613665318072201031
2514595691368099382695059454
4920885017385712076496568245
4109590981320163661974067707
2860374179916269487688502380
3711645694954033583130049359
4677401886410480836977343575
3832926550834067368485837561
4835621733797282964210449853
3344104270241334912597615462
3899550343055178772364214189
4872158742457798231955147563
3535270318232062475973500788
3709247277446240420012999497
3828789665073591955167543042
2497569825001621851377459135
4860287508144517999031712194
4554493996534232611706345404
4402530662458786394867998014
2485026999713555976012467959
3803276376455134149152472766
2842203689517154151009869759
4935733616363625319669407611
2912301206423795250579646418
4317286985189393538069033581
4279583852544863058926548291
4647328679124683546593074906
3372940895889968281613080187
4864614703622302520148458891
4112415414169346185320753490
4120680813457099759842671293
2493136093691312058681794461
4304899361077621912146351058
4354524140293583071540656449
2961878165218417074778742784
2516909131499139272733096119
2610655310503804521722610049
2657295339531654092746309770
4639178455305088709266735905
4817314677648629037635731197
4860993035573081284208467985
4946389442941863127973005180
2498074509293043452399070550
2690918927795710870506053407
2726831400767100252014513855
4626564407067469010285304833
4949265211289578258082287021
3715823903068566981716069595
4891383277016645920194625407
4504531351129048807244299263
4898103453172897332710430452
3116442851440928287070204957
4827867468738645199761218052
2531800321307994881275821947
4631960887857879708496451052
3028955394151035112632582141
4069012799226831810181749973
4622015000537657121138614011
4503004258412941820732626039
3471257733828954908744088393
3699558065941268023106822102
3247597966240863893534879578
4904064251190456901785483391
4941993710351456739033346051
4630111519865622930936830878
3445418475100116131240486562
2516834383923619604331980731
3564415103619395540468879357
3211244856700393308769546103
3308893403873225663217669991
4642093171793235154852385926
2480763014814338343338554491
4610840297276695265665420540
4399874920620345924796788702
4359440421113507899947266547
2768025730092879882701273763
2536322862753044769634793690
3073626512989129804661915638
2651175502901270963722116667
3272656562913681497942647170
3152814777826487792664976887
4292876102009631891244251115
2503082387557469626204954559
4281731911262080685717651291
4022969976567817662402936711
4511340116562775791756320764
4305559048948327831693129590
4699831043217899230053400307
4619851781844126133695092625
3443449760689453850125587967
4818628252729938157517954269
4850560702408748996214356285
3449953679507947750280732151
2819917675968130655042068685
2599297862852180306634468791
4644488673814776448306257389
4554103764821064810920869123
4786665062281375905801033439
4136070515742571912938588563
2830447048726175347573252183
3750004017610028715463289342
2512693842710601635091023644
2662355752077014750547868235
4798733886701815006891013217
3704526427436663958931961927
2754107842228350148322273858
2490597334119738998120642545
2747827218580703693307649931
3909226999527088062664088818
2657389399358393703666241499
4888125733208622361753413649
3125073250687598849282405179
4595190920276237326051547263
2521216014454498208825307139
4291162323460748729820732663
3684162579485831683246997573
3987812116952416484667183086
4648274253510045355462445561
3747029938634964962247252691
4551880998123075677813805209
2818520527031766419563872191
2482604748200222568478162431
4622930428674581710990276046
4835018532325334163604772351
3693568200049876121232059100
4641572397635077707055898424
4365551237617988283254100343
3453674706800737793616174238
3977388073437670042762404396
4393231370304420163940258556
4508207973270300674440170165
2691598075529990549394317408
2876884848302444909355867839
4038788189419279597879467459
4876629100813019014075555743
4460367205076745702095945728
4612218169798098182246225849
3130894802658961801149525470
3074297674083220824377622010
4466734883394038898701685079
2662742395653372008289792879
4881519046264460647166963693
3096037215081310884251403306
4115029158120891261399277431
4721948488375755360466074271
2855545854766203116841257022
4782204658178382232302018046
4241189956723861721313039771
3673094659762799010003359261
3345371326244469199206965305
4288510573022590925079435165
4688076127942786127376211468
3018158818948936090909407351
3737661719385255825821618917
3959902624157303872884571133
3955301865920948954608670570
4864377180977035241753944050
3977449510573475180569624015
3310568099784685202572590063
2741471695249245323100140437
2666659626190173719611965390
3169123649037619047280408503
4620495326628672039496012781
3239314442575916414554514183
3708904660012756338775449116
4787937683523687590237494986
2553351462858301458813607423
4154655836545941274277986267
4522622061088694508995123582
2797165138221613218160165919
4216226554118798117713124831
2605714562878164399315734493
2520612434430198637082517495
3319238604076249282608462123
3880223353559612959525789174
4291224881199268673468456310
4454646058290369405167296415
2744260996986876063435119089
3393888030684090968330077955
2747888391321333928967544574
4896929651909944984043788014
4053957895775728571931934191
2554499829832050226424815351
3151036202199781653269696379
2821104827706918891451056416
4754454949258764187728286737
3062938270897738044932660215
4155676280604873906350678017
3521992295905150431443788891
3689591858657006931482257279
3654209693626215816436244303
3394028830128039217249916253
3998151872394614376003882485
3987083097216678942666641443
4223719283689319740372148124
4873622340672867538671066998
4452927294884489526388987815
2633367254781895179690539581
4132944368580259222923370297
2512266876163160690357436223
4641938669394777015897004800
4754318011537350711687573212
2671023021353113973941130995
4930593866090510939294966529
4479032045848561378108894441
4848621604676860505164824555
4166132493177140620962814907
4284725885410978656329276413
2565570770498283648956755711
3702162998306242932538078894
3949764599512348102259064497
4286685103981050392177273232
4129765364161844240273749951
3983569953564457092209308220
2523037779923911682963881727
4876765821829010914385170431
2934964418450435942591069438
2499982884986787961586325231
2553646986556793734670725115
3479665926135859969170046063
4765545999662788636251778563
4229651087640934145239020925
4594513124417689271733326400
4433357059169854849694765808
3583256283144758215806353686
3870414388244992566347447291
2514570607051290161700773087
2749111706424600712009752319
4115355250514659734372491247
4152010176113518485033643347
3256819845166664316747773919
2783221131124186780691305793
2599680535748052703449567134
2595492097900721989312549813
3003205628214108058004940735
4861159152470415326856461978
2497875815835223472639696893
4893653795940622228852313634
2812390299959312581263630294
2632895247856311307474309343
4649983379682304168065908599
2490567302718447425350672416
2478298400620193597023002621
2509659157150627028927240124
4223070126169459199028035407
3902362209715475926908275416
4940858423533453739188647606
3890082334410533580784238517
4313095046551230654044773333
4079609824134867208212254448
4171686977919121379747977797
2596157863896842987332142559
2836621335988519791377157817
4950833213579530128882670914
3287103548264231279351750638
4353607213229968340623028401
4291652133557756230637247893
4810315589447333323797822975
3311247501989346396250408924
2795625806333015479051857757
3335958789936310678261357567
3636071870039411174215247242
3806399465546598479712294654
3314236676980246564233503106
3218688525331598978176777918
4932383659516262551434058126
4049394029622213486340715005
3891797302585778410369236943
4112109084327030249474457589
3692412316240698028534004863
4595196395625070145244952829
2569717096988914553292607231
2531716740690825529351662591
3141242774191689171923402754
4719788818296741219180498430
3347558686687505396745696175
4950509158703158078284787180
2911873670951328561071831979
2706338780731290259103365693
4600857941569430846420547777
3114960666340247641178584571
4159636677819140889857505015
4695444034902114114448913015
4594596930648218232963604327
3138834523990816911504987095
4326216944038377795313282973
4844150962284741943214669805
2696044734930532483072504089
4747636870103929718507370946
4223319951455770470072971749
4593887392004956896975650717
4871884863842044343841987493
4254619530362264964100946383
4637514299773990727695278075
4137721320588304682049333227
4613476607011385466450065343
3406297096517432346935811259
4603587573698695794331816409
3252595647422194564713887112
2517790297158923933861281663
4636039926786310118660153085
4911807677201665677739408426
3441050820267580293651464512
4566943301715862604507841050
2480509309659436789671936178
4824817766998276897550754807
3027129259341298045299564504
2720240111380766479866665389
4015976002197039338075394013
4032998981733195644479225853
3449946009127572713196259621
2710723696979724664957829121
3249460331247901793781956587
3206972380999141861755198968
2749897560604034260474731070
4514202225234811301096707420
3385206655238378673660069502
3700972926685299294889848531
4944389455272371325142759374
3951076570410064835203630505
2799911185507775693662985726
3329154996298085563441331935
4948883495629459829093408144
2674144731309564834602281846
3058797757090862702066505591
3621090804476220523133009765
4168302060527079252580623898
4344456720526339467765061880
4129458390385975228568548985
2979705222578771274225553399
3563986522200122409229532499
3830819102004690846162303999
3713938214201059502398127099
3984587400089497812342026368
3707845715361235128599355457
4588155010453669241329442814
4129571835017499771685314136
4100755546649868554865819629
4832831709671359460261444475
4659201196647671604524215083
4304605872863322613932213244
3522727145746540843945079487
2514606436974736587226633951
2491298664118232089903210491
3737568159851147921453371389
4191227762296706150739128514
3838168399775366256289602267
4750846765127883564275119951
3098047244709072605664009215
4927202457682922427630137066
4835667219719912647114628077
3156973669204194498791477920
4102917004858540224823668731
2822648161579935330514495485
4450359027825413617575009383
3886379658230469745613173750
2791184256793465290905272552
4949718182839072839432600383
2664378123081197694039882193
3822631016613318822687395653
4034139882165755010177757053
3713895713957690105956098198
2495412377811785962212429332
3734485114589358076190957686
2486927642507230121845463023
4288654710091516196995980221
4358898090318517772453158647
4636210529412617974370105177
4842717715346843567584165503
4412426952337975351271771140
4156279012186663800407596510
4949427496580428158062685558
4689730250931272952251515905
3173743130302218854135185023
3100702910011323815050403835
2826366960872088733679081207
4293377252554384386260425837
4871660736837471091405647867
4667392445179542140014541165
3555413051118947373303481536
4353416988064404132106067919
2610362007879027729725653800
4228846128845091989408972750
4760784492750530514079313663
3909843039346649349575653243
2640940956698748466198011519
4285710079395604584504236772
2939804524770370827916854088
4626928553161044102247029423
3551811661094245233065983454
3711070827883041310228885459
4886382349481377323119773944
3752500494049178742547832390
4934834545629363256450366957
4306116985534675007716743920
4617497928029744672323763895
4477860303105096703478052859
4447869324912174725445082731
3460262629213295282262654637
4378514329765880601990151870
4294100891062783157294538711
4130932505299245184503526400
4637435823686059277138827260
4869130504814871416980295657
2512982623649483582116655534
3017088049032650107871452990
4037735462609812344767290751
3989380744372120289280069535
3130593559695504499122578906
4581811445091795648852791262
4845989763881870770867457915
2593901850824606590538129920
4745978253575635560226094838
4921732584633226857194385357
4947825064818877069566894677
4626992033473841154284724219
2608949846939024178394701182
3058261109773313905233083639
2532483610632324785104725147
4946722724700288341091407708
4351926330998580172614605749
3374705809353620634360668108
4325768560220844153746128639
4294103377301949559723819074
4136378651273223176622126466
2504954267959632903359628304
2792592298044799907325245949
4873972437871220732024696303
3870939679701670420098891614
3834693109268267542395118325
4868907444551546846572729950
2760832799988553431243525839
4109647607938225070892545911
4908044029941414727883995390
4244990183096036397493897665
3527145422145349561071787453
4306344786633093873989507838
3419897590826443492761795031
2592102713441454766283546736
3691736002929275561693703890
2795742833984161365761236347
4021518139590891910799024441
3707383586164820528322468839
4564123722661510182620992248
3615131949211063135961540171
3118272719299442584231859897
3905005723892043780881489487
4332789390402927884587507186
4320618120998772329857293344
3599615153625859571864668158
2842145902847256996218422160
2483850174734877895397977597
4523780632712904834083676551
2480489173331924484259308267
4489839323187925144243793924
4758302483532059166445117367
4286843281631281283655745499
3010291256396941622709164382
3710318676620938513540466583
4840318317202948043284461453
3553323741183010440683714430
4932792936682138628901557595
3316286259676898736021124590
3372200806236407492490605696
2515795323354257171108872374
2715318346277463868082445145
4941367925543423371444314083
2749370730791238945048624039
4853963469798966486603161335
3711308778865460393345657866
4128005924048889138679158718
3692093440020933839830907935
4886046028997465203594711184
4446185808570741112486883656
3584513208085360797824906244
3469400601707883366440481819
3439216784128574058052283606
3270338694286790956776632360
4717377278310820988619726780
3528174614057530560898915775
4524894744005196174910561147
2480715858134497134985174447
4596021221074797088136116832
2481397165867821835267714783
2478341073399815462819198581
4451299639933713795346620014
3526146339019822869046756416
4783412366649867727004989310
4023928779841439024535961083
4787152475847404336575004090
3094876243039118951272722411
3111806898551529889328720907
3648448794871788333578452703
2816592040444022032345063175
3310643433275680345472374120
4502922446799326518040312831
4217886691126531767707111101
3116553873046753659290777455
4332800623526454352507047162
3324620386854850683543613403
4629173964006119839866331070
4884574975366511850083051131
4049140658884919473286723007
3759759411850662113936875455
4014427768941475494799358878
4773990197695568847545905079
4349606023196676210678566527
2553177981200679758639251132
2916398963832763489709989823
4778638649280685095000222814
4466121279910983649060016047
4368815185712661929071186403
4920308490448868753180316697
4548333894868894996490620930
2902504896472726009159913174
2741451782434044484214065788
4023158827305154314817445834
4640965945754415810683592656
2475997510214706696682731966
3270349839381370843202846719
2487262930541303270926720959
3743819285603134264116769212
4175585381921047932663860633
3421669939266773651773875823
3330571588621460796168200941
2748829319524062304406609631
2498325327833204218049638398
4521801090084830019533149272
4626483023307813810878594035
3872574051139306068357943476
4119954220967331546806322850
2476938061204424853484003487
4105489730028712986817847512
3409540190103278655888273007
2673465073125058743256268727
3721298992659466568811840503
4746556802630403080152235326
4920683104009039893927211053
4835545538617283067492179446
4771513330987298550811714560
4550239139047158385044618963
4330186857239795541364378554
3470048786052702914427010526
4433203933638013570192347154
3413496274949952009663904115
4768439762193235863277163174
4095406135269162717265092596
2864424363769923043225082772
4152542711926149462889262777
4592047393318766845598806515
2873040556078324570061111135
3104620167118913309910206865
3298267512832699198672478167
4823692713279641096130133823
4702418890867815677668605879
4857086137319410516896929508
4221526891677346995681077903
4830494420425939805210300470
3357930901422880080896389107
4751828479897680207435574235
3480204273894789674728152782
4680370440177462344834594175
4567314097870104773483494846
4518793554434332706706649108
2502891529802089757117762557
4354364218212277824547649836
4869312931467352053019828203
4627729617379386777105530293
3170194285734335473121099775
4611915147329994738330549749
4287356230705607264803880439
3134448325327192152247083016
3950661367759135909637302798
2661969094704099308809599642
4023353393487070633147619291
4631659346476825442734085982
3374807884717559775985448639
4675708635056560737456236550
2889915927921033951146170283
4784241164286126713910202600
3116686953517505282414667197
3154665949401195085200053366
3956876735981733341443791675
3028302753219127653822963439
3182675870016407893680087036
4130122437082956325622413245
4871805604270936517158622443
4519772197890417832462327808
2503811331863035813758924441
4589005644970627362631716728
4758242065128148353876506144
2703432915344489370232271736
2838177370350591548087739870
4716958117841811021262364158
3399432399169246646943709174
2691152120373587847470382001
2513758165983559886629446032
4485791764203435794875899355
3873395999836914883073911546
4873647332713873768944962743
4949867614617875444636788515
2542181216212139371506136831
2871704114803811300788764239
2856182184221876411762206745
3636615567617581950207189704
3942260904198057222383005627
2553267218298259958768246655
3558441098452051925457166133
2607369337916159920142527335
2501569945285578629664301567
4900512772293294378582916031
3750107116579403514708294927
2478922537601625024326801182
3675181715493711709892927228
4941036038620275828614857732
3445275036461815916379209086
4361911532029200638392663542
4921410277090706414670341667
4920650225858283947266469406
2594406981727903671395439606
3692056959883285367611268331
4629322249395625242593784762
4132089487036883010785910542
2479473559863404219202243567
3369783554662914988194731738
4552034419179690293507661263
2633077744515602072123741022
3063511196041851203818598395
3889972094636376208814588159
4924605044760816586933074793
4012424167765005937821446143
4245678838345138176638211757
2919554750521328775960864519
4330364059651919224351022859
2606373128946601583571866549
4867909222504277852755589115
4915249080483042354071215599
4308232669421547125719898749
2650796685734010055072956546
4929054945300182858559061404
4796862948341103546465294206
2571196658447585093427160624
3065614169326319422805088251
2513133832964763843985008121
3539426655020903904758749820
4525840405534270149788323759
2526840519890079863124525564
3061308549321381486300495711
4408082261273374225290747743
3604148475086000106136401499
2565346280666560890260056823
2475880410709615205831660052
2834399646276405417694022259
4589044603212588506638384535
2644189473114808084203904445
4068639720520292952640020497
4638689678245073364589896491
2809613142638611348070064445
4279093720143075055568125950
3538392596798949370346883021
4176796667806937322629106308
2580080220886509139617613823
4455374483169809624798322469
3827538164746749418524895975
4263786046527511887407410752
4321915532056767488674166299
4948716508965948474223920814
4909523105927641321317295936
3449045467364260429941747531
4073229979640175524659032054
2632473785724592853521029854
3711478949620256355543810408
2527560394590434921771986942
4945657599533973553681215341
4596766891138885986842173472
3535533000426265647251708542
4946556033972304206555024292
4905282346896395686049692053
4922810254381299642203643837
2740318475993542220381753334
2558403219030460682129587197
4683372942431493881824133751
4362003480581564665728421885
4581828846241643540351777659
4429484987297821972889162656
2861867413130967410018078199
2792545441366529905320465663
2906309961375609407267005529
4934892537079539376214548076
4868791137287468169821289038
4000934217932685379234553803
4613069068230908257788419743
4364316988482781891880439279
4178067644243202729601906303
4003165525897251882882412147
4079557305217715188078701565
3872148808345435730984344543
3782032432932533151111761597
3442279318065899458543304411
2517442013512251840033085102
2496460170814478861794926075
2650083086245855562483291612
4836228789305949132573121152
3703377488570038696158051247
4339948100504754033735060684
2678341170202167475103765503
2497181999786553115690106279
4831448096242037788692184934
3527867641622135295352790412
3389574126783161685560459263
3481079660000617462990117849
3404402516112719193491709687
4886008591491993444925956076
3729006652667037594594515440
2478913492367348273787661311
2515518442316110408917510093
4249890164314529498358725149
4949548261226242081556797235
3094861922937438263202556544
2782935351360867669194392500
4510955349707218920734593518
4546832584330967070685084603
4721600874064541728031692823
4929141173238870897786485006
3724160669094016638288780061
3862364821102327327068389213
3713070116796040940955375549
4905217452510321262746148215
4792170054722350227873952436
4750473923111443503872071135
4715220327559160269449055535
3443337364747719794706087679
3967661417666355922666078040
2553203497286694727291183862
4776947589650826773315204991
3419233167145506972022853109
2590330319395967959000555500
4364357737340548536969502565
4697997909652859228157537503
3577063395932215070265293726
2504668851309943723895306173
3752845740726026895067743840
4907093139506254300177100829
4621501945280138905862791169
4240117190136967207259954985
4677714481383489107532171675
3979443796963064178728798340
4484661448233944246533225479
4901023924158067761037682227
4453533325808788416160065203
2478477491396800139324719240
4330510691688593971374134139
4946915447230662641406900785
2670858128925181467005976467
2786432665031197786131609271
2477344069829905276756889087
3160410694008617566937415992
3634004733875926104608319305
4177995981511057124869382662
3886276878458195094901619161
3947659708997068505620439598
4867805934703787863025734677
2517048482058495278022917713
4934887811914037538322447999
3084806798242856076486617023
2524955231078804059577130878
2748178890714529779299123127
4784193952092035839886571954
2519391501956894965867413422
4295199611633106931964615919
3520907886806907566686133167
3735561685797510565005934656
4472010808829980257742326327
4839506633401188187551881740
2531578030376181285953070095
4157196363467913149143461663
3093299980815797518328594430
3461233543633223518846384956
3846908722339850760096801087
2857836910749012785684676510
3556649568464785823271611326
4565580894662115912713313274
3959837490586098847566871549
2647781313436302012381886415
3137432868588921561888449173
4566940377058940432155297015
2741908832148418639078809892
3288636704592218242123952259
4912427269192260817759233469
4857502795259451875021495740
4234825193091200924202370806
2504894299461162519649892351
3612903628412445952051664386
4936005086981462420566558423
4827311630939840351460192288
2747823422873848809216794657
3928928712526919559707194893
3811211650460673568542634719
2651927093962926998828281759
3057031591829868754139610495
4756894047410158439990356459
4098630714410308951175983051
3047169497151439782233225338
3740945428124032475128669075
4544271081069770874139040751
4128469143841639112905701875
4742804559702084962771216761
2493219939219441061474484352
3976835340024979609163364310
4596019086258133930820975565
3863374640542611993719100253
4552767403254688131458224057
4777483434979880288062702761
4370098313381719785267191197
3999094722629127136652533503
4823371481737664383499879905
4040251537275120417728961975
4680784274345306869855299872
2671732635200957970747324411
4178042886874114449111692849
3630404827199752803151017934
3365507220548706012986277441
3419145629047953349637409910
3027742314220710713403537343
2741450122187076548040905567
4192025823613238003240195551
4097495044730596438847747427
4474299256164765381388201431
3984605134101140326085221799
4499232901980617085886136307
4308541224487950895163509753
4284154475539129094414915199
4563951753797873172008795801
3375309561270512082689121647
4874843070458639645463470045
2780575471815318075533096798
3694018038110833466407966397
4936114216797688080711851502
4632252511585321708979194236
3449520474393409300333569456
2712743458243851282187008687
2628136316188844336155065151
4080048236376945269237805023
4846502719544787586566844107
4266902794237497872412343791
2477943760363974879601848255
4892010533381329473360200212
4132325485074422596708657599
3943789540326977044766283724
3277512229914744299560516559
4388391127360000256165969445
4153866963664526835875494891
3924078379211967223482414063
3073800818278237342140532754
4854129565984634916833849601
4521187112874561224109481847
4718845270630135539282125568
4188547547273050231948435455
4276705822411460276869654846
3980968741764006534258368316
2537480603320070184921200289
4205827771240015142554258268
2933686690114290988781411827
3601839824303593054974632539
4145061883911741338788539896
4872546832448974672934991243
4113526511861413562010458031
4301130220318295201276655235
3100139868169904150700238579
2487894802048046577695585274
3548801070172566490623393786
2816451273415488396176780683
3889405788031120361516931071
3161304636522852905605889955
3590626337141704092449667077
2862520790667599621680797353
2785700865264759739697478651
4291816227094289530447175676
4506116962264484268787486708
4946761482249071650725313511
4585417813221618930514066045
4871124567039970356269841791
4231065489988112991361362687
4717834124362618917525593823
3458009190776887215802655864
3653139338963034498737520311
3709437430879997013878334817
4759288299702391175255870686
4136245207489859147141898166
2565093027215448224663859159
4243886857181699371647791055
2708769428332030365163101691
4483973158163991323259534378
3617293848148887695347943327
4661669906645745898209963519
4510708835204380345782829672
2750606322720208922088504811
2773677922365396863969507132
4868282257337279523895785147
4565811658560013121870202559
4258476575487957867670988535
3701343420058558104835448906
4029757420700849747936075983
4151824708115850224427228143
4792075612621964508427611703
2556547556739988603197758967