# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: adcac8844a5b23274de5f9c17c91d44a093c9cb9
output_heap: ef77f25a1dc3c5a78a6d2e3b0a4e501c4425a94c
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
5794441f6c2e370c1071308aa318abf8091aa86e


