# isabelle_session_info

session_name: ZF-UNITY
sources: 8927a7690d41605b9e0a2a771b3da880afa29479
input_heaps:
2c79d3d54810032b527670dc13f3e7c0919e7d5a
737061e869ab917619b487d0bcbbc9d33c4ed7dc
ddf789c4b2cb688d9183cb939a1c068a3576a29b


