# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: e1d6ee0f9099791b1b38e25686ff75eabf36a63f
output_heap: 8fa240c7cb47e026a0c3509221483bddc69b64b9
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
2a3adf732c6975b02bc3aa2641e6c012ce4c38e9


