812107412domain: NAppears in sequencesNumber of truth tables of bracketed formulas (case 1).at n=13A218182