# isabelle_session_info

session_name: IOA
sources: a65a26b4c764721267cef301122637563907b98f
input_heaps:
334e417d7f04d08dd2e235659180091543a44765
45912edf3b76cef52f4da1af88cb975398527801
f3c60eceb7b584b65a4b58ed955bd3aef90a6d0b


