TeX source:

0.7540921186111107