fn x y = (z + 1) `exp` x `div` z `exp` y `mod` z
          where z = (x+2)  `exp` (x+2)
                exp a 0 = 1
                exp a n = a * (a `exp` (n-1))