Lexicographically earliest sequence of distinct positive integers such that for any n > 0, a(2*n+2) = a(2*n+1) * a(n+1).

A372031

Lexicographically earliest sequence of distinct positive integers such that for any n > 0, a(2*n+2) = a(2*n+1) * a(n+1).