# isabelle_session_info

session_name: ZF-UNITY
sources: 047065d369f5b28e46b44e69306f8e6e5bae3e4a
input_heaps:
e1147b3c6964ee34a73b496090d81315eabf9592
37d0b0eb75cfec153b7fedf6886931b2ac855d7a
23ae2ac329ac8827a246f7f3dc5e1045f3853274


