Deleted a terminal session and the Reaction_Diff.sagewkst