# isabelle_session_info

session_name: InformationFlowSlicing
sources: e5ca3476380926cca1e484d7c13ea99efe98050e
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
9220e55b7d5c91614d0fb1731bd836e6cbde962c
715cb154e4592f4f27ede848a8da30a200585036


