# isabelle_session_info

session_name: IOA
sources: f95f927cac9b86c96d8312a739f33a6b9b078ce5
uuid: 53aa862a-70a9-4473-8b08-b9bb2f16e02c
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
92f498ab73f62b5060918b786887343681c2ca7f


