# isabelle_session_info

session_name: MSO_Examples
sources: 71ebc506d45cfe1c658fc5bc1af488208668d4e6
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
a9498d38879b65a3262254a99df4b4161b71c9dc


