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