(BIN) proper1.tex.gz