8454143domain: NPropertiesPrimalityPrimeyesAppears in sequencesMaximal size of a Binary Decision Diagram (or BDD) of index n.at n=26A327461Prime numbersat n=568234