factorial(9^9^9^9)^factorial(9^9^9^9)