# Check that mmff can find the known Fermat factors in its supported ranges
#
#	run_check >& run_check.out

cp worktodo_check.txt worktodo.txt
rm -f results.txt
rm -f F*.ckp
/usr/bin/time -f "Elapsed: %e sec" ./mmff.exe

