# isabelle_session_info

session_name: IOA
sources: a56566a9bc9122ee6338bc002a664de453eb9327
input_heaps:
98b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139
e2b5f42e7f98c0b995b852b6808f2b8140132ac5
1f9c217551fdbafdef2caecf4e8e9fb0f3c76766


