# isabelle_session_info

session_name: IOA-ex
sources: b1bebd7c560ba9b71bc7927d62a8335d9bfb585f
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
2ea1f5e34248faf457e26c7524748961279dcc2c
7641297e68f20ed4ed195ee317a7661f39f483ba


