# isabelle_session_info

session_name: IOA
sources: 2692478eac28751d78aacf70e1eaa45a8e2c5f5a
input_heaps:
4a4f54a92f149cb91f86d6ede33321d86d379713
9ad138bceb8124b0333eaaccb8c4fbbc943ef49a
c1e9eb699247e128796bf4cdb6abf26139fec451


