nice -10 maple < checkdets4phat2.txt > /dev/null