# isabelle_session_info

session_name: MSO_Examples
sources:
1e70705efd04dbbbedb9a4715f0d34c63258e9be
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
6705bb579a9c2f9c7d78f6d6f5b7c3d324f29502


