# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 61575d2653c33c30a5c42f32c2780d51462ab005
input_heaps:
4e13432f40f7b1835a151e11bc124aeab3c9b529
476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682
a1d9617103104bed0c8bde3b071ff9658660a90c


