596 followers
Another thing I found today is that a result from 1972 https://t.co/3IpPuktzSf shows that S(11) >= S(9) + 9. If this is accurate, the result from the first paper not only gives S(9) and S(10), but also improves the lower bound of S(11) from 33 to 34.