# isabelle_session_info

session_name: IOA
sources: 6ee6a122154f268e03369009ee9417e212fbdaee
input_heaps:
c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb
4a475efb7075f8100be1664cda4b4634574013fa
5e51f88233b9c371311b76c901d7f755ad4d41db


