# isabelle_session_info

session_name: ConcurrentIMP
sources: 5633f48e228a5e14f22b40a8aa605c09c12d6657
output_heap: 291e61db5f6536e3fa90c09c3d443143ca13bf74
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
4aa7a5d82beaa9666066f43f2196ca5f5b9604b9


