>>195,197
Here it is: https://paste.textboard.org/a82f1c6e
I had to make some arbitrary choices on what is actually checked and what is skipped, to avoid blowing up in memory. It does not find any solutions other than the known 2^6^2. Plus the code ended up being not very nice to look at.