# isabelle_session_info

session_name: IOA
sources: c6ff07615671858e06ac0397dec1295f0f4118a1
input_heaps:
16fd1087ad908b63e82075696fd8c8c64c13a046
22d2e6a05f68f000eaa28c45ffa4af02862fc08e
3c31f82b8b5de28d8cff9a30ab5dcc0cb6b266b3


