# isabelle_session_info

session_name: MSO_Examples
sources:
1e70705efd04dbbbedb9a4715f0d34c63258e9be
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
6a3b5f35a47c619c2090fbc84ef59d242c963bdb
f013446ba76027b3286f5b8e02f8911162859882
5c1bd49941eede29897e57b73f56938f59969ca6


