The text b393cb3570e5, as Debian 2.2 (Potato) shipped it.
convert LP file to MPS format
mps2lp(1) on Linux now
