(BIN) gmp.dvi.gz