# isabelle_session_info

session_name: MSO_Examples
sources:
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2
fd7200f0f775563d8c05b06e81b229c8dc7a51d0

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107
2a10865d6247a0e016aeaca2163479f318c5fd48


