# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: dae6dc77651afb7700776751e27893d5807dc8ef
output_heap: 258dc154063881c7c848ed202fd29a93c4c04939
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
e34b32ff273a21d4d002814ab9053888bac31a93


