User blog comment:Nayuta Ito/Ita-Chihaya number/@comment-11227630-20140823112657

In the definition SH(N,a,x) = SH(N,a,SH(N,a-1,x-1)) = SH(N,a,y) with y larger than x, so it'll never work out.