# isabelle_session_info

session_name: MSO_Examples
sources: a07cc87d9301ae46392cbba515c51a61b909ee50
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
37f530d36f947671f521bd330606fbd81d963c3d


