8261963domain: NAppears in sequencesG.f. x*(x^2+1)*(x^3-x-1)/((2*x^3+x^2-1)*(x^4+1)).at n=40A107854The maximum number of coins that can be processed in n weighings that all are real except for one LHR-coin starting in the heavy state.at n=19A279674