#! /bin/sh
rm -f test/test18/math.M1
rm -f test/test18/math.hex2
rm -f test/test18/proof
exit 0