# isabelle_session_info

session_name: IOA
sources: a56566a9bc9122ee6338bc002a664de453eb9327
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
14ea5887dee813b8a057e81d94b78da7e3e60bc2


