TeX source:

x=8y+1