# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: 933a4a6d502a361363372f39ddc42bd93160c3e9
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
dd5a66ed2ec6ee975e279edd847d2bd17a3726ea
aa7bdce9c5315f21ccc735df88eadd569a6dce0d
753c646a13701a1084e0ebd7c182e99a6f8addfd


