Loading paper
On fat Hoffman graphs with smallest eigenvalue at least -3 | Tomesphere