# isabelle_session_info

session_name: IOA
sources: 63006ca41674f45664c966da6c5618ed21f20b16
input_heaps:
dd6687a512096fbd242a18d446c4b55d3f2372f6
a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607
c9b7abc8735b59634705ffd8d2fa083681c74620


