User blog comment:Cloudy176/Proving the bound for S(7)/@comment-29743408-20160824074531/@comment-5529393-20160824081932

Hmm yes... it looks like A is about 10^18705353.06, and taking 4^(A+1) will drop the top exponent below 18705353.