# isabelle_session_info

session_name: IOA
sources: 9bd5fef4a3b5ad6e6f8f2c968f605b67c8a1da56
input_heaps:
ae1b5b2dbbc392659df742a008f6c67116d9ebfd
3e2f53debea7c11b89b654421975bbc5018e38b4
1c22c71fa4ffd6e06db1a9327aadf5784d683805


