# isabelle_session_info

session_name: Refine_Monadic
sources: e3ddd0d59197c2f53c48fce5cbb89c03a541529f
output_heap: 99359660fcfd7d456864036077ae103a7a02154b
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
dc1a3204989ff9452ccb2270fda989c65e6f4a7e


