# isabelle_session_info

session_name: IOA
sources: f428e78df1659c7108a5b56cb0951a8048099964
input_heaps:
863a98e2ca0ada59f7d1a7547b41b938956950f0
f61d89c27a3d78dd37ec1f9a26967b1c333aa3dd
ec28e026c2a45fca1a2df0c487fe970c25a18c91


