TeX source:
3.450{,}25251