# isabelle_session_info

session_name: MSO_Examples
sources: 594663cc3c04655f1f4ada302c2f9806d2ab1efb
input_heaps:
33a9e32fd4df08287c7662d0ca60cf5ddac28356
4b353e22de97a71725acd840fcd08644cc4d74f4
d71f12f02b1afd9d20fb75ca376027cad26cb0df


