# isabelle_session_info

session_name: MSO_Examples
sources:
1e70705efd04dbbbedb9a4715f0d34c63258e9be
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c
90086f060269f0d5cba231a93d0ea04724f4f195


