# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 1b35c2f0b8c241a75f1c011629923f496742f2b6
output_heap: e396e817e03422d4e852a2540a40ad49574d9c02
input_heaps:
1795f3a7abed9fc1d9546e3552e224994a90ba84
ec123dce693829f016aa17c5552e2b7e72eead89
8053912abf53e4379115f876ba73a026f9a0cfee


