# isabelle_session_info

session_name: IOA
sources: 950575f2ef4d53746def83271a8b08d12e3b8b99
input_heaps:
f8fbcf1d38d4d23767f8670a17792248e376e814
1a617edacd90b534d2c1ff55baa20ec4380b1664
0457c4bd98fd5ea28ad13a90b1d5423bb739f8bf


