# isabelle_session_info

session_name: IOA
sources: 1c2a0869eef69fc5f0b2adb287bbbbea3fc054ca
input_heaps:
4062aa515595763ef834346739d8a019bcbe0e32
36830ebd27e0fcc54eae0ad103c1e5cf7358bd5d
2cbb6a2eb7354550d02c6bf5ac0debed73b79a5f


