# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 96c20ed67946d8db922006b534ea9cc26c69536f
output_heap: b944eefb0a5a24ad0bf8838bcd28bb579783a7d7
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
eb75621f8ab6648d9914f278cec733eac63cc705
95cfe350fb55f48cb76716bf03fcc98ae4981f5f


