# isabelle_session_info

session_name: IOA
sources: 43db5f01eee8211b0aa6e3594584ebf92453cf33
input_heaps:
e7baa8814deb267f0ca02ad6b2743dcfee70fead
79507b478ee4fa080e158552e88210395a584d64
961df826c383ff50528188db634debfd6955475e


