# isabelle_session_info

session_name: ZF-UNITY
sources: df1bff860fa7bd8f2310f878c67dad02071256d1
input_heaps:
5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc
2202e0187a5b9a6147e1ddb5a189cc2ec1d15249
30dd2de2148fdd443e34226ce6bd329a244f5e83


