# isabelle_session_info

session_name: IOA-ABP
sources: 1f2546d39b68b18337200fe6e00d6ea5488a484d
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
9bd13f880c3a5944e8696ec31889198ce727d269
47f8fea1ff98e42e5ac6b4551991bf9cab49be43


