# isabelle_session_info

session_name: Noninterference_Sequential_Composition
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4
output_heap: ce34f6d19e990977708d4e5cf67438458be1ab4b
sources:
017171389b121d0e1187b890d341b319cdc77d1f
022e4f27b03daa3775c37e35b41d630d90be5d75
3cc6ac598a93352e9bf068fbf70add3f1a0a6f49
5e06b13a30afd7fe11053a928a158d5be6b38452
63b9332e0c2b071f8797a7aafcddf15a927e077b
929133d5a5851b24e4c38f83a8537c8e0aa3ad8e
a0209cb008417d27a08a814859edb9db1cc1f428
c2b5aa7d49ade494586a18baed221bf5d3d713d5
c571be726e2b51d61550b43ddefaa284ff8eccdb
ef1da747fe28e872563b4d4dd6ad351a77b9924a


