# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources:
22f6f2ee8582f3072913f064482ae51896916512
625c9b5de81f88f8a6c956e25ab307d801f15121
64dcc044475b6dc94e7778cf67c02785b0bf8362
d59aabde97feb8b443de5c36e73b352d04a57228

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
2864599f13e7fd73467fc8199c3fce902dd6dae3


