#! /bin/sh
rm -f test/test07/do.M1
rm -f test/test07/do.hex2
rm -f test/test07/proof
exit 0