# isabelle_session_info

session_name: ZF-UNITY
sources: aa9dadce9b6f01d380991e3a1359896e05ea6db8
input_heaps:
c3292d618b9c65e2792e518c1331e1f69ad60c45
afd39d7775724041cd010c1fa56d6e1adda29fc4
6fc0abeed7ad4691d953c080ea9c5c69ed00f047


