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