# isabelle_session_info

session_name: Noninterference_CSP
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
output_heap: 06d3c1e39031848768223aa26426c3c39fd3329b
sources:
22b267fb3848d40981a80663bc2c5f6954171d49
43b42a3f3b7107d89f80b8773d0c3474a15bcc91
76083cfd6ec8b5484f5f0e98009cbc60e02b9a26
cbcd1445ce57308f4f2d27f4a6228cad8a14242d
d1617ab7f6ce373b572c3f4401b94d09e7c0d350
ef1da747fe28e872563b4d4dd6ad351a77b9924a


