# isabelle_session_info

session_name: InformationFlowSlicing
sources: 9cfb67c55b6981e346a58718d2d9bbd33a832f05
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32
7e8b2bf697e011b106acc8d58b9a9adfa187c257
680f5d68afa52c161c09de326e5a7b9382314dfe


