# isabelle_session_info

session_name: MSO_Examples
sources:
1e70705efd04dbbbedb9a4715f0d34c63258e9be
67764ef3aff652c71ef813384afab8f7337e32b8
d60e6f1b237777f66e8532733c0c11e9c656e7a2

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
840c60cc4a636ae5ec8c8b1b8db35b9c5cf0b2ef


