# isabelle_session_info

session_name: IOA
sources: 73e3bec11b2d9b37752f98f000ca7f15980a3d25
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
4b0bc822bf3a865491f0a846268fa744d0121b38


