# isabelle_session_info

session_name: IOA
sources: 52d59adf802f29d36c2e20a632213436acb764ee
input_heaps:
f854ea4eb03a9c8a56164c4c9f9900e0cc800a63
2dd6e587916382bba3afcf62799d4ed12fe0eb85
c6b76a3bd598442bc19a9940bd196fc17336bbfa


