# isabelle_session_info

session_name: ConcurrentIMP
sources: 8d2501a480c5e6b41decb8835470e83538aee903
output_heap: 4715e0169b47b37fedcb13a8ebb92c88c7ae53bf
input_heaps:
a6e14f3df5685a2cf70838105a1d52553d7e5c21
7e91a6acdbf094f8bcc460b702802d7d8cfd5801
d0a43e003d4fef4f543fc2c6d7b80fe43542f3ae


