# isabelle_session_info

session_name: IOA
sources: 6375292a03aa91e8e9eb0c0a44d67e6b81c2b61d
input_heaps:
4956d3a123f88ba684168ae0f47e8c5c96d9a8f0
9f33b4191f60ee90bd8923d099bfa6a3e9a7d12e
0f3f9cef1c9348c48fb897be8939831b4d2f26d9


