# isabelle_session_info

session_name: IOA
sources: 732705a8ee49c8b6bec7be0939045bcb528f83f4
input_heaps:
37103d488c27efa28e62851c2ab720a8f6785f98
aa62ce07a788d1f7f0daf47f49f5216de134e799
fba465fb2ab54727f01a51a7ae4509b5c0e2ec6f


