# isabelle_session_info

session_name: Rewriting_Z
sources: e295b98e776dce14624f7fa5f9b583b53d81043d
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
120ecd95f139ddacd225130698a10d8fd9dc4b51


