# isabelle_session_info

session_name: IOA
sources: 9cc9d021d3de1da98046b62c5edf2360ccc32337
input_heaps:
bd250b6fe2745d27d692ec1e5be14c03860b016c
ff7f952b4b87130fc0230e1804ac75502f28965d
fe67287c5b3fb37db075bcb98663654ceaa70c27


