TeX source:

16 + 58; 74