# isabelle_session_info

session_name: IOA
sources: ea2b912dbd8a187052b333c5e9320f87edae1f29
input_heaps:
e3a1ccee455624b3686c1405fb0ec62cb06ce178
de0a1f2a4957e4b95cf4b9e6c34afe0b61facf97
b2e243650445bafded34635cafc2b2e8dd39d2b6


