# isabelle_session_info

session_name: IOA
sources: d3bc99bf0a6d449433d9c0e530f18c0a0ae05200
input_heaps:
7fddbccf8fd3f8ba352491f0609478af9a67de35
30397a6608123bad9ab773becd5f4664d5f8fe91
1ce5013a3dd2ed8123c1b82760d87b522e15c524


