# isabelle_session_info

session_name: Refine_Monadic
sources: 1426459e0d1b6a183ebbc6018101d581c7a100d2
output_heap: 8ac046f77f5f0b646672f561848283ae23a12b8f
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
6ca7c2eccaa6d6c3222b369a56320daf10f59805


