139254domain: NAppears in sequencesThe lexicographically earliest sequence of binary encodings of solutions satisfying the equation given in A059871.at n=17A059873