# isabelle_session_info

session_name: MSO_Examples
sources: 594663cc3c04655f1f4ada302c2f9806d2ab1efb
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
ec3495f58364ce790992d600746dc79a099d45aa


