# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 2db326c889c88d9d286bfda5089bee5ed5f7f6d7
output_heap: 69481b9a3256f2467683d066cfbb5de8cdb21836
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
836b63ae5134e79685456f695826e3dcd0ad89b5


