# isabelle_session_info

session_name: IOA
sources: 63801b061a84a95978d35eeeac73509f43a003da
input_heaps:
65b7e02b1e5df641da48590b928c3fa43efd05fa
285f8199b18e375e140801c74b6101ca4dabdcb4
5ef9ee9533f8fdb8133bdb72668f306dc316b77b


