# isabelle_session_info

session_name: IOA
sources: 004c8b15e66f058ac0dd246b1a498a62623ceff6
input_heaps:
ee1785166a21b9974f34c6db4735c02d08b16eed
ec22ff8536ec4b5c34ea2196ee11827fbde4653e
c0aca801a1cf32054964ce29e6f42d7a7f73c43c


