User blog comment:Nayuta Ito/Ita-Chihaya number/@comment-25420430-20140823153737/@comment-10429372-20140823154528

SH(N,a,x) = SH(N,a,SH(N,a-1,x-1)) doesn't terminate yet, that has to be fixed first.