303527domain: NAppears in sequencesa(n) = ((5+sqrt(2))*(1+sqrt(2))^n + (5-sqrt(2))*(1-sqrt(2))^n)/2.at n=13A162268Numbers k such that k^2 + 23 is twice a square.at n=13A387549