rm *.holsig *.thms
