# isabelle_session_info

session_name: IOA
sources: 004c8b15e66f058ac0dd246b1a498a62623ceff6
input_heaps:
7550c920b2cc9944a8020bbe3af6b1258b7cd4a3
0dc49aec3e6c5b3bfd95bfc9315d5a2b5d8f359f
a41f9f4b621a17b64652b93692f35ec72d762fb3


