# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 394a1a26f44672c99d24c3e06480b313c5c5cdf2
output_heap: 6e293374cf4bdf6bc0e4d47c83a9db566c6cb166
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
8f1bd51e07a6fd132a968ec49847c0c074b23c32


