test:
	./spanner-generator.py 3 2 1
