# isabelle_session_info

session_name: ConcurrentIMP
sources: d92446f9dfa5fe51829c8791bc674de7f9cc7152
output_heap: dd2c5e36b993f0447ae9a833c28cdcacbfe56315
input_heaps:
26949f38b2066eeb70023a23ab5caf0b930a3a6a
eed6e14c5bd038e1039b7805ff38178942babb11
ae37f56774415b0e51772930a07d34713367be39


