# isabelle_session_info

session_name: ZF-UNITY
sources: 91cb2b4191b913a9649f502cbe5274743bcaeeb2
uuid: e9db2e38-b095-4089-90b2-cc0d8366ba01
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d7aa5664344132a428f4b5ee4e6f7543c7840c38
7a51006d85cfaa3220300b274606969f2825a59a


