125332284527domain: NAppears in sequencesa(0) = 3; for n > 0, a(n) is the greatest prime factor of a(n-1)^2 - 2.at n=12A031440