100000000211domain: NAppears in sequencesa(n) = G_n(12), where G is the Goodstein function defined in A266201.at n=8A271559G_8(n), where G is the Goodstein function defined in A266201.at n=9A271979