在Python中将s-表达式评估为字符串的程序