271417domain: NAppears in sequencesa(n) = Lucas(n+1) - (n+1).at n=24A066982Sequence derived from arithmetic relations between powers of phi (A001622): a(n) = phi^n - (-1)^n * (n - phi^-n).at n=26A248924