# isabelle_session_info

session_name: ZF-UNITY
sources: 1ec7f0c409c146c18d075836984fdf5ebe3ce22b
uuid: b90d92d7-5679-4996-8386-4604b548161f
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
54ff786e407e2407647f025b0e08e43ee67d5cb3
125b8996694a58144215c12f23071e46d70f5908


