PAPR2 - Ackermann function and recursive map function