User blog comment:KurohaKafka/Turing-incomplete/@comment-1605058-20171028202017

Ξ[S](5) = 6

Ξ[S](6) = 10

Ξ[S](7) = 25 (all trees with up to 7 vertices terminate)

Ξ[S](8) = 51 (4 trees don't terminate, verified that by hand)

Ξ[S](9) ≥ 100

Ξ[S](10) ≥ 190

Ξ[S](11) ≥ 354