User blog comment:Wythagoras/A good bound for S(7)?/@comment-1605058-20140311182849/@comment-1605058-20140311202420

That'd take a while to simulate that many steps directly :P