# isabelle_session_info

session_name: IOA
sources: cc69f006b6655149eade455afd6aae25d0192ea4
input_heaps:
cf9f2e81ac8216fb96115b1954a56acdb70fa044
b84ef1fe993781e8ee07abc4373f149f194fe8bf
91edb912940fb29801c2b4c556be5219e5136473


