# isabelle_session_info

session_name: IOA
sources: 7bb93959dd8e93cc906dea9b58422ffc6e98e07d
output_heap: 4e25d7d3b7371baffcaf423110ee5246be08a7fd
input_heaps:
1770e7d42e284900cf7be1fa0dd3341bffb6e5a0
3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46
bb8c845809374f16455e9b526842d0646b7b56d9


