# isabelle_session_info

session_name: MSO_Examples
sources: d1c551c82068104ec8e9558bfd39e51097315131
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
4e6348e7ef4388233f02cdc04cfc1548c8f0495f


