# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 96c20ed67946d8db922006b534ea9cc26c69536f
output_heap: 594a9d1944f30f2021f146982d43fe0018171757
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
cc1d69336057fd7b919482410225e0d6266fd984


