Size of the BDD for the hidden weighted bit function, with the variables in their natural ordering.

Terms

a(0) =3a(1) =3a(2) =7a(3) =10a(4) =17a(5) =25a(6) =40a(7) =57a(8) =85a(9) =121a(10) =172a(11) =240a(12) =335a(13) =459a(14) =630a(15) =856a(16) =1160a(17) =1564a(18) =2105a(19) =2821a(20) =3777a(21) =5044a(22) =6728a(23) =8961a(24) =11926a(25) =15854a(26) =21066a(27) =27972a(28) =37127a(29) =49258