# isabelle_session_info

session_name: IOA
sources: 5c663184c1417565c4471b77c6620848d38ab1d3
input_heaps:
aaae200ef938cd3615617c5d930e11296698b9d7
f5a12fe498bc23cd6f2b33543f9cca387e89ec39
56ef8345bf1592dd65182ce0e5588eabee8f26ca


