# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: aea66b08e02940b986a9bd7ab41e97ce78216f87
output_heap: 1c4ca95ffac463430daeab33ee1b940d72e88d9c
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
074a814f5b7cbc8ed6fa70deab1393d070dc4a91


