# isabelle_session_info

session_name: IOA
sources: 7bb93959dd8e93cc906dea9b58422ffc6e98e07d
output_heap: c2982fba00e50d24ade1dee9e4ded00014d00d2d
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
670ca3b0c6f16e44de7227000c0ef63afe050894


