# isabelle_session_info

session_name: ZF-UNITY
sources: 97b1681724ef1d0d599527d631c3d3cdbbdfa3c1
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
3317b5c954d90c97e557a79e74e5e6a96fa590fc
64c7bef2c75e40acdfc165b87ef28108d92a9fdb


