# isabelle_session_info

session_name: IOA
sources: 36ac4b4ed6e62424dc90fb0f0c2dd86fc882f594
input_heaps:
a69e01c96a12bd53668892d3b016657d478dd6de
3c734878b591af1befe4e6e92cfa619b5f2484ec
4949cc7f1bc92d7437231313ac2ee1201b5b72a7


