# isabelle_session_info

session_name: Rewriting_Z
sources: 3790a1ba99aa0abdbe74bc57f19842e13b713cae
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
9e9b3dfebc2660e45cf0e1e3423e186fd0bae53d


