# isabelle_session_info

session_name: MSO_Examples
sources:
470fbf3dfdc53fa804b2df04acae923c573bbcb8
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
5a2623f5711a78a07d14da18743e6e079cd8b60a


