# isabelle_session_info

session_name: ConcurrentIMP
sources: 8cee71edd5e3a13948c455e8d9caca5cd3f83aa4
output_heap: 08bc7f7a53e7b8d75650f49bb8a243e978b0399e
input_heaps:
8e317804cc1fbab9a0e9f003ee80317e5adb94d4
0634c582985b1be92fc708eb5be83667c49da2d8
2d5ad6d76ee1146dc43b834601fb9826eedc8ae5


