# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: f48368890b997768504b5749c5dd8735d143e203
output_heap: ff9405d2bc02b6d87208ea23db776cdbaf4a6726
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
9b06aeab0b3b62c4466277eeac6d8341177566eb


