# isabelle_session_info

session_name: ZF-UNITY
sources: 97a1736de1690acb612160b73145a7660f3ce48c
uuid: 86376e62-e01e-4c77-90e0-389b91ef657b
input_heaps:
2b8dd55def4b2146b301c20f74820d8ca9117fe5
8a1cddbba6cb33db2255ff96b2cf49256fa1a4fb
7249f83fe4daa8fb323975711dcb537e372b4024


