# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources:
625c9b5de81f88f8a6c956e25ab307d801f15121
64dcc044475b6dc94e7778cf67c02785b0bf8362
d59aabde97feb8b443de5c36e73b352d04a57228
f1d612650e460c4c125554cc0d1d8f4f59e8a5b0

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
4e7d21893307b02b90544e7de8ef90c375dfe2b2


