# isabelle_session_info

session_name: ZF-UNITY
sources: 513139ea3204b777ea48b128d1358e2c382859e2
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
10bee93f67da06f73132af11b16ec957bab8ce58
7710a1bf5f1a542a85f35b535ba8f6a478ac248a


