gen:
	go run mathgen/mathgen.go > math.go