# isabelle_session_info

session_name: IOA
sources: a9e4ca49723bf430d3fa47872aa9245085a772fe
input_heaps:
0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d
ab276ec74ce8749c4ecb0108f5e05afd9c485e27
fd2ad27e4e3e8b9c3d7de3d48dfc678b9d15a44a


