761981900724domain: NAppears in sequencesNumber of rows with the value true in the truth tables of all bracketed formulas with n distinct propositions p_1, ..., p_n connected by the binary connective of m-implication (case 3).at n=17A218185