# isabelle_session_info

session_name: MSO_Examples
sources: 62933ad380b9fd8a62bbe8d86a0ba2a34012b8fb
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
c82aa4cf589a9b9b1dee5eb3287c9434a9c79ba6


