427859097147domain: NAppears in sequencesa(n) = F(n+5) * F(n+2) - 12 * (-1)^n where F(n) = A000045(n) are the Fibonacci numbers.at n=25A343008