# isabelle_session_info

session_name: IOA
sources: 9abda34ff04d2abae5cb781d854b3e78eca73da4
input_heaps:
273806c095935afc4dbdd0f3af3457e74b254003
78173b8cac9a501f394ea1a1e14f166435a9dce2
69738c84b22fafa1745332b712ce2c76a7c6a458


