# isabelle_session_info

session_name: IOA
sources: 96719687235e9d00c670a015e549128a4a571837
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
4dfeb4e7e4e7fac833b12d0d998a1d16aa86ea99


