# isabelle_session_info

session_name: ZF-UNITY
sources: daa0a1e16d71229e5b3a47ec43440dc869d5da97
input_heaps:
3ea58d54a136a485954265ca6aee1aca00e66e9c
d51bf8d50184acafa09efb95ccf19a4c220b2036
bb5c9ae5bcb517002e67547af6357198c9102cfd


