# isabelle_session_info

session_name: IOA
sources: 85de0f083b41a8db0f9b9cfa2af5bb2128835b75
output_heap: c431ebd364e6717156f55b567dd213da2fe866e3
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
542a4e488b977119020a5c98f66b8e1daf96e42a


