# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 618e531ae147c894e8bff9904e5b20bd5d716bc8
output_heap: 6b199476a4271dfcc74d42b799fde6e7d096fdcb
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
579ea04a61e7a1b878fd0c7c8d5aa8b2b1bbec7a


