Draft of LaTeX and pdf; todo: add runtime stats