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