# isabelle_session_info

session_name: MSO_Examples
sources:
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2
fd7200f0f775563d8c05b06e81b229c8dc7a51d0

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
56b0d80d8ceaf5f864569b4580a232acc327fb0e


