# isabelle_session_info

session_name: IOA
sources: 2586b20c2b42e093a603ba6927939a80a4b04cf6
input_heaps:
0368d846b91517e6bfc74b22aa4589a14a64f868
42798967e97a29eaa625d2ed2073e7fc3fcc184c
4f057e3de61fba0fc1a08d19e6aa1c564f7e5920


