# isabelle_session_info

session_name: IOA
sources: a612dcd27868295e6bef9cdbdba01031dfe6092e
input_heaps:
c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd
18dc0053a95521338aadd53e3b70138a41dcf298
4b9a1f00d3b117dcc37d34818e79eccfa3daef59


