# isabelle_session_info

session_name: ZF-UNITY
sources: 25546d77655e85e0fafdd26448c75155a01495e9
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
fc04fce90d0314b03c4400364a8ce5d436fc985a
897c488e59eac23df9ffc43ce967c6c72aac1cf7


