# isabelle_session_info

session_name: IOA
sources: c7b9e6336b4a51368de43bd860a5478b61d01a9e
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
6e5e6c35a2a82564b0c5ff6589dd6107e44da41f


