2162687domain: NAppears in sequencesMaximal size of a Binary Decision Diagram (or BDD) of index n.at n=24A327461