# isabelle_session_info

session_name: IOA
sources: 2fc84c6052d65d8b27f4f0398791d49f3a151e9e
input_heaps:
0595afa400e94bc790f9ce057508b43b15e1e2fe
bea096321b375aa5b5a5d10e9d974b036f7f356c
fba48b0dc134dbdce60e323c9764e63d98dd5214


