# isabelle_session_info

session_name: MSO_Examples
sources: 8f7646bfb7a1c199351649e8977857c22b427ed2
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
cbddf962a11f113057e54cf50d1c72e48f0c5e5c


