# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 55124dc1ce2801ff944b7c8846f9527449dbfff5
output_heap: e9573ac1527d0e5432d3fe479e635a2aae26e6bf
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
66c2a179e5a3474ebe050e5ec06c20edc1a6ecbc


