TeX source:
\{17,14,11,8,5\}