# isabelle_session_info

session_name: Noninterference_Generic_Unwinding
sources:
22c7c96374cc8e6f12463adcfb46622f468d2e5b
570d467a2b19b2b2c091e27249319509409630cd
c4c254ff95d72c02a4760691cee79537293f6e69
d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
97df4425b1973b7a509f1e1e6fe57b96978b73b8
a92d87c28403a708e6845bbb96393cca86da3ddf


