# isabelle_session_info

session_name: IOA
sources: b097bf2c3f33284d5e00c76cfbe93eaad82a9274
input_heaps:
8efa791dabbe9fabbba3e8078d5274688c6622fd
537220e845e462fe9dd7dc166f6d3cf6145faab2
5024d998b2f75c76fc788f94c4dcc28f8693a89a


