# isabelle_session_info

session_name: IOA
sources: faae04c9d2f6bac03e5fe11532ba5ca50150d719
input_heaps:
dc7b69071f5258c3706df73b3e56839183da893e
84b910a66c3fba5a127103a262ea752a51a43f31
908f6ff99631a4bf013a6fe2950dfc70362f617b


