# isabelle_session_info

session_name: MSO_Examples
sources: f320b1739e4f701542f928ff80a12b72f0b06b96
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
a2740481256889074b4d84472f58eb9500fb8a39


