# isabelle_session_info

session_name: ZF-UNITY
sources: 2e359b2fc975559ddac6efb8063b42da1e70dfcc
input_heaps:
d9de4481ef2a3da825e23b700f29156a5eff2e35
1af41ca223939fdfafd55fb56b6e3406c7279d38
f35423f575daf08b2f2e9fbc9c68bfa0d7866dbe


