# isabelle_session_info

session_name: IOA
sources: e48315265101d16d2874424e86fc6e6fda5f261c
input_heaps:
990d6f065907fe87c3f0b304ff4314e6b13119df
db154f67af988a0c0df6b54930de927964ed1988
365dd9ea9f8d3462a56cb37ea7cba5badaf18ff2


