(BIN) v17.asc.Z
 (BIN) v32bis.asc.Z
 (BIN) v42_err.asc.Z
 (BIN) v42bis.asc.Z