# isabelle_session_info

session_name: IOA
sources: 29ec28cb096c1e03a58e06d14f1eb0d67eed16c4
input_heaps:
214791451a3e4263691afe954bff2e8059b80e96
e3bbbabe140c0d040cec0633cb1518077c7e2174
adafc9d4de538429cfd0183c174328d13c924b8a


