1162263921domain: NAppears in sequencesa(n) = G_n(9), where G is the Goodstein function defined in A266201.at n=7A271556G_7(n), where G is the Goodstein function defined in A266201.at n=6A271978