In A006694 there is the comment: "Conjecture: a(n) is the number of orbits in (Z\(2n+1)Z)* generated by 2." But that is the definition of the sequence, correct? (note to myself: if so, A139035 needs editing as well)