# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
e8537c47e923e47de729f9e0567accc61123d7db
1d631a68ae1435b59eacd411c3c6bf88c57f47d0
60b8d70e04f7697654e6e14ddc022c4969975e8b


