# isabelle_session_info

session_name: IOA
sources: bc7f88e42c17d753a56e8b56c17cac179d10b5a6
input_heaps:
c36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff
91857ad64a000cacbd194f827207b2944b8ba327
f2306c9363d760eb2edd9fef2098b1c6b5620f4e


