# isabelle_session_info

session_name: IOA
sources: 487056d440d8fe84f2715dc11ccaa1d4e3ae99ed
output_heap: 3b865c1e25fd8375509f1ec001a74a314fac717d
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
36d406f97b4549e235f87cc724f1e5272c9cf48d


