# isabelle_session_info

session_name: Rewriting_Z
sources: ae4e735cd892f74dd19cbc764f237867c6fa6bd7
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
f64a8d7ea4782a1860241de0d8adec73d937a57f


