# isabelle_session_info

session_name: Rewriting_Z
sources: cda26ec5d28e55c14a69f90541794bc10b384ab2
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
b66d4c6c51804f6065c9477c11324e0f4594bef8


