Update SymbolicOutput.txt