# isabelle_session_info

session_name: IOA
sources: 43721a82e09e4b4f527deb7ffd5d668ff7ad5203
input_heaps:
94b742004074737de01fcf0ea8cfb966f83a9f8b
4719eee2abf4f7838423a7ecc32b28f85f9d0f8b
cd70dff2bbab63be5a22626b88a06e5c2fc49b70


