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