encode.c: encodegen.py
	./encodegen.py 953 2115 2115 3171 True > encode.c
	touch -r encodegen.py encode.c