# isabelle_session_info

session_name: ZF-UNITY
sources: f99c2f09fea2346da56d547bd2e5e398ac6052b2
input_heaps:
4c1c895207ab9e683ba172ce2764b942c7875d56
d504b4ed2f2afaa1fca4aa0ad4963e4fb974b4fb
ed4654b211985d68baff5426a7024321f63f58e8


