I can&#x27;t say, because I didn&#x27;t enumerate them. I only counted them. See<p><a href="http:&#x2F;&#x2F;tromp.github.io&#x2F;go&#x2F;legal.html" rel="nofollow">http:&#x2F;&#x2F;tromp.github.io&#x2F;go&#x2F;legal.html</a><p>for the method used, which is a form of dynamic programming.