# isabelle_session_info

session_name: MSO_Examples
sources: 47597d9c4538855e049e479475bb53c9b0fa6354
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
c2aa8ae81687d3577e68d06ed1e865033c620b91


