# isabelle_session_info

session_name: IOA
sources: 19bee6c69e02cdfd45a0f2f04f6b06b9460963ca
input_heaps:
f46bcf61c269616a1bc9cb60b8eafeb409f933c6
84c199168b6eb1cc2abc672e3cc17a57ada0e133
2a792d15db3be1fcf3a29d68ec14c6387c73f900


