# isabelle_session_info

session_name: IOA
sources: 4f315f4d549b706b4ad255297aeec6cae645e736
input_heaps:
6c51283dd05522a806b28d3dc91f24fbfd1e774e
f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0
3ca689bc5f79e5d6014920bfb88ab572c8902d05


