# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
1e1b0ad97d5cc3d93d0159d59849ef3d6d917e79
4a5cb834c7869f689a4f35e057036a5c29fc9dc5


