# isabelle_session_info

session_name: ConcurrentIMP
sources: 75ef10c5ea38514183174f3a52dc64b16d42c45b
output_heap: c6a6d951e44ef791c42b54191e8017680a459417
input_heaps:
d2ef5c31b6b3dc4759222e80e0e7908f5583284d
0f37cc81934b398fa192c563f955fea88fb533f5
7a5c040ad41112e0e314ec30df88977ea6b75f23


