# isabelle_session_info

session_name: Noninterference_Sequential_Composition
input_heaps: 8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07
output_heap: 8ae5ba7708b36d63d02b5d070712b3cb97ce98cc
sources:
017171389b121d0e1187b890d341b319cdc77d1f
022e4f27b03daa3775c37e35b41d630d90be5d75
3cc6ac598a93352e9bf068fbf70add3f1a0a6f49
5e06b13a30afd7fe11053a928a158d5be6b38452
63b9332e0c2b071f8797a7aafcddf15a927e077b
929133d5a5851b24e4c38f83a8537c8e0aa3ad8e
a0209cb008417d27a08a814859edb9db1cc1f428
c2b5aa7d49ade494586a18baed221bf5d3d713d5
c571be726e2b51d61550b43ddefaa284ff8eccdb
ef1da747fe28e872563b4d4dd6ad351a77b9924a


