# isabelle_session_info

session_name: IOA
sources: 41ebc42c3fb72f9720754b6270097486e3897566
input_heaps:
f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e
3b15936e361c4485de36e5ecf4f1f2e8f445e71b
8659412da93469b662ed810cbde45ca7ae9af3bc


