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