Rename generate_9.py to generate_12.py