# isabelle_session_info

session_name: IOA
sources: 6e76ba6415cc02ec7b27ab979d0ba88c0d519d65
input_heaps:
5a4c3aee534d8fc2c29daf82c88ad11d6baf9594
ac47f7a6e2098560ab3bbeb5be667268dcbd86d0
843cc9cdb1353236d7c5098053996d41934ca452


