# isabelle_session_info

session_name: IOA
sources: 011084c1171bfa609e2b7864224a5c148f0a5b3d
input_heaps:
1a50fa50a5733030b299d3e325bb45ea88e85f95
fda138bd8b20e81f97b01273ebb208754d9551c0
0cee8b0371b26d90e0f013debab3075f2b5cf40c


