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