# isabelle_session_info

session_name: ZF-UNITY
sources: 7d527d2c1bd9685d55b99cfe114117a457624585
input_heaps:
cf9f2e81ac8216fb96115b1954a56acdb70fa044
d960b31876ee0bff75427bb3bc5229c750eb4589
7ee5ebf44492ce299b3c55f882714ba810d761e7


