# isabelle_session_info

session_name: IOA
sources: 6eff7270bd76135519772dafd80e0dcde74ff8af
input_heaps:
e6d6fb0bf43d2a1b0c6a5a3670d17677a7f6c45a
d77087a1ce98fcad9061f403d284fcd8d9806c12
23ce7821cbd3ac0a96255b3297048b92cf65959a


