# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: b3add882209eb758317f810cf8b610d34e09ca60
output_heap: 5091f72b23bcdf2ea4305ab757f2470858df711d
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
3086036053518b79d6d58685dc509527ba519b43


