# isabelle_session_info

session_name: Bounded_Deducibility_Security
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9
sources:
1376496d85e2590a0550a1eb23b7f113459afc83
65b09f1bf99494bf497397a3e2a7797044903042
7d74d2dba55f7ee3f2fa00631a30d95026d60047
8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f
8cc8ce5980ad6db76c8cd717f74f3569565fc59f
cff258547d6a6ba9d6199a6414c0991c1bf1a7cb
dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e
f12186e8516b78ce6048748647b8cd8788651f79


