# isabelle_session_info

session_name: ConcurrentIMP
sources: 99f97b768e106901e78a30adaa7fc0fd4da33727
output_heap: 2b524dd4daf73760224f8a2b2d2e3ecd799499bb
uuid: c37fc409-8797-4b03-b3b5-b394c6fb2445
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
22a2454184e7a5248523a465a69751a31f342945


