# isabelle_session_info

session_name: IOA
sources: 1c2a0869eef69fc5f0b2adb287bbbbea3fc054ca
input_heaps:
cce1fde58c2854731b4aaf54febb1fcb0069279e
d9560db8ba67199a6d700b6286ca3ea8de7b8982
e7870c05fcba71b44bf945f6cf4cd1d559bede03


