# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 9b94953164025e9135acc9f61937e918c4de5193
output_heap: dd5ab298ac0ce25464c5b6a565159977c116599e
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
b59b04060793a2c59a7b902bd09cb04012dd5fee


