I thought indeed that I was making a "spherical cow" joke. I was actually thinking of this: https://tromp.github.io/java/go/twoxtwo.html https://tromp.github.i

I thought indeed that I was making a "spherical cow" joke. I was actually thinking of this: https://tromp.github.io/java/go/twoxtwo.html https://tromp.github.io/java/go/twoxtwo.html, so only 1446 nodes after pruning.