# isabelle_session_info

session_name: ZF-UNITY
sources: 376103ea6c7534948554044001efb3acc2c87fdf
uuid: df65592d-952a-4fab-b1d6-3bd50f6d0961
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
a4f4d999f4cec48e9bf4ea9b3d11c1a18d747e8d
5def39f0c9b4697e27d2f4f11e4d946d9f5a3632


