# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: a5a7aa9d84e9d8dd17035b1a06cda0d04634d65b
output_heap: 15301dbef5b8e27da43778efda24619ebe6e453b
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
1bde84c83cc6ec99217ae4d8620a00992b7b70b9


