# isabelle_session_info

session_name: Noninterference_Generic_Unwinding
sources:
22c7c96374cc8e6f12463adcfb46622f468d2e5b
8bb16f177e52a889e43be382dd779fa000b50122
d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac
ec983e57492b923418cb7de8365a9d7ba93a67fe

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e361da2e2d6731984b97df7d825207057255b1f9
0f5d2e7984aac8ccf20fbdc688c45711aa2a4486


