# isabelle_session_info

session_name: IOA
sources: 0f70ef2833e1f83d5428ce741ea83953de8033d4
output_heap: 8fcd98e8ea1c140f8ba0284172ba38016b5bb97a
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
81075ddab24800cefd200210e8ba9b3282702a0a


