# isabelle_session_info

session_name: IOA
sources: 1081533a25b97ab0c2fc619826f92f75791ec28e
input_heaps:
7d19cb1bdc7d0c9728aa6789ebe077e650534e03
04c4981d19dd71a790541c21d8984c7c9f4e9558
9820dc705340c2a9e7b63181cf6551f4b115a7e2


