# isabelle_session_info

session_name: ZF-UNITY
sources: 6264a53321d23c86f683d53bd5c09739feedbe00
input_heaps:
d7ef5b7f6ca06e336d162c6e47f9e9ad001580ce
e20d08984ffc9ebe50488fb6f52dcbc9f15f91c9
1d5901e6d20852472a85f8637641df80f292517c


