# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: bc4773b0cfcbadf28375c2698f83cba6c5f3c9e0
output_heap: c349e403c45f969e438b3037e20e075ddb4bcd61
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
c0f8026f081b8c2b061c39c2b10d5929d26ad216


