# isabelle_session_info

session_name: ZF-UNITY
sources: 03c79400da7f6e913121e3bc2beb74c853013868
input_heaps:
144fbd49de05d756fe9e2e19f640fdb8a712f8dc
874409d9e8634f1f66b3eb7a5647d02d3aca6ec6
27873d8cdd32724e58e159a9fdd93b6deeae740f


