# isabelle_session_info

session_name: IOA
sources: c2eb17586b837dc753a87ac07c218b6d8c141f65
input_heaps:
2a371cb6b3dbb4eb2d82cd405b999bd0c7e27ba3
38b7c607f9dfbe9734f68444cfe618ac34343313
33b7e46b11042423228c6445b2ba796303e74835


