# isabelle_session_info

session_name: IOA
sources: a518c682f8c14f4f445029fdb1db31247c4afc54
input_heaps:
d7bbd02684baf956e1423f3454e2d869c3eb5036
9c726adfe089422a375fb3d23090f34ec1598542
e92fbb8060bd3e2cd0a0eed62d59d1f32a48fbc8


