# isabelle_session_info

session_name: ZF-UNITY
sources: b22e614c9b8837afadae5513ef574780d608d824
input_heaps:
4e82e6c0bef1be82a2492fb5f5f1be25a3feffbc
32afeceb3ce61831afa53d8d54e6faade7e3b81d
051b10e8093dcc43ccb33b8523bb7c7504a919f8


