TeX source:

32.116