# isabelle_session_info

session_name: IOA
sources: af0c2e1fb438bed91ebcc3adaea29430ec41fd05
input_heaps:
b491cc52c6cddfbd176c595fe2bbf3ae3351103c
e27039ae01fdef480895181a97cad563e945f770
0e3aa22a3cf5a74a7bf5ffe53f0367a5ba834a65


