1621133domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of rows with the value "true" in the Kleene truth tables of all bracketed formulae with n distinct propositions p1, ..., pn connected by the binary connective of implication.at n=7A345190Prime numbersat n=122619