# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: 228e54287a44007b0b433e87c88c5404ebff450c
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48
efaee7e7596a5ff34efbe84b0bee324218c4aa79
9fc4122c9188ce6806cd91bc06425b666f0e2aed


