# isabelle_session_info

session_name: ZF-UNITY
sources: a78ad809f34be0a82d2f1f35f233d676621ed0cb
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
9a433bb1ef593a0dae9e97d73c575b937b6690bc
3e47a3c0d4896dd2cf4c8dfdbff11368fd829fee


