default: output

output:
	time bash gen.sh
	du -sh output

clean:
	rm -rfv output tmp.sh