# isabelle_session_info

session_name: IOA
sources: 3040160ad71ef801faed6b11b80b278bb9bc32a3
input_heaps:
8b0dcf9acd2129acf08a9af17112933d7b840fa4
526dc7c549bdebbc88872b36d0ab533286ebcc3a
86ae2e1a58aaf623dd441669d11ed3647d313d40


