# isabelle_session_info

session_name: IOA
sources: f2c3730ccfb70460f8cc4d40e00f9f2d6017f3da
input_heaps:
32b9ec70ea049b767adaf0015bd3835a109dabc5
bc84ff3ffc01031739db0ee1618c26d14f5d0c65
a2a269c7a27850eda9df1a2d18a70b01c55b0aa0


