# isabelle_session_info

session_name: IOA
sources: a178b8c033bc03d23e3681dcb729dc0df63fc151
input_heaps:
bc0597c9f59ed66554e4cc7d1e17fb50ede497e8
14be1ab66264ed0a6d82f8a0963231fd6accee69
23898c53211cb25def999ec5f5a40c19532d9bdf


