# isabelle_session_info

session_name: IOA
sources: 8caab89b841d9255460ab57a3e38c5a61523633b
input_heaps:
4ffcfcdc02ef3f1b5abbf97520a085cc79a504db
f6383c732bf7a95b23155f974528a61462f86e5a
99c3ca8415cc35b14f6c5f0cf439fb2226899b1d


