# isabelle_session_info

session_name: Noninterference_Generic_Unwinding
sources:
22c7c96374cc8e6f12463adcfb46622f468d2e5b
99caccd6b29036477d61b661e185842f9eb11bce
a2ea087c246dd1399266b38f108e1a4dc5a397ff
d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
b5bade8a5161e9dd65ad771470154ac1e9545437
573c84006509704374adaada7fd64f539673340b


