# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 7a4447f92f905e19700f80a6bcf5d5f4693fdfa9
output_heap: 45a0811a23bc775f881e9ae9cb4136ef504ea06b
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
73fc7757b5c8f0a7f4f07abfdec3c5c506d46aa8


