TeX source:

x1=3