# isabelle_session_info

session_name: Rewriting_Z
sources: 3e749a904f0138c52c36dbffcd9af69e3cb1789a
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
af6e3c01355af824ce7576e5c6cb284b6a720a02


