2999116domain: NAppears in sequencesNumber of truth tables of bracketed formulas (case 3).at n=11A218045