# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: edfc9aec76c9d10d089b66d061daf11d1bf2782f
output_heap: ba089e4247becc032fd1cd8fbe2c6cd6b63c02ca
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
abfddeaf05ca8980936f611e8449a2c015c096ac


