TeX file
steni file
DIRdpiSlantProof