1357215domain: NAppears in sequencesa(n) = 5*Lucas(n).at n=26A280154Lexicographically earliest sequence of distinct positive integers with no finite subset summing to a positive Fibonacci number.at n=31A353966