# isabelle_session_info

session_name: IOA
sources: 19d60ac3d1a837310bae5c7b942335d12be21e0e
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
9465d4a08683374e9eec1bde4985dd481e9314c0


