# isabelle_session_info

session_name: IOA
sources: 171cb29ab8cfdd84e04e3d1c280d941f31ad27f4
output_heap: 4d4f6aadaae3a1ed0a45361fa1f732279a534f1d
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
bb1a20c0dc9f2da534e49fce46b84388fb295b4b


