# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 22d686ba06c3f6fa4de34e9920dcbe395a5bb264
output_heap: 53bc81b20c08d1337187f0daf12ee3d690566533
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
37b9c1b54cdaede1e10a0f7f869e3bcfd01696c4


