# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 27d27d4d513f53c89685e816633625e06ec29e49
output_heap: b17efcd42b04453102a7da5b25d8b0081f2a8003
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
8e05d644facbd91e308551b64b8530bb02f1bb60


