# isabelle_session_info

session_name: IOA
sources: 82c1f97a9b72aaded64eaff41819916a6d52f9d2
input_heaps:
401e1f28f5a50f5c72f2ef48f3f4831c174724f2
dda45cedd3f641951e9c6ce6cf5c77714bf220c2
09b2a4d794317cb1f789c1add8b94d956147531e


