# isabelle_session_info

session_name: IOA
sources: 2f8c08459a8b23dc89c7b7472fc6ee5f660d9a3d
output_heap: 2a3fc5b8bb3187e53469ea63f0fc03a12f41cb69
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
73febfacdc2e5701e89aa166d376d181cb4ef042


