# isabelle_session_info

session_name: MSO_Examples
sources: 9e869ba141b486adc0047d2a94a50aff97186081
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
63cd11c72b3f7f00ba8718420e2af708362cfb0c


