# isabelle_session_info

session_name: Noninterference_Generic_Unwinding
sources:
22c7c96374cc8e6f12463adcfb46622f468d2e5b
99caccd6b29036477d61b661e185842f9eb11bce
a2ea087c246dd1399266b38f108e1a4dc5a397ff
d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
69a706b524ca7ef69a6e9e0dd5c8911918eda534
fbc93c64fd0d76718686393f65139982c2a984a9


