# isabelle_session_info

session_name: ZF-UNITY
sources: 5d276ac1728e71479dc9705b8a76c659635bd0d5
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
882ab656fe59eb5d1872bd8dc39551814e7cab5e
20c3eba18734ba0b51492fe7d0e191c30633d8e0


