# isabelle_session_info

session_name: IOA
sources: df9058a547886e88e039bca8b9096c2f723c6df4
input_heaps:
db692ddae81c9b00ee09c2ccbd0bf253d1829313
a61ae159d682d08a86748e488b5545fc9c92026d
ff8fe8a13855dd2a89b8228620a00b6e9a7bc0a1


