# isabelle_session_info

session_name: ZF-UNITY
sources: 1d22d2c64998e5f768f88960b8114b06b45700fa
input_heaps:
c4657553ec539ee1cd3dbf9cf40b6479eb0e8be7
e8d451966019c4f214ba11b1c1dcc84cebd9223d
a3b474cc4143cb1eee2496c9e04c6a2025bc7eb5


