Loading paper
Power series everywhere convergent on R and all Q_p | Tomesphere