PolyP5freeIndependentSet/21EdgeGraphs 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
2058644663457967387314139099720933453599634336630661277714739071
1933925229281343504582135927344949871052510880598877287326940911
1980452979880357726919632685767925938925316646969930290169903087
1761384563805555862985057524167432451236117771712421000609660671
2056880700773172487947207559914326414672132788268692557568901087
2763895375187830570503066539153099662838167302757400364243546241
1882244269040180620517332696713431400903956956788938446993095679
2540570450806299747524456964335172317601432137297495971389765631
2691484751145231723444027915675741514649428677434079532318424895
2526547670057969402207358819563130143511499049350792385449653223
2880682085856905929364942884234028017600492082943050023475740607
1699035940271976481924994163793116013836124809172436608503242750
2216731597905464999033385930066290750330971556410521732527914495
1697435072900280007401988910832252993751330081102898789318916079
2638197207350191711758327635257250609295794231042423854283615855
1864877591490020189672136342156526140054399827323097565153126375
3122129975777491974929769437471264381027769941304490936931184575
1651933554077977967737673244460893038821303721939244658379898845
1734012062273223089238093229379737669640093712461976733888804863
2343226532185098054504825337662145197167500176976343251419862007
1646315137527113604810405933975785795608497627858079939986980847
2881334665271885233921748680835579258613829015892262925255038975
1659201801329938940904057570627143278385412726784707285846323135
1647500872412821319425940253100797716223457922596149171901681151
1929092259247245383368841930449790106326447293545050168447827963
2738223018074670987345908989735416126902042297161857658645839356
3107918611761195662729372095726833835916839936242665190785548206
1809060823294547496599781802751965747845265090517791866668055551
1649121860791471774543176861280471319187461088816345378420946879
2520222630782064687318088793623611723688455518990672445823778807
2188685721396273166011490415531768055304368721477715500743536267
1645517503905368879758125704525159089146687517761288852788477879
2057308031506954635089457532577290883555970354337854388620441599
2070822660655829892473696261884667201219198788827024810436460223
2776833575656148553606971282483974590103922828462639769195630455
1645510834563637272741441941092389442733071019841103116432301567
1858425644306238153974459754300157249651815688878985726942640046
3268010549529959146917141521624515666094234625068313868535595003
2507633096359188939192769438986646972025073294342520184116035583
1748780590399090804211665537873387268425599619207039222511697855
1865831025926156316294775119052141597931067921691193327479554046
2308203406152871436477889463394782799643846721748672303319694847
1671681743769179990050456209517216142989028375115964932108025855
1941408705479755474015782797067960597968694872417613132800196575
2198327342160981133989647704745693963128242182019183961536724990
2108717520973123225912903303097922941368198185065871836562755665
1916348213678753475747784949490440774671009048055419221406908413
2777994177728485585844063836636941940299115742019261157680740351
2264378165604204249529704446230995961043147691958984251976642550
1854613751551314050570426482810116218440552189430731176650354681
3115377150121255432104619883307397418260337906349090500510637839
1862334583283776485385709610112037887287479020107439433822763708
2542779362693673822397262287354034015115224983910801708837419007
1755608282285029297012015419608841901331814697512490341202099967
2881083771043738994224712793838912102498988894831962655704219646
1851211925726572680511413062840206226012419066869353526343116735
2073837751718678852558077298850576953095681683934408184533221311
2351403906576908267939681483100529549712109547844995767688693663
1863820189557986438257825835074110896328436030871521111759583159
2523310280312619406574521738515584524918162558086443918062252031
1697329881333171979942706085074628305916864497893506459937664827
1645976314738532174358611596659460871841275830855588484078271855
1645553206664077642107852474218337130636710608629557261746310779
1870879576063740039731980402201639747405758146419886400708468566
2881065349985169863424977672375269172898075077077667831437973485
2117373935240582055125067119829871932298270415646547006050000891
1646172333161285434813244477563947735358249364695349062108884759
1647342209614458560850996233243786333619728837137172160070803455
2513591744336114300768810875880358805694735726707632543705726395
2160829893708588699465641709920122481163773257557673241890225919
1649572325669141422127742159126431216780372295424951687956134399
2696434978162800333649794608195794177278228513842302450735738855
2468872208177859178680860737675298240188415030486264524659621759
2469901502536536357045016710451927648373037962415759121417492475
2086860715265741735694683826644161522935170168493924821849070591
2056912131248413357600847897236792111025436701091254264685129663
3045191533607301288081384006445442583294667383762407824891557821
1679601781131687986561748635301245584720737428522829979033530367
1723779231825085216802888986849038714710529395524443938615820287
3107964842081242889681235384846549498418601124883643521582497655
2064247661905803058802336926272679663326846508244862089976315391
2086822608327438658709619186371567131632346543781615600191667183
1931746894241963592209829770652350183500967314945649015599839902
1864921068585978834697381645147799170798457094830757980078604271
1709899198722636378223885228287349652811626042921361834708156415
1853447596671961554817086832672253356168127182171954592837140479
1645561051260805526247180650963869382507950884019960467786621946
1854658036938889285314941171524467013294976122532337662245681147
3109308131454019162594854699259756756512725196828542942315539455
1646061261643685428728487215708004685199008023012170545262100479
3285936241710281280683467422327441271070051012637202444249270660
2125241676972247242951553011647947332453875498317395810837327871
1696936542111220811029513248536583436595009063961745470419631101
1858022784564773456862769093749504747225893510873484732218097662
3033295038335217726289136870248703713820781399009946943198310373
1661758903882919942514632588015926435904812372800793055295700456
2487554824009430328298018750230878802088242131530239772367777775
1749155987862056033155189195421430056948228493602764301026033662
1684794139767477258599914564558428141269974712716131322069770239
2627048684763693355488959399248683362137105866167718163402155951
3086570505617546733610154390276893886890629461174498103363895291
1648932333010796938580001008030163670549380677133783058757973999
2108760219691446027241057334373194603082710007957356063671451135
2160211649771973303106846417616105608665871332478098339259201503
1664889131732065717828569626891008331263724708009423274546948054
2957470636994582177127271658057321332397498310260168058095927295
2608166354117379929301732130010461880272467395340803402112564573
1700642619970642592892108199787045014937283489514647093220914354
1851400237447335530666721117961659094318004997774602062056652599
2982514697586829624390163714366758466866385381792090606021640191
1647630927497685367104979368722226795299392781338319618013134845
1646170953914613029812097532816168580112973389790843690262394234
2500402488715089478511837204037326795186115906025944808280292203
1820723648938005586426703006719251205596935465643976820106723071
2574553725042047203813727636221749805281707735539439519952518911
2623033148971527682314077455589562856510392936628418149971132413
2675656991326012452526760939062285675921754099371453402478212589
1652393898352789521395352192185448988207734663458313962625433565
1658460618603274317688775911662697929308566178244886159086317311
2498796702129513080632809970099080174039721721483445448125317119
2521493034653093682521011654153978006823530549555901940682975199
1799975277414945054462510357686934969123258007724179735403554815
2116506144316527949641893553108227934782765709431685652258225455
1750839908863753793018111427658234022221992670280094247361167054
2541925556829747111076336864169999685469162499849460768983482361
2473079820514627326240252815234031497244183786031053289818127343
1645506126614084555101543962832938204609191287382464260908594767
1645655796250281008312198879120475559325147287965520836320687871
1647337667289229372974386187692044939493635137489381683014139866
1828652449631979229336603546872391941636561123150258828487909375
1865810623812067948549101333979060595443354643138692512526868479
2269098032554953104211176474846304158509637707815762268164947966
2983783056602617778444773881269053848568900417108045973114322942
2472275751760689901379406961506886520776058833821133312242810867
2495198995252411291439393691987785409477932620858111102546869943
1667677143010655110202622746087350437869873467227842462424554239
2998298509818585127165809085035684379835861417410136429452576639
3287794671293181522814894112692135543626957097793331896149560447
1724249244456584332750208251052429701480439448588721871547006687
2474910629959973839313292301364034118403646730779260324848596991
3290406512479026562939314646589228697325746538987835434009098214
2683686968088777128193712326133654108879945934176938451002195452
2188159415423572405348068263766786757863924466021103646036975582
3169658082914328771717882101831507500818212419358312308870177839
3285834330053138608418529106170671302251137784323022629131747126
2262672442156325178760512833281695295279467553237354885673910271
3110448675545908984869668204157067709275270228557989102763310019
1776069108628910610649564058430269511383914583045363379167287295
1667555305310160769712031944275987734657680161391914435412227550
1827192133050701960692554509422699953946236849110274653425237949
1709858532637768711451776351757557474459782122488952890445527039
3087282149017795883008900782515678889846702157589901293788332027
2262774343799394543536499151352672477906173153415316377558822399
2675657015628565117249915197103338544746237518610870337603087358
1819857338858764967913522974703349919403237547469602079407865853
2076165032215962200610167677539480968255671029636054013757603071
2827785690331310724530991342947324625249979853068946749779861243
3033950838171016530437049599751460430766850704617067314743856254
2696543477408998350481535991098030064549786345398379960407552189
1758614059522724151300086029227300862630038092347975951280209919
2905369785403693368084934991884601083365514324855345666929450855
2487540154578990572082068323467638819345880789380054273844308958
1652761391309954792005456154858090286276920859718107529664755967
1654007945987143527457266079123448311382665588737348196375719927
1658361852013616139039799345501251765960488150104959518006435583
1866587674924501259444881011654667908742657528903160216075357695
2069744048388922923489976608907892428940097365037099937219469311
2185750098454285441726224113623368487802331039181240168072838655
3085321356865587461369548926826019865444722045514783615888392174
1762818537842055830962928971919647444798663647169580911046688569
1749002246768060062046438609780342566567759182305597909311155711
1648718433479548724931178467101380518664515909660834770463582071
1660118437974315968865544532880337218364392476025837452079847391
1676851013510062772351475952557913451031715931006703462977101823
1938771709190314663599130357258231673715584256241611785699586015
2902417687054475559828541663463216897587842386608999817012831086
2100495671024312062357289675436006987488631551309264645795524339
2494007500706966236120425934990729271150953718410896275187695327
1662007319267568416615099639018208708353069848615248572638494703
2165612068899422682373157792872799311708126815313306571398705119
1722687830886290162189843134228213267809691477626129035897339391
1875306289420111755904500643998579589983049455644637723691818751
2473890931825765537087932037930439327900936675551959288194531311
2202691496694423631029863541724304682019510404975537711760795607
1759195212061122148437897639570683825984776064333178360797584767
2744649634034866452084203245472603543136916126273184102031882135
2522994733930319396748989150790989567558044397817535540227473407
1701446688935158094053842791190182927234658469878513868070714295
1814440219504857106985774244536962388341896945478227071322816479
1676287471720616201670628011655753663726275749565545357546618878
1825516688098527676137537940356088288415957457659675292488826751
2571100888072965560996472138407670805581504927719280309500362239
2488748534209195090493767124965361417569730719688777555576305655
3278136820227207339203462190859481898250424558595050649007672141
1666083198636757641855491566191060411448296555343745556347617151
2468265077748960673035795403113805811770359902785980112223862743
2074007036299558194412227283469768893536425849773669686373782923
1774063236349540339061273111801488360274633187927334163683203071
1697693179346343223630623058093454862854671241741995487363234015
1803010235152263106278031978500726243215079960686531944121089503
2481150015326458378248437795509596856272724254549534818511618015
1696926771669545494112586973110069563778692673146874589096058813
2383951385842934794564934367452073676480823741897015771869985211
1954313299109255178295311372462966263771178551973472201241257439
2674592826777173497169158306560334326910673656019714911880830971
1651932313728086821537617831249954307743236322701321883352006591
1684286159392228675926753574252291891304162907558130372372856828
3019483666738379766538717081289416671144239379079767471839756271
1726956342775411815753580325026040404331128271679201421763496236
2056881389435275966910721653135125820082991827248654000588947378
1676242335903742402403384542756070004645817429571515102185111223
1648928063858919754109912662864952258937210930364543319339758111
1791923852116031500013754246130340772102712365934263982512666931
1903026894682626917465996888165216069113933642704893670509772775
3276098165992779694312172416857165766091754158123474640315594133
3022582903602875365544026245658112361732818181801297396923004919
2188097241591560437258460123208549310357462153310801962554357455
2468595812891032969791275929358341672337991954533002848305643007
2635585558780734103260404583683392900907270622519624512548240383
2125430313729852856705417795808967546059057868461434939173208063
2776790000950916967208140369407150017701112773176076901324659003
2846716468995710862936991801583558723124607381517583342634529759
1749957176744774592624420491604297640890550953064600379381252087
1963898113795044050817281648849348651571568792051570046466502141
1854521111575032376422316353337124058248797021268468032408125438
2056935719372346998309296733229399219326759724813195782176800639
1654116791800979658550804889791206487430610115930367329054982143
2580120282136738674733740529523504702846995777464433839509011931
2109110966598545865272119262009806893014659537413141942246538751
1698533880580697160680632722461429100256261393322663892268005375
1904937972015477379250981434482813788740080936655700140009455358
3059660268791106204763938088670329174252551837173972104737980157
2034293716906499867149204251634426015286307351746418991737173961
2472283750813370329665300214570876659718717952489758759590952959
2497545401330057544798910721092661299111324346841413582689664957
1647969112821595668504508663526370320153968491402258045504258031
1915973947481771875439721776655102758538048524274797938551291903
1658390761394445415370342818566517244066076333649307942280757119
3095370785551354406689849937080854787457138728680211847480573395
1652754609887057209929672267726688967863714474194434097477578495
2501604528583459488190612292230977839865846881892311019736219647
2488836804036715061804286663842118672687336405557406433996177198
1960680293583917513890226468594838053096725147083132174731259903
1666187417887422457688672983533759392959740948208915496403662843
1890628773045589018653103259311255155578680227382585804007145470
2470052173476856750498260207186586880057400781977922192971661299
1941987412881183177896708194194494983180838896865881864498298879
1671215814497211968910296607357743802036450211834126152881465756
1650777531253043811690398777264489837315150144832504745058238359
1796311601722096130185254546088453397628325942016995371630852047
2500836211030874390664293857570348346491550334634818083918439807
1761204366227162268896025192092905196693227557152724972642776573
1654358489068600975315059865267544363432746834690771733264990199
2680410622337526285679376792924338009564763553327904198461177854
1812842678773248402754632269994619383492229695928619848491268095
1776018260497448245808116494332572651942784066352899450577354655
2486385929062221637321606208953606404424239078185803209470824335
2703082625764994093059562038698131231422806868785638738320948039
2089935924830390885933966285576859427974356213364941494197026687
1751688917731559832520738415509227642386088778774370334897340351
2097066920358610450640142627799069461098501677222170596769464287
1758650904067769773544156683261219127733951078459486354620012287
1646370953780088734700017752162459128309112055854420855911940095
2497485495127586544579738697250887871299296139134137172168261535
1880142917553327292172195684384498057391006570997448277075423103
1736347595351168510494628080085257044671756833553800434237833151
2185458452073963650708436761373696772501517364692289578626706427
1671253338983656356258298929216049198810917386932862525346004927
1671221844285180642480012054507699253546877148532283752356507627
2508106081552110773794585290299541456304774037222292846485110775
2172806864383369102842803593203605199446593309528011114566114415
3111735094060659826361335760428897714178055242048339341237811967
1791233752790376668856537946197567956241856764440561851053101055
1648520784492388748205094727608788809753082235705518200896356351
1652437224659385531041338184037355112726636562073337260940459935
1672825645481490171440486745328483350735731256737290796232703855
3286229115128141640853408056053493157279623626944012749798092543
2636740627943008230875376544462792449097598286456962916811784190
2622774173452184761425025087326238827433937891857794593163574267
2064325830597380350997334841627467968623884539285335650653576257
1655203072017154143271321692253269347346357290068215952514743799
2646821021091691373470094275350431145005414157814772067708250151
1853609312569547859444759621531691920047447428969250121467297758
2670672640639311150037073489514017118607357313171728537082642335
2074010950189450892932024224856002039208056405911912096177389561
1646911253752783618095908739639219840124150273815665425872507299
2732041838441839043080759780705746571594520759075456469597896311
1758041537565133833794507544063028210246266450461025143620492255
2592068749493382218391779574455321544306328855238747950577019867
1666461483097772759777125563144092916760821545445954367076157303
1911246727576084020739076718834988532070835304429149109701508862
2114933406011457030230206319609870320652278961709955477238961623
3127126862063286855287206789846221797771099233639236381438573557
1703367154013374429371012647470287951827315164530111318431096797
1724596911099055021739596532632683610174189705091270089728446048
3082907217393964251678255066976988778120262760552870566876147703
2482094581835488605915048565670835281682810464142066960061938975
3284329254652450388678688488168660610163253194314993999191988912
1880419194957357287870207951116632141014735721094300385921727480
3226933241747311091486518036596552779287818563357417998936694308
2506849077065000277964525277300771515836964299087841934139162591
1863114807802462337970820927320786855848561620232856914768166399
3144778550287752844213078267062190955212438235091494778489009150
1866264806453522156358015034613566590998461367235376398356969447
1646534788179610685322730508180334639847629580312690311737635799
2058519071593308430812131185696440916398906292834878987760005119
1677844607164960665803987623560668311997285832380561688164827130
2418590797720421669759777669232700701022988561636413878286400375
2060126470940311260916135349420763889675654262097723176575298533
1671520155852369123143027531450087437185693705564435735577034367
1697282184191737478682289292973040437447883972245073053091454455
2203298803430991836379703353077727295004495041468480383007843951
1645548533937684871050216809155834747390053894881851995825766399
1750863105216100187152827017939329875372984911874541079762007891
2540611516532738430883837285211985867154652816614799972015012859
1751564038632703262096910775837203232401267008996612996300536831
1654560923345071626387433838858414023393852566747131098185072607
2487643669482099442151157666795448673790171125417013615583420415
2630759249539580049323153631290954642151470966236712421072828415
2203539471876993887267440875883205715456032699961287524015366141
2471471109011389144421897922176947509087412642195794125857476063
2774198455595385235680700853556135586406613164067869975634706169
1758822721132773454212213507984696049425322895741592510742364027
1860846871570148289270648415927915925877843370369475181798162166
2189639587076917074936056112799498496447000369771608751372924799
1660368748867135775634892826196166641636732973000595980860366847
3247233065763482166343257706693922711417371188529578914780924606
1963950794192805236298720386100687879437872603368889010640379839
2076418225299277863913356246968359950785538448650090406982025198
1697631212079093490284410828662092486721629734697081637714262521
1698998116485672403155016258719302013250976990606387640556322237
1964331244590160636317703580219883445846965385694292758169120767
2492210969692728483597441077029712626485923086809116479737167830
2090031364357300041859352743600934980826681120600196837920406399
2057691252531678724171639469344301761904413388767901271064297471
1940151712792421649667343907223132799898963948394807198294720491
1691358890140695578793687608101082611800239256393068348132294079
2314041638370401855401474532886227276928181387368052061345148799
1774512095925324896868868431115645984169977071357066855076069374
2187042684443550467884850889887560306811482744171068725694822887
2191976631657320640763284554047280500288371227299560425564142079
2574405772079786610368012348511323658921322254255922569980674047
2622530735387584639587527583880673560945681277541364078638767807
2636885687121338767014405314588066281373186128542276901256722354
2178235147707710655692409870790128477992172116974532900474650111
1690558860041280074584770957446533104680422405813255725862879230
1676210595224860322628606645071557280179532708365885205154609149
1703586599616265081740831385888466831298431922421382189143556094
1909457355120642032755816495530180321850604467285449523887865519
2816962391586245026957988364099566356131211827008853510026133503
2468358220325513061401368489854678808785874454292579758377926127
2350999350789151222383405454244215650674015474536391122613043173
2159750051818475144183447485973990756809444022114863700598816759
2802550214276574961271718534134479731393303657851811573005287294
1674440581831237502093571830472771601048203245194362118625816559
2200304836466665516881330595767864428627464930879317123177373439
3035606840614201330939197436080704927518252540429199088133324799
2539004481252352865901126409472511010213850763645373141870444350
1860835107365090280099067279201088692118398897997305129621389231
2893317590475567398462602122186157699694678098029285023536773945
2625744636318526096493859238000894391784197532020934963111112701
1647224926137300742563405878852047574799086951718907299545067519
2956844814633876548861447621981273475466400805372325520981622775
1709851129970403129808431803408833796197174471093824794064318271
2522909021877879667593303379966808069305288527159424060585017341
1915542740832469322084231247274340679241314945481155428930797567
1673030433086634348335623278901112109687666965017139415158091647
1941187826885829001595120002098686589205059121214161141288086015
2468257622152246279001519055808058633128983253632797598920612863
1647293537836397110585803718481175771359163868371514081119436795
2643442929692561076641004847226601831753944141097857677723169663
1674448273542806453472124176609851517777439462074067901605706719
2076309944852977279396740594116869977030337283675000465862426615
1940239594141919003895515311097281943072848541142271685501614007
1645528483432881966253671673613369772851567117403819157966274549
2061156240018683973174451468551466045865935454308789649648119294
2209774178085578678332944513993536052800701158060104020713537277
1964590261408728685219416063608933343044867079960782202623358911
2501677845275679293874486946145361983519713841907154532204017599
2110462535320474075033656570481555249534864791553623864726519799
2571229226547038546495263499266887031648954109970460349232576461
1851599376068365113667971886507948290300183032984600011682611198
1677706874249213620344084287745514376898958405639793719572819967
2121676497836600418050289761350149588436713869633353353068937199
1653539364599615732657550031966727739482241388054183233438089147
2880423686093449374702583058720477777966760969726176025128796061
1969128482177906543531103674716331682720821321953638757160709855
1647514854723301029026450904168744456827179398156772597489467375
1754906220461230362100084396463791704960301038454274873331940346
2554895450679581189037502140502568317054183753212555406383898267
2828261187191163803609872978931055601260418555397279729924959983
2622752014718268679152581086980035333544143938328427804815751167
1652963043205478848638049027367231568550025952239927208532901854
1664878473489937513360407978243382907469310151695173619496238847
1814233052747409515067423077186746600367160751553190812646895583
2190261826520625756753437996786709681280770197172387534328036348
2487554637668305521583838916484920487524402283914379375219305437
2111718139445061450294047724332944346684658680987909522170183615
1968920924023563940846600930172814222249532617013506742893411958
1909445687802374564367092795125314900146935355255917175589617631
1755178912520979577844903658981140626317296900319560316870322175
1928325679549378002467440134916376408307200191518619158112614335
2305124176155775428717906060180231519396183219295930815430423991
1658778295225702722671095389890671021243618296050311642115735519
2853972919371988584544502221220516896467128238408595019569823455
2477900045816476989788928298063267709938336525872294562016263765
1748549570553426621210689789542642439316278434738372767139889135
1749711116330086718970716128927622451985455471050589732051058559
2849508918596939561821004777517994792115744736040348177678728701
1915547044439033371995889326319507953415859439513542144737402623
2108334912669492730063969350084604005901085848590239262684741103
1748770053340206297098503036156935626943423404659475932619734991
1748755329170402703620333713927166736564816165410822569737060221
1859083829243110075995178789107999102066822737804246940034523115
2905391168791750830565260504318483304483721359516418326712549119
2307154377426348556287222657864906802372917877980041209236681597
3033044992317662845606616285028258670653176897382396890136443367
2631819742593796832082262790332626628812187492904654855983824895
1748813117980284078641205689980365914803657729780986882542247551
1851345674371413723883286228219234842667078724174470293596634615
1766439985573468922266550216691065567403226370199256310356115423
2519678867238496073854117782346387453260612061371783025999667167
1684876720510398940026540709833604814179303301676247203101540335
2756624132386839370490382219516426724371268815500762866789644271
2082605051497478184660716843054913312380301772450411624891645950
2449297895114144850651593327948298876414086935132981464311749859
2063322799176662982488775779601971296505711192610639626750442495
1671221893395479699694542234790823300462074508103310839933565935
2116544601524282254944641190206077537245101005692128319515651439
2685595929829521736703096740876018726443205565586782813976194558
2065392448436813246556231914316173469485505981963644234399477755
2927898322636144327606547641669684027042510600030411628065307999
1852015133353165600238635754445547264912144027509300428481232783
2506924764717341673436297308155297927735504898553855833445235707
1799978784677675094446610790783732645334479663648005762420272639
2057696944485292704792073501831303436582624950816825750435266165
2279398399416948041905958595806350199440079070126994289252621566
1865724412590229603756963682296886469664012746634205864554135454
1860862509310140397535285318222658740246474529958205730926882747
2469968223103442856969276378517353533268107992862738232809357309
2075410900499280717546521862207722012603309291772288583309705215
1775078095113123788625426042290694471570260950970529353370173397
2070153895897982449500275676687444365752850564095777516513394654
2469969896566326259072028407191100082756274032974833204378713055
1915470493197456467746993096067985624280947781170398259856793598
2592531348927439972530048564167692229293303010866835883314970617
1648756102438220795864940205302776550884865244934595983430318975
1931659164647827254242729460297897760386934822068963531417958319
2881043785244523220669574155700057085254651270566066293509709263
2646627205847832603789749506933777234078291062827467106700099069
1705180062415517267511053843661178032794975692269844657648679915
2074989137383901207652331789780400920966828993859305060071742244
3026923271825572141694283677507119597091144544108904272526657553
1749974362270242657266876360136779439135810140422421910787194847
2693682708218450628080908225330587675316232389243072017872650202
2468259140924413145031668160364493723322743934851087997304684541
1647136655255550535086640193951083567439874533421520322886868831
1658865631955713510382182671688350460654267030604346600704696316
1869980747346397015853662404805168657534710957844211956763852474
2065750265972270155044398636679831277807669989357654112744241151
1672932550567115161953155612524947256054486043926370968247205823
2513264245463752776641258872272553986516759690400937113512050663
2845888508485046074179624888657999721734397736908370079017332735
3184147729405764847124652843096929971430252030286321216394296739
2201738668357816613505036507563486763205603831885341478777518079
2476859409926704611716836920978524404291834491567348429243854122
1697157270537217501406068062074148484757918169693209240828640987
1770118212397471723098445796365264368832884524206633797169184238
2058512828923323592861181987826604381755445547638120966022758399
1647266167185838763343200829504100829009774504318500449083719671
2059517937961094786731091119299770433916476308058833392901554175
2675705635007923169328577682630308404833349210941479132856842235
2134325377970227066816539900042281392380018105223195290751724982
1645843526963173936212490826243305536378742142387183511610054647
1723356465035465427440451506071237895246487102935435359374277567
1876975859576487398618659664021582410462325225604287552923103231
2995376457422818530571286797383975869622558515940325641672375230
2039205506129828485266487125880268685337757353377366092254507007
1854657821066890727891209239033925913579519631463693124287519743
1673377243139832783014324127273489299060732509823678657053261823
1659215163920694287275053936229058575632141472314510427185741563
2209918010751670745259717083510482646912014288445541346139824117
2495838030178696728140419932417913315029181944468450965803990383
1645589041118554829053577592302430017250510171991421960120434407
2463016988664525216654717716594525968550654766956015201544011707
2160530309425110723070649935525976695691153686283549832364670908
2899365840892488260809182806117715720458959459360630281625332723
1653542890717712119639026486214900392889518871817701475744733695
2622665746004358180998708995812261722211326279035856615481747903
1672498600654658021495732401305253428940628034721393047980703743
2391130822603667511053831183865704456600130420822891503499034615
1755684467533482986875431781847472982097079852545960436305981423
2485708383654273839141450449581589622141647893725669212294008557
2198335582483162784169972420988247843775549534936399690796530623
1701748322377162938557287185511334692831631643404633050429782959
3085943259765432713453827951166143438934025996114925056341032567
1902683992892029729474263721554301698269164867808415215599865823
1710607573247798155968756961326126868251744331955865459471679319
1751822625092599600751366656071093750690932138112461440318176255
1697155812550230506833129102161024588939373229525372479405489087
1660821669705488104410932857729605572492330857317868917597202430
2274504281018504059183939814856322140797656529420505363523237937
2263577908742787831399676125556182188088320478975901431957979135
1860834257620575946057319405977355227326588334585061289762482173
2236883311061739906339120198938809765608755615474453533807336374
3207033457607519376991336992435452580529469470089479960336006366
1697361662866551273545549956273743650024282245146873226391895467
2540569051230016838550209369453156723024312190687277932473155583
1938789596274234371430739021145855540500787320412261851748761567
3002614430854815153474318355669105059903130090635801384108872702
1761253932390595280597003191928850866328920632994652665169952191
2468621105383117041980383783112905249343099829675287277631995871
3213878448633277859648536562054997510190808518618496985656703982
1718022569941758033693487056421108101866303026164929271626198910
1864073438721324275821012481799829832736852022250382509469028475
2688009455597827494237624198596860897907014380831201648424786297
2625749444638025688391971122848787895811777402311572542919278463
1860847646221895181224626340485615214759344516566934289183129598
2083444836961164728108466484461878790462142792234946693650178015
2082591803775957235775314052364995334022213986024866459692236670
1651932720207047966780235414547373016671718064900013951356491775
1767004935794593275154462454450031029203667946456949833116762682
1801024313522140766397315171600894728454443883443995040445759455
3025849733788523727486592526953890302969985299121011539739049342
2470039557587412995909382605952779650678288674832096147679473085
2982527269534067231822418313412731312495653022375508364747341822
2239605227854901785213088394004666430110453082872070562266087295
3183390493429414850423929238476333003309029860966142895205611516
2471470924057661191317528734085614860001467259112361000327625655
2062843158704153578373973364995652727073967766132758188925910396
2579136366171180286231453753208716698624932441271962018098577343
2166212349450265075283378338364569842965940341670497797997919103
1903041646944606392376629228203187212053272180155015770315685886
2881321818349798130904934060148308481163384145015824746331226107
1854535281794885133174273393417295464068632060735493215956236271
1954213625941639674918953752236665889800284563051838508248842239
1789412588711894839321810864303828975759159921727237132213138951
1652535355022241533442349342457095542567821056699569761873033661
1964349990118877139254154200065868967968076898612118201214959355
1645515542273282720094673243413940695042458832976575050107846141
1834022681830156371662173392061932508544819385423693249877782636
3270770168694464013242419456873006679894425366662870429471830890
2457052214939907926040202151729545037567556644314228377178300349
2846654142478628949330534440317465687474138744559242300711489532
1860941163950591710705015700092955257368367939130618372658429943
2307042452803691485276540057526676452994582757929251735245590351
1650325448227017761260744354517802793408801248481101614288732158
3233593059580937365029779697550145833488253512952310181787936567
1645515143866942998844625025454696356449589434535414924692027160
1714077707913915457864758766773093577661010130005844074559438591
1705463825520566773189006209031830827521367663175406470004998139
1649153136912293280801484398051975924297091381494759676359729151
3006005590342677481843560550242811360598236389817149922346725375
2571912319542377394524032718973479586479229645428015860561084399
2109360932896358560857422780039319730587545289618252698170163131
2262668458385170219083084131818805958227051673587981819101306327
2458213345408611791117562867801661898468521812398863688198258550
3061553149495900237977623826614979272574671572792484941961838535
1647116413948255135038315468006646272485024336042074918997188571
1827237559859803471758844904794968925197699890506769856543799697
3184726640946960547724959308629409852584629993304465757298482038
2497338833203080998383731180670708482441702655227603657509829243
1792652904967224685035745674952021289256351398011584531241893883
1697445434914298102066866627426343515794852957337907696903323127
3109258425695613383249315396325726851253159472772787707933817853
2469513746022482442201365871545519564045065618671938330305724107
1902917857888315736987092547270149706151933199223964651625085951
2623079406469074690676630285684548159311589112943810719636216571
1778413310909296433292857282691299387137984831599700753012206588
1855084663901085387656681561073404318272080692637703927185202238
1651936260326469019148941526404401648634546390751573630271796447
2159837944309324566223998570929600721544927397886208008933855223
1941784183454368246507105712939840175507560344052875725369728955
2087420514336469435973457777744795152585353685266172840216354646
2572107034019056599354922944291402666013583521429417363543687039
2513566919160280267255381342399600222703632698397394388903264223
1697344057172806614277211244386364515568758891826044584807366617
2638258861050572618372781373474110117836591985597296560752687951
2469876924454370034802680940367055975361882480562806543642230327
3085289070882515395066343753206069493080716756697392388390186027
1661329158680811829574737385251953835090035405905571113272604663
1690803416795381785785800960306314481753709421254692262182911997
2676794714434655038286902155005010424902283045713037623087200219
2882248991272517405061914271791881050948988722754214480716955647
1705065330633005504982797486139410960013172039451992623157346299
2188673161547753848475967549704607866855957968164619785104204839
1731224746577258054217877387874682017695667469543597884331505662
1645554885336807330675649105883651741170022005700490360116977655
1749152455039237538885136397811837213031788681805929591666016239
1665642908172211855958787951500169539993553620238409073371895743
2571389620607491818140271882415960572653529052211177937202831101
3082073429502464566938654379185516684198469226128917953452310527
1705168922110929124154226041016800727701187250082685801009708783
2861978627075937049862698007691067395680691554224285673276307069
1645511196127707875064094962828676289207025426419742161238736891
3239003084653149744207720236126843075591241976178847214301341119
1682519089022012833225972488353524477832600157045095066705787387
2677260196277257886116704908239148729243681650228203968948852471
1969131598079023825178173169259517744718203628249097404072048511
2854242125659052187499052789995301268234689768192524412445972479
2134741445955203097340031758254435173056050583447082847581503431
1661055733197794499845471346265424804755033888090314184573316733
1648985413386094744288380590746524197851246081120067531182178014
1645809196173413133675034705630127833829432678917517150692278267
1775165119105699955750374980838716379169441069904515498158455663
2622574532199164969875586438399740844985696077493889137900515327
2064314367432556610796773646877220078184560427934994823333707775
2571107149832582724414136271697147316678647092084763889395357596
2060948752644440473939979913778094101315414306392938224815159290
1870508967416250143588667335577568541164282197351048795993927671
3082100738130281848691699508538977845689810718216839494824853038
3122705929921646702935070909489702794605103112023328918640521021
3226867738140193778858374744192570422665561315797021811025849751
2443751723686441135719552106906109971194622142918211152207937525
2082626245516853262689305121811533844434345923899473898140237823
2039205165684098790852205036855518083434317736784724463584260095
2500434833494189147706489354268953534642947221351352210359844607
1757993808863533069213944211862781362842458021448985636043218939
2281125454431702911033348333570857090374015527461492791140072919
1755243244001169308880003664007840553531468238092724044504354815
2622601795280067772598832278876400000094370215660605121604090863
3001791725938091330247878708797501815518115047441825096686106358
1803185947813933138061502824903829803509758524495765981660176382
1649147054217377807944736237779881607350150038219805801545979835
2468676612826293750570742320082137376028696265759059465739419627
2513260622352467596935263833951395655511261481994855603966050303
1646226424558068468152590198446826799489298185876772493974368127
2037497792644849483471854734265015284872917794980750434028703567
2293309720406635034568708505651954324081556484484557935194650044
3095797577222181758450635814789455482631181022814612887281065978
3163772918579271038755229088855396469394308659761383193179053294
1699136110316602363590968184796433042701264680512121710369929983
1649170386470725604075288414006100826387565071551046779222843195
2070740737385482074605325454204767657224113047479666225428004715
2061162243993665022105983146901356759209906519558996500602077149
1964133383037511629382706191806200250462857850876100059802238687
1916326232192490574616206061765330480431504517068843530309337054
2849050941788036398772599445936416863764698652561513218879389355
1837663174396166545821595252351476071420061771841043720714452991
3287136141993526856096185148204910702149424150716350825572595959
3270945898384674246277237968954503240606898194037650712233508735
2175119425416084893635389989816395486104205283382328200622242751
2063368088239899869328904529816469026499338490396304135863855095
1645520602552623569131777621060741378672670488607729239918116711
2574323627742256878135473902443425702771707360519197329867144062
1658369501908422191345963739644946024198266299390275903893927935
2622730928445358565694371919042046293453233788657213335693946751
2075316545609551023874820603748594827366955671200436743488652779
1663030630376433178268114075693604400384480474068209127748534207
2469108179371800202999809136751891817335267655770847671769300895
3108474139629199998138009964415681053682254791864251547723489279
2571152509979668605716522808698991513105349859507942861407518589
3075655035974924257889225705900447570250604880212640766401241087
1890569318632689439711977208351306965665922145318914224669323262
1648759247600209337729136837903823598240733444963551812332793817
3099181281777569106316383470020999935807396155479054315811241855
1710635864923101979030433383351871996404342910617002994161352703
1671215676421885554214769139710922517441009206944803345934808831
1660921156732169512437787015852144435682764845679827478859710457
1671265782843250909563582796150323626418052517840661726237024255
2116904405373141537870609498782576369684008339695873807207628799
2083058021053962052908834157920346527716733274492161148202778493
2572444366954742452080827100187521276892764642645645874256865439
3067599023757428965306482000130064588871548335432381090966097919
2472279067538308632174880045578570467982446137764688932181622255
2476291746930570367264582027511556972781608435863953494927818735
2644706779522813305851075058694486001125823103748227297117699582
3101416024321176087127286094645597511873247079254438465820950525
1659986225032514558754917305279535551605963800108110419502039007
1673646374634188092176740343543359477959055129360310122859462655
1925267412749831300792244382044452133974087696109701994888148063
1690609481226849784479878587712881291951569873855608086007640063
2396073407150964166171514013765833622486848095772495110531149631
1854521284318110852842488879261527462445233934373442718125490175
1727459525595498054276100162829946495687296673402109467199012858
2064119384747008206535525005231662111454491591517914118233251199
2483680301018372093801888707862659716195349643806038880657866623
1649527004232426167458922526206490264948828487202991213194751998
1713100704706090081725442021804418318787056381556102150077789950
2065423868900386124807183119431631169945061228569425578254401527
1806214067641402394584733157844945962825821026201217315126640630
3290984772483053463949697098310111425019716617114613286652892224
1929155211673432656421344622707999097256589909732851690571292671
2070590415999312984773578899646792916480210623660837301687148541
2732493004500805465957179251665350548321385132067933558989127659
1657556605009385892450737551600385665573431789552226329080561663
1679355452874607577361417617228677452441796255330915019857526719
1964507752543218758581233589109402140962067690487263517065868731
2881295038792504023993830467055212548297108151356310147348557823
1749981267448379878475651252944269228960316948165207806617509886
1649222201570537769458352670147269367617287041034391911897694079
1658774375066261891090916289154415640512963163279222710821977597
3085424131372863815071463204786564600915010336767174782567308762
1690957248343838674035452467489463917665831887465474510500395966
1645517130683923266605925854283319340692818822831727493502566399
1828395388610605825521621387024436547744038745169384603070234316
2704322154857787177940952733476891641955383513134284167882719230
1982483807728337083887866861847343949802797450686808206559115903
2497394162736420833810637722967358991452165085916739326223437789
2499216891846429845960885359179845242364857113345009935808720831
1911051075655617064387501189046749082374032587761413361166712781
2534349336084417142400401338802164461797619269599769681748557279
1657566023451235517832579688218939628103042717841444275239059455
2448765647289846526210612611820219421010723155406972543903437794
2571509288538538711385694411770687216148862806868592701610130109
2011390318093064433986780283831231269116562563962665148531834870
1916300715617525514216142733678249810341195652693886804667895807
1705117407876352546978648723531060646809818938413816882582769663
3091748815544806265985676893358550566238993431903175588497569787
1755229117265685358239173779539221303866003058409661300803885055
3170236850648843175205026841754201277844897696214827573794732783
2892559097086289185250625700729002660290786796598763787270483967
3120899176205141745165766573213283479726846490011766258863586789
2057282929319408511883579559736004880848513396063416981338980095
1663217517829706581612012809153039017266937187368942752386381567
1646960646274034545687086063982561762837987492782079862462576674
3022079347542811911431310532969623267118835573979433682415382505
2395185882453494716960396423681658267102307844699753358158603383
1676187070454562523905443487326716260369417969715858548747788287
1862968469914128973997692163098875034358817798217857878241312703
1650351663013612545661209310950803043118123194334640507515024630
1854480289725005852715128753910022134759450992194579418395099001
3085447276660071632969678928313206985864690317847069479588984831
1668982487103272760371145882266698026778563507696852124845338595
2191898044832542902589815057370135715140454380286763181906279871
1866621841898245156996970136907983093865302051197284134418907134
1661590631766685313290018768419438603232653387997709535048367103
1647932621933336521508873352042888694511199634516030103307155423
2164559088308401840473426684915964802940762278240158217822240623
1903969928389795206920674345323066347003005705792781976298323951
1963807266455364796742696814255313618698950959048126807239819231
3210350139742763550839500545443470052499891080921781818947861503
2066566326699238322236240563054879455577418731812307966697928668
2582817700256490958305744693881440595123304177697152757801154795
1697799290799579601918657511045608437176353540775275009080754047
1652938227814152237894862833854994217011596763849997895555021807
2098690903668462916699354424432819328264916869337916512809123199
1801883905573861774480128997274733510494097227342286919001956287
1705730295742637772989059124827674043244628853409175782316530685
2468054939468483773135370935274639499819872000759471119771070439
1864060687999056106817653735173941369652370710717050618995724159
1928653891938075410704868024051841941653139989757886347004870331
1803194105398779602576539030279819852864123144173653100357484031
2471980734747539806449627996711437871523280520135896039770552183
1645505099825408134669610623276407811416125753802857028563763167
1851205182195722606298210109083249240020909324753538672490163167
1698540300794809665168679710115126544169180586607318343304470263
2643966326731296119478356560606141726374623459908283501927714815
1683142458075021942933570802445585297535413162524810357403287455
2893770227844880819470848110177111855436798451290085767934369703
2905344781254619290782689622166900401230949292940999948848070527
2086515792896954997949262878833383596913115120100963556012460436
1755242126668283348423100048328403409968495824021219724424379389
1748449029280553728482844197569259768942157295832420756183031803
2295019181625018078856259533258683779415492062243029341069770735
3286728328063885199250679580223882300890500680500916386426324070
3009241791688637669332415195534992140249256461741663208941169631
1704961670890025553667328941693015450331995046714076679580942207
1888427218541778344720215225130291200757387320251186040183652159
2497583468365965854972275133271224213802419786455677404413951835
2763053042387920136421566456069919532159542378059011602260624489
2125442591878901980246556066639088851297933864973916372879670767
2279668953205066397559700793472631871172417106941722087338475487
2134315478145710236776410257996597103386339809797717572113858571
2344883687644900329245222192707514718863189652680817068880287735
1660877624603931553888702360021124851189422729174422753355830277
3241094256431295899541108546125273287511848569310994644655930351
3008235156165208701752237308493613513393743678639339783889846015
1645707196216421341942028260092304019402279287676429559633430441
1858273438369621074548926557081149492786198391931503843221961591
1660582230161561574391682653705765803051207839468954535792214007
2725803206195914829051796881813285448406550222682490459750662137
1937132767011428172542085608242467897088543430364928848846801956
2166618167312020115153104825817419296593216935282133214169120698
1652340813248638552505135154987378697805247606529975639542320063
1669305779264740577059180142445165193585170923605490846766067711
1753323195281320349271500039227609961930356239456462414019812191
2108335394921793409836427976705671319356346274366652185469515711
1674634233045946532373358189459200139678247653719519558886981630
1761273208228221750142155546207563310265038620872625797957402623
2408910735968937939709184924323134635290782546223557129279313846
2058556293576024693863447743911198731568706918175744047123775487
1651933363999104445630183716687827002263592949003150860047220734
1851815142586683355911283319214675279689883458572661380249255803
3290118504095623629666572155221523366851887237453214454479015926
2693276814270064940664356420388743707841314116255701634009000951
1660820891597676445313969214961589258583881789059724026469924862
2571367772208774549938487576998109150593507742794119314039365055
2288331610154575618502091262190598611221813798380131526542065658
1774069237195596564049362168305367357733810431288174891811995246
1920598713986356306539110037771872162573681825756635556633091983
2523294562080566687392462371108968922873559241105001538536792063
2468608471133809157077358922795430880917395325001636536224036863
3010599094087313449663358843613391600343165373625664932834923519
1937983026331707681539993679902478908410437491643127130430898047
2496781638315955704748560904232182331005948324797073923539722231
1698014331944361500694336468419548657828266330626250900150648830
2109934809948073948125021063773147723979567069805594139839674367
2203514602360508102837806560978575444294556770596657458043678590
1761606047130832636056673019037195918391441726738894626768273301
2733406347547186142199098116189821845056691935818375839583943678
2262744525261036317711726879977072822736461269724564067861885695
1858394829762893044025404211114503343001782955907176822124477399
1885415655423021927752182101734526857956726301156832912996798487
2097096519009209570771859512589375475900221739186410114544304111
1774190636899159996826855557338505100459158660033998349434617846
1645655281331890094703944539785022478975052776132996971617058782
2626544751347991279442513106667662663275376516860655815000844795
2063795467494677871554434055447597592909992758264043138014247929
1646713078545195163488967855774997573665795656889043494170984439
2592524520084390874732343478939615763003422102137842612773565439
1861086045942961611564027299639523645875681164506102585971597305
1649931488424368394908680670448555863127952208781857020203368447
1697043535326966594510321325170504577655135277504922040319041469
1801481534326601897304835700170893454518724823706319686311329788
1827443225312295991607065586367986098425360090448155116475996117
1660044339300352438190964565429068348954304010382263439860928255
2487778623149681000846760960916715111149775222465314097778908671
1700970206564845939766609701737022175560108353519721694607441885
1664995860541300559164437041787889364042358922022344795797567391
2747828371830642494262385208599819274978161704401877205117803917
1700181253041084142284626638659243485220812422271560308008934911
2800933013890367634540631780430528925880322375320133926076153707
1931242157358916288139617432515335632665363867260801876028644887
2189812168589121823687157623548526830136332043303279067134881423
2124473731627817072054728025307439830861240077064033195308875709
2507683937240056162446046599792987887490539891126634174884083647
1790480500612342376937929159730502585035571697643847130396737535
2187959318989505140828369550298741363482510964172924648905766911
3279337402275770147360287900856038618520675979865571889357217533
2622536207652428834072473884790385672556984989175248967645003727
1879339301353897802609764681403966933560496267427643281141398382
2191372895290134367197903571093696397881661000689510533802491887
2482811876642041118214379312179842524646319997410225594309798783
2624130661892670885883011019414959106079394267223599388483779583
3276782320898728102191694040332836301514388211106672790233644339
2469613488483020661987550112185328614836405937510976687215017971
1703907484270531872758589712765416773310910242501928833663098361
2070246736571965605137303847282210951169907900724846384320085759
1955444326667450009012891766172290977164116213972935012026154863
2500801096385121193684178065246351582590202992603213940864843759
1664451541441258210761232148471353543743335440817097642422492542
2951797522277964422474730901474733728620138044125758121332012991
3205622598688815594746784040856226552009887348921011519064177661
2057985705650091811140395509144695196144529653564539491010174975
2262700603078676807886146970508669507329324028906638835165690879
2894049177054174443871850043973121722824001030953706663674117624
1762033557184261364181994662030020323094594759443602681893937151
1863199981224583709422724757068651731781180839010288802359406159
2057095740257040918418625229927082640831073007370499610828077567
2283484711820849118189982566192480891250673724645160542451737215
2520209953882427554515267061050647720976033136471883893135376187
2829857130754778065453302929912863361452668697511373775289448447
2880668666520583177647107946230468525003890444061627597148107750
2189084826630792961232317127643237187235598957168249777870073711
1903223524048275132961256344270713050204319800812447460371695227
1650635891859836778190824938315938009820687078866553540027874303
1671516883818364126258653687162269684264858098140224544463126015
1664247983407700368365238397824548178924426209333402391714724637
1763694147858401492568259716926092244557127746867836562122456527
1781506033672728054392357062523092199595053336433971448712785787
2441389592532810014966885376647544355004490684812630814737939325
3087750774331094386322190187353467859990158440947789105881657343
1671423498116451168435405343286515632866194175894918613528624127
1858888592663589135415405315881353293599875714618500915661365244
1673386720044370697951125526710095994145574874999850753608904571
1809138401334794432367934375469815118060117577042499830110748633
1938786571890026910550725917056956183884695048305955606056794623
1964596757959078265362996344996103802329875581398383620718067135
2520081288649242440869183097465799026712090928201509988618206143
3075176437011351338099795107483963710118550938930335484153392987
2945154141799799014335041331793775148415432545887164909753432055
1876905512358103475030142508644533774673084199913083057085283967
1677656471639733911009132130296741988067486676391168992949034878
1719875646423038470076243798294458626544950708496912344354258938
3032991981033639873883497558118920333033176526480627314427166062
1649599582475748166897896289120698300682054869969301597141859823
1675258430399510225251134275920827590098537166147464018800672254
1698533514712461627451409817015432230580292470463890612154268127
1882176796548118111321009704062864551763260253228897860612784087
2960626914847132287615876786225075694451427431334218224734490487
2099722694724574347214144450927702505523809455416785930161741958
2060308191968949416420663705554721521156226534807978249306931199
3210749141790354415317484573752746272315637650251483509717450109
1755432694841789837541879641386963153511327046460537733757701697
2416730588374806281150188191450847275443085469392062729183756263
3085374204422853777186122647810087333098852240369897124093755391
1942036427530876756965532792994960020444091916037204127996943295
3085426680685261747014865837433258280304133847851866700177734509
2723781182376334497000105780906073067321011220488939386704735158
2896577230975542249921602048825983977494289277135449454910898109
1698539789955511288264345288458495071796933207840907579403660159
3227862057759016411118672016758250637382730542224870386844811178
2086923101719870595498189166726935049295584686187889946534868990
1645507830735075396169651384803244212115089717784825607990673404
2498827519959099507178118725623024281070569830602236941927645150
1669253223928434816063963551141767486145606419074914772359443071
1655150403062596908977072649058434744591491204569610561066368447
1658930527752872741137500711795311433994762502970393829302074015
1775166393855038116711141446293626067016838454186399407887085533
2850701080073482047932837425659458664227311828363324955141448663
1781594195397815123089457013886679870128298702698049145168986047
2160177673955058464817982734052827884895507165666099201599078398
3060715641115125628766431401356989789216716263589521537370157055
2571319110535155953832781803925313154524684189853645972785069015
2468319648811418594568860895373803892518254955431516975337504765
1774540021397142164124698330078789165542415800079149553711579103
2693343332675806498882854858683666829473281165901658949463834493
2622535445339035751905386938990017137384968736583607067278306140
1676136816906914063975200908033508847196891598100473318550793975
1939935203258935336675097488553728333092978070423317286355860987
1846429900587806013496402180350872895186285059887760959190330847
1649228694130834162923169772510938476345725124181507543284045693
2675690006658885028261842759821095176620335942797292365147012959
1866589255684958646406139992177118220781419089899701831019134975
2272254628629331542769432054700412378787942261824911973583683327
2107884536745003211485400523839827616061597322906267287720557165
3087082753598478319939055195416089695455074700977493340872179190
1645931513692173780412380958542215049985817480844350827620433535
2507677188435697362674132452629082345873648079890520834923560703
1647024400588605212070509980929864104026310135562171310381803223
2637189446884339073540667328569371680555650553958515667682450431
1713008632941786384418323744897201400874737740234941217167615455
1662629275602182312636155635511734818958690223033547880073750363
1645506817776167724878860476227487725713850542979621580937474925
1655169804414794523945078229709813730739873873037368018217189183
2060107520938967552854318367947342690013361091693191523438952429
3176553130477197703447865915303740703757076606015339690357856191
1853731391290805467724130814479541446303882213011769014517497307
1663213954581428863892738375558559259500342384853694708662139807
2876369496947196190687135367131077491446624703916821672068382194
3195007882373486105820371490018834709930272717744360727976024063
3178471665181700049735084417175970120346411745280378508489521744
2039243626764658524873846028401587603314914899795633323935006582
1697931916380134058680819151065257871761846783167810251079548158
2540809148647711936115312964840596998063979433307586359288786411
2254576446549474959646195799898266535861189448110563767024068599
2735734555817414391595021407608013970730144700493379260310879155
2897357956135943838167682792107061953608385400897154769176231929
1648769434862115236146582823067712463502084457409086133956571135
2391974361503775374385950764031016715796319334682652120548491003
1865682222404106394750138897845027538185885223871655542292213751
2265839165246701572870651339006834617263178207870363230287858550
1673186736353518932560336282568416353271656476036210534569197055
1957502799703456726234992507110119698571245568417010506441687039
1726163666841011591339282221664322963039633558937505190631177983
1698540591578465229766118762039651067505678492602207383915069438
1967726634688561929242445108609982559858643312770820350090934139
3102809773749985745833922727901539842626287757245778988018628574
1749956388398917217166057886567864172942396395652298446870666223
2082598080830227901981884500990821983614010750030738567177699307
2494796498857916217430787669196360525444153366549178104774915839
3133019168987757140068945206859196749134903501711652376728072785
2526656976039208653375914115012381395380634408917003449913475069
2112587083205029571644702646299778904175598045856006522159488751
2108737820592436843327061461887671874450482438015833857547287519
2185517379414408397150179463726532202325315148712083745736220607
2056944256523940401995422228308196945290665383067067557249281023
3164563521714663887006331558891884403494497703629414646517070559
1902616415609264027724039307345069231663856277503817862450511863
1774144379282337071020214884335461751094171306373829160079458239
2279528353081545790841748875646223950272083546079299498646594585
1758009888881311130364282309149196683117570187957010964023343095
2285069039786456393134817597003868128206165505794849376777008639
1709832541208094881784469178494145163888891345258218721837053943
2161279123345230458912535770275596525908106208193405900093914939
1748599817980537755145404572165776356349461232402944740578818011
2468256837524033496558042214409919818688109540802072461678935423
3148757967691609583638162809599016607756982206192186830671826359
1955672929490300290067149368770048263584161842914234097778737151
2513260575216674966876761795024161359611169639532067933654299303
1676036409425556390160899233099045638861504688480193667178430175
2673995122954807812818055881420140590708206415740228549143920119
2469966707172067846524041409368133154613166052084151710332747759
1864670744458638881419916556419710270964144451115218479240707839
2494179079471545793194998122949811810749778463100650242985426879
1899445008275202456931696089372678520588500668990363362286077521
3265300411105381884471030257862423493042499084030202813558423519
1763715036074914878426464136378919040419116748677844853511411439
2073957184447971402420904807485468358577772225012195281620433903
1827816302226356177092185894263823398414364853736534311305688693
1754805055325337653332264893589853546253399594553697569010089445
1671222138592559691226098506560678818219601866599545726130192127
2498977074556958214837833812172362512841060739711150322911018743
1761635844981712731006999250067023224842469006063715890228080639
1916173343543361822608919350571764581643679457777112440812338943
2481427925347195018286275049998901857879037229008143485420691439
2086860135024617804822126361960620914845309362898432082739986271
2514132348251709209560832096316157237579460156975247826896289271
1691707319109304000960739086961483321955793073407314809381191663
1646136999936781295239234750179916888806020439969659304173076395
2571151884649945506493745973354222749721351439894952209555488767
1700142611671888821917201371406585067303899514032237176798838766
1880379681926135560811042885766300245183992350831276948733263871
1665249394140532523582542801619948151920471276998642158363737343
2882649196448859571101819795341918323483237827860952569282035710
2469570328830569730694246902842144144449678111249215155546877175
2124880589276229170932018538409054365038007396948896925846863869
1676044240431467283464077837421835819731042766492441958029458941
3265380453853654310632297467901864373784745082064726135118233343