# isabelle_session_info

session_name: IOA
sources: 6d4ce10b4d5b806d02982c81d0962c9153828d6a
input_heaps:
af8291bc72d0c9bbf3c9bf1cd136a1b239d7b784
80b9f459bb77be29d11264f6792db6231dbbd49d
843ec1737946097a29585735feac0a6177b61c16


