# isabelle_session_info

session_name: Refine_Monadic
sources: 33f9f3b3a34caf072fab61d8809162d7f525a461
output_heap: 2d9a6f3b3cccde73edaa80476cba4207d9433261
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
ae0c2408a41b9072c0aa6707a38ddff2733e593c


