# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources:
2cf3ac984326e5ec979e2ddf440fc22ee8082b5c
69d0c5385beb5869d409d00e3901fba31abd9b06
974e8213afb6cadc24ac67baaeb3ac914d640b71
9c232d7029a1b9134fee70a1ce8162a133580fbf
9f0b4bbbee284527170127effd3487aa8669bb97

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
40b808bd6dd20857f2b1cc89c8546dbb837950c9
d4e86b2aae7922cc68de25286b36b0d9cdaad13d


