# isabelle_session_info

session_name: IOA
sources: 0cb1617dd8291e8d62d7bae954226b7b5d36e67b
input_heaps:
d38b8d754a151164ca02bd5247f503c9f7ae7dd3
6f07831a6c18dd7583b5ea90de64066336abb9b1
e3f0708a5b126e6253ff50fa3b7001fd4f78500f


