# isabelle_session_info

session_name: IOA
sources: 6eff7270bd76135519772dafd80e0dcde74ff8af
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676
afa28a7480041174d30c04b3c445272ed1254945


