# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 597792f6fbed700827c052f2553466fdb07eb832
output_heap: bb75acb5eb48fd5ba55827faff9d047e1f1cbd3b
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
c67dcdc5c11e2f7c6ff9235a1567c44a85eaeb0c
32e8629fb58e4882394b9faf05f9d60f4eacb609


