# isabelle_session_info

session_name: IOA
sources: 88b1ded5a688fa1f00c15f44830c4bddbbbf2cbb
input_heaps:
cc1b50b527d94b950d2d160697342c63f522975a
64e02d979687fadf0152a8264141e10032a6402e
16fb6482509d66808b3162695d001fd49fd78963


