TeX source:
S(5,6,12)