# isabelle_session_info

session_name: IOA
sources: 0f70ef2833e1f83d5428ce741ea83953de8033d4
output_heap: 89e3e1109019cb0e4621ec6e7aea5987df891820
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
08f16121155242c6676ea67472d405d5f54a3b7b


