2147549183domain: NAppears in sequencesSmallest m such that A116361(m) = n.at n=32A116362a(n) = 2^(n + 1) * (2^n + 1) - 1.at n=15A281482Maximal size of a Binary Decision Diagram (or BDD) of index n.at n=34A327461