# isabelle_session_info

session_name: ConcurrentIMP
sources: d92446f9dfa5fe51829c8791bc674de7f9cc7152
output_heap: d68c113f594e2c381f796a23bbc27746602cd41f
input_heaps:
ddac2b5ec5b65da1b8b70ee1f826bc68a3a90672
30153c358506b8c6cf9900427066fbc55c1a434e
cb57537270ea0454091f0c0dc42147960d290bd8


