Loading paper
The square of the 9-hypercube is 14-colorable | Tomesphere