# isabelle_session_info

session_name: IOA
sources: dfe4c73deb6f93361089fe92cd8dd2c12b8db74b
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
dbc1f17716b66f0a9573155f3b3131e12ba58c2f


