241563domain: NAppears in sequencesA thinks of x in set M; B asks questions: is x in T?; A may lie once but only when true answer is Yes; a(n) is maximal size of M such that B can determine x with <= n questions.at n=20A010033Expansion of Product_{k>=1} 1/(1 - (3*k-2)*x^(3*k-2)).at n=32A265821