# isabelle_session_info

session_name: IOA
sources: ac4e52bfe65d2cc0fdedf8e0ff2a2060b8b1dd77
input_heaps:
f7ad79d6f9e93f2b021491a660edb894fe30c4c7
88df4aeb5c420811fbac53319f632128b160127d
e13774b27e746a7c7f803abb0256b15b2306f55b


