# isabelle_session_info

session_name: IOA
sources: 89e2bdbf4e8f786cda33434bfc772f57878023cb
input_heaps:
a11b8ef9095dc18af944c405902a78d4207477ae
5ec3732189714985ad51626bd5423359bc41965e
f5e959cea84623d83157885f8179bdf314b113eb


