# isabelle_session_info

session_name: IOA
sources: 8b80b5b2f0192c0a8a99d61ad606e3ab7350672f
input_heaps:
4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0
7cbe2b787552e2377b1e9e19550fddec8825838d
0a02417d041b73ead6339684da985fd5182d7ae2


