"First 15:", limit(15; recaman), "\First duplicated:", first(duplicated(recaman)), "\Index of first element to include 0 to 1000 inclusive:", (1000|covers(recaman))