# isabelle_session_info

session_name: IOA
sources: c09dc5d0f11d4678cefbdb336623585caf838b20
uuid: 25e42417-12f0-4def-bc86-9bbbcb530a2f
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
984fd4c37254a363d33e2fa177a96651f919b3b1


