TeX source:
16; 17; 19; 22; 22; 22; 22; 22; 23