OFFSET
1,2
COMMENTS
The sequence starts with a(1)=1 and was always extended with the smallest integer not yet used that does not lead to a contradiction.
EXAMPLE
The 1st term (1) says that the 1st term contains at least a "1" -- indeed (it is 1)
The next term (3) says that the 3rd term contains at least a "1" -- indeed (it is 10)
The next term (10) says that the 10th term contains at least a "1" -- indeed (it is 14)
The next term (5) says that the 5th term contains at least a "1" -- indeed (it is 11)
The next term (11) says that the 11th term contains at least a "1" -- indeed (it is 15)
The next term (7) says that the 7th term contains at least a "1" -- indeed (it is 12)
etc.
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Eric Angelini, Jul 31 2016
STATUS
approved