https://9dok.net/document/y6e42r57-binary-decision-diagrams-for-random-boolean-functions.html