#!/bin/sh
rm -rf Ep/proof
rm -rf Eq/proof
rm -f Ep/primes Ep/hex-* Ep/expand2-* Ep/verify-*
rm -f Eq/primes Eq/hex-* Eq/expand2-* Eq/verify-*
rm *.sage.py