Implemented Ackermann function in GAP