# isabelle_session_info

session_name: ConcurrentIMP
sources: 19d430045a5c2430971ee4600a4432adf2095c9a
output_heap: 82e25b7ce4aba6238f2fb7c3cdf85ba8e47246b4
input_heaps:
724c7f3ae9a8a6f3fa9668fe696b47388a7b8b71
cda097f0bf3ea97322e944a342d133a31abdd0f6
f8069d641caca39396cd478c12942ccf37b11545


