# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 74c7b37fe332d87e4e2a6e42bf6f01ac2673385e
output_heap: bf3b49eb686d3580d3c5362e06ee69992826f7a4
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
24349e75f3e6712785ed4e2234e5917e55a4254c


