# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: dac2f70a2abb101e5d0ce608166f394ae7e889c5
output_heap: 9a5cebc709f443c1b02c96d5b44d867976aa8ada
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
89452bf635ebb707b51cc9f8c0b7a0215bb546fc


