# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 9f70af2f0458d11d68ba0a609887141306aa64af
output_heap: 9d66dffe6931218766dadce7b523605920aea6a2
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
d865899ac4d022eba60523c5635c47e1980b37d7


