modified strans.py so that the constant symbols used in this file are stored in symbols.py