# isabelle_session_info

session_name: ConcurrentIMP
sources: 75ef10c5ea38514183174f3a52dc64b16d42c45b
output_heap: c14b6a0146da1fb3a3cef86a45c6939f60c279df
input_heaps:
bbb5b609aa28db9cebc78e0c10b29428b5e676bd
28100a2ea34f8e56f0719ea87d7ea43a4de19490
f3b4214f6ce5af9fd8fe903fed759705dfc75f1c


