clean:
	rm validation.lock validation.outlog validation.outbin
