Comment by jona-f

We'll need a lot of mathematicians to understand all that output. I'm not worried.