# isabelle_session_info

session_name: IOA
sources: 2ccf2735d049ec97bc55baebca0514941f41cd3d
uuid: a5d2fbdd-668c-4615-8716-90d740cbf6fe
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
e6cd4264d81aa593c45193fe3238227db198e159


