# isabelle_session_info

session_name: Noninterference_CSP
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d
output_heap: ef4bfe6df8dcb40838e637ba21b8c7393a93af97
sources:
22b267fb3848d40981a80663bc2c5f6954171d49
424acbaf6d8944477d5200138e02d33b5e077f36
43b42a3f3b7107d89f80b8773d0c3474a15bcc91
cbcd1445ce57308f4f2d27f4a6228cad8a14242d
d1617ab7f6ce373b572c3f4401b94d09e7c0d350
ef1da747fe28e872563b4d4dd6ad351a77b9924a


