# isabelle_session_info

session_name: IOA
sources: 59af36fbc65053b761553b5209db506dd9de26aa
input_heaps:
5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c
99522e89eae0e0595207e8a2cb989772370d8b37
5e178518bf16599a34de115cb798d1a1642d2b65


