# isabelle_session_info

session_name: IOA
sources: a9b1f9922d1083ab728416abefc7a860ab22b12d
input_heaps:
ff9ec311f2965b5256157dc51e673f62af8e5ca5
10a38f173e27565186798ec789d35427da220c73
717b3e86a632789fe80ea238e031708a4a7baddb


