Conjecture 3: Except for A160256(4)=4, the least positive integer which does not occur in A160256 up to a given index is always a prime (and thus of the form A160256(a(k)) for some k).
Conjecture 4: A160256(a(n)) is always the least positive integer which did not occur earlier in A160256.