# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: d7116bf5434755a6fc715d7e786b6d3d16fa69c8
output_heap: bf98f2fc441d928a937cb1857803c68e3a7e234c
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
209f86cfef7ed532d291fe4142c773ea0e79cc88


