TeX source:

0.005996404