# isabelle_session_info

session_name: Noninterference_Sequential_Composition
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
output_heap: 3f690e00f4801beb7941a958beeb83b8eeb80780
sources:
017171389b121d0e1187b890d341b319cdc77d1f
022e4f27b03daa3775c37e35b41d630d90be5d75
321929e06097031243cd94d235e95ac1b8f3cc10
5e06b13a30afd7fe11053a928a158d5be6b38452
63b9332e0c2b071f8797a7aafcddf15a927e077b
89240644b94423a587e2a827ee8c99088a68da97
c16d293033efaf475dcb0c79783652e46dcc0ee6
c2b5aa7d49ade494586a18baed221bf5d3d713d5
c571be726e2b51d61550b43ddefaa284ff8eccdb
ef1da747fe28e872563b4d4dd6ad351a77b9924a


