The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

A235262

Lexicographically earliest sequence of distinct positive integers such that the derived sequence (b(n)) = (a(n) XOR a(n+1)) contains only distinct terms (XOR stands for the binary XOR operator).