# isabelle_session_info

session_name: Rewriting_Z
sources: af728e37cd0802e220b456f4eca7b7d3074f8fd2
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
f0b0f1b47509754ccc8feab15a0437d3d136cf76


