# isabelle_session_info

session_name: IOA-ex
sources: b1bebd7c560ba9b71bc7927d62a8335d9bfb585f
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
716a86216331055199244637288ec1c6c116ecbb
0614bb82b853f0f2ee5460f56249e582a9c2ebf9


