# isabelle_session_info

session_name: ConcurrentIMP
sources: df735c5507a43351466e191271bf584ccb85d5ae
output_heap: 8dc308de2d9b3edfdff5fe8737aa8d0c97c3db9c
uuid: 3028c80f-a24c-4ea3-9a93-ab5cc802b50d
input_heaps:
e80e18c8b52d6756a3f6acd32213211b5a8b456e
f79cd4de26099ba564b35da188ad163326fc635c
8abcd69af89670c7a37ad87e3cb6e75506b84527


