# isabelle_session_info

session_name: IOA
sources: da6391f14a5f5f8bc669b2e2d53b1421fb8573f0
input_heaps:
d2241105d59f024a1ed91dd402ce7df32b8647fc
03456ed43f3268cce21b507c83b43956efbf99ef
4d600e636f53133daa52d402246cdb57b241a316


