adding auction.imp
fixes bug in output syntax; adds flush-output to output semantics