# isabelle_session_info

session_name: IOA
sources: 279f37a6f71b08ee71a0e3f3d0826ca46b340621
uuid: 289a1cb0-97bb-4f92-9216-6eab1da93180
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
17b3b2ecb4648c0e8427f737535442fe9a36e564


