clean:
	rm -rf PM run *~ *.vcg *.log .*~
