TeX source:

64