# isabelle_session_info

session_name: Noninterference_CSP
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd
output_heap: 377f8040b97e6d3da76e2b70dc8d1211214da8ed
sources:
22b267fb3848d40981a80663bc2c5f6954171d49
43b42a3f3b7107d89f80b8773d0c3474a15bcc91
771b3f5c71fa555ca2fa24fe47b744a27ca95d7b
cbcd1445ce57308f4f2d27f4a6228cad8a14242d
d1617ab7f6ce373b572c3f4401b94d09e7c0d350
ef1da747fe28e872563b4d4dd6ad351a77b9924a


