# isabelle_session_info

session_name: Noninterference_Inductive_Unwinding
input_heaps: 238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228
sources:
00634703e53972e43bdf7c6011dd4de60d00fa8d
0f3f2c0ca7cea32410f78f2c094d9b6d62d9fd53
4e684f2e08e3f6df8919031dd3f14765925e7821
63b9332e0c2b071f8797a7aafcddf15a927e077b
a6b094d614f8a6b947a18a52dcf98ae62ce29df3
c16d293033efaf475dcb0c79783652e46dcc0ee6
c571be726e2b51d61550b43ddefaa284ff8eccdb
ef1da747fe28e872563b4d4dd6ad351a77b9924a


