# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: f1e5b33663b4a3db8d4f1d9b510cc3390bf2d282
output_heap: bdcd07a6876c1dafbf8a896e2d37515e9ef44066
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
1116b1c2637a16ec374358e5f6becdecb4b7fa8c


