87
OK {"purged":[{"node_name":"/tmp/Mock.thy","theory_name":"Draft.Mock"}],"retained":[]}
