# isabelle_session_info

session_name: IOA
sources: 9abda34ff04d2abae5cb781d854b3e78eca73da4
input_heaps:
48f89a5452f1468e6ef7e43148f4049bfa854994
104b44d6b335769e6a9f2ccc49d063b910fbd6d8
c92e9d164614d62a8032772f7688dd40a2b0514b


