# isabelle_session_info

session_name: IOA
sources: 8339854c61e9757a472c6a72009ef8b90e324203
input_heaps:
fa50210ddf8b9b3fedb0ce42921cb5ad72fecc9a
cb2feb7ec86e7bb71a050fa9d8083329b2967ec4
deb8fa872e792779f7e4a2994bcb5d1489b6d20e


