encode.c: encodegen.py
	./encodegen.py {P} {R} {R} {Q12} True True > encode.c
	touch -r encodegen.py encode.c