I.D19c — Tower Atom

T(a,b,c) = (a^^c)^b for prime a, b >= 1, c >= 1. The nesting ((a^^c)^b) is forced by diagonal discipline; only binding from which all three parameters are uniquely recoverable.