# isabelle_session_info

session_name: IOA
sources: 0487ebd58eda7acc0760c4e728e6d164b9280d3e
input_heaps:
f9ffe87081e62dc90c1b84dded3796bf70f05c5b
21f89be667256b1351681022a3ea53b9f18d7259
cecc3785849d5f9b5899e9dbe6df1febee11275b


