# isabelle_session_info

session_name: ZF-UNITY
sources: 4fd46c4a07bc2e19a6946dc04b98dae3a9cc659c
input_heaps:
c56e6b8d00b62917dc219d0244bddc857daf987a
6bd6fe64e5922c685275b697b03f358dcb26cb31
74d52a162107083355977dfee679e4e494849f2b


