# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
output_heap: 0f5d2e7984aac8ccf20fbdc688c45711aa2a4486
sources:
63b9332e0c2b071f8797a7aafcddf15a927e077b
91942ad783652fbce74e1283767ea8691b7f0ae9
bb1fdbd61d5709ba7d3bd7a0f0349a1fcc08593a
c16d293033efaf475dcb0c79783652e46dcc0ee6
c571be726e2b51d61550b43ddefaa284ff8eccdb
fb97a5a27b8324495e15710f48c01e4a6b9acbbf

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e361da2e2d6731984b97df7d825207057255b1f9


