# isabelle_session_info

session_name: IOA
sources: f2c3730ccfb70460f8cc4d40e00f9f2d6017f3da
input_heaps:
3afe5ba5e03b152c0824328a6fe5be36e1471c8a
648947ba6d0d0ed793c5794fb9c57262f459d8bf
8ab9416e4e3eaf07607f2c5fba4440e3af9dde8a


