# isabelle_session_info

session_name: Rewriting_Z
sources: 447cb9ba4419618b0897ebdcf7ee37cd7bf27630
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
239d68f8f1b1c4c379f8283cad59a64c2c4fe691


