# isabelle_session_info

session_name: MSO_Examples
sources: a162c3fa3bcae26850c8f91e60d103dc2bbc6264
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
4007266526b2b2a78975d1e83088cb8720fa608d


