# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: b8c93765adf0f8b35022f2085a423b227283427d
output_heap: 6a5a33350dc9f7febf8c0466d30017b1fa93c3e3
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
79ebf8f686c808d1c5eeee7f849976d275d36da6


