# isabelle_session_info

session_name: IOA
sources: 5fcc2a3ce3e46e7c1d22653b8a5f1567ef805f61
input_heaps:
a429cf6bd5a58ac47c7763de2b4ef57e3ddfd2ef
079e9fd5cfdf5f97afbb4f697151ea8bae9eac63
e711c6379b4f8b21e21f9862063337732d4b6eaa


