Ackermann function
The table is the same as that of the Ackermann function, except for a shift in formula_31 and formula_20, and an addition of 3 to all values.