# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
output_heap: 9a003b92e94551284e10c9a111c368b887fa103a
sources:
63b9332e0c2b071f8797a7aafcddf15a927e077b
91942ad783652fbce74e1283767ea8691b7f0ae9
bb1fdbd61d5709ba7d3bd7a0f0349a1fcc08593a
c16d293033efaf475dcb0c79783652e46dcc0ee6
c571be726e2b51d61550b43ddefaa284ff8eccdb
fb97a5a27b8324495e15710f48c01e4a6b9acbbf

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
3296737b6ab14dfb8053e1b4a6b3c5ab174d8ccb


