150051213domain: NAppears in sequencesa(n) = G_n(7), where G is the Goodstein function defined in A266201.at n=9A271554G_9(n), where G is the Goodstein function defined in A266201.at n=4A271985