# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: c0c15487e638a8cd0967a5cbaf7571e6ee7f6984
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32
7e8b2bf697e011b106acc8d58b9a9adfa187c257
53949bedea4b4459ecaf14e87001bd897cbe3439


