# isabelle_session_info

session_name: IOA
sources: 5cc96150354c4c91497399092cf604928f67572c
input_heaps:
ba25d24cc2e874a8354e87d4e48e9c15efe344a0
e9bd04c0bbf88566c8b48c915dcdb7deced6c947
1e2bc0629e3623c1562e2ea990d76bbecc081b5a


