python WriteSharedFormula.py