# Clean up any debris from past runs

rm -f *.th *.holsig *.thms

# Run the benchmark

$1 < src/run.sml

echo 'Multiplier verified in hol'

rm -f *.th *.holsig *.thms
