# isabelle_session_info

session_name: IOA
sources: e36e783912d08c69665a1576d9aa7e58e17cdf7d
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
e897a6acbe8eeca22e7f8589619e9ce1d0f45992


