5285770564domain: NAppears in sequencesa(n) = 4*a(n-1) - a(n-2) with a(0) = 2, a(1) = 4.at n=17A003500Arises from generalized Lucas-Lehmer test for primality.at n=13A018844