# isabelle_session_info

session_name: ZF-UNITY
sources: 1a56fe444e27adf5fcfb6a3a475983b28bd1b41c
input_heaps:
2b6e830346a776cafac292932ffa567cce45fa5e
c7e0da15e779ad838d0ea14c8f4fe443b76d5a33
b6246d0aa68a44015ea55c5e7f5de47542f9f7c8


