# isabelle_session_info

session_name: IOA
sources: d3bc99bf0a6d449433d9c0e530f18c0a0ae05200
input_heaps:
31834e38ec0b0e76e422d9e5943a358a1d5bea79
5dc3e58cfb340e0489c37782ea3c036116b08098
b46ab462f56fd70959964c99ea4298260696a847


