# isabelle_session_info

session_name: IOA-ex
sources: b1bebd7c560ba9b71bc7927d62a8335d9bfb585f
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
b019279a3daae570320d38a60badc595e098c1d0
b6ada39d4caa1c1a5292311af613fc707c0efcdb


