# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: f48368890b997768504b5749c5dd8735d143e203
output_heap: 9d9d2f6983528de2b43a7930a83695a7a2226f89
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
46a8f0924816882d850a5eb49ff4397da5ed0225


