OFFSET
1,3
COMMENTS
After a(1) = 0, the sequence is always extended with the smallest positive integer not yet present that doesn't lead to a contradiction.
LINKS
Rémy Sigrist, Table of n, a(n) for n = 1..10000
Rémy Sigrist, PARI program for A342047
PROG
(PARI) See Links section.
CROSSREFS
KEYWORD
base,nonn
AUTHOR
Eric Angelini, Feb 26 2021
STATUS
approved