TeX source:

N_1 = 13