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