# isabelle_session_info

session_name: IOA
sources: d6cede91c1e3ff752252ca4362ac0e0b9b446ffa
input_heaps:
38867e5306c19b07a2c7db9d689e995dd15f38da
f934eca5d985190f9293e0a9f9873f649485e0ce
91542f44f70dc2eb34428b92dc3f08173a04bd93


