User blog comment:Planetn9ne/San solver/@comment-36984051-20190124163927/@comment-30990953-20190124183712

Also, s(3,3,2) is wrong because it should be this:

s(3,s(3,2,2))

s(3,s(3,s(3,1,2)))

s(3,s(3,s(3,1,1)))

s(3,s(3,3))

= 3^27 and SAN solver gives 27