# isabelle_session_info

session_name: MSO_Examples
sources:
1e70705efd04dbbbedb9a4715f0d34c63258e9be
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
6bb62a52962b23585ba9b96cb06ae92d0d60f214


