100000003325domain: NAppears in sequencesa(n) = G_n(13), where G is the Goodstein function defined in A266201.at n=8A271560G_8(n), where G is the Goodstein function defined in A266201.at n=10A271979