# isabelle_session_info

session_name: ZF-UNITY
sources: 6dd5bbe7cfef2130e92ab72d3fa8353d23b6214c
input_heaps:
cce1fde58c2854731b4aaf54febb1fcb0069279e
e1e44f0961704caa58774094fd7707f3a6c54579
2fd423aa35f70bf8b160422f6924da6f68502228


