# isabelle_session_info

session_name: ConcurrentIMP
sources: ea13c1f4b10b8bf3dab8942902f6b3e45042626b
output_heap: dec8ba2cfbf20ed3d0cdfd50ded0ffba72b41900
input_heaps:
fb84d628448b9950118429ddd1544ba3ddd4df21
0698e6c47efe4fb1b477feddf75ff7ff44906ece
e7603ed98fd1ebca30ec71a7898895ae39c5b977


