%I #12 Apr 04 2020 10:16:19
%S 4,8,14,31,63,136,315,756,1717,4026,9654,21931
%N Minimum BDD size of the middle bit Boolean function of multiplication of two n-bit numbers for optimum orderings of variables.
%D Donald E. Knuth, The Art of Computer Programming, Vol. 4A, section 7.1.4 (Binary Decision Diagrams), p. 248, Addison-Wesley, 2011.
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Binary_decision_diagram">Binary decision diagram</a>
%Y Cf. A324586.
%K nonn,hard,more
%O 1,1
%A _Hugo Pfoertner_, Mar 08 2019