# isabelle_session_info

session_name: MSO_Examples
sources: 630e7bf2c473282879d1ae6c6a27bd004b00842a
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
dc83ad5fb0f85938425099547d7b4ba52c730335


