# isabelle_session_info

session_name: IOA
sources: c62977066bbc294a406a11d1f89e4b786f2bf242
input_heaps:
1e03383fe82b4a32cb7659d421d19498ed052b67
f4d7d4b4a6dce3a1f3342d41a8efd10119d13ae1
b877d7290b77e342b97629b45742dc56e205317e


