/homes/qp/qp3.2/bin/qem  -h2800 -l128 -s96 -Q /homes/itp/ver4/distrib/ergo/prover/ergo.qx $* -lib /homes/itp/ver4 -L abbv commands1 demo3 it quick rerun show startup tools heur browse search rt exprabbr -G global.erg -G /homes/itp/ver4/thy/global.erg -H /homes/itp/ver4/bin/ergo_help
