TeX source:
0,2,6,8,11,12