# isabelle_session_info

session_name: ZF-UNITY
sources: a6bc3a57a8441faa93d7df0e8a07149d3fe3d579
input_heaps:
82279e0e1adf83bb56256dc19b76e613b9ff505e
a05298ac506f71d8fa7ce9143235ce82d21d9d0e
c89aafcaed15afdf01180850954339b4be9c2a4e


