# isabelle_session_info

session_name: IOA
sources: 493f93af1a504f7345ca077e568bf9276fdd7bb0
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
40e3ff5e2709bfc3d7f4bb1787213b41177096b7


