# isabelle_session_info

session_name: IOA
sources: f5815dec367b697a90bc7302c8e8a49c386c0ded
input_heaps:
9fc0231edcbcd095545a9bd9f3a47031d632be92
e439953f9939172fd7e2e9138f9265c34414095e
a8bfd86e87a5882e4ddcf95f598def6bcc7960fe


