: command file to run batches of exercises
: usage: runbatch n-at-a-time m-at-a-time ...
echo runbatch assumes that a setup greater than or equal to the max has been done
for i in $*
do
	run pa yes yes $i $i $i $i ru qu
done
echo runbatch $* done.
