# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: a1b493f8dede354bc0fc0b93af4f6a89e89db40e
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
e5fdc434a4491cc5ff8b23bd44288b2f01b0ce87


