# isabelle_session_info

session_name: IOA
sources: 367dac664d34cc64955d237d9144178ec2e00f0a
input_heaps:
c2de97967f5bbe0778dca40cd734a9a6aa349fd1
b1e5d8a55545e1f9b2699b64c019a7b1e2e2ee21
47ae7b9732529d0e074d1bbf7f7b4fce267d4a78


