# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: 621fcf9c1f7321e0ea3db255db64882e78a3b9b2
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
d7fecabe4edd87a062c1bb81fd5b9b2fdb73dcb6
080a68a1e4a7914f27df4b42108ff5dce8199216
665303dd0d072cee216e2f6a1a0759777fd2e430


