# isabelle_session_info

session_name: ZF-UNITY
sources: ec233e33f8921dda5371b09847d283573e1c4f0a
input_heaps:
171f1401f05a7647b01cb7cdef953bd877fc895c
213e3b96371a87fda59daf8ca1f3c1a6edd0bfd1
b9041f1ab91f317ffc9d55af4489ed61cdf56b6c


