# isabelle_session_info

session_name: IOA
sources: 789b55763680eb4fe4e79c419c510c92464ab08d
input_heaps:
d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd
bedc0de0e02c39d3dd892b5a6a25063c7496d425
3f69be8fc9e3dde08df89abaed6adf2b51c4ffd2


