# isabelle_session_info

session_name: IOA
sources: 6375292a03aa91e8e9eb0c0a44d67e6b81c2b61d
input_heaps:
b9edeba120fb42027fe4e7015d7e67e5df110a4f
9f89800180bdcfe5023b0268a9e9c3926bda19cc
d60e80f312694d5c0869b39b5567c33b4be51596


