# isabelle_session_info

session_name: MSO_Examples
sources:
003c97653bb63a019e31dc022902b5bf00ecf39f
1e70705efd04dbbbedb9a4715f0d34c63258e9be
b4b2bd32a3bc68ee51c3252f530321baa73bf199

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
bcd1e5c6293a4270920e6e5ff122d2c36dfe5d7a


