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