# isabelle_session_info

session_name: Rewriting_Z
sources: 78e5b9888825b81e773b4157792e03cecfa03e35
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
e3db990d2d140efde28d2c26852485b173f49559


