# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources:
623f464a1885b937d61b5d7e7137decb83de90eb
625c9b5de81f88f8a6c956e25ab307d801f15121
64dcc044475b6dc94e7778cf67c02785b0bf8362
d59aabde97feb8b443de5c36e73b352d04a57228

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
4e1544ae781bbc2e99fd2f47ecf1dfe95b1a629f


