SymbolicGen_Vostrikova.py