TeX source:

{3,5,9,17}