# isabelle_session_info

session_name: IOA
sources: f3054192cf7e08f6f2dcc23cc7d7eb5cb8846ec1
input_heaps:
7b8f755608c0663a4aab9838687dac5bc4543ba9
7bc41950d8bfdb019ce94301e3599edd937f09d2
5ec4feecc3f85bb881de53ef174df11b5f191797


