# isabelle_session_info

session_name: ZF-UNITY
sources: 97b1681724ef1d0d599527d631c3d3cdbbdfa3c1
input_heaps:
6d0f3cca7cdd2251229b39c6b95fe8d9dd63bff1
299c4448930bff663876da9f1b3443ac2f97d8e5
fed601d42795c9829ef66422ba1b27feb0694097


