122900domain: NAppears in sequencesThe lexicographically last sequence of binary encodings of solutions satisfying the equation given in A059871.at n=16A059875