# isabelle_session_info

session_name: Noninterference_CSP
input_heaps: c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803
output_heap: c85f38a52a0b42cab259fb04332939f174a1e823
sources:
22b267fb3848d40981a80663bc2c5f6954171d49
424acbaf6d8944477d5200138e02d33b5e077f36
43b42a3f3b7107d89f80b8773d0c3474a15bcc91
cbcd1445ce57308f4f2d27f4a6228cad8a14242d
d1617ab7f6ce373b572c3f4401b94d09e7c0d350
ef1da747fe28e872563b4d4dd6ad351a77b9924a


