# isabelle_session_info

session_name: Refine_Monadic
sources: 4d3f2495bac800083d19b6279ff754fc7e01cf88
output_heap: 6b5615b9277f8ef468b4387c0b5e528319439662
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
89410226957fcdb39523cc3f1c5d64466f785ac8


