# isabelle_session_info

session_name: IOA
sources: 4f315f4d549b706b4ad255297aeec6cae645e736
input_heaps:
9601253344229b35f7145f2143ac6522b5caf531
6ce3cde7225540c5abb96978d43647709608ce58
f18a94867eb487b07795dcc04201b2e47b8d1cbd


