# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 313bc01658c57c2dd04fbb02aa41784650430950
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
6c11348c47f35f47636b6345dfa7c2dffd06cc26


