# isabelle_session_info

session_name: IOA
sources: 75025da84106de22ae888f71db2ca0c87d7ad24f
input_heaps:
17c25933c8a796b55f879d9c40846151021157f8
aa8285a4d18518a93d994f653c38d76ef76976b0
679cecee2a9391420a0891e7d9824c6b71c0937a


