# isabelle_session_info

session_name: IOA
sources: 1d305115924ba1ba9da60f88474848ef22695747
input_heaps:
8a4269a42aca70396b3fb4cbd3bc25030d219b39
83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d
efe470c1c761c26051c4575d22bd7ceaa21852b8


