PolyP5freeIndependentSet/9EdgeGraphs 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
132455566400
77257808591
119565907819
93642227249
107218664541
77219978784
101678776514
95360114362
131398489084
134544349627
121325730973
85244966739
100033380279
115691737365
135541016562
115358449153
85606519730
111203511058
86496012981
102809115303
104117911183
94558469907
136746851811
136311662655
75421960916
125040383735
101818661161
107125554678
94420292350
86687055105
100774598391
136790928747
135760749216
97943196112
101523561468
109168327675
130928410828
85839912895
75449170123
136455311543
86542327166
120545950113
76482072348
97642248185
97655813878
110659338551
76579309292
134093554935
128764726887
124408416253
134111857380
86376052317
129381078440
129349418974
101370601275
101233187708
131024682605
137399422855
71749894695
80644836020
112740396249
96690162683
120269475098
102449477624
124792585731
120091114366
89996264959
107288042475
111380892702
114268792691
101155830259
114706050231
90863410905
80480932905
78511603204
108789099826
102871392039
79917210843
136760919989
77784223260
113462672798
96319560015
106703082668
90811308536
125962321900
90165176555
74303899131
70497316735
118098066637
115617291735
108872327095
126060133751
123609452927
133329907511
69866855722
137224602181
109020705183
85706144720
80487350820
71087955755
130721975464
119967566571
124536942187
126392625822
78264193839
114368655197
79384519490
135608786910
103073857310
75231099849
69330960554
78748164095
116523067904
117046801349
109075201530
110175010893
136603974946
123005562369
120251929519
137195006400
117135702523
121000924332
125008941018
132434598045
131196371264
98733362838
78368910027
128564764654
69543413727
100526437286
114615564047
133691096185
129018740991
77760987327
119971692148
99187183794
117033762549
123400437968
136412969215
91246262233
137272977455
125390617965
105995721835
135779793705
132625627353
105649072094
85227188975
80495538895
104152223906
102764209055
85291034856
122937646731
137404471460
136566044469
91142063259
90795670547
107409243536
101460193419
128144162522
97588449582
135467552349
123806050524
94554609580
120112241971
71903062381
114821888835
132826985969
69016981471
122834790243
116522500194
80688684572
110938672891
135041655376
109636091601
115938975713
96852655599
108402316376
107363666147
76447775412
72288281398
133323587967
118003549982
101979795309
92936207639
128557274461
123782292454
114680116157
134967846830
99887026944
109185134783
134093934626
104228296481
68749804527
131293720931
90718135419
102784494807
100461954976
88112098783
105512041943
103101020311
116969168315
95086961079
122367581427
109789645568
121476924832
101951937692
119476812824
89353783851
110060273605
99533238525
100931171871
83665149914
99537465394
131886770832
135720841520
131862307110
77274238766
103126846367
128890437565
126348351676
127797064678
101819112602
102876303016
108416451322
74691527678
135767031665
130069053025
107931893504
76606704366
79757817725
84033039347
123215236353
101919226861
115868402074
110054831600
114701493683
76075420180
126338449299
137220568439
120770743284
136891830124
132354597719
126937663898
128907435863
79664983487
109609940823
79853430604
85671690214
125858009756
71057904347
122731424320
97160319548
72518528821
134769562715
137357188861
115879394296
71525452948
76766080191
114637404443
98116156674
115909154157
78373838802
111400157175
122473050023
101090983373
109411303334
128848335867
86806710188
109092825500
124205905918
84739521255
68856119547
100840860572
73977167748
136796827131
95692947878
79476667909
95015271400
126199763587
109857958111
128286707220
132932063456
80865825142
134180396917
95590129732
70928663360
69772671101
129301691120
125502290121
114420653232
133851315782
130589463270
120712855679
85026808470
132791559511
89787628693
100120159746
135146322655
83405499423
80280459008
102207282728
74663840754
108655394234
76499287359
135604498089
85244900522
103092057869
119722198449
128488282300
119032673749
114952932086
83840626173
101290371389
77205061519
125622416032
78141882428
137084316582
130710667517
114151574870
77737133861
125622067812
133930024362
117938249635
137013419935
117822193391
82641416704
106732299879
107334788151
99587461280
114306657263
130962862990
77299191065
91347831519
114140965812
104159741968
95606684422
69455750152
136183807431
111478665135
85775618140
73726514238
72309712227
119687378852
84598010271
126612391393
73366617402
110958750965
123712228319
79887512874
126138582902
94403297340
99423634594
74741172498
112739661892
118076889120
88382469953
136930433897
85328854499
127236290687
74757208976
96114499873
71913531346
136264206841
97898973735
93014093649
130664561584
136852357001
119778081491
136260352966
128038378246
77418182411
78080083358
114686975933
97575235195
117098332211
71772660311
86087433691
131884071007
109177547998
115962608128
86901754897
95765026048
134267445851
94410625819
101767052470
89999142558
126464685503
95323005439
73944172638
101061933809
94168291504
109445342852
71788890889
130874204043
94957904242
131218446719
75108916466
92343884923
119755192035
101663568292
79930431981
124190428347
96306826047
77471086075
73592366998
120988579622
127560345665
73213581127
120925583853
71322956011
99673431533
70829719535
93436657511
134821503698
93949083086
103617494276
119517880163
132514785589
130797876224
134932053879
115224801711
116785491918
98243966717
68788093455
93274305403
106088415302
96401872733
135717962609
126556597565
129514817386
122822951128
69594844043
96271092989
119566474490
76244050663
113204049655
86775641565
132665794513
82814390446
121068605320
126108252329
116751334493
69669533162
110179224573
86635618645
117924642641
69746920237
96052001278
76842628093
69501174069
92310210499
115037814050
115140801263
131733944271
96233459876
120091191370
95026090893
94420071814
102736242081
123169799037
132121105389
84072767680
123780071568
128552514418
72954150223
132336495741
119418171241
119914603354
125065379579
135199499884
70193795030
136843345661
133741034468
87728109500
115806567119
110549166283
130942170400
115184415711
124426731246
103039872340
108704783750
128772005299
94759547355
95752417727
72966809600
72090528158
119635589990
103960215752
120184492844
135276774411
97728315203
119391286641
101415049067
128461508718
134574764972
127875790101
90900484555
111176143072
135025089769
117102863039
137242894449
99000189054
102048512754
134698898685
81537794570
90922196663
98509176059
121933430369
71936087756
116340784961
107356353252
126325047656
76728571396
101187999677
95082758015
127474473072
80946038654
80698870872
131967537828
128841088943
91906967977
75197432826
73019718596
85596253487
85925340145
136159513594
130835097848
75306761694
126900457840
85493677328
77303499774
84455667631
83200831867
133959057121
96125407275
118772705227
71294844387
103001750250
121771890432
120796312514
91971588271
132688613777
85790205418
126410131100
132254331503
112056823011
72936549523
105012369917
80286018907
119844371418
124268242702
136277036823
99651444611
122463177175
136150211736
68768158082
78685892606
101953351033
101428607995
89234241725
113534041975
99802881509
118397250369
133697356390
100662031124
89781537558
119127249117
99840917434
117063006639
135802775655
83735038847
80004216625
135888071676
94566678207
91997667291
99702603711
126120230631
92020309170
127981064318
101997944641
112895964994
75163473791
127989027322
132720311965
81032904820
112770889727
129278460839
121500578086
133979459705
136060333182
69720048614
70489345447
129429645254
110562930912
98131865580
123462089183
104121336309
77305134990
116802508283
133541107797
108698537668
135123029584
96853039538
126934081500
128297134548
91440159409
118108451103
115805781869
122808170230
137104173054
85608078712
135897479105
110970784613
129562935332
103009116386
136719080831
133134253100
122945140682
85304049119
103297228340
128571336412
128578214742
134867540822
73095939959
108252327407
100654323951
136094257407
115389474054
77521217111
70815811127
128279001966
79784893727
132117225698
120179235550
116330806203
128703474518
90257515471
76840643603
116344782815
80765538821
130105713377
135316917172
133514930863
88628757123
129348139591
128805942071
92010905758
68999432449
90143182386
103553161974
101124905410
90130748596
94262132525
103036876755
118466106583
110549508533
101751746784
73111059972
134240261893
110144424258
96286113782
125180831827
118201699015
116225521593
120581092315
85024218995
128814646547
78058311165
80443542755
95462456569
95789095423
96182702466
110930820573
76904011505
137435965155
115692510156
135991123423
108226986119
117197060950
127558793209
107032313331
125505092284
136861826326
131971445683
79456268792
127394685375
80492282317
98764546288
119764006876
106291707914
134557630073
87244814115
92264300168
92373742840
77038335772
124987102188
89763798331
91259386354
76522749200
95563112465
132218019954
132904614968
94348958760
115962567695
100041727930
86669485865
129809334348
132760042679
70573345796
90816135193
72890162362
76845278190
136756620689
102263571163
124116601860
97646501114
109288254921
115247665070
132907397721
131010293319
83533602586
101901659440
84791698138
136872164597
93477728256
74355885247
129770188253
96178953095
128251493110
95225419703
133632654036
113241958583
85045771008
97961608957
109053182170
70036469263
87148287739
113208475201
113709666794
98186984881
90869037052
82768127847
129653891061
114760256751
134081505340
72611565317
118234425288
92184761733
91118075010
115224505079
98100125550
85123661638
89321073711
104144458575
136674336452
116365313711
96504561451
90946112566
129111255497
69999663469
115893317892
115631150552
103682244532
134989927733
113968167843
116834361469
136582962974
78427061828
115827500884
73675022978
102481389237
117477703103
86983047953
99492921646
101785041865
104138900596
113835504513
137370414288
80259710027
134154566651
95264533374
116733763047
74102806791
106229677580
119560447307
98102409673
80766066482
92050556576
102863167681
132452950454
132853901482
71459638239
77168550135
126590207796
133110527121
86962681613
132190675415
136732641991
82812178590
83047164018
102872089346
136200195134
72171028496
131489676800
119654525915
137379232185
116928167297
77458831117
130114352119
76774422907
113081450731
109386055594
117003670143
137160750313
100107722424
79535463709
98783499004
114467776365
123633433850
136134077835
84473271005
119716412601
93275811703
134620592299
97933342977
80686766865
114797806055
77249558357
118203583050
137337590969
104352247829
136216397900
81458621309
89941383142
79383786505
88844375779
70707354890
121490931200
95831922175
101321957681
94818475947
129918364426
133314984826
73733362671
94759804019
136597129902
95755148867
103937585780
126681972592
130327000029
133093364988
89577560043
75413421048
84270612701
134598167415
128710533407
124721085947
128306836864
103542288520
102201532790
136772214832
126569361634
115274918694
68783290637
102676000618
87721786932
88096975545
72297258829
87519412843
135132764336
135687774362
69038368250
134990553191
129538310191
115662854988
122991452853
135200124669
115108083776
115212048145
103674006006
117839683434
81410473142
116266663137
128311140268
100340365524
93411852308
95549176345
87220993824
91380340718
114724413655
87941428922
128569048582
134415173985
132170846100
132193343313
100591072957
113866955497
136093456818
88784763379
87000646388
104170291315
114674049488
93364850541
136014909876
99987282871
99611559923
108543650198
134733290158
130847774271
70280784468
128395956987
101441191924
69643300345
71980727029
127740487244
91347878160
135964024053
73014992307
99568862724
136777236733
105552462803
73345625071
101175635689
135940128661
117808487291
124553447974
137101398874
100914786197
118500084638
119521575084
123913470106
126396567598
71885895998
87450683511
125037863881
84482450658
72205442783
120181556441
102672297275
68855050533
109827864132
93420773233
96283441067
101648152915
111559930519
69010858067
113474544687
119539478039
136454863746
124243664332
101230831539
78160801555
130781962163
73285113490
69631404828
85613936877
118913730301
87484128310
102619608355
125136395070
74060289678
120451036782
128384131313
96094772773
136987963246
128834878557
133810652063
122255041909
108248388357
122340932767
137005958798
128569034988
134382005887
81005487085
100782145279
103023883706
116603760129
69732128031
94291642617
120247286153
101904248286
125071125171
135679147981
98367236925
111609057309
134163216777
113022524995
86363144878
102363664694
91401240967
71922870079
134615980914
70831032293
77555695580
92474953967
77104885248
79663145455
91123187834
94524501208
132022484075