# isabelle_session_info

session_name: ConcurrentIMP
sources: 8d2501a480c5e6b41decb8835470e83538aee903
output_heap: a845e305168836d59984096eba8cb7c3fc52949b
input_heaps:
ecade5de44e3030e8d7fe212b3de427b98a631bc
ba81f535d1ec012a76bc18b581a6396618f8181a
f73689e8365cd2dc200b3c96daa901a13a65d084


