# isabelle_session_info

session_name: Rewriting_Z
sources: 6550b9b12e9b03c88099a6aabc1482566d4acb64
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
a4062d417cb3cf35526135b79ccdd943a3fa435a


