# isabelle_session_info

session_name: Refine_Monadic
sources: 4b7769bb6e093731e61e22590e3c639fcaa27f26
output_heap: 48f8b9ff4ef4e6d4ea5aeb09d9fdde3380a7aad9
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
0080e44b3ecb23e316a4a5a70287ccdee62dbac6


