# isabelle_session_info

session_name: ZF-UNITY
sources: bc0d28e2d603ef7db8a3825c3cde6b10e24aea32
input_heaps:
13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb
a03bff4b7647b8e546dada65c81fd9b6177d7f5c
c96bb9c19032bf06e3d0f44c67855e7e0b0263c2


