# isabelle_session_info

session_name: IOA
sources: e5977e175b4a2329b93839c01eef90f681a99c05
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
7d830b0a06e2c95065c8efb606b7e751fe3c79a2


