# isabelle_session_info

session_name: Refine_Monadic
sources: 0a7a3513aa495b48dd7cf659d557f2c7b1579e25
output_heap: 3387d7619638332a8eee98a8dc674b1a8a62c852
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
096d0994a23a585bab5d08d06d020c53bd18ff5e


