# isabelle_session_info

session_name: IOA
sources: 39b87ddab8ea074cd9ac467130b280abd9fb6839
input_heaps:
f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45
8699c09d5dc37a7f84bb6047bb44724257d556ee
4616e281485563d4ba4d6e2411e6d76169530b8f


