# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 597792f6fbed700827c052f2553466fdb07eb832
output_heap: 6a8f8166605ecf5a07be187db809e4ae9d13bf97
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
433a98537692ef5ce292cebc13564188a96b3265


