# isabelle_session_info

session_name: ZF-UNITY
sources: 000aff506995760e97e92b0d866288279dd7fdaf
input_heaps:
4f9adad097b83b48748aa56278725eaba3e0de72
983deeaa1e79267ba3e4026fc02a0504195a182e
ac4c601362cb7270568e2d84232e6112a620439d


