# isabelle_session_info

session_name: Refine_Monadic
sources: 1426459e0d1b6a183ebbc6018101d581c7a100d2
output_heap: 31a3753b20b0f5487f78ecaf6a279c6859063265
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
e41e34dd2653d34a26d51a619d5ebfce818a4545


