# isabelle_session_info

session_name: IOA
sources: 36dcfab64e05a112c1274ffb59ab5122aef6c7d5
output_heap: 4cca6e7e490e7e214c3ce2078b018f3941b0104a
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
fe2df9477e547296022e00148fca3781495ca840


