# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
d86a31b8148d1e1c26336bec48d4cdcb817c578c
e290bf8315ab77b1987a10b9c769417760be3fbd


