# isabelle_session_info

session_name: Rewriting_Z
sources: 377378de5c8748206a204c413d459ce1a44d9e98
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
3284af57f7e488b3336d0718487d1d5116991351


