# isabelle_session_info

session_name: ZF-UNITY
sources: 7960dd2936d839592f118a2156ad954ab2ad2ed3
input_heaps:
4bd67b285979e6f43cac76043955b384834a2c80
94499530d72c099d33979a9864767a5a485b1095
7687e568d55bca4975b16c7b1fbf4290c4aedf8e


