# isabelle_session_info

session_name: Rewriting_Z
sources: bd0760e96664796da62caafa42f044f98fa26057
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
1cc25a2f77a502b37db5c255058515ea4c533e8e


