# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 394a1a26f44672c99d24c3e06480b313c5c5cdf2
output_heap: 6a142c0ae87bcf26babc56a9a15ff4a84a368401
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
456984c9153dfc34186c268845db4efe47c49c38


