# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: dbd15e495f6864b76a52e6645d5243de4e98f0fe
output_heap: 2e93ce3a32f006cc85930473295f9b0887ef65af
input_heaps:
00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
fea78777253c39e09136eca835930b7e32a162e5


