Maximal size of a Binary Decision Diagram (or BDD) of index n.

Terms

a(0) =3a(1) =5a(2) =7a(3) =11a(4) =19a(5) =31a(6) =47a(7) =79a(8) =143a(9) =271a(10) =511a(11) =767a(12) =1279a(13) =2303a(14) =4351a(15) =8447a(16) =16639a(17) =33023a(18) =65791a(19) =131071a(20) =196607a(21) =327679a(22) =589823a(23) =1114111a(24) =2162687a(25) =4259839a(26) =8454143a(27) =16842751a(28) =33619967a(29) =67174399