# isabelle_session_info

session_name: IOA
sources: e570a29d8f26b08980173ba37ee38fd52ab5b9e3
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
ac5bf2ef4151b11c41d4580209591e1c59256cec


