# isabelle_session_info

session_name: IOA
sources: 7494d8fbc3d1d959b51e6a2377c058680d94f472
uuid: 919bd82e-71ae-4e44-8a7b-6ef4d79ef96b
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
afd979e2814080f80ff122d0df7769d24bd2e080


