litridl/symbolic-evaluations archive