# isabelle_session_info

session_name: MSO_Examples
sources: 3a0f9436049818be95da2240db82072697cb6656
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
d732b594c0fb1e825716c9dfc789675213c4de1e


