maple < genpsistmp.txt > /dev/null