# isabelle_session_info

session_name: IOA
sources: a26eef402980ca95cfb7f00fad801bd599dfb459
input_heaps:
171f1401f05a7647b01cb7cdef953bd877fc895c
92d83a3f9935544ccc941b486a98a794a1901ee6
1b737957f874f36c13d742e908eb3d3278809d03


