Loading paper
Computation of the homotopy of the spectrum tmf | Tomesphere