Create synthesis.py