TeX source:

p=32