# isabelle_session_info

session_name: IOA
sources: 18d6f4d795f14765d9b1e42870427ae7649d3d89
input_heaps:
3ef6c9a0eb470e4693e1ab85852721e78e1c146a
f550ffe99d9ea6d3907e695610a5094009d15b06
13f419da4c8fb9e8c10615a45130702aa513d4be


