# isabelle_session_info

session_name: IOA
sources: 75ed9734afb46172c05d444c38c9b5571354c18d
input_heaps:
4f9adad097b83b48748aa56278725eaba3e0de72
4407b64f47d089c8dc6c9340ed5b51e835b9101d
b37cfb344d9694d4a5abbedea4f4fc6e730c80ec


