# isabelle_session_info

session_name: IOA
sources: 5ee418054963b4543e6ac2be3708b6728060d2b4
input_heaps:
47e3a0c9c4e00d2e90772688cd89601e0e76e6c5
4089360610a005ee2f39c6e19f04260ef80d19a0
fd3df50f198d928d0cae5a30af48910c4243d4a0


