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