# isabelle_session_info

session_name: Rewriting_Z
sources: 4753a0efa7ddc0dcd30cfc08b975a23e9fd07636
input_heaps:
e6f176688a4aaefe6d46dd50c332476ccfc258e7
b1373408ff8a4b672bcc15de0dcd755f3183d38c
962e0d632aea892f352ecd476441439929ef820b


