# isabelle_session_info

session_name: IOA
sources: 38b02c13af488b9752c894ff7ca15286f2acdf09
input_heaps:
ac8f8db169a1aed7390bac47335c1f3fb99f78e5
b6cce1e1d33c0d17d7395f24a436b50911aaac97
d18440dc64247dcfebcad725ebbf3690301adbde


