# isabelle_session_info

session_name: MSO_Examples
sources:
003c97653bb63a019e31dc022902b5bf00ecf39f
1e70705efd04dbbbedb9a4715f0d34c63258e9be
b4b2bd32a3bc68ee51c3252f530321baa73bf199

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
4375ae378742e219918ff552985fb03479e92d93


