-484247domain: ZAppears in sequencesReduced division polynomials associated with elliptic curve y^2 + x*y = x^3 - x^2 - x + 1 and multiples of point (0, 1).at n=25A242107a(n) = (a(n-1) * a(n-3) - 2 * a(n-2)^2) / a(n-4) with a(0) = a(1) = a(2) = a(3) = 1.at n=14A328380