line numbers in HICLHC.tex