# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 184ecf136850d2b9906fb3c59f65d880c2eba8d0
output_heap: 244980ef2e61c96ab10fa37c65b60907645b6978
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
e6131f95bb682578e1b266ba2e5736b2ae2ebabe


