# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 67c50cdf11cd871be661180282fb09944e6ded6f
output_heap: fd5513b3ef47c89f5842a57033219f8bbae0d357
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
dd820facb07e73b2c93e51e4d0b3041a08b59568
e73f838cb5b1326dc4a3251da150355fa4a49c10


