PolyP5freeIndependentSet/12EdgeGraphs 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
143785316167921892348
110678685152179893862
142288688021561689967
146918073537962528541
102637615346352086783
118291476819852440730
119467828942769952734
90992555938931996151
131258976259692384324
122153356934187178921
124190108889707575296
147535055715131720572
79084348431564273007
91244000570335823579
86735272252108928933
137765973061395169260
147241706488231256200
84558038280091065231
146912517833988280848
109182345272610204635
90936062278899547519
81091717948049554423
109971117050861942301
110472866604410093295
138308855369111065599
129111335926093080576
82384355690125856509
75600782454186827836
141989329072498335470
98191234165737224453
107631497764276745599
133072930161770299295
133729320465043591336
132832794342977929167
81644239179307040318
90787778944745483708
110503080212487830638
78979292837419480823
110664367742818712059
90502273783203661507
140940958367726958382
147568807689680942678
87282213302852435693
104636650370821385913
138026144134903884148
104824904982245272783
147455132423581175779
86998438192535532015
129692744285577741184
122219249753799826211
79328065815723374717
129055252344668097670
141790763248987342793
131386853612512552900
117000700268022492159
88706195107358957526
138280309762691760834
128043398949686885921
122058516428483802446
74140610002453366136
127897481430610988390
85604421717069497339
145095839959383780863
126487434994604981425
133695287743131628800
102316200052909747549
140963765098397522403
76480691860732948201
102607311075165901864
91618747432726320995
82143461682618561839
134507129781833769934
128403851901650589519
128967360349294241262
131432979189339110585
108054709083454504879
94046744557103039931
134584990866242605492
96412918430470965247
147276250037370460013
120653982313047958911
100880469199295608315
133694509304315900643
123430908996190088874
122748403209800102482
84136921402181516193
142220140120715847161
120974048944261779154
125644834370695849480
110709229665507662715
128118011002879955588
122525930019034699543
137910841824720446629
86786685375180947364
137646721792428399729
74287857166562229073
99119006787539529727
79664383561864230894
105435133716116432584
146889116805775775731
145906473661361872678
122567047195338363251
146362994597597542861
143866390037096630792
142957717451678803315
80090860820982823596
110661848661453690711
147391538349747990399
142069383670154624575
87282675388184744552
128909547508357271291
139862451911724292151
75738671006246664532
108213239454047264444
82985666491575732719
94516029966643437404
82935247279679828509
129086040583212384990
115722936365896904895
101632022024284530431
126291053937517813184
142599509320970267909
147417275991896960991
104212099082792767472
101384959484069284783
146629709286116164686
114447540798523015134
115640328363640358006
134848291703176691601
146512376472832343170
76415363049450871485
98652651035196223135
89577686126810560765
91925184479257104377
127712726188218804959
74093635932512060264
129777536585246518876
76907021441057808115
90158043985747765233
78663355167713580978
106269056659401715713
138263455385106848733
125114454974710856281
147539363715336963830
137040001055679286911
94537869510770032119
91091758524720622082
93839926684425657277
104433786762973227518
74581940116375730429
147033806959058878468
145240331416912768289
129811469648863992394
142767051717348759035
142827140642733507424
129103670043165296562
108375341597741494255
145257932212036985813
105274296468471922359
118588783735965895935
137732580783793069755
123362456418896834169
147460940370100616715
99072296214569811703
78906539308839172543
144448058392122947510
82954214446655782395
106308005219182971378
133779426661059446842
126235790365550943965
137248801997177128581
147400071076211783679
77391017098760295935
105540795927140985855
77176028929409285446
117302840405191032758
143729317392694701995
147549004317729125532
141646368781744462416
75009703317036136429
91066474185179266296
127939808741537301207
137766088960873783158
79610482455641712709
88738645571423051509
100422952721965576344
146701347428261710007
145094017235895831545
90999732936407509559
83042052732231515102
123114815397125279229
114277266722038734831
119240764651040522223
110369151715166789541
137699648746121197035
99194512377437484639
146112451385592543618
133305408693723392922
123125468117411322416
107003027345912002206
146954228993574834070
146112507496300656979
79683862439215138790
145456099406718650744
138105714639953140744
104873156782167183158
147568408986189019361
129072351664513187707
147475190648319899625
139802698506680855451
81967470240461215231
109949735599958132560
144542303094959301138
133812919702870936957
103708126514455523163
134145673891855522687
127712743802251884527
107869849713130299837
84053582017091648494
144314244174129770489
103468360082908112962
138197985775895473886
146075693867378683385
73806365631998746780
110389459170367610146
127818382683495082998
143391368970774374962
137997284284176684107
73889910122108875519
105717497428739254260
84462403996195945238
139426516255014517777
103964006439928283007
76025497745469434077
101907425411949695268
140470363791928908634
116440427386682442875
86859739730536810994
126009200143429702383
118013374488035608309
144738870963064489731
110485604430305814375
146121059606981103583
126717498491422668095
115675670009188375606
105076403182197266846
141227958123484406256
105870242769755723499
79776761562823586911
110742987490984589334
87284227952173065789
120252865054525881893
141868215721054208174
128009066445323152295
86954347528562932478
73853089104360718711
130452216212120992531
79336143338276780161
106727148320519053235
141145373625002497292
128430220233460203983
116359049950384309247
141213550287565618930
145166813771005433214
146984533998173224950
97489122892227249145
114168445008734388159
147426017378048142984
95818541036737026007
147564900751375167434
147500093856140234436
107063590153786949164
86694436965245091279
83172495528792582144
122186595224411777102
139822551300479575331
142801834589469136519
129112232651125846001
119243323863598905324
84336093000542163963
92417275860143142925
108768259304023100923
109886679019514156758
101655627498061212069
113809155550118061527
133803825540401522671
77353807801091919861
79691595371853621146
134442478650577349853
131421914545839340725
146890678953367567363
120480259658034263372
80832433442187314282
83797809774406355429
108302235627610266525
136894883865943863807
137168529716743683054
128244445463652476919
138345218898073156571
127791867859079380471
74546418327415309322
108946164962645050873
142274551459961109413
101419195219683828999
97123472190087338165
145816348458592419755
96140438764616710079
78399475622754376763
132297162523399811065
141471479727449000887
144033660483032276545
138497366298730551388
124943003730022480845
103690785975911446355
81752814828243715935
113783473268892482122
110656377096493842301
105195043871795265435
97979225730308935115
136042412950068262265
136388409942949485215
108914345087345714169
102585525724121478781
138674607656022303604
147243692221084463059
74241665658424883731
93969863178047695347
103942991369140737855
113426775894369479882
101611266947713887119
128970738018762237879
84236954698233411849
101169917816760960510
125110015242687602678
105910586507063983531
135737927542198203900
105546034788557487580
118750490829244825201
74095452872361190266
146317233553788642158
97712026005974743048
137899369182076183548
142656008154741303087
133526840248956354280
101705277809733140463
129123821827617619691
119111378618107103306
128894879600809602077
98033763938786887085
135519132918930908440
116003367233531923515
86464602091252831166
89864467113924412114
147311274785202634495
110386029287973389310
146907208458463591918
88075525877126927350
110535920852169209300
119900403383267717107
136895805430348970935
123540638965982462843
111351141794031953495
81937064384885805172
86486459589286945712
73790527855992221571
128116960017456403136
84779188334555494497
83496510312409022544
107239571089239961467
79549538462639319162
146294859789045136810
124534969011553434557
142160930676372932437
93381852266921434095
91344108184533680367
92180688666380364781
119379041675629886911
145799803153796561819
74903845834307482572
133724886704126387161
79199618153835590878
123728113319859419200
129838266386526675923
100526350312776988807
135161767547318540926
131470751265015201767
111599095140254018618
146944539417744708576
102693790506460072915
138996547558866647934
74056178257054715251
83514152057240028014
84294427278760671396
111642723926029168758
145938821284204541685
128257990932865980401
127794877225160584337
144669102197554900325
108518236595568510918
147285066169051644562
140560860239737385067
118871902050297051071
95837558281085582559
74726032376979333280
116268867943480321099
118596160297736864978
84192261458402740126
147283680927497300591
147292221448172213710
91909288277076337509
91197016435643651280
129095611588288261465
107759457310674378490
129030027811177150974
76978568218573187829
84126081329643768491
110067261604594707930
147509971451893308613
96731479418078024691
135390305307539659774
106919625730159496191
92966986611818844030
121050702233036777085
93939827048234022913
103653689320574124096
118234157966563489282
129079355248748752400
140151789405128670764
110446973335428967405
79973479399554932692
134372787158704463103
100853478096421974974
139550745221436540306
110327729149214682069
135900265992750496893
80781092832826012655
77250385176634554815
138277572688410815443
126271694831850287059
147525520474092582890
126358822782650480639
117168004890347177246
134878958027671993189
75479141276525211891
113817217453770430558
137233502838977984357
118820594049644103836
114065040489150673481
109993291975261733376
79042131974460015614
128587603362812091071
84956351537045532999
119962361100709166974
120318127734916121500
117372496257576661166
100482341835681271178
110625743355902257111
93879644989921558417
134358121688290180843
93030843749972828111
80702181229595858286
113007482748172682426
110389972893733437231
77021938202753681942
91448558042840104677
140075291204851435382
103613574644885708542
137473487943357150399
144651091889331605243
132875593425798061185
99220385587189279165
79060853258029535380
128974003081000594799
85528896210429292546
137955140475411637225
117923405481008314370
118606767075947675702
146688782773502541460
113810437488731228095
146312015606052657117
109351335062457087421
81397077413684478202
109457886538566678592
78418854588085628719
111315525047525878907
93614390169760340962
139674660411541502815
136024471329680261106
108065349630953109181
146094581011152504317
122271085648213490211
111780422287003056094
146106267236543987555
119461405606184292054
144762505123424157576
147559113819491103717
136756283976265166548
119884446866363749286
80568134331217162186
111098252727876591210
128549391536874135366
99785138602669776831
120099148193681395647
126769677105352494432
128642485888688420327
73860013917815928919
146274259048333839535
119155239811909657234
146598861945804420861
113090483688468755135
137624643257036312298
98796986751597563895
92170634610113172444
147565380992245672705
127712562780927420287
146417547942748424630
134378472347427663661
140340677881089618936
105448211821219274735
117273292830444092878
133664621382397173734
146203366058374909495
75734959154323124437
121039900268223657903
101591901918853126176
110495460208007098063
142357403398221658926
86974549939037137232
74553296910836168805
123217060406263233087
113989752269416824824
109281598358947537388
74565944907516603240
147150191425870585593
91146098410567297215
93544249072950708607
103760754213699557253
128286120554198727249
119177316980980439238
129894365576141056865
127711941044028013685
139981848588364574171
130140374851906176637
75881390918302899399
146560493549246037166
81222523732214557074
147182127378132893671
132028706062662728711
118856594391813875720
108082933744515662214
97900397959191248255
126799640494663075834
146199606562234338843
128483050275247779658
126437733952664047298
81907274278928160140
127965081634212708175
80064091875237242877
117528410997731301183
102897082385905935609
87588754429042824678
107376358332976452063
74074486335172378491
123461662428625429188
144976487911574725603
131429594522577399214
146253271488246773339
97691363355724829760
117212108869997825502
146095658377857801955
77538689492348037623
108358851239681785856
136668479767928390686
129057402002681063404
122528693516538477071
129953643235786129275
146348762345838803957
88826050494687667637
100997475537853347741
97930176931328755643
118241147225803782895
143876303549382916055
147213005259320217251
140043913522153125100
145844349193063922614
145187112680392732674
127925449210278317695
111045186152815320565
127361531272046196217
92137971659592004543
132855968829033410263
75131704067815042557
142295658985738141454
132266166192503277506
138525430019553415451
143982692527268022266
137192029547645432376
87006697639561562770
123149539809581418332
118469643435143458807
118779874456714854366
97484477179416792121
74942176195313150463
138263006229783561677
82890732736517656214
126959497983481539593
100267208010399524840
147192453098411299814
100078624498368247943
73991907472590841835
85199128739898005342
139790295208035298295
140642438917539197696
90168747164615213046
128334416372030614210
107732261720948105063
83300739557701329783
138287439943320911731
124226930144491947772
136039422059521878024
108211179298546998509
147411726112543261531
140685496274381460348
143502464129286402640
147451773620107523048
142165197312609860173
147356083169751238060
105855922894988451507
128838730629036211871
122209283549215236170
120830515260874558994
84614786444624773117
129120270812983317056
142489344485190695931
139345893324469567117
77467299406744641277
85604431738697716752
79019192271744584949
108376611879147831227
74727650422924495967
133295271512167136979
115254849505014248347
74429707652709842703
139481077582945692928
135792490551638420215
102300924214225673961
124247451980544363419
96152061754591973542
145504513292774593783
116446970549493230216
130095377888893585387
142637364002762914729
126846881835878102575
130242823309911652207
135446179204927833375
140685565351487098875
118892816386606742153
147188107434263307387
104116519595029311167
92133457357195934685
113348856570525592319
128765645069320729864
80766448036325874341
74949103772997318718
74848965865921895901
108903491718971521436
144522357744385030557
124155230128166548987
101455186142106081737
103614132837207158639
147204094257002307576
74605476686416306420
128431242943684949375
131981865442539993042
110556049735526671964
127936639546354729931
74361039302332370646
105004422434769195519
136903925268380899366
114850717260883683451
131940727208855677700
131425969499808923371
80290232687073374260
105416319684860360870
135046025881493859519
114940585979276899070
137734589180237785899
143826184894396306244
144975025095266523106
82415841696045563705
145267682832962137086
81893363122527068895
126815174338224129882
82366425120359054334
97055373395127366737
106908776372392925685
119106733133310951166
110018351018455868348
74821216083829961279
135553481657570820047
108605374013424792081
124465399361607232485
122273539776400882419
146247179634869481107
110688077735646037755
134674445886052887213
144315334502911941547
128223990343443861949
86277427097831712786
98678357966766075383
77288866512718175103
142670567682551052055
74699584405157761918
75925587020341188486
147332829959833462767
80741087928776099291
119900071646128702061
141766312214158337381
107775358333931421434
103990050870863323087
96862492723797747055
105888276541300768092
105999762037548232369
92304440889320181338
122568039570059075566
130198626054547144447
112752260872512581222
145684690719198786065
136479260006041923582
113700828930833446078
105863755204996878173
146130542147376425736
100290364570564227516
86904534666154361660
79403104890777601134
139564652040266939718
84229456904921068828
132555037410392794853
128828822396390522683
80395364970654010512
108342506622018789871
145118907955873936639
144967211497290890900
105923184044417885689
147031225352327917572
83080128475444075046
104864766267800641297
127784752370588973628
146853290703597718153
76092726091616085887
135949406653515552447
109254648240040302828
124452330806116880852
135463822347915461544
108248150287846602842
114709844507035162848
128914634674852821469
106013780366579447804
111907872615419445226
146516427283275670226
134877741680250723956
102655894467997857788
98976144811773985775
78102407510497413145
98285628801015853184
138130958300835875888
141503075882642632703
75005731877823118822
127792145768062623715
120984067114330984415
92377153786401499005
144036726861933311471
74783612973536649087
128403042582501965307
81342515391397756932
105378853404171424767
137815456458889605317
111637578882631024462
82654479739686477797
142962068933916824686
94541558288064895501
140367284147187615215
80644197946396598650
108660581290976704909
120625468700899171285
84125085694825561071
142921168786870997113
139696795650354058708
128926763096033153156
147329666383401852719
73813821995094232883
97191082419725874208
109597206266658351417
127358782532131478429
107183813217009747879
120239192730411522751
109490809060527373817
123651341266569625565
74267218354045039471
118313712790064282486
137700987904049849582
81928827831917903644
75739844474568897913
97817043582000807573
74609856066365725260
147480122639255519203
85310399191967418368
108840300101243464811
117594922568279230506
77231372049237761623
105334514940922626369
129109299337033760271
87947577911686611778
146636887343126341641
79074254897670204184
91146293808616917489
131364467528590613573
90250459357337025206
97547360335122748585
129091087167151580591
105814033125072105202
86915405550887791247
144572292437554977773
76028167480238899003
98761010062177729929
142383986875686974196
105113770109442183971
143859925164695726078
122273764080243470884
98798002845563979971
140187727796574872567
140111206506929407970
99961211320828286772
144512615746017091251
126591110079584137874
102554417890565019173
77339123353320921685
94102430405195949371
127180527158197456511
146157599060366419993
146276839359411045880
128068510751034621679
129079704650541326967
108086351127405917150
92417212928652303838
137812084238579029428
129018532499386475487
82086776049164220406
127221800414597540526
144810966687153471487
81889388014191280317
80289479170606478779
105908697192763849723
122069576684332678115
88199853377322110971
136945149844231672661
128978525336696374760
89908665913130025968
145807093712925220287
127800643251711000030
93922903071051676798
146129914474270227177
76543137272141019529
122477536106192830383
132366416771237573684
120961941587533029167
144287471242491244445
117417519629088133262
146482180533234173931
138311075627822129013
105744510168740969977
81632522777983992383
143749610353033745398
142816441378431410891
147472589316649932607
128614831171382541598
137687983886830879480
129118157301444690480
82307573099831600942
105352398330313308182
85697702083648622688
146114347947523395175
147231484637223014381
118505714065210308616
122383362850494067501
128622757046469496829
109527542086098569040
142943960245550939249
114085414007982397504
92169165943176120829
111331051416121793691
141701026314431995391
111689270082343552226
139406644090633210418
134323080161725773367
78205605467327032981
110527296973851012613
110150479241059658746
120406849653320722175
97608106587794536887
84379101552972157232
102541719596098992204
127686293851468281802
111258143950601092799
91447699155050019447
129075029887066531807
133081012048636763785
120793378228486773344
90152623830118412991
142595116705444166559
82782052056739906750
146593254040452614047
143970720145695489950
86397138540395636929
145163822459634317167
145584931709577086815
134433641297925360091
147105559777069430912
118748275437752548287
120688415265059888151
96910423006475455389
134357158599413628041
82012114354068487933
84954581489458076665
134366443266293781633
91347573701409897361
142271848111923563058
83014289188473340009
92668167969399187450
137623152410544058551
117948816851294226418
146575152338393387664
135661354667319952624
136403679671842304040
136951918372957831170
105920711656356633086
98968857481114016111
107197416057717045519
139666208060727633183
145752166258183085246
146407346231087976127
120022668334025649933
97713447867258074580
96520484024243881887
128972529298481807059
128510916287338117333
138386958440231871919
80722452394348836025
123891752339547909074
143511634287191353531
136179195053728578984
79048467292607708903
128381192602388412054
85540245176959779407
85264484529395464568
81756203248627854971
110048209907877570295
74289493807435988223
135584836297337349248
123892015136644217771
142945509890255738807
82722106132540422878
147211798713524664299
137840828405659184618
84958086359787976588
98040504532411232158
102520233297597792061
146756291008807102459
128398197205002295803
98282462547334396925
138025449351731891442
107761456740064695215
80927576521144769013
102748964250462963937
138340342136225619008
77822180633583018879
116079417729779497701
103196314617000203451
89759733269243094906
110102272765518148012
102391693229623328079
120510133783891398627
146257055555064683361
146672621243165517687
114230974508383078394
140366062054986591079
76136728833375990581
102521037296446076287
129337771210341137905
91311515540748106683
100015253860262508538
119872579302188999688
133705780689757800342
146326454366310813464
145121579446931017458
75594593505013362679
128070320968114633379
100492731150218194931
98736338666436954430
147544619596446164475