# isabelle_session_info

session_name: IOA
sources: d6c5ea1efd7ed9fdda1476591f299efcc23f3e9d
input_heaps:
be5df6ecc97831ab26f150db4d5e1c990159d9d3
7843f235e3da3d82ada445f65814c4ce4af12915
eac093e51bf5f626b5515c634b0ae47a4b1c4f49


