# isabelle_session_info

session_name: IOA
sources: f29d01a281cf4a79c97425dfe2d71b780fcdfe28
input_heaps:
2756139cb33ba5e4bd4cc33e5c755793ad6d44ef
87150c565a142fae9a2e19dc263f6b4daa00c26b
c2ef08897469767795bc3a9dc164574ce38de2f4


